02/2026 - LÓGICA MATEMÁTICA - Turma B
Este curso tem como objetivo desenvolver nos estudantes a capacidade de raciocínio lógico e abstrato no intuito de capacitar o estudante a propor algoritmos rápidos e eficientes; ensinar aos estudantes os fundamentos sobre sistemas dedutivos e formalismos da lógica clássica; tornar os estudantes aptos a conhecer os conceitos da Lógica Proposicional e da Lógica de Primeira Ordem e suas aplicações na computação.
