Warning: this is an htmlized version!
The original is across this link,
and the conversion rules are here.
% (find-angg "LATEX/2009-2-MD-prova-1-notas.tex")
% (find-dn4ex "edrx08.sty")
% (find-angg ".emacs.templates" "s2008a")
% (defun c () (interactive) (find-zsh "cd ~/LATEX/ && ~/dednat4/dednat41 2009-2-MD-prova-1-notas.tex && latex    2009-2-MD-prova-1-notas.tex"))
% (defun c () (interactive) (find-zsh "cd ~/LATEX/ && ~/dednat4/dednat41 2009-2-MD-prova-1-notas.tex && pdflatex 2009-2-MD-prova-1-notas.tex"))
% (eev "cd ~/LATEX/ && Scp 2009-2-MD-prova-1-notas.{dvi,pdf} edrx@angg.twu.net:slow_html/LATEX/")
% (defun d () (interactive) (find-dvipage "~/LATEX/2009-2-MD-prova-1-notas.dvi"))
% (find-dvipage "~/LATEX/2009-2-MD-prova-1-notas.dvi")
% (find-pspage  "~/LATEX/2009-2-MD-prova-1-notas.pdf")
% (find-pspage  "~/LATEX/2009-2-MD-prova-1-notas.ps")
% (find-zsh0 "cd ~/LATEX/ && dvips -D 300 -o 2009-2-MD-prova-1-notas.ps 2009-2-MD-prova-1-notas.dvi")
% (find-zsh0 "cd ~/LATEX/ && dvips -D 600 -P pk -o 2009-2-MD-prova-1-notas.ps 2009-2-MD-prova-1-notas.dvi && ps2pdf 2009-2-MD-prova-1-notas.ps 2009-2-MD-prova-1-notas.pdf")
% (find-zsh0 "cd ~/LATEX/ && dvips -D 300 -o tmp.ps tmp.dvi")
% (find-pspage  "~/LATEX/tmp.ps")
% (ee-cp "~/LATEX/2009-2-MD-prova-1-notas.pdf" (ee-twupfile "LATEX/2009-2-MD-prova-1-notas.pdf") 'over)
% (ee-cp "~/LATEX/2009-2-MD-prova-1-notas.pdf" (ee-twusfile "LATEX/2009-2-MD-prova-1-notas.pdf") 'over)

% (fooi "\\endrow" "\\Notas (+ (+ . . .) . (+ . .) . (+ . .))\n      ->\n  \\endrow")

\documentclass[oneside]{book}
\usepackage[latin1]{inputenc}
\usepackage{edrx08}       % (find-dn4ex "edrx08.sty")
%L process "edrx08.sty"  -- (find-dn4ex "edrx08.sty")
\input edrxheadfoot.tex   % (find-dn4ex "edrxheadfoot.tex")
\usepackage{longtable}
\usepackage{geometry}
\geometry{a4paper,textwidth=20cm}
\begin{document}

\input 2009-2-MD-prova-1-notas.dnt

% (find-angg "LATEX/2009-2-MD-prova-1.tex")

%*
% (eedn4-51-bounded)

%Index of the slides:
%\msk
% To update the list of slides uncomment this line:
%\makelos{tmp.los}
% then rerun LaTeX on this file, and insert the contents of "tmp.los"
% below, by hand (i.e., with "insert-file"):
% (find-fline "tmp.los")
% (insert-file "tmp.los")

% (find-angg ".emacs.papers" "kopkadaly")
% (find-kopkadaly4page (+ 12  31) "\\linebreak[num]")
% (find-kopkadaly4text            "\\linebreak[num]")
% (find-kopkadaly4page (+ 12  49) "\\usepackage{geometry}")
% (find-kopkadaly4text            "\\usepackage{geometry}")
% (find-kopkadaly4page (+ 12  95) "4.8     Tables")
% (find-kopkadaly4text            "4.8     Tables")
% (find-kopkadaly4page (+ 12  97) "\\multicolumn{num}{col}{text}")
% (find-kopkadaly4text            "\\multicolumn{num}{col}{text}")
% (find-kopkadaly4page (+ 12 108) "longtable")
% (find-kopkadaly4text            "longtable")
% (find-kopkadaly4page (+ 12 602) "H.1 Single column page format")
% (find-kopkadaly4text            "H.1 Single column page format")


\def\br{\hfill\hfill\hfill\linebreak[4]}
\def\endrow{\\ \hline}
\def\naofez{(não fez a prova) \\}
\def\naofez{\multicolumn{5}{c}{(não fez a prova)} \endrow}
\def\naofez{\multicolumn{5}{c|}{(não fez a prova)} \endrow}
\def\compr{{compr}}

% (find-angg "LATEX/2009-2-C2-prova-1-notas.tex")
% (find-angg "LATEX/2009-2-C4-prova-1-notas.tex")

\def\naocorrigi{{\bf corrigir}}
\def\naocorrigi{?}
\def\Notas(+ (+ #1) #2 (+ #3) #4 (+ #5))  -> #6
  {\notas #1 & (+ #2) & (+ #3) & (+ #4) \total #5}
\def\Notas(+ (+ #1) #2 (+ #3) #4 (+ #5))  -> #6
      {\\ (+ (+ #1) #2 (+ #3) #4 (+ #5))  $\to$ #6 \\}
\def\Notas(+ (+ #1) #2 (+ #3) #4 (+ #5))  -> #6 \endrow
  {\\
   % & (+ #1) & #2 & (+ #3) & #4 & (+ #5) \\
   % $\to$ #6 &&&&& \\
   $\to$ #6
   & (+ #1) & #2 & (+ #3) & #4 & (+ #5) \\
   \hline
   }



\tiny

% \setlength{\parindent}{-4cm}
% \setlength{\leftmargin}{-2cm}

\begin{longtable}{|p{2cm}|p{4cm}|p{2cm}|p{2cm}|p{2cm}|p{2.5cm}|} \hline
Alice Maria Silva Cirufo Vieira Costa &
    a: $x, y  \R$ (todo múltiplo de 3 é multiplo de 9) \br
    b: certa \br
    c*: disse que é verdadeira porque como 3 é múltiplo de 9 todo múltiplo de 3 é múltiplo de 9 \br
    c**: disse que é falsa nem todo $a$ é divisível por 3
  & fez só uma tabela de 4 linhas, para $P$, $Q$, $P∧Q$ e $\to R$, e errada; justificativa chutada ou colada
  & a: certo, bem explicado \br
    b: considere $x,y\Z\;(x.y)$
  & $(A×B)×C = A×(B×C) = (15,48)$
  & o conjunto $a$ pertence ao conjunto $B$ assim como os elementos do
    conjunto $a$ pertencem ao conjunto $B$. Conjunto = $\sof{1,2}$, elementos = 1, 2
  \Notas (+ (+ 0 .3 .2) .1 (+ 1.0 0) .1 (+ .7 .1))
      -> 2.5
  \endrow
Alvaro Cesar de Andrade Netto &
    a: $y\Z.(y=3a \to y=9b)$ \br
       (faltaram `$$'s)\br
    b: certo \br
    c*: disse que 6 é contra-exemplo, mas depois disse que se $a=b=2$ então $y=3a=6$ e $y=9b=18$ \br
    c**: disse que é verdadeira e deu dois exemplos: se $a=72$ então $9|72 = 8$ e $3|72=24$, e 45
  & 3 tabelas corretas, $A \bij B \bij C$, $C \to D$; tabela de 4 linhas pro $D$ \br
  & a: certo \br
    b: listou várias 4-uplas corretas
  & não fez
  & duas expansões de uma linha cada, erradas, mas $\squigto V$
  \Notas (+ (+ . . .) . (+ . .) . (+ . .))
      -> 5.5
  \endrow
Arthur Emilio Soares Argemil &
    a: $z\sof{3}:(x'=9)\;x=3$ \br
    b: certo \br
    c*: $3×4=12 \neq 9×4=36$ \br
    c**: verdadeira: $a\Z:x'=9,x=3$
  & uma tabela com 6 linhas, certa; desistiu no meio
  & a: certo, explicação breve \br
    b: $\sof{1, 2, ..., 30} \subseteq \sof{1}$, ...
       $\sof{1, 2, ..., 30} \subseteq \sof{4}$
       (a Juliana também fez isso); depois parou
  & $\sof{1}\sof{1,2}$ e $\sof{2}\sof{1,2}$ e $\sof{5}\sof{5,6}$ $\squigto V$ 
  & a: certo \br
    b: \def\foo{\{\{1,2\},1,2\}}
       $aA.a\foo :$ \br
       $1\foo \squigto V$, $2\foo \squigto V$, $3\foo\squigto V$, $= V∧V∧F = V$.
    A Juliana também testou 3, 4, ... .
  \Notas (+ (+ . . .) . (+ . .) . (+ . .))
      -> 2.6
  \endrow
Bruno da Rosa Casado Lima &
    a: certa \br
    b: certa exceto pelo ``assim como'' no lugar de ``implica'' \br
    c*: uma linha, clara, usou 3 como contra-exemplo \br
    c**: verdadeira porque ``como 9 é múltiplo de 3 se 9 divide algum número 3 também dividirá''
  & 4 tabelas de 4 linhas cada; ``$A$ e $B$ são logicamente equivalentes, assim como $C$ e $D$ também são, logo $C \to D$''.
  & a: certo \br
    b: $a,b,c,d\sof{1,...,30} / (a \neq b, ... c \neq d) (a,b,c,d)$
  & $(A×B)×C = \sof{(1,3,5),...}$, $A×(B×C) = \sof{(3,5,1),...}$.
  & a: usou definições erradas \br
    b: perfeita
  \Notas (+ (+ .3 .2 1.8) 1.5 (+ 1.0 .7) .7 (+ .6 1.0))
      -> 7.8
  \endrow
Bruno Masiero Cesar de Oliveira &
    a: $y\Z.(y=3a \to y=9b)$ \br
    b: Para ``$x$'' pertencence aos inteiros, ``$a$'' é divisível por nove, então ``$a$'' também é divisível por 3. \br
    c*: $x\Z.\,(x=3a \to x=9b)$ \br
        se $a=2$, $x=32=6$ $\to$ não existe um número inteiro que multiplicado por 9 resulte em 6 \br
    c**: explicou que é verdade (...``já que 9 é divisível por 3'')
  & fez só a tabela do $P∧Q\to R$, com 8 linhas, mas com dois Fs
  & a: certa, bastante bem explicado \br
    b: seja $a$ uma lista de números naturais em ordem crescente, $\compr(a)=30$ e $a_1=1$ e seja $b$ a lista de maneiras diferentes
       de programar o aparelho para tocar 4 CDs, então $\compr(b)=(a_{30}a_{29}a_{28}a_{27})$
  & $(A×B)×C = \sof{1, 2, 3, 4, \sof{5, 6}}$,
    $A×(B×C) = \sof{\sof{1, 2}, 3, 4, 5, 6}$
  & $AB$ $\to$ verdade, pois $B$ possui um subconjunto $A$ (quis dizer elemento; figurinha certa) \br
    $A \subseteq B$ $\to$ verdade, já que $B$ contém o conjunto $A$
  \Notas (+ (+ . . .) . (+ . .) . (+ . .))
      -> 5.0
  \endrow
Caio Coelho Schueng &
    a: $a\Z\;z=9,x=3$ \br
    b: para todo $a$ pertencente ao conjunto dos inteiros tem-se 9 é divisível por $a$ que implica 3 é divisível por $a$ \br
    c*: sendo $x$ um inteiro diferente de 0 todo múltiplo de 3 também é de 9 \br
    c**: falsa
  & 4 tabelas de 4 linhas cada uma; o resto do raciocínio até estava bom
  & a: caixinhas, $30×29×28×27$ \br
    b: lista $(a_1, a_2, a_3, a_4) = (30, 29, 28, 27)$ $\to$ comprimento 4; conjunto $\sof{30,29,28,27}$
  & só copiou o enunciado
  & nada
  \Notas (+ (+ 0 .3 .1) 1.2 (+ 1.0 .1) 0 (+ 0 0))
      -> 2.7
  \endrow
Caio Felipe Chames &
    a: $x\Z: 3|x e 9|x$ \br
    b: para todo $a$ pertencente ao conjunto dos números inteiros, $a$ é divisível por 9 e isso implica que ele também deva ser divisível por 3 \br
    c*: vários erros de terminologia e notação, mas idéia correta; escreveu quase bem \br
    c**: ...a afirmação só não será verdade se $A\;(9|a)$ for verdade e $B$ não for, porém isso é impossível pois qualquer valor que é divisível por 9 também será por 3
  & $A \bij B \bij C$ por um argumento bem detalhado; $C \not\to D$ pois $C$ tem mais variáveis que $D$, logo $C$ tem mais valores de verdade que $D$, tornando a relação impossível
  & certa \br
    multiplicou 4 listas/conjuntos de tamanhos 30,29,28,27; not bad
  & $\sof{\sof{1,2},\sof{3,4},5,6}$ e $\sof{1,2,\sof{3,4},\sof{5,6}}$
  & a: ótimo \br
    b: ótimo
  \Notas (+ (+ .3 .3 1.9) 1.5 (+ 1.0 .4) .3 (+ 1.0 1.0))
      -> 7.7
  \endrow
Cicero Marques de Almeida &
    a: $a\Z.(a|9 \to a|3)$ \br
    b: para todo $a$ pertencente aos inteiros tal que 9 é múltiplo de $a$ e 3 é múltiplo de $a$. \br
    c*: $x\Z. (a|9 \to a|3) \to V$ \br
    c**: $x\Z. (9|a \to 3|a) \to F$ \br
    $9|3$ todo múltiplo de 9 é múltiplo de 3 pois 9 é múltiplo de 3 $9=3^2$
  & Todas utilizam os mesmos conjuntos $P$, $Q$, $R$.
  & a: $\frac{1}{30}×\frac{2}{29}×\frac{3}{28}×\frac{4}{27}=16.8840$ \br
    b: $(30,29,28,27)$ bandejas $(1,2,3,4)$ $\compr(4)$ $CDs(R1, R2, R3, \ldots, R30)$ $\compr(30)$
  & $\sof{75, 360} \neq \sof{15, 96} \squigto V$
  & fez umas arvorezinhas de Vs e Fs, mas acho que só enrolou
  \Notas (+ (+ .1 .1 .5) 0 (+ 0 0) 0 (+ 0 .6))
      -> 1.3
  \endrow
Daniel Avelino Manhaes &
    a: $a\Z.(9|a \to 3|a)$ (trocou) \br
    b: certa \br
    c*: falsa; só começou a justificativa 8-( \br
    c**: verdade; idem
  & fez quatro 4 de 4 linhas cada uma, achou que $A$ era uma tautologia, reconheceu que $C \to D$
  & perfeita e detalhadíssima; b: $(1,2,3,4), \ldots, (30,29,28,27)$
  & perfeita e detalhadíssima
  & perfeita e detalhadíssima; listou todos os subconjuntos de $\sof{\sof{1,2},1,2}$
  \Notas (+ (+ .2 .3 .5) .8 (+ 1.0 1.0) 1.0 (+ 1.0 1.0))
      -> 6.8
  \endrow
Dayana Goncalves Barbosa &
    não fez
  & uma tabela de 4 linhas pro $C$, uma de 4 pro $D$, uma de 4, errada, para $C \to D$
  & a: $4321$ \br
    b: $\{(1,2,3,4),$ ..., $(30,29,28,27)\}$
  & $(A×B)×C=15,24$ e $A×(B×C)=15,48$
  & a: ...é verdadeira pois todo elemento do conjunto pertence ao elemento de $B$ \br
    b: ...é verdadeira pois o conjunto $A$ está contido no conjunto $B$
  \Notas (+ (+ 0 0 0) 0 (+ 0 1.0) 0 (+ .1 .3))
      -> 1.4
  \endrow
Fernanda Gaglianone de Paiva &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ . . .) . (+ . .) . (+ . .))
      -> .
  \endrow
Fernando Elias Lima Pichone &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ . . .) . (+ . .) . (+ . .))
      -> .
  \endrow
Fernando Teixeira Magalhaes &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ 0 .1 .1) .3 (+ 1.0 .1) 0 (+ .3 0))
      -> 1.9
  \endrow
Frederico Casteloes Nery de Sa &
    a: $y,x\Z:3y=x$ \br
    b: certa \br
    c*: falsa; pegando o caso 2 $n=2$ $6 \neq 18$ \br
    c**: muito esquemático, como sempre; idéia certa, mas deveria escrever bem mais
  & fez as tabelas certas, viu que $A \bij B \bij C$ e que $C \to D$ não é tautologia
  & a: pelo princípio da multiplicação, $30292827$... \br
    b: $A=30$, $aA:\sof{1,2,\ldots,30}$, $bB:\sof{1,2,\ldots,29}$, ..., $A\neq B$, $A \neq C$, etc
  & perfeita
  & a: $\sof{1}\subset B$ $∧$ $\sof{2}\subset B$ $∧$ $\sof{1,2}\subset B$ $\squigto$ V \br
    b: $\sof{1}\in     B$ $∧$ $\sof{2}\in     B$ $∧$ $\sof{1,2}\in     B$ $\squigto$ V
  \Notas (+ (+ 0 .3 1.5) 2.0 (+ 1.0 .3) 1.0 (+ 1.0 1.0))
      -> 8.1
  \endrow
Frederico Mendonca Almeida Portilho &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ . . .) . (+ . .) . (+ . .))
      -> .
  \endrow
Gabriel Aleixo Moreno &
    a: $a\Z.(a.3 \to a.3^2)$ \br
    b: perfeita \br
    c*: falsa porque não são todos os múltiplos de 3 que são múltiplos de 9, só os que forem maiores que 9... exemplo, 6 \br
    c** verdadeira porque para todo :
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ .2 .3 1.5) 1.5 (+ 1.0 0) 0 (+ 1.0 .2))
      -> . 5.7
  \endrow
Gabriel de Souza Rangel dos Santos &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ .1 .3 1.5) 0 (+ 1.0 0) 0 (+ 0 0))
      -> 2.9
  \endrow
Gabriel Jacques Soares &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ 0 .3 0) 0 (+ 1.0 0) .1 (+ 0 0))
      -> 1.4
  \endrow
Gideon de Oliveira Soares &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ .2 .3 .8) .3 (+ 1.0 .1) 0 (+ 0 0))
      -> 2.7
  \endrow
Hugo Cesar Baur Salgado &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ 0 .2 0) 1.3 (+ 0 0) 0 (+ 1.0 1.0))
      -> 3.5
  \endrow
Igor da Cunha Souza &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ 0 .3 1.8) 1.4 (+ 1.0 0) 0 (+ 0 0))
      -> 4.5
  \endrow
Igor Tauan Dos Santos Castro &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ .1 0 .2) 0 (+ 0 0) 0 (+ .1 0))
      -> 0.4
  \endrow
Jonothas Dos Santos Reis &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ . . .) . (+ . .) . (+ . .))
      -> .
  \endrow
Juliana Sales Martins &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ .1 .1 .4) .7 (+ 1.0 0) 0 (+ .1 .1))
      -> 2.5
  \endrow
Julio Cesar de Oliveira Freitas &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ .2 .1 0) 0 (+ .8 0) 0 (+ 0 0))
      -> 1.1
  \endrow
Lucas Alves Alonso &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ .2 .3 .2) .4 (+ 1.0 0) 0 (+ .2 1.0))
      -> 3.3
  \endrow
Marcello Duarte Crescencio &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ .2 .1 .4) .2 (+ 1.0 0) 0 (+ 1.0 1.0))
      -> 3.9
  \endrow
Marcelo Costa de Oliveira Junior &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ .1 .3 1.8) 1.2 (+ 1.0 0) 0 (+ 0 1.0))
      -> 5.4
  \endrow
Marco Vinicius da Costa Alves &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ 0 .3 .5) 1.5 (+ 1.0 0) 0 (+ 0 .5))
      -> 3.8
  \endrow
Marcos Aurelio Jose Ramos Junior &
    a: \br
    b: \br
    c*: \br
    c**: igual à do Renan Mozer
  & Escreveu ``as mesmas semelhanças'' e apagou; $C \not\to D$, pois são logicamente equivalentes
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ 0 .3 0) .3 (+ 0 0) 0 (+ 1.0 .5))
      -> 2.1
  \endrow
Matheus de Lima Mendonca &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ . . .) . (+ . .) . (+ . .))
      -> .
  \endrow
Matheus Lily Serrao Dilon &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ .3 .3 1.8) 2.0 (+ 1.0 .2) .1 (+ 0 .3))
      -> . 6.0
  \endrow
Matheus Miranda Adams &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ 0 .1 .3) .5 (+ 1.0 0) 0 (+ 0 0))
      -> 1.9
  \endrow
Matheus Santos de Oliveira &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ . . .) . (+ . .) . (+ . .))
      -> .
  \endrow
Nathan Araujo Freitas &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ . . .) . (+ . .) . (+ . .))
      -> .
  \endrow
Pedro Cavalcanti Trindade Marins &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ 0 .2 0) 0 (+ 1.0 0) 0 (+ .2 .2))
      -> 1.6
  \endrow
Peterson Tiago de Jesus Andrade &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ .3 .3 1.8) 2.0 (+ 1.0 .6) 1.0 (+ 1.0 1.0))
      -> 9.0
  \endrow
Raphael Barbosa da Silva Morato &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ .2 .1 .1) .2 (+ 0 0) 0 (+ 0 0))
      -> .6
  \endrow
Renan de Oliveira Mozer &
    a: \br
    b: \br
    c*: verdadeiro, pois implica 3 e não 9 \br
    c**: Igual à do Marcos Aurélio
  & Mesmas semelhanças
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ 0 .3 0) 0 (+ .9 0) .1 (+ 1.0 0))
      -> 2.3
  \endrow
Renan do Carmo de Souza &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ 0 .2 0) 0 (+ 1.0 0) 0 (+ .1 0))
      -> 1.3
  \endrow
Rodrigo Cruz da Silva &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ .1 0 1.5) 1.6 (+ 1.0 0) .6 (+ 1.0 1.0))
      -> 6.8
  \endrow
Tairine Pravadelli Cunha &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ 0 .2 1.8) 2.0 (+ 1.0 0) 0 (+ 0 .2))
      -> 5.2
  \endrow
Vitor Henrique Costa Mendes Praun &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ 0 .3 1.8) 1.0 (+ 1.0 1.0) 0 (+ 0 0))
      -> 5.1
  \endrow
Wallace Cabral da Silva &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ . . .) . (+ . .) . (+ . .))
      -> .
  \endrow
Welington da Costa Ximenes &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ 0 .3 1.0) 1.0 (+ 1.0 .5) .2 (+ .9 .2))
      -> 5.1
  \endrow
Wilder Nico Barcelos &
    a: \br
    b: \br
    c*: \br
    c**:
  &
  & a: \br
    b:
  &
  & a: \br
    b:
  \Notas (+ (+ 0 .2 1.0) 1.0 (+ 1.0 .1) .5 (+ .3 .3))
      -> 4.4
  \endrow
\end{longtable}

%*

% (find-sh "cat 2009-2-MD-prova-1-notas.tex | awk '/^[A-Z]/ {print}; /[Nn]otas|pdois|->/ {print}'")


\end{document}

% Local Variables:
% coding:           raw-text-unix
% ee-anchor-format: "«%s»"
% End: