VerticalVertical

FoundationsFundamentos

Logic, set theory, and the discrete structures everything else is built on.Lógica, teoría de conjuntos y las estructuras discretas sobre las que se construye todo lo demás.

Logic & Set TheoryLógica y Teoría de Conjuntos

P vs NP.

Turing Machines and Complexity Classes. P vs NP asymmetry.

January 11, 2026 · EN
Boolean Formulas

Boolean Formulas. Reductable languages to SAT. Verifications.

February 2, 2026 · EN
Arithmetic Circuits.

Maths fundamentals in arithmetic circuits and appliances in ZKP.

February 6, 2026 · EN

Number SystemsSistemas Numéricos

Natural Numbers

Peano, Induction, Recursion Theorem, & Good Order, Integers; Divisibility, Bézout, Coprimality

June 17, 2026 · EN

Graph TheoryTeoría de Grafos

Simple (undirected) Graphs

Introduction to graph theory.

February 17, 2026 · EN
Directed Graphs & DAGs

DAGs and their importance in computation

February 27, 2026 · EN

MethodsMétodos

No notes here yet.Aún no hay notas aquí.