Inicio / Matemáticas

Matemáticas discretas

Las matemáticas de la computación: lógica, conjuntos, conteo, grafos y cómo escribir demostraciones.

20 sitios gratuitos · 2 en español.

1. Khan Academy – Ciencias de la computación En español es.khanacademy.org

   Algoritmos, criptografía y teoría de la información.

   Para: Secundaria y prepaUniversidad

2. VisuAlgo Varios idiomas visualgo.net

   Visualiza grafos, árboles y algoritmos paso a paso.

   Para: Universidad

3. Graph Online Varios idiomas graphonline.top

   Crea grafos y aplica algoritmos en el navegador.

   Para: Universidad

4. OEIS – Enciclopedia de sucesiones Varios idiomas oeis.org

   Base de datos de sucesiones de enteros.

   Para: UniversidadAvanzado

5. Wikilibros – Matemáticas En español es.wikibooks.org

   Libros libres de lógica, conjuntos y más.

   Para: Secundaria y prepaUniversidad

6. MIT OCW – Matemáticas para la computación En inglés ocw.mit.edu

   Curso completo del MIT con videos.

   Para: Universidad

7. Mathematics for Computer Science (libro) En inglés courses.csail.mit.edu

   Libro gratuito de Lehman, Leighton y Meyer.

   Para: Universidad

8. Discrete Mathematics: An Open Introduction En inglés discrete.openmathbooks.org

   Libro abierto de Oscar Levin con ejercicios.

   Para: Universidad

9. Book of Proof (Hammack) En inglés people.vcu.edu

   Aprende a escribir demostraciones.

   Para: Universidad

10. Applied Combinatorics En inglés appliedcombinatorics.org

    Libro abierto de combinatoria y grafos.

    Para: Universidad

11. forall x – Lógica En inglés forallx.openlogicproject.org

    Introducción abierta a la lógica formal.

    Para: Universidad

12. Open Logic Project En inglés openlogicproject.org

    Textos libres de lógica y computabilidad.

    Para: Universidad

13. Stanford CS103 – Matemáticas de la computación En inglés web.stanford.edu

    Lógica, conjuntos, autómatas y computabilidad.

    Para: Universidad

14. LibreTexts – Combinatoria y matemáticas discretas En inglés math.libretexts.org

    Colección de libros abiertos.

    Para: Universidad

15. Logic and Proof (Lean) En inglés lean-lang.org

    Lógica y demostraciones con un asistente de pruebas.

    Para: Universidad

16. Natural Number Game En inglés adam.math.hhu.de

    Juego para aprender demostraciones paso a paso.

    Para: Secundaria y prepaUniversidadPúblico general

17. Tree Proof Generator En inglés umsu.de

    Comprueba fórmulas de lógica proposicional y de predicados.

    Para: Universidad

18. Project Euler Varios idiomas projecteuler.net

    Problemas de matemáticas y programación.

    Para: Secundaria y prepaUniversidadPúblico general

19. Art of Problem Solving En inglés artofproblemsolving.com

    Problemas de conteo y probabilidad para avanzados.

    Para: Secundaria y prepa

20. Dr. Trefor Bazett (YouTube) En inglés youtube.com

    Curso completo de matemáticas discretas en video.

    Para: Universidad