O Problema dos Generais Bizantinos e o Abismo dos Algoritmos de Consenso: O Funcionamento de Paxos, Raft e BFT
Categorias
74 páginas
Ciência da computação
Teoria da Árvore B e Índices de Banco de Dados (Por que os BDs escolhem a B-Tree?)
Teoria da Informação e Entropia de Shannon: Explorando os Limites da Compressão de Dados e Comunicação
Teoria dos Grafos e Algoritmos de Dijkstra e A*: Base Matemática e Implementação de Busca de Caminho
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
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
