Competencies and objectives

 

Course context for academic year 2010-11

La asignatura -Matemáticas 1- reparte su aprendizaje entre las materias de Lógica y de Matemática Discreta.

Por un lado la lógica aporta conocimientos sobre los razonamientos matemáticos para su aplicación a la resolución de problemas de ingeniería.

Por otro, la materia de matemática discreta sirve para modelar situaciones reales de problemas computacionales y plantear su solución mediante la teoría de grafos.

 

 

 

Course content (verified by ANECA in official undergraduate and Master’s degrees) for academic year 2010-11

UA Basic Transversal Competences

  • CT1 : Skills in a foreign language.
  • CT2 : Computer and information technology skills.
  • CT3 : Oral and written communication skills.

 

Specific Competences:>>Basic

  • B2 : Understand and master the basics of discrete mathematics, logic and their application to automatic data processing using computer systems, and to solve engineering-related problems.

 

 

 

Learning outcomes (Training objectives)

No data

 

 

Specific objectives stated by the academic staff for academic year 2010-11

* Aprender a formular razonamientos mediante el lenguaje lógico.

* Saber demostrar la validez de un razonamiento formulado.

* Conocer métodos de la teoría semántica para interpretar fórmulas lógicas y razonamientos.

* Aprender el proceso de inferencia por el que se obtiene una conclusión a partir de unas premisas.

* Conocer el sistema deductivo mediante la deducción natural.

* Aprender el concepto de grafos y árboles, para el conocimiento y habilidad en el razonamiento formal.

* Averiguar para un problema si ¿existe una solución? ¿cuántas? ¿qué relación hay entre ellas? ¿qué sucedería si se cambiara algún aspecto particular del problema?

* Dominar los conceptos básicos, resultados, métodos, vocabulario y algoritmos asociados a la matemática discreta.

* Conocer las importantes aplicaciones de la matemática discreta en ciencias de la computación.

 

 

General

Code: 21003
Lecturer responsible:
Castel De Haro, Maria Jesus
Credits ECTS: 6,00
Theoretical credits: 1,20
Practical credits: 1,20
Distance-base hours: 3,60

Departments involved

  • Dept: SCIENCE OF COMPUTING AND ARTIFICIAL INTELLIGENCE
    Area: CIENCIA DE LA COMPUTACIO, INTEL·LIGENCIA ARTIFICIA
    Theoretical credits: 1,2
    Practical credits: 1,2
    This Dept. is responsible for the course.
    This Dept. is responsible for the final mark record.

Study programmes where this course is taught