Seminário dos alunos de Lógica Avançada e Computabilidade e Complexidade

Lista provisória

• 5/11: Domingos Lopes: Teoria de Conjuntos e Axiomática de Peano

  Literatura:

  • Jon Barwise, Handbook of Mathematical Logic, North-Holland, 1977.
  • Paul R. Halmos, Naive Set Theory, Springer-Verlag, 1974.

• 12/11: Radek Slesinger: A linguagem de programação WHILE

  Literatura:

  • A. J. Kfoury, Robert N. Moll, and Michael A. Arbib, A Programming Approach to Computability, Springer, 1982.

• 26/11: Carlos Caçador: Cálculo λ

  Literatura:

  • Barendregt.

• 3/12: Radek Slesinger: Teorema de Church
• 10/12: Marisa Figueiredo: A linguagem de programação WHILE

  Literatura:

  • Weihrauch.