\documentclass[12pt]{amsart}

\usepackage[portuges]{babel}

\usepackage{color}
\def\cblue{\color{blue}}
\def\cred{\color{red}}
\def\cgreen{\color{green}}
\def\ccyan{\color{cyan}}
\def\cblack{\color{black}}
\def\crepl#1#2#3#4{\cblue replace \cred #1 \cblue with \cgreen #2 \\ \cblue REASON: \ccyan #4\cblack}
\def\ccut#1#2{\cblue CUT \cred #1 \\ \cblue REASON: \ccyan #2 \cblack}
\def\cshcut#1{\cblue CUT \cred #1 \\ }
\def\cshrepl#1#2{\cgreen #1 \cblue in place of \cred #2\cblack}
\def\cobs#1{\cblue #1 \cblack}
\def\cshins#1{\cgreen #1 \cblack}
\title{%
Linguagens de Programa\c c\~ao II (INF - 02833)\\
Programa de Curso%
}

\def\SC{\textbf{Senhor do Castelo}}
\def\TB{\textbf{Trash Behaviour}}

\author{Raul H.C. Lopes\\
\bf O \SC}
\begin{document}
\maketitle

\section*{Programa}

\begin{enumerate}
   \item Fundamentos em Matem\'atica Discreta
   \begin{itemize}
      \item Princ\'{\i}pios de prova
      \begin{itemize}
         \item C\'alculo de proposi\c c\~oes 
         \item C\'alculo de predicados
         \item Equational reasoning
      \end{itemize} 

      \item Indu\c cao Matem\'atica

      \item Rela\c c\~oes e fun\c c\~oes

   \end{itemize}

   \textbf{Refer\^encias:} \cite{rosen:discretemaths,gs:discretemaths}

   \item Recursividade
      \begin{itemize}
         \item Algoritmos recursivos
         \item Estruturas de dados Recursivas
         \begin{itemize}
            \item Seq\"u\^encias
            \item \'Arvores bin\'arias
            \item Heaps
         \end{itemize}
         \item Co-recursividade
      \end{itemize}

     \textbf{Refer\^encias:} \cite{rosen:discretemaths}

   \item L\'ogica para constru\c c\~ao e valida\c c\~ao de algoritmos
   \begin{itemize}
   \item L\'ogica de mais alta ordem
   \item Prova autom\'atica de teoremas e prova assistida
   \item Programa\c c\~ao em l\'ogica
   \end{itemize} 

   \textbf{Refer\^encias:} \cite{nipkow:isabelle-tutorial}

   \item Teorias de tipos
   \begin{itemize}
   \item Lambda C\'alculo
   \item Lambda C\'alculo e Teoria simples de tipos
   \item Polimorfismo e sistema F
   \item Tipos existenciais
   \end{itemize}

   \textbf{Refer\^encias:}  \cite{pierce:types-and-programs}

   \item Interpreta\c c\~ao e compila\c c\~ao
   \begin{itemize}
   \item Sem\^antica denotacional
   \item Interpret\c c\~ao 
   \item Compila\c c\~ao
   \end{itemize}

   \textbf{Refer\^encias:} \cite{queinnec:lisp}

   \item Estudo comparativo
   \begin{itemize}
   \item Haskell
   \item Lisp
   \item Erlang
   \item Prolog
   \item Ada
   \end{itemize}

   \textbf{Refer\^encias:} \cite{bird.wadler:fp,armstrong:erlang,shapiro:prolog,ada:rm-2007}

\end{enumerate}

\section*{Avalia\c cao}

A avalia\c cao ser\'a composta por um sistema de cr\'editos e d\'ebitos. \textbf{Cr\'editos}
s\~ao conquistados em provas e trabalhos. \textbf{D\'ebitos} s\~ao pontos negativos,
atribu\'{\i}dos pelo n\~ao cumprimento de exerc\'{\i}cios definidos em sala de aula.

\subsection*{Cr\'editos}
O valor final dos cr\'editos obtidos pelo aluno
ser\'a a soma da m\'edia das notas de duas provas com a 
m\'edia das notas de dois trabalhos pr\'aticos.

\textbf{Datas das provas:} 24 de abril; 01 de junho.

\subsection*{D\'ebitos}
Um d\'ebito de cinco pontos negativos poder\'a ser atribu\'{\i}do a qualquer aluno por:
\begin{itemize}
\item N\~ao realizar algum  exerc\'{\i}cio proposto em sala;
\item Comporatamento inadequado em atividades de classe ou extra-classe.
\end{itemize}

\subsection*{Nota Final}

A nota final ser\'a  dada pela soma de cr\'editos e d\'ebitos obtidos ao longo do semestre.



\section*{Guia de \'Etica do Castelo}
\'E considerado comportamento inaceit\'avel e, como tal, pun\'{\i}vel com d\'ebito e a
poss\'{\i}vel ira eterna do \SC\ qualquer atitude identific\'avel como \TB.

S\~ao exemplos de \TB:

\begin{itemize}
\item Conversa entre alunos em sala de aula, durante as explana\c c\~oes do \SC.
\item N\~ao manuten\c c\~ao por parte do aluno de conjunto completo e cuidadoso de anota\c c\~oes de
toda a teoria exposta e dos exerc\'{\i}cios propostos em sala de aula.
\item Falha em realizar qualquer exerc\'{\i}cio proposto em sala de aula.
\item Conversa nos corredores do CT-9.
\item Atitudes de vandalismo em qualquer ponto do campus da UFES e, em especial, do CT-9.
\end{itemize}

\subsection*{Pl\'agio}
A atividade de pl\'agio \'e enquadrada como falta grav\'{\i}ssima no c\'odigo de honra do
\textbf{Castelo}. Detetado o
pl\'agio, todas as notas de poss\'{\i}veis envolvidos s\~ao anuladas. 

\subsection*{Entregas de trabalhos}
Todos os trabalhos devem ser entregues dentro do prazo limite estabelecido na especifica\c c\~ao dos
mesmos. Pena por atraso: anula\c c\~ao da nota do respetivo trabalho.


\bibliographystyle{plain}
\bibliography{abbrev,atp,algorithms,maths,programmingLanguages}

\end{document}

