\documentclass[12pt]{amsart}
\usepackage{listings}
\usepackage[portuges]{babel}
\lstloadlanguages{Pascal,Haskell}
\lstset{frame=tb}
\input{defalgo}
\input{defport}
\input{deflogic}
\input{defseqs}

\title{Corre\c c\~ao de programas \\ O que voc\^e fez da sua vida?}
\author{Raul H.C.Lopes}
\begin{document}
\maketitle
As notas de aula sobre corre\cao\ de programas tinham sete exerc\ii cios e
nove teoremas provados.

Classique-os de acordo com as op\coes\ a seguir.
Preencha em cada item o n\uu mero de problemas que se enquadram na respectiva op\cao: por exemplo, se n\ao\ tentou provar de novo nenhum dos teoremas e n\ao\
tentou resolver nenhum exerc\ii cio, escrever {\bf 16} no item {\bf (a)}.


\begin{itemize}
	\item {\bf (a) } N\ao\ tentou resolver:
	\item {\bf (b) } Tentou resolver s\oo zinho e conseguiu:
	\item {\bf (c) } Tentou resolver s\oo zinho, n\ao\ conseguiu e 
		abandonou:
	\item {\bf (d) } Tentou resolver s\oo zinho, n\ao\ conseguiu, tentou
		obter ajuda do professor e ele recusou:
\end{itemize}

Voc\^e gostaria de ter uma chance de fazer uma prova para substituir a nota
da {\bf Prova 0}? Por que?

\end{document}

