Carga horária: 60 hs (30 aulas de 1 hora e 40 minutos)
Créditos: 4
Horário: terças e quintas, 13:30 - 15:10 (turma A) e 15:30 - 17:10 (turma B)
Atendimento: Sala 220 do prédio 67
* **** RESULTADOS - turmas A e B *****
* Prova I
* Prova II
Logic in Computer Science: Modelling and Reasoning about Systems
Michael Huth, Mark Ryan
Editora Cambridge University Press (ISBN 978852161610)
Types and programming languages
Pierce, Benjamin Pierce
Editora Mit Press (ISBN 0262162091)
Disponível em http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267321
Abaixo seguem ótimos artigos que tratam de assuntos que, de uma forma ou de outra, foram tratados nessa disciplina:
Retrospective: An Axiomatic Basis for Computer Programming - Entrevista com Tony Hoare
Technical Perspective: A Compiler's Story - Ótima introdução ao artigo Formal Verification of a Realistic Compiler (ver abaixo)
Solving the Unsolvable - Editorial da CACM sobre o artigo Proving Program Termination (ver abaixo)
Turma A
Grupo | Data | Hora | Componentes |
---|---|---|---|
1 | 01/7 | 13:30 | Bruno Veck Milao, Helena Michaelsen Roesler, Vinicius Alves Herbstrith |
2 | 01/7 | 14:00 | Lourenço Jacobs, André Telles, Pedro Martins Costa |
3 | 01/7 | 14:30 | Fernando Bombardelli da Silva, Ulisses Bertoldi, William Bombardelli da Silva |
4 | 03/7 | 13:30 | Guilherme Antonio Camelo, João Lauro Garibaldi Júnior, Juliano Nakamura |
5 | 03/7 | 14:00 | Rafael Valer, Henrique Moura, Gabriel Barufi Veras |
6 | 03/7 | 14:30 | Guilherme Oliveira, Ramon Raupp, Rodrigo Jantsch |
Turma B
Grupo | Data | Hora | Componentes |
---|---|---|---|
1 | 01/7 | 15:30 | Giovani Gheno Bombardieri, Pedro Araujo Cantarutti, Suelen Marques Martins |
2 | 01/7 | 15:55 | Cristiano Ruschel, Gabriel Mattos, Eduardo Graebin de Farias |
3 | 01/7 | 16:20 | Jessica T. Reinaldo, Daniel Bossle, Scheila P. Chilanti |
4 | 01/7 | 16:45 | Matheus dos Santos Gonzaga, Eduardo Pereira, Nelson Antônio Antunes Júnior |
5 | 03/7 | 15:30 | Bruno Soares Fillman, João Paulo T Ruschel, João Pedro D Reis |
6 | 03/7 | 15:55 | Inatan Lopes Hertzog, Marina Fortes Rey, Pedro Henrique Arruda Faustini |
7 | 03/7 | 16:20 | Alister Machado, Eduardo Vernier e Luis Felipe Polo |
8 | 03/7 | 16:45 | Gabriel Manzoni Moreira, Guilherme Longoni, Ricardo Godoy de Oliveira |