Lógica Código:  75.570    :  6
Consulta de los datos generales   Descripción   La asignatura en el conjunto del plan de estudios   Campos profesionales en el que se proyecta   Conocimientos previos   Información previa a la matrícula   Objetivos y competencias   Contenidos   Consulta de los recursos de aprendizaje de la UOC para la asignatura   Información adicional sobre los recursos de aprendizaje y herramientas de apoyo   Informaciones sobre la evaluación en la UOC   Consulta del modelo de evaluación  
Este es el plan docente de la asignatura para el segundo semestre del curso 2023-2024. Podéis consultar si la asignatura se ofrece este semestre en el espacio del campus Más UOC / La universidad / Planes de estudios). Una vez empiece la docencia, tenéis que consultarlo en el aula. El plan docente puede estar sujeto a cambios.

La lógica impregna todo el mundo científico y le aporta directamente o indirectamente todo el rigor que requiere y que lo caracteriza. Es, sin duda, un conocimiento básico para todas las disciplinas científicas. También y en grado elevado, para la informática, tanto en su vertiente más teórica como en la más práctica y aplicada. No es exagerado decir que la lógica es a la informática lo que el cálculo es a la arquitectura y a otras ingenierías.

Los fundamentos lógicos que esta asignatura quiere proporcionar se proyectan hacia otras asignaturas de las titulaciones en Informática y hacia la actividad profesional propia de la informática. Dado este carácter fundamental, la lógica se situa en los niveles iniciales de estas titulaciones, cerca de otras asignaturas fundamentales como álgebra y cálculo, y cerca también de las asignaturas de las áreas de programación o de arquitectura de computadores.

Amunt

La asignatura Lógica está relacionada con las otras asignaturas de carácter matemático y proporciona al estudiantado los fundamentos lógico-matemáticos que facilitarán el estudio de posteriores asignaturas de diferentes áreas de conocimiento.

Es fundamental para toda el área de lenguajes de programación por su importancia para dotar a los algoritmos de una buena estructura lógica, y por su relevancia en la verificación y la derivación formal de algoritmos. Dentro del área, los conocimientos que aporta serán de gran utilidad en las asignaturas de Grafos y Complejidad e Inteligencia Artificial, y, en general, en todas las asignaturas de teoría de la computación.

También es fundamental para el estudio de las asignaturas de bases de datos que siguen como modelo de datos el modelo relacional, dado que el lenguaje estándar está basado en la lógica de predicados, SQL, para su manipulación.

Finalmente, aporta conocimientos necesarios para el estudio de asignaturas del área de tecnología de computadores, dado que el correcto funcionamiento de hardware requiere un buen diseño lógico.

Amunt

La asignatura Lógica potencia aptitudes que son útiles e importantes a la hora de interpretar y analizar problemas, como paso previo a resolverlos de forma mecanizada. Uno de los objetivos es el de aprender a formalizar usando el lenguaje lógico. En la actividad profesional propia de la informática es habitual  la tarea de plantear soluciones mecanizadas a problemas que, a menudo, están mal o pobremente especificados, y a veces, incluso, de manera contradictoria. Las destrezas y aptitudes necesarias para formalizar y para validar o refutar razonamientos son, fundamentalmente, las mismas que permiten detectar los problemas de una especificación poco o nada correcta.

Día a día la inteligencia artificial y sus métodos cobran importancia en muchos campos profesionales relacionados con la informática. En ese caso, la lógica sería un excelente vehículo de acercamiento.

Amunt

Esta asignatura no requiere haber cursado previamente otras asignaturas de las titulaciones en Infomática.

Tampoco requiere ningún conocimiento previo específico, excepto los que son indispensables para el acceso a las titulaciones de tipo técnico de la Universidad.

Amunt

Esta asignatura no requiere haber cursado previamente otras asignaturas de las titulaciones en Infomática.

Amunt

OBJETIVO GENERAL:

