LÓGICA MATEMÁTICA

Lógica sentencial e de 1a. ordem; Sistemas dedutivos naturais e axiomáticos; Completeza; Consistência; Correção; Prova e decidibilidade. Formalização de problemas; Aplicações de programas .

Coordenador do Curso
Nacim Miguel Junior
junior@fasc.com.br