Alicerces
Computação, internet, raciocínio, dados e fundamentos que sustentam todo o restante.
Pensamento computacional e resolução de problemas
Este livro ensina a transformar uma situação nebulosa em um problema verificável. A competência central não é escrever código: é distinguir objetivo, restrição, dado, hipótese e evidência. Leia O mapa antes do código e depois execute o Caderno de laboratório. Ao concluir, você deverá conseguir explicar o problema sem citar uma tecnologia, desenhar entradas e saídas, criar uma solução simples de referência e demonstrar onde ela falha. Esse alicerce alimenta requisitos, programação, testes e sistemas de IA.
Computadores, sistemas operacionais e execução
Este livro acompanha um programa do arquivo ao processo: CPU, memória, sistema operacional, processos, threads, arquivos e runtimes. Comece por Do silício ao processo e pratique no Laboratório de execução. O objetivo não é montar hardware, mas formar um modelo causal para diagnosticar software.
Dados, representação e codificação
Dados não entram “puros” no sistema: são representados por bytes segundo convenções. Do bit ao significado liga encoding, formatos, precisão, schema e qualidade; o Caderno de representação torna perdas e ambiguidades visíveis.
Redes, Internet e protocolos
Este livro disseca o trajeto de uma URL até uma resposta: endereço, DNS, IP, transporte, HTTP e TLS. Leia Da URL à resposta e faça o Laboratório de rede. Ao final, “a internet caiu” deve virar uma hipótese localizada e testável.
Terminal, shell, ambientes e dependências
O terminal é uma interface textual; o shell interpreta comandos; o processo recebe argumentos, ambiente, entrada e diretório. Leia A oficina reproduzível e pratique no Caderno operacional. O foco é autonomia com segurança, não memorizar comandos.
Linguagens, tipos, estruturas, algoritmos e complexidade
Este livro conecta intenção humana a instruções executáveis. Do valor ao algoritmo ensina sintaxe, semântica, tipos, controle, funções, estruturas e custo; o Caderno operacional transforma isso em medições e testes.
Git, versionamento e colaboração
Git registra um grafo de estados e permite colaboração auditável. Leia História como grafo e execute o Laboratório de colaboração. O objetivo é preservar intenção e evidência, não decorar comandos de emergência.
Testes, depuração e evidência
Qualidade não nasce do número de testes, mas da força da evidência. Leia Do palpite à prova para aprender níveis, oráculos, propriedades, observabilidade e diagnóstico; pratique no Caderno de falhas.
Sistemas de Informação, requisitos e processos
Software não é o sistema inteiro. Pessoas, regras, dados, tecnologia, incentivos e controles formam um sistema sociotécnico. Leia Da organização ao requisito e produza evidência no Caderno de descoberta. Este livro é a ponte entre fundamentos e arquitetura. Ele evita dois extremos: construir telas sem compreender o trabalho e documentar tanto que nunca se testa uma hipótese.
Matemática essencial para computação e IA
Este livro apresenta matemática como linguagem de relações e incerteza, sem exigir salto direto para provas avançadas. Vetores, incerteza e mudança constrói o modelo mental; o Caderno numérico exige cálculo manual, código e interpretação.
Ética, acessibilidade e privacidade desde a base
Estes temas não são acabamento nem responsabilidade exclusiva do jurídico. Projetar para pessoas e consequências integra dignidade, inclusão, minimização e governança; o Caderno de impacto transforma princípios em controles testáveis.