BCC:MAC0239-2008

De BCC Wiki

Métodos Formais em Programação

Tabela de conteúdo

Listas

  1. para 27/08
  2. para 24/09

Caderno

Caderno. Falta(m) o(s) dia(s):

  • 22/08
  • 29/08 a 26/09

Monitoria

Terças e Quintas das 12 às 13hs, na sala A-125

Bibliografia

Site oficial, download neste site ou pelo eDonkey/eMule.

Links

Critérios de Avaliação

Sub fechada.

ME = média aritmética simples das listas de exercícios

M_P = \frac{P_1 + 2P_2}{3}

Se MP > = 5 e ME > = 5,

então M_F = \frac{M_E+2*M_P}{3}

senão MF = min(ME,MP)

Calendário

Obtida de "http://cemshost.com.br/bcc/w/BCC:MAC0239-2008"
Ferramentas pessoais