\chead{
      \textbf{
          \begin{Large}
          Universidade Federal de Goi\'as\\
          \end{Large}
      \begin{large}INSTITUTO DE MATEM\'ATICA E ESTATISTICA\end{large}\\
      Campus Samambaia -  74001-970 - Goi\^ania\\
      http://www.ime.ufg.br - (62) 3521 1742 - (62) 3521-1208 - secretaria.ime@ufg.br
      }
}


\begin{center}
  \LARGE{\textbf{Plano de Ensino}}
\end{center}

\PlanSection{01. Dados de Identifica\c{c}\~ao da Disciplina:}
{   
   \begin{center}\begin{small}
      \begin{tabular}{|l|p{5cm}|l|p{5cm}|}
         \hline
         \textbf{Semestre:} & 2023.2 &
         \textbf{Curso:} & Matem\'atica
         \\
         
         \hline
         \textbf{Turma:} & A
         &
         \textbf{C\'odigo Componente:} & IME0337
         \\
         
         \hline
         \textbf{Componente:} & \uppercase{Fundamentos De Matem\'atica}
         &
         \textbf{UA Respons\'avel:} & IME
         \\
         
         \hline
         \textbf{Carga Hor\'aria:} & 64
         &
         \textbf{UA Solicitante:} & IME
         \\
         
         \hline
         \textbf{Te\'orica/Pr\'atica:}
         &
         48/16
         &
         
         \textbf{EAD/PCC:}
         &
         -/-
         \\
         
         
         \hline
         \textbf{Hor\'arios:}
         &
         35t12
         &
         
         \textbf{Docente:}
         &
         Prof(a) Ana Paula De Araujo Chaves
         \\
         
         \hline
      \end{tabular}
   \end{small}\end{center}
}

\PlanSection{02. Ementa:}
{
  No\c{c}\~oes de L\'ogica; Teoremas: m\'etodos de demonstra\c{c}\~ao; Princ\'{\i}pio da Indu\c{c}\~ao Finita; Linguagem da Teoria dos Conjuntos; 
Conjuntos num\'ericos (linguagem sem constru\c{c}\~ao); N\'umeros Racionais: fra\c{c}\~oes e representa\c{c}\~oes decimais; N\'umeros reais: 
n\'umeros irracionais, irracionalidade de etc.
}


\PlanSection{03. Programa:}
{
  \begin{enumerate}
\item[1.]No\c{c}\~oes de L\'ogica: Proposi\c{c}\~ao, Nega\c{c}\~ao, Proposi\c{c}\~ao composta, Condicionais, Tautologias, 
Proposi\c{c}\~oes 
logicamente 
falsas, Rela\c{c}\~ao de Implica\c{c}\~ao, Rela\c{c}\~ao de Equival\^encia, Senten\c{c}as Abertas, Quantificadores, Como Negar 
Proposi\c{c}\~oes.

\item[2.] Linguagem da Teoria dos Conjuntos: Conjunto, Elemento, Pertin\^encia, Descri\c{c}\~ao de um 
Conjunto, 
Conjunto Unit\'ario, 
Conjunto Vazio, Conjunto Universo, Conjuntos Iguais, Subconjuntos, Reuni\~ao de Conjuntos, Interse\c{c}\~ao 
de Conjuntos, Propriedades, Diferen\c{c}a de Conjuntos, Complementar, Parti\c{c}\~ao, Rela\c{c}\~oes de Equival\^encia e 
Rela\c{c}\~oes de Ordem.

\item[3.] Princ\'{\i}pios de Indu\c{c}\~ao Finita. Primeiro e Segundo Princ\'{\i}pios de Indu\c{c}\~ao.
\item[4.] Conjuntos Num\'ericos: O Conjunto dos N\'umeros Naturais, Axiomas de Peano, O Conjunto dos 
N\'umeros 
Inteiros, O 
Conjunto dos N\'umeros Racionais, Fra\c{c}\~oes e Representa\c{c}\~oes Decimais, Irracionalidade e o Conjunto dos 
N\'umeros 
Reais.
\end{enumerate}
}


\PlanSection{04. Cronograma:}
{
  \begin{enumerate} 
\item No\c{c}\~oes de L\'ogica: 18 horas/aula;
\begin{enumerate}
\item Proposi\c{c}\~oes, conectivos e tabela verdade;
\item Proposi\c{c}\~oes compostas e constru\c{c}\~ao de tabelas verdade; Tautologia e 
contradi\c{c}\~ao;
\item Senten\c cas abertas e quantificadores;
\item Equival\^encia l\'ogica, proposi\c{c}\~oes equivalentes e Equival\^encias 
Fundamentais;
\item M\'etodo Dedutivo; Nega\c{c}\~ao de proposi\c{c}\~oes;
\item Implica\c{c}\~ao l\'ogica: Demonstra\c{c}\~ao, hip\'otese e tese;
\item Valida\c{c}\~ao de argumentos e tipos de demonstra\c{c}\~ao.
\end{enumerate}
\item Linguagem da Teoria dos Conjuntos: 12 horas/aula;
\begin{enumerate}
\item Conjuntos, subconjuntos e seus elementos; Opera\c{c}\~oes em conjuntos;
\item Propriedades das opera\c{c}\~oes em conjuntos; Produto cartesiano e rela\c{c}\~oes em 
conjuntos;
\item Rela\c{c}\~ao de equival\^encia;
\item Classes de equival\^encia e conjunto quociente; parti\c{c}\~ao de um conjunto;
\item Rela\c{c}\~ao de ordem.
\end{enumerate}
\item Conjuntos num\'ericos e Princ\'{\i}pios de Indu\c{c}\~ao: 22 horas aula
\begin{enumerate}
\item Axiomas de Peano e os n\'umeros naturais;
\item Ordem dos n\'umeros naturais;
\item N\'umeros inteiros;
\item Primeiro e segundos princ\'{\i}pios de indu\c{c}\~ao;
\item N\'umeros racionais e n\'umeros irracionais (os reais).
\end{enumerate}
\item Avalia\c{c}\~oes: 6 horas/aula.
\item CONPEEX e Semana do IME: 6 horas/aula.
\end{itemize}

\

{\bf Obs:} A professora far\'a, se necess\'ario, altera\c{c}\~ao na ordem das unidades do 
conte\'udo program\'atico ou a
redistribui\c{c}\~ao das horas destinadas a cada t\'opico ou atividade avaliativa.\\
}


\PlanSection{05. Objetivos Gerais:}
{
  Promover situa\c{c}\~oes de aprendizagem por meio da constru\c{c}\~ao de mecanismos l\'ogicos, 
conceitos, teoremas e
demonstra\c{c}\~oes acerca dos conhecimentos da matem\'atica elementar. Estabelecer um 
espa\c{c}o educativo de discuss\~ao e
reflex\~ao a respeito das rela\c{c}\~oes entre os conhecimentos cient\'{\i}ficos da Matem\'atica e os 
conhecimentos de ensino da Educa\c{c}\~ao
B\'asica.
}



\PlanSection{06. Objetivos Espec\'{\i}ficos:}
{
  \begin{enumerate}
\item Promover o aprendizado da comunica\c{c}\~ao por meio da linguagem simb\'olica da 
matem\'atica e a compreens\~ao e
elabora\c{c}\~ao de argumenta\c{c}\~oes matem\'aticas por meio de linguagem simb\'olica.
\item Permitir ao estudante a familiariza\c{c}\~ao com a l\'ogica matem\'atica e com 
demonstra\c{c}\~oes matem\'aticas.
\item Introduzir linguagem axiom\'atica e algumas t\'ecnicas de demonstra\c{c}\~ao.
\item Promover o aprendizado da linguagem e da teoria dos conjuntos, bem como 
suas opera\c{c}\~oes e nota\c{c}\~oes.
\item Introduzir conjuntos num\'ericos e abordar os conjuntos dos n\'umeros naturais, 
inteiros, racionais, irracionais e
reais.
\end{enumerate}
}


\PlanSection{07. Metodologia:}
{
  O programa ser\'a desenvolvido, essencialmente, utilizando-se a exposi\c{c}\~ao no quadro e 
reflex\~oes de abordagens feitas por meio de resolu\c{c}\~ao de exerc\'{\i}cios, discuss\~oes de 
problemas ou demonstra\c{c}\~oes.

Ser\~ao propostos exerc\'{\i}cios em sala e extraclasse para fixa\c{c}\~ao e an\'alise dos conte\'udos 
abordados, tamb\'em com a finalidade de desenvolver no discente suas pr\'oprias 
habilidades e incentivar a criatividade na resolu\c{c}\~ao, propiciando a oportunidade de 
utilizar racioc\'{\i}nios adquiridos anteriormente.

Ser\'a incentivada a utiliza\c{c}\~ao de outras bibliografias al\'em dos livros texto para 
complementa\c{c}\~ao te\'orica e exemplos adicionais.

Poder\~ao tamb\'em ser usados recursos tecnol\'ogicos para o desenvolvimento de atividades 
da disciplina e nesse caso ser\~ao utilizadas plataformas tais como Moodle/SIGAA/Google 
Sala de Aula para disponibilizar materiais did\'aticos, atividades avaliativas e listas de 
exerc\'{\i}cios para a turma.
}


\PlanSection{08. Avalia\c{c}\~oes:}
{
  Ser\~ao realizadas tr\^es avalia\c{c}\~oes, com datas previstas para:\\
- Avalia\c{c}\~ao 1: 07/11/2023\\
- Avalia\c{c}\~ao 2: 19/12/2023\\
- Avalia\c{c}\~ao 3: 01/02/2024.

As datas podem ser alteradas pela docente, com aviso pr\'evio. O conte\'udo de cada 
avalia\c{c}\~ao ser\'a o ministrado at\'e a aula anterior \`a avalia\c{c}\~ao.

A m\'edia final ser\'a calculada pela f\'ormula:
\[MF =\dfrac{P_1 +2P_2 +2P_3}{5},\]
onde $P_i$,  \leq i \leq 3$, corresponde \`a nota da Avalia\c{c}\~ao $i$. 

Ser\'a aprovado o discente que obtiver frequ\^encia igual ou superior a 75$\%$ e m\'edia 
$MF$ maior ou igual a 6,0 (seis).

Observa\c{c}\~oes:\\
- Durante as avalia\c{c}\~oes, a docente poder\'a solicitar ao estudante documento oficial de 
identifica\c{c}\~ao com foto, como requisito para realiza\c{c}\~ao das mesmas;\\
- Pedidos de segunda chamada devem seguir as normas estabelecidas no RGCG/UFG, a 
fim de que sejam analisados pela docente;\\
- No hor\'ario de realiza\c{c}\~ao das avalia\c{c}\~oes n\~ao ser\'a permitido o uso de telefone celular, em 
qualquer circunst\^ancia, sendo que, se algum estudante for flagrado fazendo uso do 
mesmo durante a avalia\c{c}\~ao, ser\'a atribu\'{\i}da nota 0,0 (zero) nessa avalia\c{c}\~ao.
}


\PlanSection{09. Bibliografia:}
{
  \textbf{[1]:} Silva, Jhone Caldeira; Gomes, Olimpio Ribeiro. Estruturas Alge&769;bricas para Licenciatura Fundamentos de Matema&769;tica, Vol. 1, Editora Blucher, 2016.

\textbf{[2]:} Silva, Jhone Caldeira; Gomes, Olimpio Ribeiro. Estruturas Alge&769;bricas para Licenciatura Elementos de Aritme&769;tica Superior, Vol. 2, Editora Blucher, 2018.

\textbf{[3]:} Iezzi, Gelson; Murakami, C.. Fundamentos de Matema&769;tica Elementar, Atual, 1993.

\textbf{[4]:} Alencar Filho, E. D.. Iniciac&807;a&771;o a&768; Lo&769;gica Matema&769;tica, Nobel, 1995.


}

\PlanSection{10. Bibliografia Complementar:}
{
  \textbf{[1]:} Domingues, H. H.; Iezzi, G.. \'Algebra Moderna, Atual, 2003.

\textbf{[2]:} De Maio, W.. \'Algebra estruturas alge&769;bricas ba&769;sicas e fundamentos da teoria dos n\'umeros Fundamentos de Matema&769;tica, LTC, 2007.

\textbf{[3]:} Do Carmo, Manfredo Perdiga&771;o; Morgado, A. C.. Trigonometria, N\'umeros Complexos, SBM, 1992.

\textbf{[4]:} Epstein,Richard L.. Computabilidade, func&807;o&771;es computa&769;veis, lo&769;gica e os fundamentos da matema&769;tica, Unesp, 2009.

\textbf{[5]:} Halmos, Paul R.. Teoria ingenua dos conjuntos, Ci\^encia Moderna, 2001.


}

\PlanSection{11.  Livros Texto:}
{
   \textbf{[1]:} Silva, Jhone Caldeira; Gomes, Olimpio Ribeiro. Estruturas Alge&769;bricas para Licenciatura Fundamentos de Matema&769;tica, Vol. 1, Editora Blucher, 2016.

\textbf{[2]:} Iezzi, Gelson; Murakami, C.. Fundamentos de Matema&769;tica Elementar, Atual, 1993.

\textbf{[3]:} Halmos, Paul R.. Teoria ingenua dos conjuntos, Ci\^encia Moderna, 2001.
}


\PlanSection{12. Hor\'arios:}
{
   \begin{center}
\begin{small}
\begin{tabular}{lll}
\hline
   \textbf{Dia} & \textbf{Hor\'ario} & \textbf{Sala Distribuida}\\
\hline

   3$^a$ & A1 & 203, CAA (50)\\
   3$^a$ & A2 & 203, CAA (50)\\
   5$^a$ & A1 & 203, CAA (50)\\
   5$^a$ & A2 & 203, CAA (50)\\
\end{tabular}
\end{small}\end{center}

}


\PlanSection{13. Hor\'ario de Atendimento do(a)s Professor(a):}
{
   \begin{small}
\begin{tabular}{ll}
   \textbf{1. } & Ter\c{c}a-feira, das 15:00 \`as 16:30, Sala 109 do IME\\
\end{tabular}
\end{small}
}

\PlanSection{14. Professor(a):}
{
   \begin{small}
\begin{tabular}{lll}
   Ana Paula De Araujo Chaves. & Email: apchaves@ufg.br, & IME\\
\end{tabular}
\end{small}
}




\vspace{0.2cm}

\begin{center}
\underline{\hspace{8cm}}\\\small{Prof(a) Ana Paula De Araujo Chaves}\end{center}


