Matemática discreta
Libros
- Dean Kelley: Teoría de autómatas y lenguajes formales. Preliminares matemáticos. Alfabetos y lenguajes. Lenguajes regulares. Lenguajes independientes del contexto. Máquinas de Turing. Máquinas de Turing y lenguajes. Resolubilidad. Introducción a la complejidad computacional.
- Félix García Merayo: Matemática discreta. Prólogo. Teoría de números. Álgebra de Boole y Lógica. Teoría de conjuntos. Relaciones y estructuras ordenadas. Combinatoria. Relaciones de recurrencia. Teoría de grafos. Árboles. Grafos planos y grafos coloreados. Bibliografía.
Software
- Chalchalero
- Grafos
- GraphThing
- JFLAP
- Magrada
- Graphviz - Graph Visualization Software (Visto en Linux Magazine)
- Maple
Otros recursos
- Principios de autómatas finitos
- Juan Costa / md: Apuntes para estudiantes
- Madisc.bitacoras.com
- Matemática discreta @ Universidad de Oviedo
- Teodoro Calonge Cano
- Matemática discreta @ Wikipedia
- Automata Theory @ Standford.edu
- John Conway's Game of Life
- Moshe Y. Vardi - Publications and Presentations
Para ver archivos .ps en Windows XP puedes darte una vuelta por GhostScript y GSView [ mirror ]. En Tiger un doble click los convierte a .pdf y puedes visualizarlos inmediatamente. Cualquier distro de Linux moderna debería ser igual de intuitiva.
Automata Theory with Modern Applications parece interesante en la web, pero no lo he tenido en mis manos.
Actualización. Jueves 18 de octubre de 2007:
Documento en .pdf: Aplicaciones de la matemática discreta en ingeniería
Es un trabajo para clase, bajo licencia Creative Commons. Para cualquier aportación o sugerencia, como siempre, en los comentarios o por email.
Gracias a María de los Ángeles, de Venezuela, por su inestimable ayuda.
Sobre la Teoría Combinatoria:
Teoría de Grafos:
- http://www.dma.fi.upm.es/docencia/segund...
- http://www2.udec.cl/~grafos/grafos/teori...
- http://enciclopedia.us.es/index.php/Teor...
Teoría de Autómatas:
- http://www.elprisma.com/apuntes/curso.as...
http://perseo.dif.um.es/~roque/talf/inde... (contiene unas láminas sobre el tema)
Lógica
Matemática Discreta:
Actualización. Viernes 26 de octubre de 2007.
- Haz una búsqueda en Google para la cadena: software de graphthing o pásate por su directorio.
