Los dos primeros temas ("Lógica de proposiciones y de predicados de primer orden" y "Técnicas básicas de prueba") se facilitan en el curso virtual en forma de vídeos, resúmes y test de autoevaluación.
Para los otros tres temas ("Conjuntos, relaciones y funciones", "Combinatoria" y "Teoría de grafos") se utilizará el libro disponible en Amazon Kindle a través del siguiente enlace: "Estructuras Discretas", de Manuel Luque Gallego.
Adicionalmente en el grupo de trabajo del curso virtual encontrará:
Un almacén incremental de ejemplos y ejercicios.
Un almacén incremental de narraciones (vídeos) sobre algunos conceptos básicos.
Tests de autoevaluación, tanto internos (en el grupo de trabajo) como hospedados en otro sistema externo (Siette, univ. de Málaga; aunque diseñados por el equipo docente de esta asignatura)
Herramientas (probadores de teoremas como Prover9/Mace4, entornos de deducción natural como Pandora, etc)
