AT24 - Construção de Post

10 dezembro 2009, 13:00 • Amilcar Sernadas

Motivação e definição de conjunto produtivo e de conjunto criativo. Resultado fundamental de relacionamento da completude-m com a não listabilidade efectiva. Motivação e definição de conjunto imune e de conjunto simples. Existência de conjuntos simples (construção de Post).