\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:} & 2026.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:}
         &
         24T34
         &
         
         \textbf{Docente:}
         &
         Prof(a) Thaynara Arielly De Lima
         \\
         
         \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/14 horas\\
2. Linguagem da Teoria dos Conjuntos/14 horas\\
3. Princ\'{\i}pios de Indu\c{c}\~ao Finita/06 horas\\
4. Conjuntos Num\'ericos/14 horas\\
5. Tarefas de Aprendizagem/08 horas\\
6. Avalia\c{c}\~oes/04 horas \\
7. Conpeex/ 04 horas: 09/11/26 e 11/11/26

Caso necess\'ario, ser\~ao feitas altera\c{c}\~oes na ordem e carga hor\'aria 
destinadas aos conte\'udos.
}


\PlanSection{05. Objetivos Gerais:}
{
  $\bullet$ 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.

$\bullet$ 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 
Matem\'atica.
}



\PlanSection{06. Objetivos Espec\'{\i}ficos:}
{
  $\bullet$ 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.

$\bullet$ Permitir ao estudante a familiariza\c{c}\~ao com a l\'ogica matem\'atica e 
com demonstra\c{c}\~oes
matem\'aticas.

$\bullet$ Introduzir linguagem axiom\'atica e algumas t\'ecnicas de 
demonstra\c{c}\~ao.

$\bullet$ Promover o aprendizado da linguagem e da teoria dos conjuntos, 
bem como suas opera\c{c}\~oes e
nota\c{c}\~oes.

$\bullet$ 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 por meio de diferentes ferramentas: a 
exposi\c{c}\~ao quadro-giz; 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;
aulas dialogadas; uso de tarefas de aprendizagem e tarefas matem\'aticas; 
an\'alise de textos; rodas de
discuss\~ao. Ser\~ao apresentados para os alunos listas de exerc\'{\i}cios e 
problemas visando a cria\c{c}\~ao do
h\'abito de 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 
valorizada a utiliza\c{c}\~ao
de outras bibliografias para complementa\c{c}\~ao te\'orica e exemplos 
adicionais.\\

{\bf Observa\c{c}\~ao:} As atividades supervisionadas mencionadas no Art. 16 do 
RGCG ser\~ao apresentadas
pela professora em sala de aula e supervisionadas no hor\'ario de 
atendimento 
da disciplina.
}


\PlanSection{08. Avalia\c{c}\~oes:}
{
  $\bullet$ Ser\~ao realizadas 2 (duas) avalia\c{c}\~oes escritas individuais (AV1 e 
AV2), valendo no m\'aximo 10 cada. Tamb\'em se prop\~oe a entrega de quatro 
listas de exerc\'{\i}cios (L1, L2, L3 e L4), valendo no m\'aximo 10 cada.

A m\'edia final {\bf MF} ser\'a
dada por $$MF = \frac{N1 + N2}{2}$$ em que
$N1 = 0,85 \times AV1 + 0,15 \times \left (\frac{L1+L2}
{2}\right)$ e 
$N2 = 0,85 
\times AV2 + 0,15 \times \left( \frac{L3+L4}{2} \right)}$.\\
$\bullet$ Ser\'a aprovado o aluno que obtiver {\bf MF} maior que ou igual a 
6,0 (seis) pontos e tiver
pelo menos 75\% de presen\c{c}a.\\
$\bullet$ {\bf Calend\'ario de atividades:} \\
AV1: 30/09/2026 \\ 
AV2: 02/12/26 \\ 
L1: 02/09/2026 \\ 
L2: 30/09/2026 \\
L3: 26/10/2026 \\ 
L4: 02/12/2026

{\bf Observa\c{c}\~oes:} (i) Avalia\c{c}\~oes de segunda chamada somente ser\~ao 
aplicadas segundo as normas
previstas no RGCG.\\
(ii) As notas das provas ser\~ao divulgadas em sala de aula ou no hor\'ario de 
atendimento e
tamb\'em no SIGAA.\\
(iii) N\~ao haver\'a prova substitutiva. \\
(iv) Avalia\c{c}\~oes de segunda chamada, cujos pedidos forem deferidos, ser\~ao 
aplicadas ao final do semestre, em 07/12/2026. \\
(v) O meio de entrega das listas ser\'a definido pela professora e divulgado 
via canal de Not\'{\i}cias, no SIGAA. \\
(vi) N\~ao \'e permitido o uso de intelig\^encia artificial para realiza\c{c}\~ao das 
avalia\c{c}\~oes. A professora pode solicitar ao discente que explique, em hor\'ario 
de atendimento, quest\~oes das avalia\c{c}\~oes, com pena de anula\c{c}\~ao da quest\~ao 
caso o discente n\~ao seja capaz de refazer e/ou explicar a resposta com 
clareza.
}


\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. (B1)

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


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

   2$^a$ & T3 & 206, CAA (50)\\
   2$^a$ & T4 & 206, CAA (50)\\
   4$^a$ & T3 & 206, CAA (50)\\
   4$^a$ & T4 & 206, 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. } & Quartas-feiras: 11:00 - 12:00, Sala 226, IME\\
\end{tabular}
\end{small}
}

\PlanSection{14. Professor(a):}
{
   \begin{small}
\begin{tabular}{lll}
   Thaynara Arielly De Lima. & Email: thaynaradelima@ufg.br, & IME\\
\end{tabular}
\end{small}
}




\vspace{0.2cm}

\begin{center}
\underline{\hspace{8cm}}\\\small{Prof(a). Thaynara Arielly De Lima}\end{center}