A Visão Geral do Problema P vs NP e as Classes de Complexidade: Explicação do Problema do Prêmio Millennium e o seu Significado na Programação
Categorias
70 páginas
Ciência da computação
Autômatos e Teoria das Linguagens Formais: Os Bastidores das Expressões Regulares e a Hierarquia de Chomsky
Cálculo Lambda (Lambda Calculus) e as Origens da Programação Funcional: Da Teoria de Alonzo Church ao Lisp e Haskell
Máquina de Turing e Teoria da Computabilidade: O Experimento Mental de Alan Turing e o 'Problema da Parada'
O Jogo da Vida de Conway: Um Autômato Celular Onde a Complexidade da Vida Emerge de Regras Simples
Teorema das Quatro Cores (Four Color Theorem) - Qualquer mapa pode ser colorido com 4 cores?
Os Teoremas da Incompletude de Gödel: A prova matemática da 'verdade que nunca pode ser provada'
Problema da Paragem (Halting Problem): O programa perfeito que é impossível criar
Algoritmo de Deteção de Ciclos de Robert Floyd (Algoritmo da Lebre e da Tartaruga)
Limites da Fatoração de Primos e Explicação da Notação Big O (O) da Complexidade Computacional
