Ciência da Computação

Lógica booleana, álgebra, sistemas numéricos, operações bitwise, IEEE 754, combinatória, probabilidade, logaritmos, séries, aritmética modular e o Master Theorem — toda a matemática essencial para análise de algoritmos e design de sistemas

Fundamentos avançados de C: compilação, tipos, ponteiros, aritmética de memória, stack vs heap, structs, preprocessador e ferramentas de análise

Análise formal de complexidade algorítmica: Big O, Omega, Theta, Master Theorem, análise amortizada e os limites da teoria na prática

Estrutura de dados fundamental: sequência contígua de elementos na memória, layout, alocação, análise amortizada e técnicas avançadas

Estrutura de dados com alocação não-contígua onde cada nó aponta para o próximo — análise formal de operações, sentinel nodes, Floyd's cycle detection, LRU Cache e Skip Lists

Pilhas (LIFO) e Filas (FIFO): análise formal como ADTs, implementações internas, heaps, priority queues e aplicações reais em sistemas

Análise aprofundada de tabelas hash: funções hash, colisões, open addressing, consistent hashing, Bloom Filters, Cuckoo Hashing e implementação completa em TypeScript

Estruturas hierárquicas, BSTs, árvores balanceadas, B-Trees, Tries e Segment Trees: a espinha dorsal de bancos de dados, compiladores e sistemas de busca

Definição formal, representações, BFS, DFS, shortest path, MST, ciclos, SCCs e aplicações reais em redes, mapas e dependency resolution

Busca linear, busca binária, merge sort, quick sort, heap sort, algoritmos não-comparativos e análise formal de complexidade

De recorrências e backtracking a memoization e bitmask DP: análise formal e implementação de técnicas recursivas e de programação dinâmica

Processos, threads, escalonamento, memória virtual, concorrência, deadlock, filesystem, I/O assíncrono, containers e o event loop do Node.js

Pipeline de compilação, análise léxica, parsing, ASTs, análise semântica, geração de código, otimizações e a diferença entre compilação AOT, JIT e interpretação

Modelo OSI/TCP-IP, subnetting, TCP/UDP, DNS, HTTP/1.1-2-3, TLS, WebSocket, CDN e load balancing

Modelos de sistema, tempo lógico (Lamport/vector clocks), consenso (Raft), replicação, consistência (linearizability, eventual, causal), CAP/PACELC, CRDTs, sharding e detecção de falhas

Modelos de concorrência (threads, green threads, actors, CSP), memory model, lock-free data structures, async runtimes internals e leis de Amdahl/Gustafson

Como bancos de dados funcionam por dentro: storage engines (B-tree vs LSM-tree), buffer pool, WAL, MVCC, vacuum, query optimizer, index internals, lock manager e replication