Ementa:
Elementos de Lógica de primeira ordem, abordando detalhadamente o cálculo proposicional clássico e apresentando as principais técnicas metalógicas. Estudo detalhado de cálculo de predicados clássico. Teorias de primeira ordem. Caracterização, completude e compacidade.
Bibliografia:
Carnielli, W.A., Coniglio, M.E. e Bianconi, R., Lógica e Aplicações. Versão preliminar disponível em http://www.cle.unicamp.br/prof/coniglio/teaching.htm
Enderton, H. A Mathematical Introduction to Logic. Academic Press; 2001.
Mendelson, E., Introduction to Mathematical Logic. International Thomson Publishing, 1997.
Smullyan, R., First-Order Logic. Springer Verlag,1968.
Shoenfield, J. Mathematical Logic. Reading, Mass.: Addison-Wesley,1967.
Ano de Catálogo: 2020
Créditos: 8
Número de alunos matriculados: 4
Idioma de oferecimento: Português
Tipo Oferecimento: Regular
Local Oferecimento:
Horários/Salas:
Docentes:
Reservas:
Não possui reservas.| Hora | Segunda | Terça | Quarta | Quinta | Sexta | Sábado |
|---|---|---|---|---|---|---|
| 07:00 | ||||||
| 08:00 | ||||||
| 09:00 | ||||||
| 10:00 | ||||||
| 11:00 | ||||||
| 12:00 | ||||||
| 13:00 | ||||||
| 14:00 | A - | |||||
| 15:00 | A - | |||||
| 16:00 | A - | |||||
| 17:00 | A - | |||||
| 18:00 | ||||||
| 19:00 | ||||||
| 20:00 | ||||||
| 21:00 | ||||||
| 22:00 | ||||||
| 23:00 |