Unicamp Diretoria Acadêmica

SI120 - Lógica Matemática - 1S/2025 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: 2025

Créditos: 4

Turma: A Vagas: 85

Número mínimo de alunos: 1

Número de alunos matriculados: 54

Idioma de oferecimento: Português

Horários/Salas:

  • Quinta 08:00 - 12:00 PA04

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 - PA04
09:00 A - PA04
10:00 A - PA04
11:00 A - PA04
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: