Ementa/Descrição: |
Introdução ao pensamento computacional: decomposição, reconhecimento de padrões, abstração, algoritmo (sequência de passos e formas de representação). Raciocínio lógico (dedutivo, indutivo e abdutivo) e lógico-matemático (problemas e jogos); Fundamentos de Lógica Computacional; Lógica Proposicional; Tabelas Verdade (negação, conjunção, disjunção, implicação, bi-implicação); Axiomas e regra de inferência; Lógica de Predicados. |