Lógica Avançada
"Even now, mathematics students are expected to learn complicated
(ε-δ)-proofs in analysis with no help in understanding
the logical structure of the arguments. Examiners fully deserve the
garbage that they get in return."
Paul Taylor, Practical Foundations of Mathematics, Cambridge, 1999,
p. 1f
Horário
- Segunda feira 17:00-19:00, seminário, sala 2.5
- Quarta feira 11:00-12:30, teóricas, sala 4.2
Seminário de Lógica e Computação
Seminário dos alunos de Lógica Avançada e Computabilidade e Complexidade
Folhas Práticas
Bibliografia
- Jon Barwise. An Introduction to First-Order Logic, in:
Handbook of Mathematical Logic (J. Barwise, ed.),
North-Holland, 1977, pp. 5-46.
- Wilfrid Hodges. Classical Logic I: First-Order Logic, in: The Blackwell Guide to Philosophical Logic
(Lou Goble, ed.), Blackwell, 2001, pp. 9-32.
- Joseph R. Shoenfield. Mathematical Logic. Addison-Wesley,
1967. Reprinted by ASL, AK Peters, 2000.
- C. Smorynski. The Incompleteness Theorems, in:
Handbook of Mathematical Logic (J. Barwise, ed.),
North-Holland, 1977, pp. 821-865.
- Alfred Tarski. Introduction to Logic and to the Methodology of
the Deductive Sciences. 4th edition, Oxford University Press,
1994.
- Augusto Franco de Oliveira. Lógica e aritmética. Gradiva, 1991.
Reinhard Kahle