\documentclass[12pt]{amsart}
\usepackage[portuges]{babel}
\usepackage{boxedminipage}
\usepackage[latin1]{inputenc}
% uncomment next line to get pdf files with hyperlinks
%\usepackage[pdftex,bookmarks=true]{hyperref}
%\input{defmath}

\input{deflogic}
\input{defseqs}
\input{defport}


\def\beq{\begin{equation}}
\def\eeq{\end{equation}}
\def\ibf#1{\item\textbf{#1}}

\def\solend{\begin{flushright}$\Box$\end{flushright}}
\def\solbeg{\begin{flushleft}\emph{Solu\cao.}\end{flushleft}}
\def\jst#1#2{\langle\text{#1} #2\rangle}
\title{Estruturas de Dados \\
Prova 1 \\ Beowulf}

\author{Raul H.C. Lopes}

\begin{document}

\maketitle
\section{Introdu\cao}
Aqui voc\^e encontra:
\begin{itemize}
  \item resultado do \textbf{tp1};
  \item resultado final.

\end{itemize}

Note que foram usadas as notas de duas provas e as notas de dois trabalhos 
pr\aa ticos. Na nota final, a m\ee dia das provas tem peso seis e a m\ee dia
dos trabalhos tem peso quatro. A m\ee dia das provas \ee\ dada pela m\ee dia
das cinco melhores notas de quest\oes\ resolvidas pelo aluno ao longo do 
semestre.

\section{As notas do trabalho pr\aa tico 1}

N\ao\ houve nenhum trabalho excelente. Tr\^es trabalhos est\ao\ entre bons
e muito bons: f\aa cil ach\aa-los pelas notas. Os testes est\ao\ na p\aa gina
da disciplina juntamente com o script usado para execut\aa-los. Foram
realizados tr\^es conjuntos de testes:
\begin{itemize}
  \item b\aa sicos: com os testes que j\aa\ havia apresentado em sala: errar 
um deles \ee\ mau sinal; mais de um, \'e horr\ii vel.
  \item estendidos: testes sobre formaliza\cao\ de \aa rvore bin\aa ria, 
teste de subjuga\cao, fatora\cao e ocorr\^encia de vari\aa vel. 
Cada falha em um
destes testes tirou $0.8$ dos $8$ pontos atribu\ii veis \`a nota do 
provador. O teste com teoria em \textbf{l0} e pergunta em \textbf{l0.c} e
varia\coes\ do mesmo,
por exemplo, mostrou que: a maioria dos provadores n\ao\ implementa 
fatora\cao\ adequadamente. Mostrou tamb\'em falha grave de aloca\cao\ de
mem\'oria no provador marcado como \textbf{(I)}, falha que inviabiliza 
completamente o provador. 
  \item opcionais: incluiam testes envolvendo fatora\cao\ na base de axiomas,
ou uso de suporte com mais de uma cl\aa usula. Este testes foram usados para
restaurar pontos de quem perdeu nos itens anteriores at\'e ao m\aa ximo de
$7.94$ em $8$.
\end{itemize}

\begin{tabular}{|l|r|r|r|r|}\hline
Aluno & Provador & Testes & Doc & Final \\ \hline
A.D.Fernandes & 4.4 & 0.7  & 0.6 & 5.7 \\
A.F.Martins & 7.9 & 1 & 0.6 & 9.5 \\
B.F.Monteiro & 5.2 & 0.7 & 0.6 & 6.5 \\
B.M.Segrini & 4.4 & 0.7 & 0.6 & 5.7\\
C.B.Grob\'erio & 7.5 & 1 & 0.5 & 9.0 \\
D.C.Velasco & 7.5 & 1 & 0.5 & 9.0 \\
E.C.F.Amorin & 3.6  &0.4 &0.6 & 4.6\\
F.T.A.Franzoni & 7.2 & 1&1 & 9.2 \\
L.D.Contadini & 7.0 &1  & 0.6 & 8.6 \\
L.M.Barbiero & 5.2 & 0.7 & 0.6 & 6.5\\
N.A.Rasseli & 2 & 0.5 &0 & 2.5 \\
R.O.Santos & 7.0 & 1.0 & 0.6 & 8.6 \\
V.A.Ventura & 3.6 &0.7 & 0.4 & 4.6 \\
V.C.Zamborlini & 7.9 & 1 & 0.6 & 9.5 \\
W.S.Rocha & 7.5 &1 & 1 & 9.2 \\\hline
\end{tabular}

Observa\cao\ \textbf{(I)}: mente incompleto: alocacao de cl\'a usulas em 
mem\oo ria inadequada (est\'atica, impondo limites de tamanho), sem
procedimento de renomea\cao\ de vari\aa veis, unifica\cao\ incorreta. etc.

\section{As notas}

As notas acabaram um tanto infladas. O fato \ee\ que o ``maravilhoso'' feriado
improvisado na \uu ltima segunda e marca\cao\ de provas finais com quatro dias,
sendo dois dias no fim-de-semana, detonaram a avalia\cao\ da \uu ltima e
mais importante parte do curso. Sem problema: tiramos o atraso no 
pr\oo ximo semestre. Est\ao\ aprovados todos os alunos com nota igual ou
superior a seis. Alunos com nota igual ou superior a cinco devem me procurar
amanh\~a. Outros far\ao\ prova no s\aa bado, 01/11, 10 horas, no CT-VII.

\begin{tabular}{|l|r|r|r|}\hline
Aluno & Final \\ \hline
A.D.Fernandes & 8.1\\
A.F.Martins & 9.0\\
B.F.Monteiro & 8.6 \\
B.M.Segrini &  8.1 \\
C.B.Grob\'erio & 8.7 \\
D.C.Velasco & 9.5 \\
D.M.Sana & 2.2 \\
E.C.F.Amorin & 6.8 \\
F.T.A.Franzoni & 9.9\\
G.Felhberg & 4.2\\
J.C.P.Antunes & 0 \\
L.A.Rodrigues & 0 \\
L.D.Contadini & 9.7\\
L.M.Barbiero & 7.2\\
N.A.Rasseli & 5 \\ 
R.F.Douro & 5 \\
R.O.Santos & 9.4\\
V.A.Ventura & 5.5 \\
V.C.Zamborlini & 9.8 \\
W.S.Rocha & 4.8\\ \hline
\end{tabular}

As notas 
est\ao\ agora corrigidas. Alunos reprovados por falta n\ao\ t\^em direito
a propva final.


\bibliography{abbrev,analysis,formal,algorithms,program,string}

\bibliographystyle{amsplain}


\end{document}

