álgebra
Seminario divulgativo sobre grafos
Una presentación sobre grafos de nivel básico utilizada para un seminario de LibreIM.
MITApuntes de la asignatura de álgebra I.
Creative Commons BY-NC 3.0- Aritmética entera y modular.
- Aritmética polinomial.
- Conjuntos ordenados, retículos y álgebras de Boole.
- Combinatoria.
- Grafos.
Este manuscrito cubre los contenidos de la asignatura Fundamentos Lógicos de la Programación. Incluye demostración formal y semántica de la lógica proposicional, semántica y deducción en lógica de primer orden. Por último se describe el principio de resolución para deducción automática.
This manuscript covers the contents of the course Principles of logic in programming. It includes both formal and semantic propositional logic, first order logic, and resolution principle for automatic theorem proving.
,yCC-BY-NC-SA- Aritmética entera y modular
- Anillos e ideales
- Dominios euclídeos
- Polinomios
- Grupos abelianos
- Módulos sobre dominios euclídeos
Apuntes de introducción a la teoría de categorías. Se explican tipos de morfismos y propiedades universales. Se destacan especialmente productos y coproductos y se pasan a definir los functores y las transformaciones naturales.
CC-BY-NC