Observações
Antes de iniciar a leitura, tenha em mente os seguintes pontos.
interdependência: As notas possuem uma interdependência intrínseca, de modo que a recomendação é lê-las na ordem em que foram apresentadas. Contudo, sinta-se livre para percorrê-las de acordo com seu grau de maturidade.
leitor típico: Ao escrevê-las, teve-se em mente um leitor que possui proximidade com programação e um interesse genuíno nos fundamentos da Matemática e da Ciência da Computação.
pré-requisitos: À leitura não se exige pré-requisitos muito além de uma familiaridade básica com a maneira matemática de se escrever.
escopo: Não há qualquer intenção de gerar textos que sirvam de referência. Tratam-se, apenas, de anotações, rascunhos, esboços e pensamentos. Sempre que possível, tentaremos apresentar referência complementares, as quais cumpram tal papel de referência.
intuição vs provas: Nosso foco será prover um visão geral e introdutória aos assuntos. Posto isso, demonstrações formais serão muito raramente apresentadas. Focaremos, em seu lugar, em prover intuição para definições centrais, bem como esquemas de provas para as demonstrações mais importantes.
erros: Muitos dos tópicos aqui expostos estão longe de minha área de especialização, de modo que erros certamente se farão presentes em abundância. Caso encontre qualquer ponto de atenção, peço a gentiliza de que o indique em nosso Discord.
versionamento: Cada nota está dotada de uma versão. Seu papel é deixar claro o nível de refinamento que ali exposto.
exercícios: Certos pontos serão, de forma estratégica, terceirizados ao leitor. Com isso tentaremos manter uma leitura mais dinâmica. Sugere-se ao menos ler cada exercício. Soluções aos exercícios propostos (que em muitos casos envolvem refletir sobre certos assuntos) podem ser discutidas no Discord.
Para além disso, sugestões são muito bem-vindas e podem ser apresentadas no Discord.