Unicamp Diretoria Acadêmica

HG805 - Lógica III - 2S/2025 Imprimir

Graduação/Tecnologia

Informações da disciplina

Ementa:

O curso tem o objetivo de introduzir as principais noções de teoria de conjuntos, na formulação padrão na lógica de primeira ordem, ZFC. Além das componentes formais, o curso introduz o debate sobre o papel fundacional da teoria de conjuntos na matemática.

Ano de Catálogo: 2025

Créditos: 6

Pré-requisitos:

  • De 2020 até 2025: AA200/ HG404

Turma: A Vagas: 30

Idioma de oferecimento: Português

Horários/Salas:

  • Quinta 08:00 - 12:00 IH01

Docentes:

  • Marcelo Esteban Coniglio

Reservas:

  • 16 - Ciências Sociais
  • 30 - Filosofia
  • 44 - Ciências Sociais

Horários

Hora Segunda Terça Quarta Quinta Sexta Sábado
07:00
08:00 A - IH01
09:00 A - IH01
10:00 A - IH01
11:00 A - IH01
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: