\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) Humberto De Assis Climaco}\\
    \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:} & 2024.1 &
         \textbf{Curso:} & Matem\'atica
         \\
         
         \hline
         \textbf{Turma:} & A
         &
         \textbf{C\'odigo Componente:} & IME0335
         \\
         
         \hline
         \textbf{Componente:} & \uppercase{Linguagem E Matem\'atica}
         &
         \textbf{UA Respons\'avel:} & IME
         \\
         
         \hline
         \textbf{Carga Hor\'aria:} & 32
         &
         \textbf{UA Solicitante:} & IME
         \\
         
         \hline
         \textbf{Te\'orica/Pr\'atica:}
         &
         32/-
         &
         
         \textbf{EAD/PCC:}
         &
         -/-
         \\
         
         
         \hline
         \textbf{Hor\'arios:}
         &
         6N23
         &
         
         \textbf{Docente:}
         &
         Prof(a) Humberto De Assis Climaco
         \\
         
         \hline
      \end{tabular}
   \end{small}\end{center}
}

\PlanSection{02. Ementa:}
{
  A linguagem matem\'atica como objeto de estudo para produ\c{c}\~oes textuais que dever\~ao fazer refer\^encias \`a: os axiomas e a constru\c{c}\~ao matem\'atica, a linguagem da Aritm\'etica, a linguagem da \'Algebra (as tr\^es fases), as demonstra\c{c}\~oes, a influ\^encia da l\'{\i}ngua materna na aprendizagem de matem\'atica, os s\'{\i}mbolos, a abstra\c{c}\~ao, a generaliza\c{c}\~ao, formaliza\c{c}\~ao.
}


\PlanSection{03. Programa:}
{
  \begin{enumerate}
\item[01.] O que \'e uma linguagem. O que \'e uma linguagem matem\'atica. De que \'e feita a linguagem
matem\'atica (nos seus diferentes ramos). As caracter\'{\i}sticas da linguagem matem\'atica.
\item[02.] Concep\c{c}\~oes filos\'oficas e hist\'oricas do conhecimento e do saber matem\'atico.
\item[03.] A linguagem presente nos Elementos de L\'ogica (proposi\c{c}\~oes, c\'alculo proposicional, senten\c{c}as
abertas, quantificadores l\'ogicos).
\item[04.] Caracter\'{\i}sticas da linguagem matem\'atica (nota\c{c}\~ao e simbologia, teoremas, defini\c{c}\~oes, axiomas,
conjecturas, demonstra\c{c}\~oes...)
\item[05.] Os s\'{\i}mbolos, a abstra\c{c}\~ao, a generaliza\c{c}\~ao, a formaliza\c{c}\~ao. A linguagem da aritm\'etica e a
linguagem da \'algebra (as tr\^es fases).
\end{enumerate}
}


\PlanSection{04. Cronograma:}
{
  (I) Apresenta\c{c}\~ao disciplina. Apresenta\c{c}\~ao do professor aos alunos e dos alunos aos professores; quest\~oes gerais sobre a
evolu\c{c}\~ao da linguagem matem\'atica (2 encontros – 04 horas).

(II) Quest\~oes sobre a origem e a natureza da matem\'atica e dos seus objetos. A rela\c{c}\~ao entre intui\c{c}\~ao,
conceito e formaliza\c{c}\~ao na matem\'atica. Reflex\~oes sobre a rela\c{c}\~ao entre Matem\'atica e l\'{\i}ngua materna; reflex\~oes sobre a
linguagem matem\'atica e sua rela\c{c}\~ao com a filosofia e a l\'ogica (3 encontros – 6 horas);

(III) Um pouco de hist\'oria dos conceitos b\'asicos da linguagem matem\'atica. O que \'e um axioma, como
ele aparece nas disciplinas e como ele surgiu e evoluiu. O que s\~ao temas, lemas, teoremas e conceitos primitivos (5
encontros – 10 horas).

(IV) A linguagem no ensino da matem\'atica; semi\'otica, matem\'atica e educa\c{c}\~ao matem\'atica: as contribui\c{c}\~oes de Michael
Otte (3 encontros – 6 horas).

(V) Diversos assuntos sobre a rela\c{c}\~ao entre a Matem\'atica e o conhecimento humano, incluindo uma introdu\c{c}\~ao \`a Filosofia
da Matem\'atica (3 encontros – 6 horas).
}



\PlanSection{05. Objetivos Gerais:}
{
  Compreender alguns aspectos relacionados \`a quest\~ao da rela\c{c}\~ao entre a linguagem e os objetos matem\'aticos; \\
Compreender alguns aspectos da rela\c{c}\~ao entre a linguagem e a l\'ogica, no contexto da matem\'atica; \\
}



\PlanSection{06. Objetivos Espec\'{\i}ficos:}
{
  Compreender aspectos importantes das rela\c{c}\~oes entre matem\'atica e l\'ogica; \\
Compreender aspectos importantes da rela\c{c}\~ao entre l\'{\i}ngua materna e matem\'atica; \\
Compreender aspectos importantes do papel da linguagem matem\'atica na educa\c{c}\~ao matem\'atica; \\
Compreender alguns aspectos da mudan\c{c}a do papel da linguagem na matem\'atica ocorrida no s\'eculo XIX; \\
Compreender alguns aspectos da mudan\c{c}a do papel dos axiomas na matem\'atica ocorrida no s\'eculo XX; \\
Discutir alguns dos componentes b\'asicos da linguagem matem\'atica. \\
Compreender alguns aspectos da mudan\c{c}a provocada pelo pensamento relacional, pr\'oprio da \'algebra, no s\'eculo XX. \\
}



\PlanSection{07. Metodologia:}
{
  - Aula expositiva dialogada; \\
- Discuss\~oes em grupo; \\
- Estudos dirigidos; \\
- Produ\c{c}\~ao de textos e atividades desenvolvidas em sala de aula; \\
- Semin\'ario; \\
- Poder\~ao ser utilizados recursos tecnol\'ogicos educacionais diversos. \\
}


\PlanSection{08. Avalia\c{c}\~oes:}
{
  A nota final ser\'a composta por:
\begin{enumerate}
\item[01.] 
Trabalhos realizados em sala de aula, estudos dirigidos e outros: 70 \%;
\item[02.] 
Apresenta\c{c}\~ao de semin\'ario: 30 \% .
}


\PlanSection{09. Bibliografia:}
{
  \textbf{[1]:} DOMINGUES, H H. Fundamentos da Aritm\'etica, Atual, 1991.

\textbf{[2]:} FOSSA, J A. Introdu\c{c}\~ao \`as T\'ecnicas de Demonstra\c{c}\~ao na Matem\'atica, Livraria Da F\'{\i}sica, 2009.

\textbf{[3]:} Morais Filho, Daniel Cordeiro. Um convite \`a matem\'atica, SBM, 2007.

\textbf{[4]:} Morais Filho, Daniel Cordeiro. Manual de Reda\c{c}\~ao Matem\'atica, SBM, 2014.


}

\PlanSection{10. Bibliografia Complementar:}
{
  \textbf{[1]:} BLANCH\'E, Robert. LA AXIOMATICA, Fondo de Cultura Econ\'omica, 2002.

\textbf{[2]:} DAVIS, P. J.; HERSH, R. A Experi\^encia Matem\'atica, Francisco Alves, 1989.

\textbf{[3]:} DEVLIN, K. O Gene da Matem\'atica, Record, 2006.

\textbf{[4]:} MACHADO, Nilson J. Matem\'atica e L\'{\i}ngua Materna An\'alise de uma impregna\c{c}\~ao m\'utua, Cortez, 2011.

\textbf{[5]:} PAENZA, Adri\'an. Matem\'atica ... Cad\^e voc\^e?, Civiliza\c{c}\~ao Brasileira, 2009.

\textbf{[6]:} WITTEGENSTEIN, L. Observa\c{c}\~oes Filos\'oficas, UFG, 2005.


}

\PlanSection{11.  Livros Texto:}
{
   \textbf{[1]:} MACHADO, Nilson J. Matem\'atica e L\'{\i}ngua Materna An\'alise de uma impregna\c{c}\~ao m\'utua, Cortez, 2011.

\textbf{[2]:} Morais Filho, Daniel Cordeiro. Um convite \`a matem\'atica, SBM, 2007.

\textbf{[3]:} DAVIS, P. J.; HERSH, R. A Experi\^encia Matem\'atica, Francisco Alves, 1989.
}


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

   Viernes & N2 & 305, CAA (60)\\
   Viernes & N3 & 305, 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. } & Segundas-feiras das 18:00 \`as 19:00 na sala 104 do IME.\\
   \textbf{2. } & Outros hor\'arios a combinar.\\
\end{tabular}
\end{small}
}

\PlanSection{14. Professor(a):}
{
   \begin{small}
\begin{tabular}{lll}
   Humberto De Assis Climaco. & Email: humberto\_climaco@ufg.br, & IME\\
\end{tabular}
\end{small}
}




\vspace{0.2cm}

\begin{center}
\underline{\hspace{8cm}}\\\small{Prof(a). Humberto De Assis Climaco}\end{center}


