Noções lógica de primeira ordem e quantificadores. Conjuntos: conceitos básicos, operações, relações, funções, cardinalidade, classes de equivalência. Técnicas de Demonstração: exemplos, contraexemplos, força bruta, prova direita, prova construtiva, prova por contradição. Indução e recursão, princípio de indução forte. Números Inteiros. Algoritmos básicos. Aritmética modular. Técnicas de Contagem. Probabilidade Discreta.
Nenhum pre-requisito encontrado para MAT1320
Nenhum co-requisito encontrado para MAT1320