Unicamp Diretoria Acadêmica

HG404 - Introdução à Lógica - 2S/2022 Imprimir

Graduação/Tecnologia

Informações da disciplina

Ementa:

O curso tem por objetivo examinar as noções mais elementares da moderna lógica simbólica, como as funções proposicionais, quantificação, função de verdade, verdade lógica, modelo, linguagem formal e método axiomático. Tratar-se-á também de levantar a questão do alcance e limites da aplicação de tais noções na investigação das línguas naturais.

Ano de Catálogo: 2022

Créditos: 6

Pré-requisitos:

  • De 1991 até 2002: AA200/ HG201 HG202
  • De 2003 até 2004: AA200/ HG201/ HG202
  • De 2005 até 2022: AA200/ HG207/ HG208

Turma: A Vagas: 48

Número de alunos matriculados: 29

Idioma de oferecimento: Português

Horários/Salas:

  • Terça 08:00 - 12:00 IH04

Docentes:

  • Giorgio Venturi

Reservas:

  • 30 - Filosofia

Horários

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