7 posts
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.
Compreenda indução fraca, forte e estrutural com provas formais de corretude, terminação recursiva e invariantes de laço na prática.
Domine tabelas-verdade, equivalências de De Morgan, predicados e quantificadores aplicados à refatoração e verificação formal de código.
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.
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.
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.
Entenda congruências, o algoritmo de Euclides estendido, o Pequeno Teorema de Fermat e a matemática por trás da criptografia RSA moderna.
