Lógica

UNIVERSIDADE DE SÃO PAULO

Desenvolver a lógica de 1 ordem clássica, incluindo os teoremas da completude e da incompletude de Gödel. Desenvolver exemplos em teorias matemáti...

Nenhum inscrito ainda

Materiais

Explore os materiais disponíveis

Você precisa estar logado para ver os materiais dessa disciplina

Outros materiais que podem te interessar enquanto não há materiais específicos desta disciplina

‌
‌
‌