|
Warning: this is an htmlized version!
The original is here, 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\}}
$ýaÝA.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=3·2=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}$
& $AÝB$ $\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: $4·3·2·1$ \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, $30·29·28·27$... \br
b: $A=30$, $ÎaÝA:\sof{1,2,\ldots,30}$, $ÎbÝB:\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: