Links
El material puede ser heterogéneo en cuanto a formatos, objetivos e interactividad, pero en todos los casos se mantiene un umbral de calidad consistente con los propósitos del curso.
Truth table. Genera tabla de verdad desde la entrada algebraica. Universidad de Stanford.
Table de Vérité. Eficaz y simple, permite entrar con notaciones varias (algebraica, informática..).
Graph online, un sitio muy potente, convierte matrices en representaciones de grafos, calcula parámetros métricos, árboles minimales, coloraciones...
Aquí, de wolframalpha, una máquina potente, muy sencilla entrada, inequívocas e ilustrativas salidas gráficas y textuales devolviendo una representación del digraph, sus matrices características (adyacencia, incidencia, laplaciana), su espectro, polinomio y número cromático, radio, diámetros, matriz de distancias...
Ingresar expresión boolena, construye tabla, circuito, Venn... (de Wolfram)
¡Excelente! Constructor de grafos simples desde la matriz de adyacencia o incidencia o desde el mouse; una vez ingresado se puede pedir varias características (en la pestaña algoritmos) tales como radio, diámetro, coloración, Depth-first search, Bread-first search, shortest path, ciclos o paths hamiltonianos, ciclos o caminos eulerianos (de haberlos), grados de vértices, etcétera.
Una página con recursos en múltiples formatos sobre el tema de coloración de grafos.
El problema del viajante, en un texto de The University of Waterloo's Faculty of Mathematics: largest concentration of mathematical and computer science talent in the world.
La interacción con estos applets en Java es una actividad que puede producir específicas y rápidas comprensiones, ni bien se hagan las preguntas adecuadas.
Diversos demos mostrando algunas situaciones esencialemnte diferentes; la posibilidad de interacción es algo reducida.
Diversos demos mostrando algunas situaciones esencialemnte diferentes; la posibilidad de interacción es algo reducida.Use this vertex-edge tool to create graphs and explore them. Investigate ideas such as planar graphs, complete graphs, minimum-cost spanning trees, and Euler and Hamiltonian paths.
Excelente constructor interactivo de grafos hamiltonianos. Se ingresa lo pretendido en código LFC (click aquí para ver rápidamente en qué consiste) o bien se selecciona uno predeterminado de un menú que contiene decenas de grafos famosos. Incluye el script HTML.
Se generan automáticamente grafos para efectuar sobre ellos coloraciones de a lo sumo cuatro colores.
Lo elemental, claro y conciso, buen sitio para iniciar
Se presenta y describe el Principio de Inducción Matemática. También se muestra un ejemplo de aplicación del principio para demostrar una igualdad.
Breve presentación del tema Redes de Transporte. Se presenta el algoritmo para hallar el flujo máximo y se describe un ejemplo.
- Fabrica el autómata a partir de una expresión regular.