\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:} & 2025.1 &
         \textbf{Curso:} & Matem\'atica
         \\
         
         \hline
         \textbf{Turma:} & B
         &
         \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:}
         &
         2t34
         &
         
         \textbf{Docente:}
         &
         Prof(a) Wellington Lima Cedro
         \\
         
         \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:}
{
  1) O que \'e uma linguagem - Horas/aula: 4	- Aulas: 2
2) Concep\c{c}\~oes filos\'oficas e hist\'oricas do conhecimento matem\'atico -	Horas/aula: 4 - Aulas: 2
3) Elementos de L\'ogica	Horas/aula: 8 - Aulas: 4
4) Caracter\'{\i}sticas da Linguagem Matem\'atica	 -Horas/aula: 16 - Aulas: 8
}


\PlanSection{05. Objetivos Gerais:}
{
  Compreender as rela\c{c}\~oes entre a linguagem e a matem\'atica.
}



\PlanSection{06. Objetivos Espec\'{\i}ficos:}
{
  Compreender a linguagem matem\'atica e a sua rela\c{c}\~ao com a l\'ogica.
}


\PlanSection{07. Metodologia:}
{
  A disciplina ser\'a desenvolvida por meio de aulas expositivas, semin\'arios, an\'alises de textos, discuss\~oes, 
levantamento bibliogr\'afico e trabalhos did\'aticos.
}


\PlanSection{08. Avalia\c{c}\~oes:}
{
  A avalia\c{c}\~ao na disciplina ser\'a continua e levar\'a em considera\c{c}\~ao todas as atividades desenvolvidas pelo estudante 
sob orienta\c{c}\~ao do professor (em classe ou n\~ao). 
A composi\c{c}\~ao da nota final ser\'a feita da seguinte maneira: 
Provas (25%) + Tarefas em sala de aula (35%) + Semin\'ario (30%) + Frequ\^encia (10%)
}


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


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

   2$^a$ & T3 & 205, CAA (60)\\
   2$^a$ & T4 & 205, 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. } & Segunda - 16:00/18:50 - sala 119\\
\end{tabular}
\end{small}
}

\PlanSection{14. Professor(a):}
{
   \begin{small}
\begin{tabular}{lll}
   Wellington Lima Cedro. & Email: wcedro@ufg.br, & IME\\
\end{tabular}
\end{small}
}




\vspace{0.2cm}

\begin{center}
\underline{\hspace{8cm}}\\\small{Prof(a) Wellington Lima Cedro}\end{center}


