Carga horária: 60 hs (30 aulas de 1 hora e 40 minutos)
Créditos: 4
Horário/Sala: terças e quintas 10:30-12:10 (turma B)
Atendimento: Quintas 17:30-18:00.
NOTAS FINAIS
PROVA 2 - 04/12
EXAME - 09/12
| Grupo | Trabalho | Componentes |
|---|---|---|
| 1 | Lógica Modal | Vinicius Baldo, Rafael Beleza, Felipe Ilha |
| 2 | Lógica fuzzy | Oendel, Gabriel |
| 3 | Algoritmo de Model Checking para CTL | Federico Wasserman, Ricardo Gomes da Silva, Tadeu Knewitz Zubaran |
| 4 | Lógica Paraconsistente | Oggo Petersen Machado Neto, Gustavo Garcia Valdez, Diego Toralles Avila |
| 5 | Lógica temporal LTL | Bruna Fiorentin, Jonas Crauss Rodrigues de Freitas, Rafael Leites Luchese |
| 6 | BDDs | Filipe Reis Marcos Straub do Nascimento |
| 7 | Lógica intuicionista | Guilherme Martini, Gustavo de Jesus, Marius Fontes |
| 8 | Programa de Hilbert | |
| 9 | ProofWeb - para lógica de predicados | Eduardo, Damien e Éderson |
| 10 | Prolog | Fábio Fontoura Beltrão, Juliano Leal Gonçalves, Lucas Fialho Zawacki |
| 11 | Algoritmos para o problema da satisfatibilidade | Yuri Pelz Gossmann, Willian de Quevedo Sandoval, Danielee Cestari |
| 12 | Lógicas de Descrição | Renato, Marcos |
| 13 | Os Teoremas da Incompleteza de Gödel | Alessandro, Luis Armando, Maurício Cruz |
| Data | Horário | Grupo |
|---|---|---|
| 25/11 | 10:30 - 10:50 | 1 |
| 10:50 - 11:10 | 2 | |
| 11:10 - 11:30 | 3 | |
| 11:30 - 11:50 | 4 | |
| 11:50 - 12:10 | 5 | |
| 27/11 | 10:30 - 10:50 | 6 |
| 10:50 - 11:10 | 7 | |
| 11:10 - 11:30 | 8 | |
| 11:30 - 11:50 | 9 | |
| 11:50 - 12:10 | 10 | |
| 02/12 | 10:30 - 10:50 | 11 |
| 10:50 - 11:10 | 12 | |
| 11:10 - 11:30 | 13 |