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)
El texto básico que se usó durante los cursos 2009-10 y 2010-2011 se cita ahora como componente único de la bibliografía complementaria. No es imprescindible, en modo alguno, para el correcto seguimiento de la asignatura. Además, la notación y definiciones que usará el equipo docente puede diferir de la que se usa en dicho libro. Recomendamos a los alumnos que se estudien preferentemente la bibliografía básica recomendada antes de acudir a cualquier otro tipo de material.
