Lógica para Computação (2008/2)

Informações gerais

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

Notas de aula

Trabalho

Sugestões de trabalhos

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
 
inf05508.txt · Last modified: 2008/12/11 01:38 by afmoreira
 
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki