MAC 239 - Métodos Formais em Programação

Segundo semestre de 2004

 
 

Aluno	Lista 1	Lista 2	Lista 3	Lista 4	Lista 5
AKK	7,0	9,0	7,75	4,5	9,5
ALMB	9,5	9,5	9,75	10	12
ALS	5,5	5,5	-	3	10
ALJA	6,0	5,0	6,5	6	-
APSM	10,0	10,0	7,25	6,5	12
AVS	4,5	8,0	9,0	9	11
AGS	5,5	5,5	-	7	10
BK	8,5	9,5	10,0	8	12
CeMS	9,5	6,0	6,25	-	-
CW	1,0	7,0	6,75	5,5	11
CSK	4,5	5,5	-	-	6
CMS	10,0	10,0	10,75	10	11
DHA	10,0	9,5	9,75	10	12
DAL	9,0	9,0	8,75	9	12
DMM	-	9,0	-	-	-
EGCP	8,5	9,0	7,0	10	10
EMK	6,5	9,5	7,75	6	12
ETK	7,5	10,0	7,75	10	12
EYK	5,0	9,0	7,5	6	-
EP	-	6,5	-	-	-
ESM	7,5	9,5	-	7	12
FACT	9,5	10,0	8,5	10	12
FMR	9,5	9,0	9,5	9,5	10
FJCB	-	-	-	-	-
FBP	9,0	9,5	8,5	8,5	10
FW	10,0	10,0	8,75	9	10,5
FFS	10,0	9,0	9,0	9	10
FMS	10,0	10,0	8,0	8	-
GEFD	8,0	7,0	7,75	5	6,5
GRL	9,0	9,0	8,5	7,0	7
GKT	10,0	10,0	8,75	8	10
GMPM	9,0	7,5	9,0	6,5	10
HLN	8,5	9,5	9,25	6	12
HMK	9,5	8,0	8,5	7	10
HC	9,0	10,0	9,5	9	12
JRS	10,0	10,0	9,5	10	11
JJO	-	-	-	-	-
JOMSO	9,5	10,0	9,75	9	12
JDGT	8,0	9,5	-	-	8,5
LANF	-	10,0	-	-	-
LIOB	9,5	-	9,0	6,5	10
LTK	10,0	9,5	9,0	9	12
LFGS	8,5	10,0	9,25	9	10,5
LRL	-	10,0	8,75	5,5	11,5
MKY	-	-	-	-	-
MGH	9,0	10,0	7,5	7	12
MMR	10,0	9,0	9,5	8	10
MTIO	10,0	10,0	10,0	10	12
MD	6,0	7,0	6,5	7	-
MCHMR	-	-	-	-	-
MVB	10,0	9,5	10,0	9	9
MYA	7,5	6,0	7,75	-	-
NCT	-	9,0	7,5	-	-
NSRJ	5,5	6,0	-	6	10
PAI	9,5	9,0	10,0	9	10
PHSO	9,5	8,5	7,5	8	11,5
RAC	9,5	9,0	7,0	10	12
RFF	8,0	6,0	9,0	8	-
RDL	10,0	10,0	9,75	10	12
RLO	7,0	-	-	-	-
RLMS	7,5	-	7,75	-	11,5
RS	-	-	-	5	10
RYLC	10,0	10,0	9,75	10	12
ROL	-	-	-
RIA	8,0	10,0	9,5	8	11
RLL	1,0	-	7,0	8	11
RSL	-	10,0	-	8,5	8
RMG	-	-	-	-	-
RR	5,5	5,5	9,25	10	10
SLLJ	10,0	7,5	9,25	6,5	10
TAMD	6,0	8,5	9,0	8	-
VCS	8,5	9,5	7,5	8	10
WTY	10,0	10,0	8,5	10	11
WG	8,5	7,0	-	-	9
WM	5,0	8,5	6,75	6,5	10