Ficha docente no validada
DESCRIPCIÓN DE LA ASIGNATURA
- Grado en:
- Ingeniería Informática
- Asignatura:
- Lógica matemática
- Asignatura en inglés:
- Mathematical Logic
- Curso y cuatrimestre:
- 1º (2º Cuatrimestre)
- ECTS:
- 6
- Tipología:
- Básica
- Idioma de impartición:
- Español
- Módulo:
- Materias básicas
- Materia:
- Matemáticas
- Departamento:
- Sistemas Informáticos y Computación
- Coordinador:
- Pendiente de asignación
CONTENIDOS MÍNIMOS
- Métodos de razonamiento.
- Formalización y deducción en lógica de proposiciones y de primer orden.
- Aplicaciones de la lógica a la programación y a la especificación.
PROGRAMA DETALLADO
Pendiente
PROGRAMA DETALLADO EN INGLÉS
Pending
RESULTADOS DE APRENDIZAJE
Conocimientos
- Al finalizar el aprendizaje, el o la estudiante será capaz de demostrar conocimiento básico de las diferentes subdisciplinas de la ingeniería informática y de las técnicas básicas y conocimientos de estas para la integración en equipos multidisciplinares como profesional generalista en ingeniería informática.
- Al finalizar el aprendizaje, el o la estudiante será capaz de aplicar conocimientos de álgebra, cálculo, análisis, matemática discreta, lógica, estadística y circuitos electrónicos en la resolución de problemas generales planteados en ingeniería informática.
No tiene
ACTIVIDADES FORMATIVAS
Presenciales
Actividad
Horas
CTM - Clases teóricas magistrales
30
CP - Clases de problemas
30
AEV - Actividades de evaluación
5
Totales
65
No Presenciales
Actividad
Horas
TPN - Trabajo personal no dirigido
90
Totales
90
EVALUACIÓN DETALLADA
Pendiente
BIBLIOGRAFÍA
- Recomendada
No tiene
- Complementaria
No tiene