\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
      }
}


\lfoot{
  \small{
    \textbf{Prof(a) Rosangela Maria Da Silva}\\
    \textbf{IME, UFG, \today}
  }
}


\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.1 &
         \textbf{Curso:} & Matem\'atica
         \\
         
         \hline
         \textbf{Turma:} & C
         &
         \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:}
         &
         35n45
         &
         
         \textbf{Docente:}
         &
         Prof(a) Rosangela Maria Da Silva
         \\
         
         \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:}
{
  1. No\c{c}\~oes de L\'ogica/20 horas\\
2. Linguagem da Teoria dos Conjuntos/20 horas\\
3. Princ\'{\i}pios de Indu\c{c}\~ao Finita/6 horas\\
4. Conjuntos Num\'ericos/12 horas\\
5. Avalia\c{c}\~oes/6 horas\\

{\bf{Observa\c{c}\~ao:}} 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.
}



\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:}
{
  * 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.\\
* Permitir ao estudante a familiariza\c{c}\~ao com a l\'ogica matem\'atica e com demonstra\c{c}\~oes matem\'aticas.\\
* Introduzir linguagem axiom\'atica e algumas t\'ecnicas de demonstra\c{c}\~ao.\\
* Promover o aprendizado da linguagem e da teoria dos conjuntos, bem como suas opera\c{c}\~oes
e nota\c{c}\~oes.\\
* Introduzir conjuntos num\'ericos e abordar os conjuntos dos n\'umeros naturais, inteiros,
racionais, irracionais e reais.
}



\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 apresentadas 
para os estudantes listas de exerc\'{\i}cios e problemas visando a cria\c{c}\~ao do
h\'abito do estudo frequente e a an\'alise dos conte\'udos abordados, al\'em de promover o desenvolvimento de habilidades e 
incentivar a criatividade na resolu\c{c}\~ao de problemas. Ser\'a incentivada a
utiliza\c{c}\~ao de outras bibliografias al\'em dos livros textos para complementa\c{c}\~ao te\'orica e exemplos
adicionais. A professora far\'a, quando necess\'ario, altera\c{c}\~ao na ordem das unidades do conte\'udo
program\'atico e a redistribui\c{c}\~ao das horas destinadas a cada t\'opico.
}


\PlanSection{08. Avalia\c{c}\~oes:}
{
  Ser\~ao aplicadas tr\^es atividades avaliativas para verificar a evolu\c{c}\~ao do conhecimento e aprendizado adquiridos pelo 
estudante ao final de t\'opicos definidos, conforme cronograma apresentado.\\
		
A1 - Primeira Atividade Avaliativa: 23/05/2023 Conte\'udo: item – 1\\
A2 - Segunda Atividade Avaliativa: 29/06/2023 Conte\'udo: item – 2\\
A3 - Terceira Atividade Avaliativa: 10/08/2023 Conte\'udos: itens – 3 e 4\\

{\bf{(Datas sujeitas a altera\c{c}\~oes) }}	\\	

A M\'edia Final MF ser\'a a m\'edia aritm\'etica das notas A1, A2 e A3, isto \'e,
MF = (A1 + A2 + A3)/3.\\

{\bf{Observa\c{c}\~oes:}} \\
1. Ser\'a aprovado o estudante que obtiver nota final MF maior ou igual a 6,0 e o m\'{\i}nimo de 75\% de frequ\^encia \`as aulas.\\
2. Se for necess\'ario, podem ocorrer altera\c{c}\~oes nas datas das avalia\c{c}\~oes. A professora avisar\'a previamente tais mudan\c{c}as.\\
3. As notas das atividades avaliativas ser\~ao divulgadas em sala de aula mediante entrega das atividades corrigidas
e tamb\'em divulgadas no SIGAA com pelo menos 4 dias antes da pr\'oxima prova.\\
3. Atividades avaliativas de segunda chamada ser\'a concedida conforme prev\^e o RGCG.
}


\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.
}


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

   3$^a$ & N4 & 204, CAA (60)\\
   3$^a$ & N5 & 204, CAA (60)\\
   5$^a$ & N4 & 204, CAA (60)\\
   5$^a$ & N5 & 204, CAA (60)\\
\end{tabular}
\end{small}\end{center}

}


\PlanSection{13. Hor\'ario de Atendimento do(a)s Professor(a):}
{
   \begin{small}
\begin{tabular}{ll}
   \textbf{1. } & Quintas \`as 18:00 na sala dos professores no CA A\\
\end{tabular}
\end{small}
}

\PlanSection{14. Professor(a):}
{
   \begin{small}
\begin{tabular}{lll}
   Rosangela Maria Da Silva. & Email: rosams@ufg.br, & IME\\
\end{tabular}
\end{small}
}




\vspace{0.2cm}

\begin{center}
\underline{\hspace{8cm}}\\\small{Prof(a). Paulo Henrique De Azevedo Rodrigues}\end{center}


