CIN7141-01342A (20241) - Lógica Instrumental I

Introdução ao Raciocínio Lógico-Matemático. Teoria de Conjuntos. Lógica Proposicional. Cálculo de Predicados. Análise e Validação de Argumentos. Introdução ao Pensamento Dedutivo.