Ficha docente no validada
DESCRIPCIÓN DE LA ASIGNATURA
Grado en:
Ingeniería Informática
Asignatura:
Matemática discreta
Asignatura en inglés:
Discrete Mathematics
Curso y cuatrimestre:
1º (1er 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
  • Inducción y recursión.
  • Introducción a la teoría de números.
  • Conjuntos y funciones.
  • Relaciones y órdenes.
  • Combinatoria.
  • Grafos y árboles.
PROGRAMA DETALLADO

Tema 1: Introducción. Lógica proposicional: introducción lenguaje, tablas de verdad. Lógica de primer orden. Introducción al lenguaje de la lógica de primer orden (cuantificadores). Formalización de enunciados. Métodos de demostración: reducción al absurdo, contraejemplos, demostraciones universales.

Tema 2: Números, Inducción, recursión. Conjuntos numéricos, División entera, divisibilidad, números primos. Inducción. Definiciones recursivas y recurrencias.

Tema 3: Conjuntos, relaciones, funciones y cardinales. Conjuntos, elementos y subconjuntos, operaciones con conjuntos. Relaciones y propiedades. Funciones y propiedades. Cardinales.

Tema 4: Relaciones de equivalencia: clases de equivalencia. Relaciones de orden: conjuntos ordenados.

PROGRAMA DETALLADO EN INGLÉS

Unit 1: Introduction. Propositional logic: language introduction, truth tables. First-order logic. Introduction to the language of first-order logic (quantifiers). Formalization of statements. Methods of proof: reductio ad absurdum, counterexamples, universal proofs.

Unit 2: Numbers, induction, recursion. Sets of numbers, integer division, divisibility, prime numbers. Induction. Recursive definitions and recurrences.

Unit 3: Sets, relations, functions and cardinality. Sets, elements and subsets, set operations. Relations and properties. Functions and properties. Cardinality.

Unit 4: Equivalence relations: equivalence classes. Order relations: ordered sets.

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.
Habilidades
  • 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.
Competencias

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


Titulo1

La nota final se calculará sumando la nota obtenida en el examen final (ya sea en la convocatoria ordinaria o en la extraordinaria), cuyo valor máximo es de 9 puntos, y la nota obtenida en otras actividades (valor máximo: 1 punto).

La nota del apartado de otras actividades se obtiene durante la convocatoria ordinaria y no es recuperable durante la convocatoria extraordinaria.

FdI

  • [ 1]
  • [2]
Header Header
Cell Cell
Cell Cell
Cell Cell

BIBLIOGRAFÍA
    Recomendada

No tiene

    Complementaria

No tiene