Área de la Competencia:Discipline of the competencie:
Competencias disciplinares de Tecnologías Computacionales
Disciplinary Competencies of Computational Technologies
|
Unidades de formación donde se evalua la competencia:Training units where the competencie is evaluated:
TC2037 ;
|
Descripción:Description:Genera modelos computacionales verificables y correctos para la solución de problemas. Generates verifiable and correct computer models for problem-solving. |
Contenido:Content: |
Descripción de niveles de dominio:Evidence sketch:Genera modelos computacionales con el objetivo de desarrollar un marco conceptual de los antecedentes de problemas básicos a resolver. Es capaz de entender teorías formales y/o matemáticas (lógica matemática, teoría de demostración, teoría de autómatas, teoría de complejidad, gramáticas libres de contexto, inferencia, lenguajes regulares) e identifica sus ventajas y desventajas. Se muestra reflexivo sobre sus modelos computacionales analizándolos de manera aislada. Considera, de manera limitada, las implicaciones éticas que la aplicación de tecnología computacional puede tener en la sociedad. Generates computational models with the objective of developing a conceptual framework of the background of basic problems to be solved. Is able to understand formal and/or mathematical theories (mathematical logic, proof theory, automata theory, COMPLEXITY theory, context-free grammars, inference, regular languages) and identifies their advantages and disadvantages.Reflects on his/ her computational models by analyzing them in isolation. Considers, in a limited way, the ethical implications that the application of computational technology can have on society. |
Productos de aprendizaje esperados:Domain level: |