Guía Docente
30214 -- Teoría de la computación
Curso:
2
Semestre:
1
Créditos:
6.0
Universidad de Zaragoza
Ingeniería Informática
descargar PDF
Resultados de aprendizaje que definen la asignatura

El estudiante, para superar esta asignaturas, deberá demostrar los siguientes resultados...

1

Conoce los modelos de cálculo básicos.

2

Encuentra el modelo de cálculo más simple para cada problema.

3

Descarta soluciones incorrectas por ser demasiado simples para problemas dados.

4

Describe adecuadamente los procesos de cálculo.

5

Aplica los formalismos de la teoría de lenguajes en la resolución de problemas.

6

Transforma enunciados informales en enunciados formales y viceversa.

7

Conoce las limitaciones de la resolución automática de problemas.

8

Identifica problemas irresolubles básicos como el problema de parada o el de detección de virus.

9

Analiza el coste en tiempo y memoria de un algoritmo.

10

Identifica problemas que requieren demasiados recursos de cálculo.

Introducción

Breve presentación de la asignatura

El principal objetivo de la asignatura es presentar las capacidades y limitaciones en la resolución de problemas mediante algoritmos que ejecutan de forma automática los computadores (entendidos como máquinas). Esto requerirá técnicas de abstracción de problemas y reducción a otros bien estudiados. En la asignatura se presentan conceptos y métodos que permitirán decidir qué problemas se pueden resolver algorítmicamente así como la evaluación de costes para su resolución.

OBSERVACIÓN IMPORTANTE

Guía Docente pendiente de aprobación

Este documento es, por el momento, una propuesta de Guía Docente para el curso 2011-12 que deberá ser estudiada y, en su caso, aprobada por la Comisión de Garantía de la Calidad de la titulación.