Asignaturas Grado en ingeniería informática

Asignaturas Grado en ingeniería informática

LÓGICA Y ESTRUCTURAS DISCRETAS

Código Asignatura: 71901037

NOMBRE DE LA ASIGNATURA
LÓGICA Y ESTRUCTURAS DISCRETAS
CÓDIGO
71901037
CURSO ACADÉMICO
2024/2025
DEPARTAMENTO
INTELIGENCIA ARTIFICIAL
TÍTULO EN QUE SE IMPARTE
GRADO EN INGENIERÍA INFORMÁTICA
  • PRIMER
  • SEMESTRE 1
  • FORMACIÓN BÁSICA
GRADO EN INGENIERÍA EN TECNOLOGÍAS DE LA INFORMACIÓN
  • PRIMER
  • SEMESTRE 1
  • FORMACIÓN BÁSICA
Nº ECTS
6
HORAS
150
IDIOMAS EN QUE SE IMPARTE
CASTELLANO

Esta asignatura proporciona estructuras matemáticas sobre las que modelizar restricciones o problemas sobre un determinado conjunto de datos. Además facilita los mecanismos deductivos necesarios para construir la solución de tales problemas o para comprobar que una solución dada es correcta.

Proyección de la asignatura en el plan de estudios

Esta es una de las tres asignaturas en que se divide la materia "Fundamentos Matemáticos".

  • Lógica y Estructuras Discretas (1er cuatrimestre, 1er curso, 6 créditos)
  • Fundamentos Matemáticos (1er cuatrimestre, 1er curso, 6 créditos)
  • Estadística (2º cuatrimestre, 1er curso, 6 créditos)

Las asignaturas de esta materia son comunes tanto al Grado de Ingeniería Informática como al Grado de Ingeniería de las Tecnologías de la Información. Forman parte del bloque de formación básica de ambas titulaciones.

Esta asignatura facilita los siguientes fundamentos formales comunes:

  1. Facilita estructuras matemáticas sobre las que modelizar datos (conjuntos, relaciones, funciones, árboles, grafos, etc.)
  2. Facilita un lenguaje preciso y universal para especificar restricciones y problemas (preguntas, especificaciones) sobre estos modelos.
  3. Facilita técnicas de construcción y comprobación de soluciones (mecanismos deductivos, inducción y recursión, verificaciones)

En este mismo primer curso del grado, el estudiante puede apreciar el valor instrumental de esta asignatura tanto para la compresión de las otras dos de la misma materia como para la comprensión de otras asignaturas, especialmente:

  • Fundamentos de Programación
  • Estrategias de Programación
  • Estructuras de Datos y Autómatas, Gramáticas y Lenguajes

Contribución de la asignatura al perfil profesional

En ambas titulaciones facilita básicamente dos competencias generales:

  1. Competencias cognitivas superiores: análisis, síntesis, razonamiento crítico
  2. Competencias de expresión y comunicación: las que requieren un lenguaje formal preciso de difusión y discusión de contenidos.

La asignatura contribuye al futuro perfil profesional y/o investigador del estudiante mediante su formación en conceptos básicos aplicables a la formalización matemática y a entornos como la programación, estructuras de datos, autómatas o gramáticas y lenguajes.