Conocer los fundamentos de las lógicas de enunciados y de predicados y saber aplicar sus metodologías básicas.

 

COMPETENCIAS:

Las competencias específicas del grado de Informática que se trabajan en la asignatura son:

  1. Capacidad de utilizar los fundamentos matemáticos, estadísticos y físicos para comprender los sistemas TIC
  2. Capacidad de analizar un problema en el nivel de abstracción adecuado a cada situación y aplicar las habilidades y conocimientos adquiridos para abordarlo y resolverlo.

Las competencias propias de la asignatura son:

  1. Aprender a formalizar expresiones del lenguaje natural usando lógica de predicados.
  2. Adquirir habilidades de validación de razonamientos en lógica de enunciados y de predicados usando el método de deducción natural.
  3. Adquirir habilidades de validación de razonamientos en lógica de enunciados y de predicados usando el método de resolución.
  4. Comprender la semántica de la lógica de enunciados y de predicados y saber aplicarla en la validación de razonamientos.
  5. Conocer el lenguaje de la teoría de conjuntos básica y saber relacionarla con la lógica.

Amunt


El contenido evaluable de la asignatura se divide en dos módulos didácticos que presentan una notable interrelación entre ellos. Los módulos, primero, tercero y cuarto pueden tratarse de manera autocontenida. Es en el segundo módulo donde se logra el nivel oportuno para una titulación universitaria y donde se aplican todos los otros módulos.Concretamente, los contenidos de estos módulos son los siguientes:

Módulo 1: Lógica de Enunciados

  • La lógica de enunciados y su lenguaje
  • La deducción natural
  • Verdad y falsedad: alternativa y complemento de la deducción natural
  • El álgebra de enunciados
  • Resolución

Módulo 2: Lógica de Predicados

  • La lógica de predicados y su lenguaje
  • La deducción natural
  • Verdad y falsedad a la lógica de predicados
  • Formas normales
  • Resolución

Tal y cómo se puede apreciar en esta tabla de contenidos, los temas del primer módulo vuelven a repetirse en el segundo. La variación consiste en el formalismo utilizado (más complejo en la segunda parte que en la primera) y en los añadidos que hay que hacer a las herramientas del segundo módulo para adaptarlas a la más gran complejidad del formalismo. En ambos módulos son de especial importancia los temas iniciales en los que se estudian los formalismos propios de la lógica con una aproximación notablemente práctica: el éxito se logrará cuando la utilización de estos formalismos se haga de manera correcta y desenvuelta.

 

Además, hay dos módulos más que no son evaluables y que quedan como material anexo y de ampliación.

Módulo 3: Lógica y Álgebra de Boole

  • Lógica de Boole
  • Aplicaciones a la informática
  • Álgebra de Boole

Módulo 4: Teoría de Conjuntos

  • Conjuntos, operaciones con conjuntos
  • Relaciones
  • Funciones

Amunt

Lógica de enunciados PDF
Lógica de predicados PDF
Teoría de conjuntos básica PDF
Lógica y álgebra de Boole PDF
Formalización en lógica de enunciados(1). Parentetización y jerarquía de símbolos en lógica de enunciados Audiovisual
Deducción natural en lógica de predicados. ¿Cómo avanzar en una deducción natural en lógica de predicados? Audiovisual
Formalización en lógica de predicados. Claves en la formalización con cuantificadores en la lógica de predicados Audiovisual
Deducción natural en lógica de enunciados. Planteamiento estratégico de las demostraciones por deducción natural Audiovisual
Formalización en lógica de enunciados(2). Condiciones suficientes y necesarias en la lógica de enunciados Audiovisual

Amunt

 

MATERIAL DE ESTUDIO

El material didáctico de esta asignatura se compone de cuatro módulos editados por la UOC:

Módulos evaluables:


  • Módulo 1. Lógica de enunciados
  • Módulo 2. Lógica de predicados

