matemáticas
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-SACurso cero para matemáticas en la ETSIIT y Facultad de Ciencias de la Universidad de Granada. Para simplificación algebraica usa algebrite y para la visualización de funciones usa JSXGraph. El código original está disponible con licencia MIT.
yMIT- Conceptos básicos sobre espacios normados y ejemplos
- Espacios prehilbertianos y espacios de Hilbert
- El Teorema de Hahn-Banach
- Teoremas de la aplicación abierta y Banach-Steinhauss
- Topologías débiles
- Relación de ejercicios
- Aritmética entera y modular
- Anillos e ideales
- Dominios euclídeos
- Polinomios
- Grupos abelianos
- Módulos sobre dominios euclídeos
Estos apuntes son una traducción sobre los apuntes de Teoria dell’Informazione e della Trasmissione de Nicolò Cesa-Bianchi para la Università degli Studi di Milano. Los originales pueden consultarse en su página personal.
yCC BY-SA-NCApuntes 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-NCApuntes para la asignatura de Inferencia Estadística (UGR).
,,,yCC-BY-NC-SA 4.0Repositorio de apuntes del Doble Grado en Ingeniería Informática y Matemáticas de la Universidad de Granada. El objetivo de este repositorio es construir unos apuntes de referencia de forma colaborativa. Más información en la wiki. Si solo quieres los PDF, aquí los tienes.
,,,,,yCC-BY-NC-SA 4.0Código fuente del libro de Cálculo Diferencial e Integral de funciones de una variable, de Francisco Javier Pérez González (Universidad de Granada), licenciados bajo Creative Commons BY-NC-SA.
CC-BY-NC-SAMaterial sobre algoritmos genéticos para los seminarios de LibreIM.
CC-BY-NC