Unicamp Diretoria Acadêmica

HG404 - Introdução à Lógica - 2S/2020 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: 2020

Créditos: 6

Pré-requisitos:

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

Turma: A Vagas: 45

Número de alunos matriculados: 38

Idioma de oferecimento: Português

Horários/Salas:

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

Docentes:

  • Giorgio Venturi

Reservas:

  • 30 - Filosofia

Horários

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