Módulo 1: Lógica Proposicional
Módulo 1: Lógica Proposicional. Minhas notas de estudo, em formato de curso, sobre o primeiro tópico de "Maturidade Matemática: Lógica, Provas e Conjuntos". Explore os fundamentos!
Publicado em: 15 de Maio de 2025Explorando Conhecimento, Construindo Soluções.
Um diário de bordo autodidata sobre Computação, Lógica, Filosofia e os projetos que nascem dessa jornada.
Posts
Construindo Abstrações com Procedimentos
Análise e resumo do Capítulo 1 do SICP: Os elementos da programação, processos recursivos vs iterativos, ordens de crescimento e procedimentos de ordem superior...
Publicado em: 28 de Abril de 2025Projetos
Tradução SICP PT-BR
Tradução completa para o Português do livro "Structure and Interpretation of Computer Programs". Um projeto para tornar conhecimento acessível.
Tecnologias: HTML, GitExtrator LQM
Ferramenta para extração e conversão de arquivos LQM criados pelo QuickMemo - LG
Tecnologias: Python