Denominación de la asignatura |
Lógica Computacional |
Grado al que pertenece |
Ingeniería Informática |
Créditos ECTS |
6 |
Curso y cuatrimestre en el que se imparte |
Primer curso, segundo cuatrimestre |
Carácter de la asignatura | Básico |
A lo largo de esta asignatura el alumno deberá adquirir destrezas y competencias formales en Lógica y en las aplicaciones de esta dentro del ámbito de la Computación. Comienza con una presentación panorámica de la Lógica como disciplina general que abarca diversos tipos de razonamiento, distintos niveles de expresividad y varias propuestas semánticas. Entre este paisaje variopinto de disciplinas, el curso profundiza principalmente en dos de ellas por considerarlas estándar dentro del contexto: la lógica proposicional o de enunciados y la lógica de predicados. Cada una de las cuales se podría considerar como un bloque temático independiente:
A continuación se enumeran las competencias que adquirirás al cursar esta asignatura:
Competencias básicas
Competencias generales
Competencias específicas
Competencias transversales
Tema 1. Justificación de la lógica
Objeto del estudio de la lógica
¿Para qué sirve la lógica?
Componentes y tipos de razonamiento
Componentes de un cálculo lógico
Semántica
Justificación de la existencia de una lógica
¿Cómo comprobar que una lógica es adecuada?
Tema 2. Cálculo de deducción natural de enunciados
Lenguaje formal
Mecanismo deductivo
Tema 3. Estrategias de formalización para la lógica proposicional
Introducción
Estrategias de formalización
Tema 4. Estrategias de deducción para la lógica proposicional
El razonamiento natural
Leyes y reglas
Deducción axiomática y deducción natural
El cálculo de la deducción natural
Reglas primitivas del cálculo proposicional
Tema 5. Semántica de la lógica proposicional
Introducción
Tablas de verdad
Equivalencia
Tautologías y contradicciones
Validación de sentencias proposicionales
Validación mediante tablas de verdad
Validación mediante árboles semánticos
Validación mediante refutación
Tema 6. Aplicaciones de la lógica proposicional: circuitos lógicos
Introducción
Las puertas básicas
Circuitos
Modelos matemáticos de los circuitos
Minimización
La segunda forma canónica y la forma mínima en producto de sumas
Otras puertas
Tema 7. Cálculo de deducción natural de predicados
Lenguaje formal
Mecanismo deductivo
Tema 8. Estrategias de formalización para la lógica de predicados
Introducción a la formalización en lógica de predicados
Estrategias de formalización con cuantificadores
Tema 9. Estrategias de deducción para la lógica de predicados
Razón de una omisión
Presentación de las nuevas reglas
La lógica de predicados como cálculo de deducción natural
Tema 10. Teoría de conjuntos y lógica de predicados
Teoría intuitiva de conjuntos
Tema 11. Semántica de la lógica de predicados
Introducción a la semántica de predicados
Tema 12. Aplicaciones de la lógica de predicados: introducción a la programación lógica
Presentación informal
Elementos del Prolog
La reevaluación y el corte
Las actividades formativas de la asignatura se han elaborado con el objetivo de adaptar el proceso de aprendizaje a las diferentes capacidades, necesidades e intereses de los alumnos.
Las actividades formativas de esta asignatura son las siguientes:
En la programación semanal puedes consultar cuáles son las actividades concretas que tienes que realizar en esta asignatura.
Estas actividades formativas prácticas se completan, por supuesto, con estas otras:
Las horas de dedicación a cada actividad se detallan en la siguiente tabla:
ACTIVIDADES FORMATIVAS |
HORAS |
% PRESENCIAL |
Sesiones presenciales virtuales | 15 |
100% |
Recursos didácticos audiovisuales | 6 |
0 |
Estudio del material básico | 50 |
0 |
Lectura del material complementario | 25 |
0 |
Trabajos, casos prácticos, test | 17 |
0 |
Prácticas de laboratorios virtuales | 12 |
16,7% |
Tutorías | 16 |
30% |
Trabajo colaborativo | 7 |
0 |
Realización de examen final presencial | 2 |
100% |
Total | 150 |
Bibliografía básica
Tema 1
Tema 2
Tema 3
Tema 4
Tema 5
Tema 6
Tema 7
Tema 8
Tema 9
Tema 10
Tema 11
Tema 12
* Esta obra está protegida por el derecho de autor y su reproducción y comunicación pública, en la modalidad puesta a disposición, se han realizado con autorización de CEDRO. Queda prohibida su posterior reproducción, distribución, transformación y comunicación pública en cualquier medio y de cualquier forma, con excepción de una única reproducción mediante impresora por cada usuario autorizado.
Bibliografía complementaria
Aristóteles. (1995). Tratados de Lógica (Organon). Madrid: Editorial Gredos.
Badesa, C., Jané, I. y Jansana, R. (1998). Elementos de lógica formal. Barcelona: Ariel.
Barwise, J. & Etchemendy, J. (1993). The language of First Order Logic. Stanford: CSLI.
Barwise, J. & Etchemendy, J. (2002). Language, Proof and Logic. Stanford: CSLI.
Barwise, J. y Etchemendy, J. (1999). Language, proof and logic. Stanford: CSLI.
Bratko, I. (2001). Prolog Programming for Artificial Intelligence. Dorchester: Addison-Wesley.
Dalen, D., Doets, H. C. & De Swart, H. (1978). Sets: Naïve, Axiomatic and Applied: A Basic Compendium with Exercises for Use in Set Theory for Non Logicians, Working and Teaching Mathematicians and Students. Oxford: Pergamon Press.
Deaño, A. (1975). Introducción a la lógica formal. Madrid: Alianza.
Deaño, A. (1999). Introducción a la lógica formal. Madrid: Sanz y Torres.
Díez Calzada, J. A. (2002). Iniciación a la lógica. Barcelona: Ariel.
Enderton, H. (1977). Elements of Set Theory. New York: Academic Press.
Falguera, J. L. y Martínez C. (1999). Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica. Madrid: Trotta.
Fernández, G., Sáez Vacas, F. (1987). Fundamentos de informática. Madrid: Alianza.
Floyd, T.L. (2000). Digital Fundamentals. Harlow: Prentice Hall.
Gamut, L. T. F. (1991). Logic, Language and Meaning, vol.1. Chicago: The University
García Muñoz, M.A. (2017). Matemática discreta para la computación. Madrid: Universidad de Jaén
Garrido, M. (1994). Lógica simbólica. Madrid: Tecnos.
Garrido, M. (1995). Lógica simbólica. Madrid: Tecnos.
Garrido, M. (2005). Lógica simbólica. Madrid: Editorial Tecnos.
González Carloman, A. (1991). Lógica Matemática para niños. Oviedo: Servicio de Publicaciones de la Universidad de Oviedo.
Halmos, P. (1974). Naive Set Theory. New York: Springer-Verlag.
Hamilton, A. G. (1981). Lógica para Matemáticos. Madrid: Paraninfo.
Hermida, R., Del Corral, A. M., Pastor, E. y Sánchez, F. (1998). Fundamentos de Computadores. Madrid: Síntesis.
Hurley, P. J. (1982). A Concise Introduction to Logic. California: Wadsworth.
Jeffrey, R. C. (1967). Formal Logic: Its Scope and Limits. New York: McGraw-Hill. (Versión en castellano: Lógica Formal (1986), Navarra: Universidad de Navarra).
Jeffrey, R. C. (1991). Formal Logic: Its Scope and Limits. New York: McGraw-Hill.
Kalish, D., Montague, R. y Mar, G. (1980). Logic. Techniques of Formal Reasoning. New York: Harcourt Brace Jovanovich, Inc.
Lloris, A., Prieto, A. y Parrilla, L. (2003). Sistemas digitales. Madrid: McGraw-Hill.
Lloyd, J. W. (1987). Foundations of Logic Programming, Victoria: Springer-Verlag.
Manzano, M. y Huertas, A. (2004). Lógica para principiantes. Madrid: Alianza.
Marraud, H. y Navarro P. (1988) Sistemas deductivos tipo Gentzen, Colección cuadernos de apoyo. Madrid: Universidad Autónoma de Madrid.
Mates, B. (1965). Elementary logic. New York: Oxford University Press.
Mendelson, E. (1979). Introduction to Mathematical Logic. Princeton: Van Nostrand.
Mendelson, E. (1997). Introduction to Mathematical Logic. Florida: Chapman & Hall/CRC.
Morris Mano, M., Kime, C.R. (2000). Fundamentos de Diseño Lógico de Computadoras, 2ª ed. Madrid: Prentice-Hall.
Nelson, V. P., Tagle, H.T., Carrol, B.D. e Irwin, J.D. (1996). Análisis y diseño de circuitos digitales. México: Prentice-Hall hispanoamericana.
Roldán Inguanzo, R. (2018). Razonamiento y lenguaje matemático. Córdoba: El Cid Editor
Smullyan, R. M. (1968). First-Order Logic. Berlin: Springer.
Smullyan, R. M. (1995). First-Order Logic. New York: Dover Publications Inc.
Sobrino, A. (1993). El análisis lógico de la vaguedad. En Arbor: Ciencia Pensamiento y Cultura, 573-574, 57-82.
Sterling, L. & Shapiro, E. (1994). The Art of Prolog. Massachusetts: MIT Press.
Suppes, P. (1972). Axiomatic Set Theory. New York: Dover.
Tarski, A. (1965). Introducción a la Lógica. Madrid: Espasa-Calpe.
Trillas, E. (1993). Los subconjuntos borrosos y la Lógica Fuzzy. En Arbor: Ciencia Pensamiento y Cultura, 573-574, 83-108.
Trillas, E.; Alsina, C.; Terricabras, J. M. (1995). Introducción a la Lógica Borrosa. Barcelona: Ariel.
Vilares, M., Alonso, M.A. y Valderruten, A. (1996). Programación lógica. Santiago de Compostela: Ed. Tórculo.
VV. AA. (1995). Introducción a la lógica borrosa. Barcelona: Ariel.
Zadeh, L. A. (1965). Fuzzy Sets. En Information and Control, 8, 338-353.
El sistema de calificación se basa en la siguiente escala numérica:
0 - 4, 9 |
Suspenso |
(SS) |
5,0 - 6,9 |
Aprobado |
(AP) |
7,0 - 8,9 |
Notable |
(NT) |
9,0 - 10 |
Sobresaliente |
(SB) |
La calificación se compone de dos partes principales:
El examen se realiza al final del cuatrimestre y es de carácter PRESENCIAL y OBLIGATORIO. Supone el 60% de la calificación final y para que la nota obtenida en este examen se sume a la nota final, es obligatorio APROBARLO.
La evaluación continua supone el 40% de la calificación final. Este 40% de la nota final se compone de las calificaciones obtenidas en las diferentes actividades formativas llevadas a cabo durante el cuatrimestre.
Ten en cuenta que la suma de las puntuaciones de las actividades de la evaluación continua permite que realices las que prefieras hasta conseguir el máximo puntuable mencionado en la programación semanal. En ella se detalla la calificación máxima de cada actividad o evento concreto puntuables.
El sistema de evaluación de la asignatura es el siguiente:
SISTEMA DE EVALUACIÓN |
PONDERACIÓN MIN. |
PONDERACIÓN MÁX. |
Prueba de evaluación final presencial | 60% |
60% |
Resolución de trabajos, proyectos y casos | 0% |
40% |
Participación en foros y otros medios participativos | 0% |
40% |
Test de autoevaluación | 0% |
20% |
Evaluación de prácticas de laboratorios virtuales | 0% |
40% |
Santiago Fernández Lanza
Formación: Doctor en el Área de Lógica y Filosofía de la Ciencia y Graduado Superior en Tecnologías de la Información y las Comunicaciones por la Universidad de Santiago de Compostela.
Experiencia: Ha sido profesor invitado en la Escuela Superior de Ingeniería Informática y en la Facultad de Traducción e Interpretación de la Universidad de Vigo. Ha impartido docencia como profesor asociado en las facultades de Psicología y Filosofía de la Universidad Complutense de Madrid y de nuevo en la Escuela Superior de Ingeniería Informática de la Universidad de Vigo. Profesionalmente ha desarrollado software como, programador, analista y jefe de proyecto en empresas como Steria o Burke realizando proyectos en J2EE para la Universidad de Santiago de Compostela, el Ministerio de Sanidad o el Ministerio de Administraciones Públicas. En el ámbito de la educación privada ha impartido diversos cursos de formación en J2EE para empresas.
Obviamente, al tratarse de formación on-line puedes organizar tu tiempo de estudio como desees, siempre y cuando vayas cumpliendo las fechas de entrega de actividades, trabajos y exámenes. Nosotros, para ayudarte, te proponemos los siguientes pasos:
Recuerda que en el aula virtual de Lo que necesitas saber antes de empezar puedes consultar el funcionamiento de las distintas herramientas del aula virtual: Correo, Foro, Sesiones presenciales virtuales, Envío de actividades, etc.
Ten en cuenta estos consejos…
|