Descrição
Curso básico de pós-graduação em lógica matemática. Lógica proposicional e de predicados, teoria da prova, Eliminação de Cut de Gentzen, completude, compacidade, modelos de Henkin, teoria dos modelos, aritmética e indecidibilidade. Tópicos especiais (se houver tempo) dependendo dos interesses do instrutor e da turma.
Texto de referência na sua língua de origem
A basic graduate course in mathematical logic. Propositional and predicate logic, proof theory, Gentzen's Cut-Elimination, completeness, compactness, Henkin models, model theory, arithmetic and undecidability. Special topics (time permitting) depending on interests of instructor and audience.
Fontes e referências
As datas e as fontes são mantidas para ajudá-lo a verificar os dados. As traduções são propostas para facilitar a leitura; a fonte oficial é a referência para condições e exigências.
Fonte de referência : https://calendar.carleton.ca/grad/courses/MATH/