Matemática para Computação

Fundamentos matemáticos para engenharia de software: lógica formal, indução, conjuntos, teoria dos números, combinatória, grafos e teoria da computação.

1. 1
   LidaLógica Proposicional e de Primeira Ordem: Fundamentos e Computabilidade

   Domine tabelas-verdade, equivalências de De Morgan, predicados e quantificadores aplicados à refatoração e verificação formal de código.

   iniciante
2. 2
   LidaIndução Matemática e Recursão: Do Efeito Dominó à Corretude de Algoritmos

   Compreenda indução fraca, forte e estrutural com provas formais de corretude, terminação recursiva e invariantes de laço na prática.

   intermediário
3. 3
   LidaTeoria dos Conjuntos, Relações e Funções: Álgebra Relacional e Hashing

   Aprenda operações com conjuntos, propriedades de relações de equivalência e ordem parcial, além de bijeções aplicadas a SQL e tabelas hash.

   intermediário
4. 4
   LidaTeoria dos Números e Aritmética Modular: Da Divisibilidade à Criptografia RSA

   Entenda congruências, o algoritmo de Euclides estendido, o Pequeno Teorema de Fermat e a matemática por trás da criptografia RSA moderna.

   intermediário
5. 5
   LidaAnálise Combinatória e Contagem: Técnicas Discretas e Princípio dos Pombos

   Domine regras da soma e do produto, permutações, combinações com repetição e o princípio da casa dos pombos em hashing e colisões.

   intermediário
6. 6
   LidaTeoria dos Grafos e Algoritmos de Busca: Da Conectividade ao A* Heurístico

   Representações em memória, travessias BFS e DFS, caminhos mínimos com Dijkstra e busca informada A* com heurísticas admissíveis e consistentes.

   avançado
7. 7
   LidaTeoria da Computação e Linguagens Formais: De Autômatos à Máquina Universal de Turing

   Hierarquia de Chomsky, autômatos finitos, gramáticas livres de contexto com parser recursivo em Go e o limite da computação com a parada de Turing.

   avançado