Unicamp Diretoria Acadêmica

SI120 - Lógica Matemática - 1S/2021 Imprimir

Graduação/Tecnologia

Informações da disciplina

Ementa:

Lógica Proposicional e de Quantificadores. Sistemas dedutivos naturais, axiomáticos e tableaux analíticos. Consistência, Compacidade, Completude e Correção.

Ano de Catálogo: 2021

Créditos: 4

Turma: A Vagas: 93

Número mínimo de alunos: 1

Número de alunos matriculados: 80

Idioma de oferecimento: Português

Horários/Salas:

  • Quinta 08:00 - 12:00

Docentes:

  • Joao Roberto Bertini Junior

Reservas:

  • 94 - Sistemas de Informação

Horários

Hora Segunda Terça Quarta Quinta Sexta Sábado
07:00
08:00 A -
09:00 A -
10:00 A -
11:00 A -
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
21:00
22:00
23:00

Compartilhar: