⌘K

Áreas

⊢Foundations & Logic1 ℕNumber Theory2 ⊞Algebra3 ⊗Combinatorics1 △Geometry1 ◎Topology ∫Analysis ∂Diff. Equations ℙProbability & Stats1 ≈Numerical ƒApplied1 ⟨⟩Math & CS1 +School Basics ∞Recreational2

Nivel

①Secundaria ②Bachillerato1 ③Grado3 ④Posgrado1 ⑤Investigación

Formato

≡Curso ◈Explicación4 ◉Análisis1 ▶Ensayo visual ✎Ejercicio

Explorar/Foundations & Logic/Logic nlab

Logic nlab

Ningún artículo

A string diagram calculus for predicate logic Adjoint logic Adjoint modality Affine modality Algebra modality Algebraic model for modal logics Algebraic set theory Allegorical set theory Axiom k Bosonic modality Bounded linear logic Cartesian logic Class function Classical modality Coalgebraic logic Coalgebraic model for modal logic Coherent logic Comodal type Consequent Continuous logic Countable ordinal Coupling proof assistants with machine learning references Deduction Deduction and induction contents + 79 más

∅

Todavía no hay artículos en esta categoría — están en camino.

Tendencias

1

x + 1/x = 3, y la escalera hasta x⁵ + 1/x⁵Algebra · 7 min

2

Por qué los triángulos aleatorios atrapan el centro del círculo una de cada cuatro vecesProbability & Statistics · 9 min

3

Máquinas de vectores de soporte: gana la calle más anchaMathematics & Computer Science · 8 min

Recientes

•

Todo torneo contiene una cadena ganadora (teorema de Rédei)Explainer · 7 min

•

¿Qué polinomios aplican ℚ sobre ℚ? La respuesta completaDeep dive · 11 min

Los nuevos artículos, directos a tu correo

Acepto recibir emails de Lambdia y he leído la política de privacidad. Baja en cualquier momento.

Síguenos

© 2026 LambdiaTérminos · Privacidad · El ebook