AT1 Apresentação

25 fevereiro 2010, 15:00 • Amilcar Sernadas

Apresentação dos docentes. Apresentação da disciplina: objectivos, programa, bibliografia e método de avaliação. Escolha do horário das sessões de dúvidas.

O programa de Hilbert de formalização da matemática com vista à demonstração da sua coerência.

Funções, aplicações e notação lambda. Definições indutivas de conjuntos como pontos fixos de operadores. Definições indutivas de aplicações sobre conjuntos definidos por indução livre.