Módulos no evaluables:


  • Módulo 3. Lógica y  álgebra de Boole
  • Módulo 4. Teoría de conjuntos

Todos los conceptos que se exponen en los módulos se ilustran con ejemplos. Estos ejemplos tienen que servir, en un primer momento, para clarificar la materia que se explica, pero su finalidad no acaba aquí: es importante que sean utilizados como actividades, y volver a resolverlos para determinar si se ha alcanzado un nivel de comprensión mínimo. Además, cada módulo contiene un buen número de ejercicios de autoevaluación, todos ellos resueltos.


SOFTWARE EDUCATIVO

Con el objetivo de ofrecer herramientas que faciliten la asimilación de algunos de los contenidos de la asignatura, la UOC ha desarrollado un software educativo que facilita y da soporte al aprendizaje de tres temas importantes de la asignatura: la formalización, la Deducción natural, la Resolución y las Tablas de Verdad.

Este software, llamado ALURA (Asistente de Lógica Universal y Recurso de Autoaprendizaje) ha sido especialmente diseñado para esta asignatura por profesionales vinculados a su docencia.

ALURA permite resolver diferentes ejercicios, guiando e informándolo de la corrección o no de sus soluciones. Los ejercicios a resolver pueden ser propuestos por el profesorado de la asignatura pero también por el mismos estudiantado. Será, pues, una herramienta que incidirá no solo en el aprendizaje sino también en la autoevaluación y en la evaluación continua.

El acceso a la herramienta ALURA se encuentra en el aula

El acceso a la herramienta ALURA se encuentra en el aula.

Amunt

En la UOC, la evaluación generalmente es virtual. Se estructura en torno a la evaluación continua, que incluye diferentes actividades o retos; la evaluación final, que se lleva a cabo mediante pruebas o exámenes, y el trabajo final de la titulación.

Las actividades o pruebas de evaluación pueden ser escritas y/o audiovisuales, con preguntas aleatorias, pruebas orales síncronas o asíncronas, etc., de acuerdo con lo que decida cada equipo docente. Los trabajos finales representan el cierre de un proceso formativo que implica la realización de un trabajo original y tutorizado que tiene como objetivo demostrar la adquisición competencial hecha a lo largo del programa.

Para verificar la identidad del estudiante y la autoría de las pruebas de evaluación, la UOC se reserva la potestad de aplicar diferentes sistemas de reconocimiento de la identidad y de detección del plagio. Con este objetivo, la UOC puede llevar a cabo grabación audiovisual o usar métodos o técnicas de supervisión durante la ejecución de cualquier actividad académica.

Asimismo, la UOC puede exigir al estudiante el uso de dispositivos electrónicos (micrófonos, cámaras u otras herramientas) o software específico durante la evaluación. Es responsabilidad del estudiante asegurar que estos dispositivos funcionan correctamente.

El proceso de evaluación se fundamenta en el trabajo personal del estudiante y presupone la autenticidad de la autoría y la originalidad de las actividades académicas. La web sobre integridad académica y plagio de la UOC contiene información al respecto.

La falta de autenticidad en la autoría o de originalidad de las pruebas de evaluación; la copia o el plagio; la suplantación de identidad; la aceptación o la obtención de cualquier actividad académica a cambio o no de una contraprestación; la colaboración, el encubrimiento o el favorecimiento de la copia, o el uso de material, software o dispositivos no autorizados en el plan docente o el enunciado de la actividad académica, incluida la inteligencia artificial y la traducción automática, entre otras, son conductas irregulares en la evaluación que pueden tener consecuencias académicas y disciplinarias graves.

Estas conductas irregulares pueden conllevar el suspenso (D/0) en las actividades evaluables definidas en el plan docente -incluidas las pruebas finales- o en la calificación final de la asignatura, ya sea porque se han utilizado materiales, software o dispositivos no autorizados durante las pruebas (como el uso de inteligencia artificial no permitida, redes sociales o buscadores de información en internet), porque se han copiado fragmentos de texto de una fuente externa (internet, apuntes, libros, artículos, trabajos o pruebas de otros estudiantes, etc.) sin la citación correspondiente, por la compraventa de actividades académicas, o porque se ha llevado a cabo cualquier otra conducta irregular.

