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: 2018
Créditos: 6
Número de alunos matriculados: 28
Idioma de oferecimento: Português
Horários/Salas:
Docentes:
Reservas:
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 |