\documentclass[12pt]{article}

\title{Linguagens de Programa\c{c}\~ao II: INF02833\\
Programa 2003/1
}

\date{19/07/2005}
\begin{document}
\maketitle
\section{Programa}
O objetivo final do curso consiste em abordar o estudo de algoritmos e 
estrutura de dados, usando l\'ogica e programa\c c\~ao 
funcional.

\begin{itemize}
	\item L\'ogica  de primeira ordem 
	\item Contagem e teoria de conjuntos 
	\item Indu\c c\~ao Matem\'atica 
	\item Defini\c c\~oes  indutivas e tipos abstratos 
	\item Sequ\^encias 
	\item Avalia\c c\~ao: Lazy x Eager  
	\item Defini\c c\~oes recursivas e co-recursivas 
	\item \'Arvores 
	\item Grafos 
	\item L\'ogica e propriedades Corre\c c\~ao de defini\c{c}\~oes
		recursivas
	\item Corre\c{c}\~ao de programas funcionais
	\item Classes e Tipos 
	\item Concorr\^encia 
	\item \emph{Monads} e \emph{CPS}
	\item \emph{Lambda-Calculus} e M\'aquina de Turing
\end{itemize}


\section{Refer\^encias}
\begin{itemize}
	\item David Gries and Fred B. Schneider
		
		\textbf{A logical approach to discrete mathematics}
	
	\item Keneth Rosen 
		
		\textbf{Discrete Mathematics and its applications} 

	
	\item Simon Peyton-Jones et alli
		
		\textbf{A Gentle Intoduction to Haskell}
		
	\item Matthias Felleisen et alli

		\textbf{How to design programs}
\end{itemize}

\section{Avalia\c{c}\~ao}

A avali\c{c}\~ao \'e composta de dois trabalhos pr\'aticos sobre
programa\c{c}\~ao funcional e especifica\c{c}\~ao de propriedades de programas
em l\'ogica e duas provas sobre corre\c{c}\~ao de programas.


\end{document}

