• Conocimiento de las materias básicas y tecnologías, que capaciten para el aprendizaje y desarrollo de nuevos métodos y tecnologías, así como las que les doten de una gran versatilidad para adaptarse a nuevas situaciones.
• Capacidad para resolver problemas con iniciativa, toma de decisiones, autonomía y creatividad. Capacidad para saber comunicar y transmitir los conocimientos, habilidades y destrezas de la profesión de Ingeniero/a Técnico en Informática.

Comprendan cómo formular razonamientos mediante el lenguaje lógico, puramente esquemático.
Comprendan la importancia de la correcta formalización del razonamiento en un lenguaje esquemático para poder demostrar su validez.
Sepan obtener los diferentes conjuntos de fórmulas lógicas para su tratamiento en el cálculo lógico.
Aprendan diferentes métodos de la teoría semántica para interpretar fórmulas lógicas y consecuente validez de razonamientos.
Aprendan a obtener la fórmula lógica y el conjunto de cláusulas, asociados a un razonamiento.
Entiendan que un razonamiento formal es el proceso por el que se obtiene una conclusión a partir de unas premisas mediante el proceso de inferencia.
Aprendan a realizar una demostración por deducción natural usando, si es el caso, subdeducciones

Desarrollar las capacidades analíticas y el pensamiento lógico riguroso.
Adquisición de destreza en el razonamiento formal y capacidad de abstracción, y mejora de los conocimientos matemáticos.
Asimilar o manejar con fluidez los principales conceptos del álgebra lineal: sistemas de ecuaciones, matrices, subespacios de R^n, determinantes, valores y vectores propios, métodos iterativos.
Conocimiento de algoritmos para su posterior implementación.