Marcelo Gama

Nesse tópico são estudados os conceitos de proposições, tabela verdade, regras de inferência, validade de argumentos e quantificadores. Aqui é  dada ênfase ao raciocínio lógico-dedutivo. Estudamos ainda os diversos tipos de demonstração utilizados em matemática.

Aqui estudamos conjuntos, operações com conjuntos e as propriedades dessas operações. Vemos ainda algumas das aplicações importantes da teoria dos conjuntos.

Aqui estudamos o conceito de relações e funções e suas propriedades. Estudamos ainda diversas aplicações como autômatos finitos, linguagens e notação assintótica. É dada ênfase às relações de equivalência e suas propriedades.

Aqui tratamos da notação de somatório e suas propriedades. Um dos temas centrais em matemática discreta é o teorema de indução finita, estudado também nesse tópico. Finalmente abordamos problemas que se apresentam na forma recursiva e as técnicas mais comuns para encontrar soluções.

Aqui estudamos divisibilidade, números primos, fatoração e congruências. Além disso, vemos diversas aplicações como aritmética binária e hexadecimal, códigos detectores de erros e criptografia.

Aqui estudamos os princípios aditivo e multiplicativo, normalmente chamados de princípios fundamentais de contagem. Vemos os principais tipos de agrupamentos: permutações, arranjos e combinações. Finalizamos com o estudo do binômio de Newton.

Aqui estudamos a teoria básica de grafos. A ênfase é conhecer os principais conceitos sobre grafos e a terminologia utilizada. Estudamos ainda alguns problemas em grafos e algoritmos para resolvê-los.