Asimismo, y de acuerdo con la normativa académica, las conductas irregulares en la evaluación también pueden dar lugar a la incoación de un procedimiento disciplinario y a la aplicación, si procede, de la sanción que corresponda, de conformidad con lo establecido en la normativa de convivencia de la UOC.

En el marco del proceso de evaluación, la UOC se reserva la potestad de:

  • Solicitar al estudiante que acredite su identidad según lo establecido en la normativa académica.
  • Solicitar al estudiante que acredite la autoría de su trabajo a lo largo de todo el proceso de evaluación, tanto en la evaluación continua como en la evaluación final, a través de una entrevista oral síncrona, que puede ser objeto de grabación audiovisual, o por los medios establecidos por la UOC. Estos medios tienen el objetivo de verificar los conocimientos y las competencias que garanticen la identidad del estudiante. Si no es posible garantizar que el estudiante es el autor de la prueba, esta puede ser calificada con una D, en el caso de la evaluación continua, o con un suspenso, en el caso de la evaluación final.

Inteligencia artificial en el marco de la evaluación

La UOC reconoce el valor y el potencial de la inteligencia artificial (IA) en el ámbito educativo y, a su vez, pone de manifiesto los riesgos que supone si no se utiliza de forma ética, crítica y responsable. En este sentido, en cada actividad de evaluación se informará al estudiantado sobre las herramientas y los recursos de IA que se pueden utilizar y en qué condiciones. Por su parte, el estudiantado se compromete a seguir las indicaciones de la UOC a la hora de realizar las actividades de evaluación y de citar las herramientas utilizadas y, concretamente, a identificar los textos o imágenes generados por sistemas de IA, los cuales no podrá presentar como si fueran propios.

Respecto a usar o no la IA para resolver una actividad, el enunciado de las actividades de evaluación indica las limitaciones en el uso de estas herramientas. Debe tenerse en cuenta que usarlas de manera inadecuada, como por ejemplo en actividades en las que no están permitidas o no citarlas en las actividades en las que sí lo están, puede considerarse una conducta irregular en la evaluación. En caso de duda, se recomienda que, antes entregar la actividad, se haga llegar una consulta al profesorado colaborador del aula.

Amunt

Puedes superar la asignatura a través de dos vías:

  1. Con evaluación continua (EC) y una prueba de síntesis (PS):
    • Si superas la evaluación continua y en la prueba de síntesis obtienes la nota mínima necesaria, la nota final será la ponderación que se especifique en el plan docente.
    • Si superas la evaluación continua y en la prueba de síntesis no obtienes la nota mínima necesaria, la calificación final será la nota cuantitativa que obtengas en la prueba de síntesis.
    • Si superas la evaluación continua y no te presentas a la prueba de síntesis, la nota final será un No presentado.
    • Si suspendes la evaluación continua, la nota final será un No presentado.
    • Si no te presentas a la evaluación continua, la nota final será un No presentado.

  2. Con examen (para seguir esta vía no es necesario haber superado la evaluación continua para hacer el examen):
    • Si no has presentado la evaluación continua, la nota final será la calificación numérica obtenida en el examen.
    • Si en la evaluación continua has obtenido una nota distinta a un No presentado, la nota final será el cálculo más favorable entre la nota numérica del examen y la ponderación de la nota de la evaluación continua con la nota del examen, según lo establecido en el plan docente. Para aplicar este cálculo, es necesario obtener una nota mínima de 4 en el examen (si es inferior, la nota final de la asignatura será la calificación del examen).
    • Si no te presentas al examen, la calificación final será un No presentado.

 

Amunt