- Máster Universitario en Educación y Recursos Digitales (Elearning)
- Máster Universitario en Neuropsicología
- Máster Universitario en Psicopedagogía
- Máster Universitario en Formación del Profesorado de Educación Secundaria, Bachillerato, Formación Profesional y Enseñanza de Idiomas
- Máster Universitario en Educación Inclusiva y Personalizada
Lógica
| Código de la asignatura | 1760 |
|---|---|
| Nº Créditos ECTS | 6 |
| Tipo | Obligatoria |
| Duración | Semestral |
| Idiomas | Castellano |
| Planes de estudio | |
| Profesor(es) | |
| Año académico | 2024-25 |
La lógica es la ciencia que estudia la corrección de los razonamientos, tanto formales como no formales, por eso esta asignatura se va a componer de dos partes, una, la lógica formal y otra, la lógica no formal, a veces, también "mal" llamada lógica informal. Es decir, la lógica proporciona las herramientas necesarias para el razonamiento matemático, pero también para muchas otras aplicaciones de la vida corriente.
En lo referente a la lógica formal se considerará en este curso el cálculo proposicional y de predicados en sus dos aspectos, la sintaxis y a semántica, por un lado, y las técnicas deductivas por otro, y sus aplicaciones, en particular, a la informática. También se considerará en esta parte las paradojas y antinomias lógicas.
En lo que respecta a la lógica no formal se considerará en primer lugar, lo que se entiende por razonamiento y sus formas, argumentaciones y sus tipos, así como las distintas falacias que habitualmente aparecen en esta forma de razonamiento.
- Capacidad de resolución de problemas aplicando conocimientos de matemáticas, ciencias e ingeniería.
- Capacidad para el aprendizaje autónomo y la actualización de conocimientos, así como el reconocimiento de su necesidad en el área de la informática.
- Conocer los cimientos esenciales y fundacionales de la informática, abarcando tanto conceptos y teorías abstractas como los valores y los principios profesionales, subrayando los aspectos esenciales de la disciplina que permanecen inalterables ante el cambio tecnológico.
- Capacidad para comprender y dominar los conceptos básicos de lógica, y su aplicación para la resolución de problemas propios de la ingeniería.
- Capacidad de análisis y síntesis.
- Capacidad de organización y planificación.
- Utilizar eficientemente los recursos y herramientas disponibles en el aula virtual de la universidad, así como ser capaz de manejar en un nivel óptimo las tecnologías de la información y la comunicación aplicadas a la educación a distancia.
- Resolución de problemas.
- Aprendizaje autónomo.
- Creatividad.
- Motivación por la calidad.
- Representar conocimiento por medio de sistemas formales.
- Ser capaz de demostrar teoremas mediante lógica matemática.
| SEMANAS (*) | UNIDADES DIDÁCTICAS | ACTIVIDADES DIDÁCTICAS |
|---|---|---|
| Semana 1 | Tema 1. 1 Historia de la lógica. 1.1 Efemérides. 1.2 La lógica de Aristóteles. 1.3 La lógica de enunciados en los megáricos y estáticos. 1.4 Sistemas axiomáticos. |
|
| Semana 2 | Tema 2. Métodos de inferencia. 2.1 Introducción. 2.2 Inferencia y sus tipos. 2.3 Abducción. 2.4 Deducción. 2.5 Inducción. 2.6 Analogía. |
|
| Semanas 3 y 4 | Tema 3. Cálculo proposicional. 3.1 Introducción 3.2 Gramática. 3.3 Inducción y recursión. 3.4 Formalización. 3.5 Tablas de verdad. 3.6 Conceptos clave. 3.7 Metalógica. 3.8 Atrapar la lógica. |
|
| Semanas 5 y 6 | Tema 4. Cálculo de predicados. 4.1 Introducción. 4.2 Gramática de Lógica de Primer Orden. 4.3 Inducción y recursión. 4.4 Formalización. 4.5 Variables parámetros y términos. 4.6 Estructuras de primer orden. 4.7 Conceptos clave. 4.8 Metalógicas. 4.9 Teorías. |
|
| Semana 7 | Tema 5. Otras lógicas formales. 5.1 La idea de negación. 5.2 Las lógicas modales. 5.3 Lógicas polivalentes. 5.4 Lógica borrosa. |
|
| Semana 8 | Tema 6. Paradojas y antinomias lógicas. 6.1 Paradojas. 6.2 Tipos de paradojas. 6.3 Las paradojas de la teoría de conjuntos. 6.4 Paradojas matemáticas. 6.5 Sistemas autorreferenciales: La asombrosa Fórmula de Tupper. 6.6 Paradojas en la vida corriente. |
|
Semanas 9 y 10 |
Tema 7. El Razonamiento. 7.1 Introducción. 7.2 El razonamiento. 7.3 La cuestión conjetural o fáctica. 7.4 La cuestión nominal o de palabras. 7.5 La evaluación. 7.6 La delibaración. 7.7 El enjuiciamiento. 7.8 Razonamiento por analogía. 7.9 Razonamiento deductivo. |
|
| Semanas 11 y 12 | Tema 8. Los Argumentos. 8.1 Introducción. 8.2 Qué se sabe y cómo se ha sabido. 8.3 Tipos de argumentos. 8.4 Argumentos abductivos o hipotéticos: Argumentos del signo o del indicio. |
|
Semanas 13, 14 y 15 |
Tema 9. Falacias Argumentales. 9.1 Introducción. 9.2 Taxonomía de falacias argumentales. 9.3 Argumentos engañosos. 9.4 Defectos de razonamiento. |
|
| Resto de semanas hasta finalización del semestre | Estudio y preparación para el examen final, celebración del examen final y cierre de actas. | |
| Tipo de actividad | Actividades planificadas | Peso clasificación |
|---|---|---|
| Actividades de aprendizaje | 2 | 10% |
| Actividades de Ebaluación Continua (AEC) | 3 | 30% |
| Controles | 3 | 10% |
| Examen final | 0 | 50% |
| Total | 100% |
Para aprobar la asignatura, es necesario obtener una calificación mínima de 5 en el examen final presencial, así como en la calificación total del curso, una vez realizado el cómputo ponderado de las calificaciones obtenidas en las actividades didácticas y en el examen final presencial.
Si un estudiante no aprueba la asignatura en la convocatoria ordinaria podrá examinarse en la convocatoria de septiembre.
Las fechas previstas para la realización de todas las actividades se indican en el aula virtual de la asignatura.
Originalidad de los trabajos académicos
Según la Real Academia Española, “plagiar” significa copiar en lo sustancial obras ajenas dándolas como propias. Dicho de otro modo, plagiar implica expresar las ideas de otra persona como si fuesen propias, sin citar la autoría de las mismas. Igualmente, la apropiación de contenido puede ser debida a una inclusión excesiva de información procedente de una misma fuente, pese a que esta haya sido citada adecuadamente. Teniendo en cuenta lo anterior, el estudiante deberá desarrollar sus conocimientos con sus propias palabras y expresiones. En ningún caso se aceptarán copias literales de párrafos, imágenes, gráficos, tablas, etc. de los materiales consultados. En caso de ser necesaria su reproducción, esta deberá contemplar las normas adecuadas para la citación académica.
Los documentos que sean presentados en las actividades académicas podrán ser sometidos a diferentes mecanismos de comprobación de la originalidad (herramientas antiplagios que detectan coincidencias de texto con otras fuentes, comparación con trabajos de otros estudiantes, comparación con información publicada en Internet, etc). El profesor valorará si el trabajo presentado cuenta con los criterios de originalidad exigidos o, en su caso, se atribuye adecuadamente la información no propia a las fuentes correspondientes. La adjudicación como propia de información que corresponde a otros autores podrá suponer el suspenso de la actividad.
Los documentos presentados en las actividades académicas podrán ser almacenados en formato papel o electrónico y servir de comparación con otros trabajos de terceros, a fin de proteger la originalidad de la fuente y evitar la apropiación indebida de todo o parte del trabajo del estudiante. Por tanto, podrán ser utilizados y almacenados por la universidad, a través del sistema que estime, con el único fin de servir como fuente de comparación de cualquier otro trabajo que se presente.
Sistema de calificaciones
El sistema de calificación de todas las actividades didácticas es numérico del 0 a 10 con expresión de un decimal, al que se añade su correspondiente calificación cualitativa:
0 - 4.9: Suspenso (SU) 5.0 - 6.9: Aprobado (AP) 7.0 - 8.9: Notable (NT) 9.0 - 10: Sobresaliente (SB)
(RD 1125/2003, de 5 de septiembre, por lo que se establece el sistema europeo de créditos y el sistema de calificaciones en las titulaciones universitarias de carácter oficial y con validez en todo el territorio nacional).
Lógica
| Código de la asignatura | 1760 |
|---|---|
| Nº Créditos ECTS | 6 |
| Tipo | Obligatoria |
| Duración | Semestral |
| Idiomas | Castellano |
| Planes de estudio | |
| Profesor(es) | |
| Año académico | 2024-25 |
La lógica es la ciencia que estudia la corrección de los razonamientos, tanto formales como no formales, por eso esta asignatura se va a componer de dos partes, una, la lógica formal y otra, la lógica no formal, a veces, también "mal" llamada lógica informal. Es decir, la lógica proporciona las herramientas necesarias para el razonamiento matemático, pero también para muchas otras aplicaciones de la vida corriente.
En lo referente a la lógica formal se considerará en este curso el cálculo proposicional y de predicados en sus dos aspectos, la sintaxis y a semántica, por un lado, y las técnicas deductivas por otro, y sus aplicaciones, en particular, a la informática. También se considerará en esta parte las paradojas y antinomias lógicas.
En lo que respecta a la lógica no formal se considerará en primer lugar, lo que se entiende por razonamiento y sus formas, argumentaciones y sus tipos, así como las distintas falacias que habitualmente aparecen en esta forma de razonamiento.
- Capacidad de resolución de problemas aplicando conocimientos de matemáticas, ciencias e ingeniería.
- Capacidad para el aprendizaje autónomo y la actualización de conocimientos, así como el reconocimiento de su necesidad en el área de la informática.
- Conocer los cimientos esenciales y fundacionales de la informática, abarcando tanto conceptos y teorías abstractas como los valores y los principios profesionales, subrayando los aspectos esenciales de la disciplina que permanecen inalterables ante el cambio tecnológico.
- Capacidad para comprender y dominar los conceptos básicos de lógica, y su aplicación para la resolución de problemas propios de la ingeniería.
- Capacidad de análisis y síntesis.
- Capacidad de organización y planificación.
- Utilizar eficientemente los recursos y herramientas disponibles en el aula virtual de la universidad, así como ser capaz de manejar en un nivel óptimo las tecnologías de la información y la comunicación aplicadas a la educación a distancia.
- Resolución de problemas.
- Aprendizaje autónomo.
- Creatividad.
- Motivación por la calidad.
- Representar conocimiento por medio de sistemas formales.
- Ser capaz de demostrar teoremas mediante lógica matemática.
| SEMANAS (*) | UNIDADES DIDÁCTICAS | ACTIVIDADES DIDÁCTICAS |
|---|---|---|
| Semana 1 | Tema 1. 1 Historia de la lógica. 1.1 Efemérides. 1.2 La lógica de Aristóteles. 1.3 La lógica de enunciados en los megáricos y estáticos. 1.4 Sistemas axiomáticos. |
|
| Semana 2 | Tema 2. Métodos de inferencia. 2.1 Introducción. 2.2 Inferencia y sus tipos. 2.3 Abducción. 2.4 Deducción. 2.5 Inducción. 2.6 Analogía. |
|
| Semanas 3 y 4 | Tema 3. Cálculo proposicional. 3.1 Introducción 3.2 Gramática. 3.3 Inducción y recursión. 3.4 Formalización. 3.5 Tablas de verdad. 3.6 Conceptos clave. 3.7 Metalógica. 3.8 Atrapar la lógica. |
|
| Semanas 5 y 6 | Tema 4. Cálculo de predicados. 4.1 Introducción. 4.2 Gramática de Lógica de Primer Orden. 4.3 Inducción y recursión. 4.4 Formalización. 4.5 Variables parámetros y términos. 4.6 Estructuras de primer orden. 4.7 Conceptos clave. 4.8 Metalógicas. 4.9 Teorías. |
|
| Semana 7 | Tema 5. Otras lógicas formales. 5.1 La idea de negación. 5.2 Las lógicas modales. 5.3 Lógicas polivalentes. 5.4 Lógica borrosa. |
|
| Semana 8 | Tema 6. Paradojas y antinomias lógicas. 6.1 Paradojas. 6.2 Tipos de paradojas. 6.3 Las paradojas de la teoría de conjuntos. 6.4 Paradojas matemáticas. 6.5 Sistemas autorreferenciales: La asombrosa Fórmula de Tupper. 6.6 Paradojas en la vida corriente. |
|
Semanas 9 y 10 |
Tema 7. El Razonamiento. 7.1 Introducción. 7.2 El razonamiento. 7.3 La cuestión conjetural o fáctica. 7.4 La cuestión nominal o de palabras. 7.5 La evaluación. 7.6 La delibaración. 7.7 El enjuiciamiento. 7.8 Razonamiento por analogía. 7.9 Razonamiento deductivo. |
|
| Semanas 11 y 12 | Tema 8. Los Argumentos. 8.1 Introducción. 8.2 Qué se sabe y cómo se ha sabido. 8.3 Tipos de argumentos. 8.4 Argumentos abductivos o hipotéticos: Argumentos del signo o del indicio. |
|
Semanas 13, 14 y 15 |
Tema 9. Falacias Argumentales. 9.1 Introducción. 9.2 Taxonomía de falacias argumentales. 9.3 Argumentos engañosos. 9.4 Defectos de razonamiento. |
|
| Resto de semanas hasta finalización del semestre | Estudio y preparación para el examen final, celebración del examen final y cierre de actas. | |
| Tipo de actividad | Actividades planificadas | Peso clasificación |
|---|---|---|
| Actividades de aprendizaje | 2 | 10% |
| Actividades de Ebaluación Continua (AEC) | 3 | 30% |
| Controles | 3 | 10% |
| Examen final | 0 | 50% |
| Total | 100% |
Para aprobar la asignatura, es necesario obtener una calificación mínima de 5 en el examen final presencial, así como en la calificación total del curso, una vez realizado el cómputo ponderado de las calificaciones obtenidas en las actividades didácticas y en el examen final presencial.
Si un estudiante no aprueba la asignatura en la convocatoria ordinaria podrá examinarse en la convocatoria de septiembre.
Las fechas previstas para la realización de todas las actividades se indican en el aula virtual de la asignatura.
Originalidad de los trabajos académicos
Según la Real Academia Española, “plagiar” significa copiar en lo sustancial obras ajenas dándolas como propias. Dicho de otro modo, plagiar implica expresar las ideas de otra persona como si fuesen propias, sin citar la autoría de las mismas. Igualmente, la apropiación de contenido puede ser debida a una inclusión excesiva de información procedente de una misma fuente, pese a que esta haya sido citada adecuadamente. Teniendo en cuenta lo anterior, el estudiante deberá desarrollar sus conocimientos con sus propias palabras y expresiones. En ningún caso se aceptarán copias literales de párrafos, imágenes, gráficos, tablas, etc. de los materiales consultados. En caso de ser necesaria su reproducción, esta deberá contemplar las normas adecuadas para la citación académica.
Los documentos que sean presentados en las actividades académicas podrán ser sometidos a diferentes mecanismos de comprobación de la originalidad (herramientas antiplagios que detectan coincidencias de texto con otras fuentes, comparación con trabajos de otros estudiantes, comparación con información publicada en Internet, etc). El profesor valorará si el trabajo presentado cuenta con los criterios de originalidad exigidos o, en su caso, se atribuye adecuadamente la información no propia a las fuentes correspondientes. La adjudicación como propia de información que corresponde a otros autores podrá suponer el suspenso de la actividad.
Los documentos presentados en las actividades académicas podrán ser almacenados en formato papel o electrónico y servir de comparación con otros trabajos de terceros, a fin de proteger la originalidad de la fuente y evitar la apropiación indebida de todo o parte del trabajo del estudiante. Por tanto, podrán ser utilizados y almacenados por la universidad, a través del sistema que estime, con el único fin de servir como fuente de comparación de cualquier otro trabajo que se presente.
Sistema de calificaciones
El sistema de calificación de todas las actividades didácticas es numérico del 0 a 10 con expresión de un decimal, al que se añade su correspondiente calificación cualitativa:
0 - 4.9: Suspenso (SU) 5.0 - 6.9: Aprobado (AP) 7.0 - 8.9: Notable (NT) 9.0 - 10: Sobresaliente (SB)
(RD 1125/2003, de 5 de septiembre, por lo que se establece el sistema europeo de créditos y el sistema de calificaciones en las titulaciones universitarias de carácter oficial y con validez en todo el territorio nacional).
Lógica
| Código de la asignatura | 1760 |
|---|---|
| Nº Créditos ECTS | 6 |
| Tipo | Obligatoria |
| Duración | Semestral |
| Idiomas | Castellano |
| Planes de estudio | |
| Profesor(es) | |
| Año académico | 2024-25 |
La lógica es la ciencia que estudia la corrección de los razonamientos, tanto formales como no formales, por eso esta asignatura se va a componer de dos partes, una, la lógica formal y otra, la lógica no formal, a veces, también "mal" llamada lógica informal. Es decir, la lógica proporciona las herramientas necesarias para el razonamiento matemático, pero también para muchas otras aplicaciones de la vida corriente.
En lo referente a la lógica formal se considerará en este curso el cálculo proposicional y de predicados en sus dos aspectos, la sintaxis y a semántica, por un lado, y las técnicas deductivas por otro, y sus aplicaciones, en particular, a la informática. También se considerará en esta parte las paradojas y antinomias lógicas.
En lo que respecta a la lógica no formal se considerará en primer lugar, lo que se entiende por razonamiento y sus formas, argumentaciones y sus tipos, así como las distintas falacias que habitualmente aparecen en esta forma de razonamiento.
- Capacidad de resolución de problemas aplicando conocimientos de matemáticas, ciencias e ingeniería.
- Capacidad para el aprendizaje autónomo y la actualización de conocimientos, así como el reconocimiento de su necesidad en el área de la informática.
- Conocer los cimientos esenciales y fundacionales de la informática, abarcando tanto conceptos y teorías abstractas como los valores y los principios profesionales, subrayando los aspectos esenciales de la disciplina que permanecen inalterables ante el cambio tecnológico.
- Capacidad para comprender y dominar los conceptos básicos de lógica, y su aplicación para la resolución de problemas propios de la ingeniería.
- Capacidad de análisis y síntesis.
- Capacidad de organización y planificación.
- Utilizar eficientemente los recursos y herramientas disponibles en el aula virtual de la universidad, así como ser capaz de manejar en un nivel óptimo las tecnologías de la información y la comunicación aplicadas a la educación a distancia.
- Resolución de problemas.
- Aprendizaje autónomo.
- Creatividad.
- Motivación por la calidad.
- Representar conocimiento por medio de sistemas formales.
- Ser capaz de demostrar teoremas mediante lógica matemática.
| SEMANAS (*) | UNIDADES DIDÁCTICAS | ACTIVIDADES DIDÁCTICAS |
|---|---|---|
| Semana 1 | Tema 1. 1 Historia de la lógica. 1.1 Efemérides. 1.2 La lógica de Aristóteles. 1.3 La lógica de enunciados en los megáricos y estáticos. 1.4 Sistemas axiomáticos. |
|
| Semana 2 | Tema 2. Métodos de inferencia. 2.1 Introducción. 2.2 Inferencia y sus tipos. 2.3 Abducción. 2.4 Deducción. 2.5 Inducción. 2.6 Analogía. |
|
| Semanas 3 y 4 | Tema 3. Cálculo proposicional. 3.1 Introducción 3.2 Gramática. 3.3 Inducción y recursión. 3.4 Formalización. 3.5 Tablas de verdad. 3.6 Conceptos clave. 3.7 Metalógica. 3.8 Atrapar la lógica. |
|
| Semanas 5 y 6 | Tema 4. Cálculo de predicados. 4.1 Introducción. 4.2 Gramática de Lógica de Primer Orden. 4.3 Inducción y recursión. 4.4 Formalización. 4.5 Variables parámetros y términos. 4.6 Estructuras de primer orden. 4.7 Conceptos clave. 4.8 Metalógicas. 4.9 Teorías. |
|
| Semana 7 | Tema 5. Otras lógicas formales. 5.1 La idea de negación. 5.2 Las lógicas modales. 5.3 Lógicas polivalentes. 5.4 Lógica borrosa. |
|
| Semana 8 | Tema 6. Paradojas y antinomias lógicas. 6.1 Paradojas. 6.2 Tipos de paradojas. 6.3 Las paradojas de la teoría de conjuntos. 6.4 Paradojas matemáticas. 6.5 Sistemas autorreferenciales: La asombrosa Fórmula de Tupper. 6.6 Paradojas en la vida corriente. |
|
Semanas 9 y 10 |
Tema 7. El Razonamiento. 7.1 Introducción. 7.2 El razonamiento. 7.3 La cuestión conjetural o fáctica. 7.4 La cuestión nominal o de palabras. 7.5 La evaluación. 7.6 La delibaración. 7.7 El enjuiciamiento. 7.8 Razonamiento por analogía. 7.9 Razonamiento deductivo. |
|
| Semanas 11 y 12 | Tema 8. Los Argumentos. 8.1 Introducción. 8.2 Qué se sabe y cómo se ha sabido. 8.3 Tipos de argumentos. 8.4 Argumentos abductivos o hipotéticos: Argumentos del signo o del indicio. |
|
Semanas 13, 14 y 15 |
Tema 9. Falacias Argumentales. 9.1 Introducción. 9.2 Taxonomía de falacias argumentales. 9.3 Argumentos engañosos. 9.4 Defectos de razonamiento. |
|
| Resto de semanas hasta finalización del semestre | Estudio y preparación para el examen final, celebración del examen final y cierre de actas. | |
| Tipo de actividad | Actividades planificadas | Peso clasificación |
|---|---|---|
| Actividades de aprendizaje | 2 | 10% |
| Actividades de Ebaluación Continua (AEC) | 3 | 30% |
| Controles | 3 | 10% |
| Examen final | 0 | 50% |
| Total | 100% |
Para aprobar la asignatura, es necesario obtener una calificación mínima de 5 en el examen final presencial, así como en la calificación total del curso, una vez realizado el cómputo ponderado de las calificaciones obtenidas en las actividades didácticas y en el examen final presencial.
Si un estudiante no aprueba la asignatura en la convocatoria ordinaria podrá examinarse en la convocatoria de septiembre.
Las fechas previstas para la realización de todas las actividades se indican en el aula virtual de la asignatura.
Originalidad de los trabajos académicos
Según la Real Academia Española, “plagiar” significa copiar en lo sustancial obras ajenas dándolas como propias. Dicho de otro modo, plagiar implica expresar las ideas de otra persona como si fuesen propias, sin citar la autoría de las mismas. Igualmente, la apropiación de contenido puede ser debida a una inclusión excesiva de información procedente de una misma fuente, pese a que esta haya sido citada adecuadamente. Teniendo en cuenta lo anterior, el estudiante deberá desarrollar sus conocimientos con sus propias palabras y expresiones. En ningún caso se aceptarán copias literales de párrafos, imágenes, gráficos, tablas, etc. de los materiales consultados. En caso de ser necesaria su reproducción, esta deberá contemplar las normas adecuadas para la citación académica.
Los documentos que sean presentados en las actividades académicas podrán ser sometidos a diferentes mecanismos de comprobación de la originalidad (herramientas antiplagios que detectan coincidencias de texto con otras fuentes, comparación con trabajos de otros estudiantes, comparación con información publicada en Internet, etc). El profesor valorará si el trabajo presentado cuenta con los criterios de originalidad exigidos o, en su caso, se atribuye adecuadamente la información no propia a las fuentes correspondientes. La adjudicación como propia de información que corresponde a otros autores podrá suponer el suspenso de la actividad.
Los documentos presentados en las actividades académicas podrán ser almacenados en formato papel o electrónico y servir de comparación con otros trabajos de terceros, a fin de proteger la originalidad de la fuente y evitar la apropiación indebida de todo o parte del trabajo del estudiante. Por tanto, podrán ser utilizados y almacenados por la universidad, a través del sistema que estime, con el único fin de servir como fuente de comparación de cualquier otro trabajo que se presente.
Sistema de calificaciones
El sistema de calificación de todas las actividades didácticas es numérico del 0 a 10 con expresión de un decimal, al que se añade su correspondiente calificación cualitativa:
0 - 4.9: Suspenso (SU) 5.0 - 6.9: Aprobado (AP) 7.0 - 8.9: Notable (NT) 9.0 - 10: Sobresaliente (SB)
(RD 1125/2003, de 5 de septiembre, por lo que se establece el sistema europeo de créditos y el sistema de calificaciones en las titulaciones universitarias de carácter oficial y con validez en todo el territorio nacional).
Lógica
| Código de la asignatura | 1760 |
|---|---|
| Nº Créditos ECTS | 6 |
| Tipo | Obligatoria |
| Duración | Semestral |
| Idiomas | Castellano |
| Planes de estudio | |
| Profesor(es) | |
| Año académico | 2024-25 |
La lógica es la ciencia que estudia la corrección de los razonamientos, tanto formales como no formales, por eso esta asignatura se va a componer de dos partes, una, la lógica formal y otra, la lógica no formal, a veces, también "mal" llamada lógica informal. Es decir, la lógica proporciona las herramientas necesarias para el razonamiento matemático, pero también para muchas otras aplicaciones de la vida corriente.
En lo referente a la lógica formal se considerará en este curso el cálculo proposicional y de predicados en sus dos aspectos, la sintaxis y a semántica, por un lado, y las técnicas deductivas por otro, y sus aplicaciones, en particular, a la informática. También se considerará en esta parte las paradojas y antinomias lógicas.
En lo que respecta a la lógica no formal se considerará en primer lugar, lo que se entiende por razonamiento y sus formas, argumentaciones y sus tipos, así como las distintas falacias que habitualmente aparecen en esta forma de razonamiento.
- Capacidad de resolución de problemas aplicando conocimientos de matemáticas, ciencias e ingeniería.
- Capacidad para el aprendizaje autónomo y la actualización de conocimientos, así como el reconocimiento de su necesidad en el área de la informática.
- Conocer los cimientos esenciales y fundacionales de la informática, abarcando tanto conceptos y teorías abstractas como los valores y los principios profesionales, subrayando los aspectos esenciales de la disciplina que permanecen inalterables ante el cambio tecnológico.
- Capacidad para comprender y dominar los conceptos básicos de lógica, y su aplicación para la resolución de problemas propios de la ingeniería.
- Capacidad de análisis y síntesis.
- Capacidad de organización y planificación.
- Utilizar eficientemente los recursos y herramientas disponibles en el aula virtual de la universidad, así como ser capaz de manejar en un nivel óptimo las tecnologías de la información y la comunicación aplicadas a la educación a distancia.
- Resolución de problemas.
- Aprendizaje autónomo.
- Creatividad.
- Motivación por la calidad.
- Representar conocimiento por medio de sistemas formales.
- Ser capaz de demostrar teoremas mediante lógica matemática.
| SEMANAS (*) | UNIDADES DIDÁCTICAS | ACTIVIDADES DIDÁCTICAS |
|---|---|---|
| Semana 1 | Tema 1. 1 Historia de la lógica. 1.1 Efemérides. 1.2 La lógica de Aristóteles. 1.3 La lógica de enunciados en los megáricos y estáticos. 1.4 Sistemas axiomáticos. |
|
| Semana 2 | Tema 2. Métodos de inferencia. 2.1 Introducción. 2.2 Inferencia y sus tipos. 2.3 Abducción. 2.4 Deducción. 2.5 Inducción. 2.6 Analogía. |
|
| Semanas 3 y 4 | Tema 3. Cálculo proposicional. 3.1 Introducción 3.2 Gramática. 3.3 Inducción y recursión. 3.4 Formalización. 3.5 Tablas de verdad. 3.6 Conceptos clave. 3.7 Metalógica. 3.8 Atrapar la lógica. |
|
| Semanas 5 y 6 | Tema 4. Cálculo de predicados. 4.1 Introducción. 4.2 Gramática de Lógica de Primer Orden. 4.3 Inducción y recursión. 4.4 Formalización. 4.5 Variables parámetros y términos. 4.6 Estructuras de primer orden. 4.7 Conceptos clave. 4.8 Metalógicas. 4.9 Teorías. |
|
| Semana 7 | Tema 5. Otras lógicas formales. 5.1 La idea de negación. 5.2 Las lógicas modales. 5.3 Lógicas polivalentes. 5.4 Lógica borrosa. |
|
| Semana 8 | Tema 6. Paradojas y antinomias lógicas. 6.1 Paradojas. 6.2 Tipos de paradojas. 6.3 Las paradojas de la teoría de conjuntos. 6.4 Paradojas matemáticas. 6.5 Sistemas autorreferenciales: La asombrosa Fórmula de Tupper. 6.6 Paradojas en la vida corriente. |
|
Semanas 9 y 10 |
Tema 7. El Razonamiento. 7.1 Introducción. 7.2 El razonamiento. 7.3 La cuestión conjetural o fáctica. 7.4 La cuestión nominal o de palabras. 7.5 La evaluación. 7.6 La delibaración. 7.7 El enjuiciamiento. 7.8 Razonamiento por analogía. 7.9 Razonamiento deductivo. |
|
| Semanas 11 y 12 | Tema 8. Los Argumentos. 8.1 Introducción. 8.2 Qué se sabe y cómo se ha sabido. 8.3 Tipos de argumentos. 8.4 Argumentos abductivos o hipotéticos: Argumentos del signo o del indicio. |
|
Semanas 13, 14 y 15 |
Tema 9. Falacias Argumentales. 9.1 Introducción. 9.2 Taxonomía de falacias argumentales. 9.3 Argumentos engañosos. 9.4 Defectos de razonamiento. |
|
| Resto de semanas hasta finalización del semestre | Estudio y preparación para el examen final, celebración del examen final y cierre de actas. | |
| Tipo de actividad | Actividades planificadas | Peso clasificación |
|---|---|---|
| Actividades de aprendizaje | 2 | 10% |
| Actividades de Ebaluación Continua (AEC) | 3 | 30% |
| Controles | 3 | 10% |
| Examen final | 0 | 50% |
| Total | 100% |
Para aprobar la asignatura, es necesario obtener una calificación mínima de 5 en el examen final presencial, así como en la calificación total del curso, una vez realizado el cómputo ponderado de las calificaciones obtenidas en las actividades didácticas y en el examen final presencial.
Si un estudiante no aprueba la asignatura en la convocatoria ordinaria podrá examinarse en la convocatoria de septiembre.
Las fechas previstas para la realización de todas las actividades se indican en el aula virtual de la asignatura.
Originalidad de los trabajos académicos
Según la Real Academia Española, “plagiar” significa copiar en lo sustancial obras ajenas dándolas como propias. Dicho de otro modo, plagiar implica expresar las ideas de otra persona como si fuesen propias, sin citar la autoría de las mismas. Igualmente, la apropiación de contenido puede ser debida a una inclusión excesiva de información procedente de una misma fuente, pese a que esta haya sido citada adecuadamente. Teniendo en cuenta lo anterior, el estudiante deberá desarrollar sus conocimientos con sus propias palabras y expresiones. En ningún caso se aceptarán copias literales de párrafos, imágenes, gráficos, tablas, etc. de los materiales consultados. En caso de ser necesaria su reproducción, esta deberá contemplar las normas adecuadas para la citación académica.
Los documentos que sean presentados en las actividades académicas podrán ser sometidos a diferentes mecanismos de comprobación de la originalidad (herramientas antiplagios que detectan coincidencias de texto con otras fuentes, comparación con trabajos de otros estudiantes, comparación con información publicada en Internet, etc). El profesor valorará si el trabajo presentado cuenta con los criterios de originalidad exigidos o, en su caso, se atribuye adecuadamente la información no propia a las fuentes correspondientes. La adjudicación como propia de información que corresponde a otros autores podrá suponer el suspenso de la actividad.
Los documentos presentados en las actividades académicas podrán ser almacenados en formato papel o electrónico y servir de comparación con otros trabajos de terceros, a fin de proteger la originalidad de la fuente y evitar la apropiación indebida de todo o parte del trabajo del estudiante. Por tanto, podrán ser utilizados y almacenados por la universidad, a través del sistema que estime, con el único fin de servir como fuente de comparación de cualquier otro trabajo que se presente.
Sistema de calificaciones
El sistema de calificación de todas las actividades didácticas es numérico del 0 a 10 con expresión de un decimal, al que se añade su correspondiente calificación cualitativa:
0 - 4.9: Suspenso (SU) 5.0 - 6.9: Aprobado (AP) 7.0 - 8.9: Notable (NT) 9.0 - 10: Sobresaliente (SB)
(RD 1125/2003, de 5 de septiembre, por lo que se establece el sistema europeo de créditos y el sistema de calificaciones en las titulaciones universitarias de carácter oficial y con validez en todo el territorio nacional).
Lógica
| Código de la asignatura | 1760 |
|---|---|
| Nº Créditos ECTS | 6 |
| Tipo | Obligatoria |
| Duración | Semestral |
| Idiomas | Castellano |
| Planes de estudio | |
| Profesor(es) | |
| Año académico | 2024-25 |
La lógica es la ciencia que estudia la corrección de los razonamientos, tanto formales como no formales, por eso esta asignatura se va a componer de dos partes, una, la lógica formal y otra, la lógica no formal, a veces, también "mal" llamada lógica informal. Es decir, la lógica proporciona las herramientas necesarias para el razonamiento matemático, pero también para muchas otras aplicaciones de la vida corriente.
En lo referente a la lógica formal se considerará en este curso el cálculo proposicional y de predicados en sus dos aspectos, la sintaxis y a semántica, por un lado, y las técnicas deductivas por otro, y sus aplicaciones, en particular, a la informática. También se considerará en esta parte las paradojas y antinomias lógicas.
En lo que respecta a la lógica no formal se considerará en primer lugar, lo que se entiende por razonamiento y sus formas, argumentaciones y sus tipos, así como las distintas falacias que habitualmente aparecen en esta forma de razonamiento.
- Capacidad de resolución de problemas aplicando conocimientos de matemáticas, ciencias e ingeniería.
- Capacidad para el aprendizaje autónomo y la actualización de conocimientos, así como el reconocimiento de su necesidad en el área de la informática.
- Conocer los cimientos esenciales y fundacionales de la informática, abarcando tanto conceptos y teorías abstractas como los valores y los principios profesionales, subrayando los aspectos esenciales de la disciplina que permanecen inalterables ante el cambio tecnológico.
- Capacidad para comprender y dominar los conceptos básicos de lógica, y su aplicación para la resolución de problemas propios de la ingeniería.
- Capacidad de análisis y síntesis.
- Capacidad de organización y planificación.
- Utilizar eficientemente los recursos y herramientas disponibles en el aula virtual de la universidad, así como ser capaz de manejar en un nivel óptimo las tecnologías de la información y la comunicación aplicadas a la educación a distancia.
- Resolución de problemas.
- Aprendizaje autónomo.
- Creatividad.
- Motivación por la calidad.
- Representar conocimiento por medio de sistemas formales.
- Ser capaz de demostrar teoremas mediante lógica matemática.
| SEMANAS (*) | UNIDADES DIDÁCTICAS | ACTIVIDADES DIDÁCTICAS |
|---|---|---|
| Semana 1 | Tema 1. 1 Historia de la lógica. 1.1 Efemérides. 1.2 La lógica de Aristóteles. 1.3 La lógica de enunciados en los megáricos y estáticos. 1.4 Sistemas axiomáticos. |
|
| Semana 2 | Tema 2. Métodos de inferencia. 2.1 Introducción. 2.2 Inferencia y sus tipos. 2.3 Abducción. 2.4 Deducción. 2.5 Inducción. 2.6 Analogía. |
|
| Semanas 3 y 4 | Tema 3. Cálculo proposicional. 3.1 Introducción 3.2 Gramática. 3.3 Inducción y recursión. 3.4 Formalización. 3.5 Tablas de verdad. 3.6 Conceptos clave. 3.7 Metalógica. 3.8 Atrapar la lógica. |
|
| Semanas 5 y 6 | Tema 4. Cálculo de predicados. 4.1 Introducción. 4.2 Gramática de Lógica de Primer Orden. 4.3 Inducción y recursión. 4.4 Formalización. 4.5 Variables parámetros y términos. 4.6 Estructuras de primer orden. 4.7 Conceptos clave. 4.8 Metalógicas. 4.9 Teorías. |
|
| Semana 7 | Tema 5. Otras lógicas formales. 5.1 La idea de negación. 5.2 Las lógicas modales. 5.3 Lógicas polivalentes. 5.4 Lógica borrosa. |
|
| Semana 8 | Tema 6. Paradojas y antinomias lógicas. 6.1 Paradojas. 6.2 Tipos de paradojas. 6.3 Las paradojas de la teoría de conjuntos. 6.4 Paradojas matemáticas. 6.5 Sistemas autorreferenciales: La asombrosa Fórmula de Tupper. 6.6 Paradojas en la vida corriente. |
|
Semanas 9 y 10 |
Tema 7. El Razonamiento. 7.1 Introducción. 7.2 El razonamiento. 7.3 La cuestión conjetural o fáctica. 7.4 La cuestión nominal o de palabras. 7.5 La evaluación. 7.6 La delibaración. 7.7 El enjuiciamiento. 7.8 Razonamiento por analogía. 7.9 Razonamiento deductivo. |
|
| Semanas 11 y 12 | Tema 8. Los Argumentos. 8.1 Introducción. 8.2 Qué se sabe y cómo se ha sabido. 8.3 Tipos de argumentos. 8.4 Argumentos abductivos o hipotéticos: Argumentos del signo o del indicio. |
|
Semanas 13, 14 y 15 |
Tema 9. Falacias Argumentales. 9.1 Introducción. 9.2 Taxonomía de falacias argumentales. 9.3 Argumentos engañosos. 9.4 Defectos de razonamiento. |
|
| Resto de semanas hasta finalización del semestre | Estudio y preparación para el examen final, celebración del examen final y cierre de actas. | |
| Tipo de actividad | Actividades planificadas | Peso clasificación |
|---|---|---|
| Actividades de aprendizaje | 2 | 10% |
| Actividades de Ebaluación Continua (AEC) | 3 | 30% |
| Controles | 3 | 10% |
| Examen final | 0 | 50% |
| Total | 100% |
Para aprobar la asignatura, es necesario obtener una calificación mínima de 5 en el examen final presencial, así como en la calificación total del curso, una vez realizado el cómputo ponderado de las calificaciones obtenidas en las actividades didácticas y en el examen final presencial.
Si un estudiante no aprueba la asignatura en la convocatoria ordinaria podrá examinarse en la convocatoria de septiembre.
Las fechas previstas para la realización de todas las actividades se indican en el aula virtual de la asignatura.
Originalidad de los trabajos académicos
Según la Real Academia Española, “plagiar” significa copiar en lo sustancial obras ajenas dándolas como propias. Dicho de otro modo, plagiar implica expresar las ideas de otra persona como si fuesen propias, sin citar la autoría de las mismas. Igualmente, la apropiación de contenido puede ser debida a una inclusión excesiva de información procedente de una misma fuente, pese a que esta haya sido citada adecuadamente. Teniendo en cuenta lo anterior, el estudiante deberá desarrollar sus conocimientos con sus propias palabras y expresiones. En ningún caso se aceptarán copias literales de párrafos, imágenes, gráficos, tablas, etc. de los materiales consultados. En caso de ser necesaria su reproducción, esta deberá contemplar las normas adecuadas para la citación académica.
Los documentos que sean presentados en las actividades académicas podrán ser sometidos a diferentes mecanismos de comprobación de la originalidad (herramientas antiplagios que detectan coincidencias de texto con otras fuentes, comparación con trabajos de otros estudiantes, comparación con información publicada en Internet, etc). El profesor valorará si el trabajo presentado cuenta con los criterios de originalidad exigidos o, en su caso, se atribuye adecuadamente la información no propia a las fuentes correspondientes. La adjudicación como propia de información que corresponde a otros autores podrá suponer el suspenso de la actividad.
Los documentos presentados en las actividades académicas podrán ser almacenados en formato papel o electrónico y servir de comparación con otros trabajos de terceros, a fin de proteger la originalidad de la fuente y evitar la apropiación indebida de todo o parte del trabajo del estudiante. Por tanto, podrán ser utilizados y almacenados por la universidad, a través del sistema que estime, con el único fin de servir como fuente de comparación de cualquier otro trabajo que se presente.
Sistema de calificaciones
El sistema de calificación de todas las actividades didácticas es numérico del 0 a 10 con expresión de un decimal, al que se añade su correspondiente calificación cualitativa:
0 - 4.9: Suspenso (SU) 5.0 - 6.9: Aprobado (AP) 7.0 - 8.9: Notable (NT) 9.0 - 10: Sobresaliente (SB)
(RD 1125/2003, de 5 de septiembre, por lo que se establece el sistema europeo de créditos y el sistema de calificaciones en las titulaciones universitarias de carácter oficial y con validez en todo el territorio nacional).
Lógica
| Código de la asignatura | 1760 |
|---|---|
| Nº Créditos ECTS | 6 |
| Tipo | Obligatoria |
| Duración | Semestral |
| Idiomas | Castellano |
| Planes de estudio | |
| Profesor(es) | |
| Año académico | 2024-25 |
La lógica es la ciencia que estudia la corrección de los razonamientos, tanto formales como no formales, por eso esta asignatura se va a componer de dos partes, una, la lógica formal y otra, la lógica no formal, a veces, también "mal" llamada lógica informal. Es decir, la lógica proporciona las herramientas necesarias para el razonamiento matemático, pero también para muchas otras aplicaciones de la vida corriente.
En lo referente a la lógica formal se considerará en este curso el cálculo proposicional y de predicados en sus dos aspectos, la sintaxis y a semántica, por un lado, y las técnicas deductivas por otro, y sus aplicaciones, en particular, a la informática. También se considerará en esta parte las paradojas y antinomias lógicas.
En lo que respecta a la lógica no formal se considerará en primer lugar, lo que se entiende por razonamiento y sus formas, argumentaciones y sus tipos, así como las distintas falacias que habitualmente aparecen en esta forma de razonamiento.
- Capacidad de resolución de problemas aplicando conocimientos de matemáticas, ciencias e ingeniería.
- Capacidad para el aprendizaje autónomo y la actualización de conocimientos, así como el reconocimiento de su necesidad en el área de la informática.
- Conocer los cimientos esenciales y fundacionales de la informática, abarcando tanto conceptos y teorías abstractas como los valores y los principios profesionales, subrayando los aspectos esenciales de la disciplina que permanecen inalterables ante el cambio tecnológico.
- Capacidad para comprender y dominar los conceptos básicos de lógica, y su aplicación para la resolución de problemas propios de la ingeniería.
- Capacidad de análisis y síntesis.
- Capacidad de organización y planificación.
- Utilizar eficientemente los recursos y herramientas disponibles en el aula virtual de la universidad, así como ser capaz de manejar en un nivel óptimo las tecnologías de la información y la comunicación aplicadas a la educación a distancia.
- Resolución de problemas.
- Aprendizaje autónomo.
- Creatividad.
- Motivación por la calidad.
- Representar conocimiento por medio de sistemas formales.
- Ser capaz de demostrar teoremas mediante lógica matemática.
| SEMANAS (*) | UNIDADES DIDÁCTICAS | ACTIVIDADES DIDÁCTICAS |
|---|---|---|
| Semana 1 | Tema 1. 1 Historia de la lógica. 1.1 Efemérides. 1.2 La lógica de Aristóteles. 1.3 La lógica de enunciados en los megáricos y estáticos. 1.4 Sistemas axiomáticos. |
|
| Semana 2 | Tema 2. Métodos de inferencia. 2.1 Introducción. 2.2 Inferencia y sus tipos. 2.3 Abducción. 2.4 Deducción. 2.5 Inducción. 2.6 Analogía. |
|
| Semanas 3 y 4 | Tema 3. Cálculo proposicional. 3.1 Introducción 3.2 Gramática. 3.3 Inducción y recursión. 3.4 Formalización. 3.5 Tablas de verdad. 3.6 Conceptos clave. 3.7 Metalógica. 3.8 Atrapar la lógica. |
|
| Semanas 5 y 6 | Tema 4. Cálculo de predicados. 4.1 Introducción. 4.2 Gramática de Lógica de Primer Orden. 4.3 Inducción y recursión. 4.4 Formalización. 4.5 Variables parámetros y términos. 4.6 Estructuras de primer orden. 4.7 Conceptos clave. 4.8 Metalógicas. 4.9 Teorías. |
|
| Semana 7 | Tema 5. Otras lógicas formales. 5.1 La idea de negación. 5.2 Las lógicas modales. 5.3 Lógicas polivalentes. 5.4 Lógica borrosa. |
|
| Semana 8 | Tema 6. Paradojas y antinomias lógicas. 6.1 Paradojas. 6.2 Tipos de paradojas. 6.3 Las paradojas de la teoría de conjuntos. 6.4 Paradojas matemáticas. 6.5 Sistemas autorreferenciales: La asombrosa Fórmula de Tupper. 6.6 Paradojas en la vida corriente. |
|
Semanas 9 y 10 |
Tema 7. El Razonamiento. 7.1 Introducción. 7.2 El razonamiento. 7.3 La cuestión conjetural o fáctica. 7.4 La cuestión nominal o de palabras. 7.5 La evaluación. 7.6 La delibaración. 7.7 El enjuiciamiento. 7.8 Razonamiento por analogía. 7.9 Razonamiento deductivo. |
|
| Semanas 11 y 12 | Tema 8. Los Argumentos. 8.1 Introducción. 8.2 Qué se sabe y cómo se ha sabido. 8.3 Tipos de argumentos. 8.4 Argumentos abductivos o hipotéticos: Argumentos del signo o del indicio. |
|
Semanas 13, 14 y 15 |
Tema 9. Falacias Argumentales. 9.1 Introducción. 9.2 Taxonomía de falacias argumentales. 9.3 Argumentos engañosos. 9.4 Defectos de razonamiento. |
|
| Resto de semanas hasta finalización del semestre | Estudio y preparación para el examen final, celebración del examen final y cierre de actas. | |
| Tipo de actividad | Actividades planificadas | Peso clasificación |
|---|---|---|
| Actividades de aprendizaje | 2 | 10% |
| Actividades de Ebaluación Continua (AEC) | 3 | 30% |
| Controles | 3 | 10% |
| Examen final | 0 | 50% |
| Total | 100% |
Para aprobar la asignatura, es necesario obtener una calificación mínima de 5 en el examen final presencial, así como en la calificación total del curso, una vez realizado el cómputo ponderado de las calificaciones obtenidas en las actividades didácticas y en el examen final presencial.
Si un estudiante no aprueba la asignatura en la convocatoria ordinaria podrá examinarse en la convocatoria de septiembre.
Las fechas previstas para la realización de todas las actividades se indican en el aula virtual de la asignatura.
Originalidad de los trabajos académicos
Según la Real Academia Española, “plagiar” significa copiar en lo sustancial obras ajenas dándolas como propias. Dicho de otro modo, plagiar implica expresar las ideas de otra persona como si fuesen propias, sin citar la autoría de las mismas. Igualmente, la apropiación de contenido puede ser debida a una inclusión excesiva de información procedente de una misma fuente, pese a que esta haya sido citada adecuadamente. Teniendo en cuenta lo anterior, el estudiante deberá desarrollar sus conocimientos con sus propias palabras y expresiones. En ningún caso se aceptarán copias literales de párrafos, imágenes, gráficos, tablas, etc. de los materiales consultados. En caso de ser necesaria su reproducción, esta deberá contemplar las normas adecuadas para la citación académica.
Los documentos que sean presentados en las actividades académicas podrán ser sometidos a diferentes mecanismos de comprobación de la originalidad (herramientas antiplagios que detectan coincidencias de texto con otras fuentes, comparación con trabajos de otros estudiantes, comparación con información publicada en Internet, etc). El profesor valorará si el trabajo presentado cuenta con los criterios de originalidad exigidos o, en su caso, se atribuye adecuadamente la información no propia a las fuentes correspondientes. La adjudicación como propia de información que corresponde a otros autores podrá suponer el suspenso de la actividad.
Los documentos presentados en las actividades académicas podrán ser almacenados en formato papel o electrónico y servir de comparación con otros trabajos de terceros, a fin de proteger la originalidad de la fuente y evitar la apropiación indebida de todo o parte del trabajo del estudiante. Por tanto, podrán ser utilizados y almacenados por la universidad, a través del sistema que estime, con el único fin de servir como fuente de comparación de cualquier otro trabajo que se presente.
Sistema de calificaciones
El sistema de calificación de todas las actividades didácticas es numérico del 0 a 10 con expresión de un decimal, al que se añade su correspondiente calificación cualitativa:
0 - 4.9: Suspenso (SU) 5.0 - 6.9: Aprobado (AP) 7.0 - 8.9: Notable (NT) 9.0 - 10: Sobresaliente (SB)
(RD 1125/2003, de 5 de septiembre, por lo que se establece el sistema europeo de créditos y el sistema de calificaciones en las titulaciones universitarias de carácter oficial y con validez en todo el territorio nacional).
Lógica
| Código de la asignatura | 1760 |
|---|---|
| Nº Créditos ECTS | 6 |
| Tipo | Obligatoria |
| Duración | Semestral |
| Idiomas | Castellano |
| Planes de estudio | |
| Profesor(es) | |
| Año académico | 2024-25 |
La lógica es la ciencia que estudia la corrección de los razonamientos, tanto formales como no formales, por eso esta asignatura se va a componer de dos partes, una, la lógica formal y otra, la lógica no formal, a veces, también "mal" llamada lógica informal. Es decir, la lógica proporciona las herramientas necesarias para el razonamiento matemático, pero también para muchas otras aplicaciones de la vida corriente.
En lo referente a la lógica formal se considerará en este curso el cálculo proposicional y de predicados en sus dos aspectos, la sintaxis y a semántica, por un lado, y las técnicas deductivas por otro, y sus aplicaciones, en particular, a la informática. También se considerará en esta parte las paradojas y antinomias lógicas.
En lo que respecta a la lógica no formal se considerará en primer lugar, lo que se entiende por razonamiento y sus formas, argumentaciones y sus tipos, así como las distintas falacias que habitualmente aparecen en esta forma de razonamiento.
- Capacidad de resolución de problemas aplicando conocimientos de matemáticas, ciencias e ingeniería.
- Capacidad para el aprendizaje autónomo y la actualización de conocimientos, así como el reconocimiento de su necesidad en el área de la informática.
- Conocer los cimientos esenciales y fundacionales de la informática, abarcando tanto conceptos y teorías abstractas como los valores y los principios profesionales, subrayando los aspectos esenciales de la disciplina que permanecen inalterables ante el cambio tecnológico.
- Capacidad para comprender y dominar los conceptos básicos de lógica, y su aplicación para la resolución de problemas propios de la ingeniería.
- Capacidad de análisis y síntesis.
- Capacidad de organización y planificación.
- Utilizar eficientemente los recursos y herramientas disponibles en el aula virtual de la universidad, así como ser capaz de manejar en un nivel óptimo las tecnologías de la información y la comunicación aplicadas a la educación a distancia.
- Resolución de problemas.
- Aprendizaje autónomo.
- Creatividad.
- Motivación por la calidad.
- Representar conocimiento por medio de sistemas formales.
- Ser capaz de demostrar teoremas mediante lógica matemática.
| SEMANAS (*) | UNIDADES DIDÁCTICAS | ACTIVIDADES DIDÁCTICAS |
|---|---|---|
| Semana 1 | Tema 1. 1 Historia de la lógica. 1.1 Efemérides. 1.2 La lógica de Aristóteles. 1.3 La lógica de enunciados en los megáricos y estáticos. 1.4 Sistemas axiomáticos. |
|
| Semana 2 | Tema 2. Métodos de inferencia. 2.1 Introducción. 2.2 Inferencia y sus tipos. 2.3 Abducción. 2.4 Deducción. 2.5 Inducción. 2.6 Analogía. |
|
| Semanas 3 y 4 | Tema 3. Cálculo proposicional. 3.1 Introducción 3.2 Gramática. 3.3 Inducción y recursión. 3.4 Formalización. 3.5 Tablas de verdad. 3.6 Conceptos clave. 3.7 Metalógica. 3.8 Atrapar la lógica. |
|
| Semanas 5 y 6 | Tema 4. Cálculo de predicados. 4.1 Introducción. 4.2 Gramática de Lógica de Primer Orden. 4.3 Inducción y recursión. 4.4 Formalización. 4.5 Variables parámetros y términos. 4.6 Estructuras de primer orden. 4.7 Conceptos clave. 4.8 Metalógicas. 4.9 Teorías. |
|
| Semana 7 | Tema 5. Otras lógicas formales. 5.1 La idea de negación. 5.2 Las lógicas modales. 5.3 Lógicas polivalentes. 5.4 Lógica borrosa. |
|
| Semana 8 | Tema 6. Paradojas y antinomias lógicas. 6.1 Paradojas. 6.2 Tipos de paradojas. 6.3 Las paradojas de la teoría de conjuntos. 6.4 Paradojas matemáticas. 6.5 Sistemas autorreferenciales: La asombrosa Fórmula de Tupper. 6.6 Paradojas en la vida corriente. |
|
Semanas 9 y 10 |
Tema 7. El Razonamiento. 7.1 Introducción. 7.2 El razonamiento. 7.3 La cuestión conjetural o fáctica. 7.4 La cuestión nominal o de palabras. 7.5 La evaluación. 7.6 La delibaración. 7.7 El enjuiciamiento. 7.8 Razonamiento por analogía. 7.9 Razonamiento deductivo. |
|
| Semanas 11 y 12 | Tema 8. Los Argumentos. 8.1 Introducción. 8.2 Qué se sabe y cómo se ha sabido. 8.3 Tipos de argumentos. 8.4 Argumentos abductivos o hipotéticos: Argumentos del signo o del indicio. |
|
Semanas 13, 14 y 15 |
Tema 9. Falacias Argumentales. 9.1 Introducción. 9.2 Taxonomía de falacias argumentales. 9.3 Argumentos engañosos. 9.4 Defectos de razonamiento. |
|
| Resto de semanas hasta finalización del semestre | Estudio y preparación para el examen final, celebración del examen final y cierre de actas. | |
| Tipo de actividad | Actividades planificadas | Peso clasificación |
|---|---|---|
| Actividades de aprendizaje | 2 | 10% |
| Actividades de Ebaluación Continua (AEC) | 3 | 30% |
| Controles | 3 | 10% |
| Examen final | 0 | 50% |
| Total | 100% |
Para aprobar la asignatura, es necesario obtener una calificación mínima de 5 en el examen final presencial, así como en la calificación total del curso, una vez realizado el cómputo ponderado de las calificaciones obtenidas en las actividades didácticas y en el examen final presencial.
Si un estudiante no aprueba la asignatura en la convocatoria ordinaria podrá examinarse en la convocatoria de septiembre.
Las fechas previstas para la realización de todas las actividades se indican en el aula virtual de la asignatura.
Originalidad de los trabajos académicos
Según la Real Academia Española, “plagiar” significa copiar en lo sustancial obras ajenas dándolas como propias. Dicho de otro modo, plagiar implica expresar las ideas de otra persona como si fuesen propias, sin citar la autoría de las mismas. Igualmente, la apropiación de contenido puede ser debida a una inclusión excesiva de información procedente de una misma fuente, pese a que esta haya sido citada adecuadamente. Teniendo en cuenta lo anterior, el estudiante deberá desarrollar sus conocimientos con sus propias palabras y expresiones. En ningún caso se aceptarán copias literales de párrafos, imágenes, gráficos, tablas, etc. de los materiales consultados. En caso de ser necesaria su reproducción, esta deberá contemplar las normas adecuadas para la citación académica.
Los documentos que sean presentados en las actividades académicas podrán ser sometidos a diferentes mecanismos de comprobación de la originalidad (herramientas antiplagios que detectan coincidencias de texto con otras fuentes, comparación con trabajos de otros estudiantes, comparación con información publicada en Internet, etc). El profesor valorará si el trabajo presentado cuenta con los criterios de originalidad exigidos o, en su caso, se atribuye adecuadamente la información no propia a las fuentes correspondientes. La adjudicación como propia de información que corresponde a otros autores podrá suponer el suspenso de la actividad.
Los documentos presentados en las actividades académicas podrán ser almacenados en formato papel o electrónico y servir de comparación con otros trabajos de terceros, a fin de proteger la originalidad de la fuente y evitar la apropiación indebida de todo o parte del trabajo del estudiante. Por tanto, podrán ser utilizados y almacenados por la universidad, a través del sistema que estime, con el único fin de servir como fuente de comparación de cualquier otro trabajo que se presente.
Sistema de calificaciones
El sistema de calificación de todas las actividades didácticas es numérico del 0 a 10 con expresión de un decimal, al que se añade su correspondiente calificación cualitativa:
0 - 4.9: Suspenso (SU) 5.0 - 6.9: Aprobado (AP) 7.0 - 8.9: Notable (NT) 9.0 - 10: Sobresaliente (SB)
(RD 1125/2003, de 5 de septiembre, por lo que se establece el sistema europeo de créditos y el sistema de calificaciones en las titulaciones universitarias de carácter oficial y con validez en todo el territorio nacional).
Lógica
| Código de la asignatura | 1760 |
|---|---|
| Nº Créditos ECTS | 6 |
| Tipo | Obligatoria |
| Duración | Semestral |
| Idiomas | Castellano |
| Planes de estudio | |
| Profesor(es) | |
| Año académico | 2024-25 |
La lógica es la ciencia que estudia la corrección de los razonamientos, tanto formales como no formales, por eso esta asignatura se va a componer de dos partes, una, la lógica formal y otra, la lógica no formal, a veces, también "mal" llamada lógica informal. Es decir, la lógica proporciona las herramientas necesarias para el razonamiento matemático, pero también para muchas otras aplicaciones de la vida corriente.
En lo referente a la lógica formal se considerará en este curso el cálculo proposicional y de predicados en sus dos aspectos, la sintaxis y a semántica, por un lado, y las técnicas deductivas por otro, y sus aplicaciones, en particular, a la informática. También se considerará en esta parte las paradojas y antinomias lógicas.
En lo que respecta a la lógica no formal se considerará en primer lugar, lo que se entiende por razonamiento y sus formas, argumentaciones y sus tipos, así como las distintas falacias que habitualmente aparecen en esta forma de razonamiento.
- Capacidad de resolución de problemas aplicando conocimientos de matemáticas, ciencias e ingeniería.
- Capacidad para el aprendizaje autónomo y la actualización de conocimientos, así como el reconocimiento de su necesidad en el área de la informática.
- Conocer los cimientos esenciales y fundacionales de la informática, abarcando tanto conceptos y teorías abstractas como los valores y los principios profesionales, subrayando los aspectos esenciales de la disciplina que permanecen inalterables ante el cambio tecnológico.
- Capacidad para comprender y dominar los conceptos básicos de lógica, y su aplicación para la resolución de problemas propios de la ingeniería.
- Capacidad de análisis y síntesis.
- Capacidad de organización y planificación.
- Utilizar eficientemente los recursos y herramientas disponibles en el aula virtual de la universidad, así como ser capaz de manejar en un nivel óptimo las tecnologías de la información y la comunicación aplicadas a la educación a distancia.
- Resolución de problemas.
- Aprendizaje autónomo.
- Creatividad.
- Motivación por la calidad.
- Representar conocimiento por medio de sistemas formales.
- Ser capaz de demostrar teoremas mediante lógica matemática.
| SEMANAS (*) | UNIDADES DIDÁCTICAS | ACTIVIDADES DIDÁCTICAS |
|---|---|---|
| Semana 1 | Tema 1. 1 Historia de la lógica. 1.1 Efemérides. 1.2 La lógica de Aristóteles. 1.3 La lógica de enunciados en los megáricos y estáticos. 1.4 Sistemas axiomáticos. |
|
| Semana 2 | Tema 2. Métodos de inferencia. 2.1 Introducción. 2.2 Inferencia y sus tipos. 2.3 Abducción. 2.4 Deducción. 2.5 Inducción. 2.6 Analogía. |
|
| Semanas 3 y 4 | Tema 3. Cálculo proposicional. 3.1 Introducción 3.2 Gramática. 3.3 Inducción y recursión. 3.4 Formalización. 3.5 Tablas de verdad. 3.6 Conceptos clave. 3.7 Metalógica. 3.8 Atrapar la lógica. |
|
| Semanas 5 y 6 | Tema 4. Cálculo de predicados. 4.1 Introducción. 4.2 Gramática de Lógica de Primer Orden. 4.3 Inducción y recursión. 4.4 Formalización. 4.5 Variables parámetros y términos. 4.6 Estructuras de primer orden. 4.7 Conceptos clave. 4.8 Metalógicas. 4.9 Teorías. |
|
| Semana 7 | Tema 5. Otras lógicas formales. 5.1 La idea de negación. 5.2 Las lógicas modales. 5.3 Lógicas polivalentes. 5.4 Lógica borrosa. |
|
| Semana 8 | Tema 6. Paradojas y antinomias lógicas. 6.1 Paradojas. 6.2 Tipos de paradojas. 6.3 Las paradojas de la teoría de conjuntos. 6.4 Paradojas matemáticas. 6.5 Sistemas autorreferenciales: La asombrosa Fórmula de Tupper. 6.6 Paradojas en la vida corriente. |
|
Semanas 9 y 10 |
Tema 7. El Razonamiento. 7.1 Introducción. 7.2 El razonamiento. 7.3 La cuestión conjetural o fáctica. 7.4 La cuestión nominal o de palabras. 7.5 La evaluación. 7.6 La delibaración. 7.7 El enjuiciamiento. 7.8 Razonamiento por analogía. 7.9 Razonamiento deductivo. |
|
| Semanas 11 y 12 | Tema 8. Los Argumentos. 8.1 Introducción. 8.2 Qué se sabe y cómo se ha sabido. 8.3 Tipos de argumentos. 8.4 Argumentos abductivos o hipotéticos: Argumentos del signo o del indicio. |
|
Semanas 13, 14 y 15 |
Tema 9. Falacias Argumentales. 9.1 Introducción. 9.2 Taxonomía de falacias argumentales. 9.3 Argumentos engañosos. 9.4 Defectos de razonamiento. |
|
| Resto de semanas hasta finalización del semestre | Estudio y preparación para el examen final, celebración del examen final y cierre de actas. | |
| Tipo de actividad | Actividades planificadas | Peso clasificación |
|---|---|---|
| Actividades de aprendizaje | 2 | 10% |
| Actividades de Ebaluación Continua (AEC) | 3 | 30% |
| Controles | 3 | 10% |
| Examen final | 0 | 50% |
| Total | 100% |
Para aprobar la asignatura, es necesario obtener una calificación mínima de 5 en el examen final presencial, así como en la calificación total del curso, una vez realizado el cómputo ponderado de las calificaciones obtenidas en las actividades didácticas y en el examen final presencial.
Si un estudiante no aprueba la asignatura en la convocatoria ordinaria podrá examinarse en la convocatoria de septiembre.
Las fechas previstas para la realización de todas las actividades se indican en el aula virtual de la asignatura.
Originalidad de los trabajos académicos
Según la Real Academia Española, “plagiar” significa copiar en lo sustancial obras ajenas dándolas como propias. Dicho de otro modo, plagiar implica expresar las ideas de otra persona como si fuesen propias, sin citar la autoría de las mismas. Igualmente, la apropiación de contenido puede ser debida a una inclusión excesiva de información procedente de una misma fuente, pese a que esta haya sido citada adecuadamente. Teniendo en cuenta lo anterior, el estudiante deberá desarrollar sus conocimientos con sus propias palabras y expresiones. En ningún caso se aceptarán copias literales de párrafos, imágenes, gráficos, tablas, etc. de los materiales consultados. En caso de ser necesaria su reproducción, esta deberá contemplar las normas adecuadas para la citación académica.
Los documentos que sean presentados en las actividades académicas podrán ser sometidos a diferentes mecanismos de comprobación de la originalidad (herramientas antiplagios que detectan coincidencias de texto con otras fuentes, comparación con trabajos de otros estudiantes, comparación con información publicada en Internet, etc). El profesor valorará si el trabajo presentado cuenta con los criterios de originalidad exigidos o, en su caso, se atribuye adecuadamente la información no propia a las fuentes correspondientes. La adjudicación como propia de información que corresponde a otros autores podrá suponer el suspenso de la actividad.
Los documentos presentados en las actividades académicas podrán ser almacenados en formato papel o electrónico y servir de comparación con otros trabajos de terceros, a fin de proteger la originalidad de la fuente y evitar la apropiación indebida de todo o parte del trabajo del estudiante. Por tanto, podrán ser utilizados y almacenados por la universidad, a través del sistema que estime, con el único fin de servir como fuente de comparación de cualquier otro trabajo que se presente.
Sistema de calificaciones
El sistema de calificación de todas las actividades didácticas es numérico del 0 a 10 con expresión de un decimal, al que se añade su correspondiente calificación cualitativa:
0 - 4.9: Suspenso (SU) 5.0 - 6.9: Aprobado (AP) 7.0 - 8.9: Notable (NT) 9.0 - 10: Sobresaliente (SB)
(RD 1125/2003, de 5 de septiembre, por lo que se establece el sistema europeo de créditos y el sistema de calificaciones en las titulaciones universitarias de carácter oficial y con validez en todo el territorio nacional).
Lógica
| Código de la asignatura | 1760 |
|---|---|
| Nº Créditos ECTS | 6 |
| Tipo | Obligatoria |
| Duración | Semestral |
| Idiomas | Castellano |
| Planes de estudio | |
| Profesor(es) | |
| Año académico | 2024-25 |
La lógica es la ciencia que estudia la corrección de los razonamientos, tanto formales como no formales, por eso esta asignatura se va a componer de dos partes, una, la lógica formal y otra, la lógica no formal, a veces, también "mal" llamada lógica informal. Es decir, la lógica proporciona las herramientas necesarias para el razonamiento matemático, pero también para muchas otras aplicaciones de la vida corriente.
En lo referente a la lógica formal se considerará en este curso el cálculo proposicional y de predicados en sus dos aspectos, la sintaxis y a semántica, por un lado, y las técnicas deductivas por otro, y sus aplicaciones, en particular, a la informática. También se considerará en esta parte las paradojas y antinomias lógicas.
En lo que respecta a la lógica no formal se considerará en primer lugar, lo que se entiende por razonamiento y sus formas, argumentaciones y sus tipos, así como las distintas falacias que habitualmente aparecen en esta forma de razonamiento.
- Capacidad de resolución de problemas aplicando conocimientos de matemáticas, ciencias e ingeniería.
- Capacidad para el aprendizaje autónomo y la actualización de conocimientos, así como el reconocimiento de su necesidad en el área de la informática.
- Conocer los cimientos esenciales y fundacionales de la informática, abarcando tanto conceptos y teorías abstractas como los valores y los principios profesionales, subrayando los aspectos esenciales de la disciplina que permanecen inalterables ante el cambio tecnológico.
- Capacidad para comprender y dominar los conceptos básicos de lógica, y su aplicación para la resolución de problemas propios de la ingeniería.
- Capacidad de análisis y síntesis.
- Capacidad de organización y planificación.
- Utilizar eficientemente los recursos y herramientas disponibles en el aula virtual de la universidad, así como ser capaz de manejar en un nivel óptimo las tecnologías de la información y la comunicación aplicadas a la educación a distancia.
- Resolución de problemas.
- Aprendizaje autónomo.
- Creatividad.
- Motivación por la calidad.
- Representar conocimiento por medio de sistemas formales.
- Ser capaz de demostrar teoremas mediante lógica matemática.
| SEMANAS (*) | UNIDADES DIDÁCTICAS | ACTIVIDADES DIDÁCTICAS |
|---|---|---|
| Semana 1 | Tema 1. 1 Historia de la lógica. 1.1 Efemérides. 1.2 La lógica de Aristóteles. 1.3 La lógica de enunciados en los megáricos y estáticos. 1.4 Sistemas axiomáticos. |
|
| Semana 2 | Tema 2. Métodos de inferencia. 2.1 Introducción. 2.2 Inferencia y sus tipos. 2.3 Abducción. 2.4 Deducción. 2.5 Inducción. 2.6 Analogía. |
|
| Semanas 3 y 4 | Tema 3. Cálculo proposicional. 3.1 Introducción 3.2 Gramática. 3.3 Inducción y recursión. 3.4 Formalización. 3.5 Tablas de verdad. 3.6 Conceptos clave. 3.7 Metalógica. 3.8 Atrapar la lógica. |
|
| Semanas 5 y 6 | Tema 4. Cálculo de predicados. 4.1 Introducción. 4.2 Gramática de Lógica de Primer Orden. 4.3 Inducción y recursión. 4.4 Formalización. 4.5 Variables parámetros y términos. 4.6 Estructuras de primer orden. 4.7 Conceptos clave. 4.8 Metalógicas. 4.9 Teorías. |
|
| Semana 7 | Tema 5. Otras lógicas formales. 5.1 La idea de negación. 5.2 Las lógicas modales. 5.3 Lógicas polivalentes. 5.4 Lógica borrosa. |
|
| Semana 8 | Tema 6. Paradojas y antinomias lógicas. 6.1 Paradojas. 6.2 Tipos de paradojas. 6.3 Las paradojas de la teoría de conjuntos. 6.4 Paradojas matemáticas. 6.5 Sistemas autorreferenciales: La asombrosa Fórmula de Tupper. 6.6 Paradojas en la vida corriente. |
|
Semanas 9 y 10 |
Tema 7. El Razonamiento. 7.1 Introducción. 7.2 El razonamiento. 7.3 La cuestión conjetural o fáctica. 7.4 La cuestión nominal o de palabras. 7.5 La evaluación. 7.6 La delibaración. 7.7 El enjuiciamiento. 7.8 Razonamiento por analogía. 7.9 Razonamiento deductivo. |
|
| Semanas 11 y 12 | Tema 8. Los Argumentos. 8.1 Introducción. 8.2 Qué se sabe y cómo se ha sabido. 8.3 Tipos de argumentos. 8.4 Argumentos abductivos o hipotéticos: Argumentos del signo o del indicio. |
|
Semanas 13, 14 y 15 |
Tema 9. Falacias Argumentales. 9.1 Introducción. 9.2 Taxonomía de falacias argumentales. 9.3 Argumentos engañosos. 9.4 Defectos de razonamiento. |
|
| Resto de semanas hasta finalización del semestre | Estudio y preparación para el examen final, celebración del examen final y cierre de actas. | |
| Tipo de actividad | Actividades planificadas | Peso clasificación |
|---|---|---|
| Actividades de aprendizaje | 2 | 10% |
| Actividades de Ebaluación Continua (AEC) | 3 | 30% |
| Controles | 3 | 10% |
| Examen final | 0 | 50% |
| Total | 100% |
Para aprobar la asignatura, es necesario obtener una calificación mínima de 5 en el examen final presencial, así como en la calificación total del curso, una vez realizado el cómputo ponderado de las calificaciones obtenidas en las actividades didácticas y en el examen final presencial.
Si un estudiante no aprueba la asignatura en la convocatoria ordinaria podrá examinarse en la convocatoria de septiembre.
Las fechas previstas para la realización de todas las actividades se indican en el aula virtual de la asignatura.
Originalidad de los trabajos académicos
Según la Real Academia Española, “plagiar” significa copiar en lo sustancial obras ajenas dándolas como propias. Dicho de otro modo, plagiar implica expresar las ideas de otra persona como si fuesen propias, sin citar la autoría de las mismas. Igualmente, la apropiación de contenido puede ser debida a una inclusión excesiva de información procedente de una misma fuente, pese a que esta haya sido citada adecuadamente. Teniendo en cuenta lo anterior, el estudiante deberá desarrollar sus conocimientos con sus propias palabras y expresiones. En ningún caso se aceptarán copias literales de párrafos, imágenes, gráficos, tablas, etc. de los materiales consultados. En caso de ser necesaria su reproducción, esta deberá contemplar las normas adecuadas para la citación académica.
Los documentos que sean presentados en las actividades académicas podrán ser sometidos a diferentes mecanismos de comprobación de la originalidad (herramientas antiplagios que detectan coincidencias de texto con otras fuentes, comparación con trabajos de otros estudiantes, comparación con información publicada en Internet, etc). El profesor valorará si el trabajo presentado cuenta con los criterios de originalidad exigidos o, en su caso, se atribuye adecuadamente la información no propia a las fuentes correspondientes. La adjudicación como propia de información que corresponde a otros autores podrá suponer el suspenso de la actividad.
Los documentos presentados en las actividades académicas podrán ser almacenados en formato papel o electrónico y servir de comparación con otros trabajos de terceros, a fin de proteger la originalidad de la fuente y evitar la apropiación indebida de todo o parte del trabajo del estudiante. Por tanto, podrán ser utilizados y almacenados por la universidad, a través del sistema que estime, con el único fin de servir como fuente de comparación de cualquier otro trabajo que se presente.
Sistema de calificaciones
El sistema de calificación de todas las actividades didácticas es numérico del 0 a 10 con expresión de un decimal, al que se añade su correspondiente calificación cualitativa:
0 - 4.9: Suspenso (SU) 5.0 - 6.9: Aprobado (AP) 7.0 - 8.9: Notable (NT) 9.0 - 10: Sobresaliente (SB)
(RD 1125/2003, de 5 de septiembre, por lo que se establece el sistema europeo de créditos y el sistema de calificaciones en las titulaciones universitarias de carácter oficial y con validez en todo el territorio nacional).