Requisitos previos

El alumno debe haber superado todas las asignaturas de los dos primeros cursos de
grado.

Recomendaciones

a)Sería de desear que el alumno dispusiese de un dominio razonable del
castellano, tanto a nivel de expresión oral como escrita, así como del marco
cognitivo-intelectivo y metalingüístico necesario para una correcta
lectura,procesamiento y asimilación de los contenidos que la bibliografía de la
asignatura exige, al ser estos muchos y variados.

b)Igualmente deseable sería el dominio de las reglas elementales de la aritmética
básica, y cierta cultura general, obtenida a través de la lectura de libros de
toda clase, de la prensa escrita, o de ambas.

c) No resultará ocioso el adecuado conocimiento y manejo de las reglas de
urbanidad, para el correcto trato tanto a los compañeros como al profesor.

d)Se recomienda al alumno entregarse al estudio con seriedad, rigor, continuidad
e interés, como si se tuviese una inquebrantable voluntad intelectual y
académica.

e)Más vale un mal libro que muchos buenos apuntes: por tanto, para cada tema
concreto del curso se le propondrán como material de revisión/trabajo/estudio un
mínimo de dos y un máximo de cuatro capítulos de referencias concretas (en
inglés, claro está). Ocasionalmente se le proporcionarán unos apuntes (en
castellano), que como mucho debería usar como material de apoyo, pero nunca como
texto base. Se deja constancia clara y explícita de que un correcto estudio y
preparación de la asignatura requerirá la lectura íntegra del material
propuesto,y que en modo alguno limitar la preparación al estudio aislado de los
apuntes
garantiza superar la misma, y mucho menos garantiza la adquisición de los
conocimientos deseados.

f)La copia de apuntes en clase ES UNA PÉRDIDA DE TIEMPO: por tanto, los
profesores harán lo posible para que no tenga que copiar apuntes en clase,
proporcionándole en la página de la asignatura con carácter previo a su
explicación todo el material necesario para la preparación de la misma. En
consecuencia, si copia apuntes, es porque es usted un copiador compulsivo; pero
sepa que distraen su atención y suelen ser fuente de errores en el estudio
posterior, ya que lo que se copia mal se estudia peor, para el hipotético caso en
que el alumno se apreste a estudiar.

g)El alumno debe saber que una clase comienza antes de ser explicada y continua
tras ser explicada: o lo que es lo mismo, llegar a clase a ver qué nos cuenta hoy
este buen señor es un error. La mecánica de trabajo que les recomiendo a lo largo
del curso para preparar una clase debe seguir las siguientes fases:  PRIMERA:
Lectura y revisión previa de los materiales indicados en el cronograma del curso
para esa clase en concreto.  Semanalmente se establecerá  el conjunto de tópicos
a impartir del temario oficial, el material de lectura para esa clase en
concreto, los problemas recomendados para ejercitar los contenidos teóricos
explicados, y en ocasiones alguna tarea adicional de interés.  SEGUNDA:
Asistencia a clase. Dado que no necesita tomar apuntes, preste atención a los
desarrollos y explicaciones del profesor, y relaciónelos con lo previamente leído
por usted. Tome notas de la dudas o discrepancias que le surjan, para sup
osterior discusión en la propia clase o en una tutoría individualizada. El alumno
debe saber además que se encuentra matriculado en una universidad pública
presencial, y que la asistencia a clase forma parte de sus obligaciones como
discente. TERCERA: Tras la clase, repase los contenidos de la misma, entiéndalos
y aclare con el profesor los conceptos que no estén claros. Póngalos en práctica
con los problemas de la relación que corresponda, y conéctelos con los contenidos
a desarrollar en la próxima clase. Es decir, vuelva al primer apartado.

h)Una asignatura NO se prepara en una semana. NO deje la preparación de los
trabajos a entregar ni la del examen final para el último momento. Probablemente
será inútil. Utilice el cronograma de la asignatura para planificar su esfuerzo,
o pida ayuda a su profesor para planificar el tiempo y su preparación de cara al
examen final con antelación. Si no lo hace, el único perjudicado será usted.

i) Saber una asignatura NO es saber unos apuntes. Nunca lo ha sido. Unos apuntes
son, probablemente y en el mejor de los casos, un resumen de lo explicado por
elprofesor en clase, lo cual a su vez será un resumen de lo revisado por el
profesor en la bibliografía específica. Por tanto, olvide aquello de "me sé los
apuntes pero me han suspendido", o "esto no estaba en los apuntes, sino en tal
libro" o "este problema o ejercicio no se parece a  ninguno que hayamos hecho en
clase". Si usted  SABE la materia, estará preparado para aplicarla a situaciones
nuevas y desconocidas. Y ello pasa por haber manejado bibliografía tal y cómo se
indica en el apartado b). Saber los apuntes es una condición necesaria para
aprobar, pero no suficiente. Por tanto, si usted  sabe sus apuntes, NO SABE la
materia. Y recuerde que SABER no es MEMORIZAR.

j)La revisión de calificaciones NO es una subasta.  Es  un  medio que la
Universidad pone a su  disposición para que sepa DÓNDE, CÓMO Y POR QUÉ ha
fallado, y proceda a  PLANIFICAR con su profesor la fase posterior de estudio
orientada a subsanar las lagunas que sus conocimientos tengan.  Por tanto, por
favor, no acuda a revisión con la intención de discutir sobre:
•Los criterios de corrección, ya que estos los define su profesor, y no es ni
puede ser algo sujeto a negociación.
•La distribución de la puntuación entre los diferentes enunciados de los
ejercicios del examen, ya que su profesor sabe qué es más importante que usted
haya aprendido, y cómo evaluar ese aprendizaje, y ajustará esa distribución en
consecuencia. El que considere que esa distribución le perjudica es un error, ya
que habrá sido aplicada por igual a sus compañeros, y además lo que hará será
demostrar que no tiene claros aquellos conceptos que son más relevantes.
•Lo parecido o distinto de los ejercicios del examen a los realizados en clase.
Un examen no tiene por qué parecerse a lo ya ejercitado. Los ejercicios de clase
le CAPACITAN para dominar los conceptos. Los exámenes DEMUESTRAN que usted sabe
aplicar esos conceptos aprendidos a situaciones novedosas o simplemente
diferentes a las estudiadas.
•La verificación de si determinado ejercicio estaba o no en sus apuntes
•La simple pataleta por no haber superado la asignatura. No entienda un suspenso
más que con la siguiente lectura: el trabajo realizado no ha sido válido, no ha
sido suficiente, o ambas cosas. Debe trabajar más. Cualquier otra interpretación
por su parte es un error.

k)Su obligación es estar informado de las circunstancias de la asignatura. Visite
con asiduidad la sección de noticias de la plataforma virtual de la asignatura y
en caso de duda consulte por e-mail a su profesor. No utilice argumentos de la
clase "no sabía nada..." o "no me he enterado de que.." para excusar un fallo.
Recuerde que ES su obligación y su responsabilidad  estar enterado.

l)Utilice la tutoría. Es el único medio por el cual el profesor puede ofrecerle
una enseñanza de carácter individualizado. Por tanto, aproveche la tutoría, en
sus versiones presencial, electrónica, o de cualquier otro tipo boloñés. Y hágalo
con frecuencia: siga el método de preparación de las clases ya descrito, y visite
a su profesor cada vez que tenga dudas. Con carácter ordinario, un mínimo de una
visita al profesor cada tres semanas debería ser normal para usted. Si hay
dificultades, tan a menudo como necesite.

m)NO se quede con una duda. Es muy habitual entre nuestros alumnos que cuando les
surge una duda se queden con ella hasta el mismo momento del examen. Luego,
durante la revisión reconocen: "sí, esto no me quedó claro, pero..." EVITE estos
comportamientos. En una asignatura como esta, el progreso con garantías hacia
nuevos contenidos implica haber asimilado correctamente los contenidos previos.
n)El profesor es su juez. Su labor en el momento de evaluarle se limitará a
juzgar la cantidad y calidad del esfuerzo realizado por usted. Cualquier otro
aspecto es irrelevante.

ñ)Acuda a clase y participe en ella. Plantee sus dudas, y fomente la discusión
entre sus compañeros y con el profesor. Ello contribuirá de forma positiva a su
formación, y hará la dinámica académica más rica. Además, contribuirá
positivamente a su crecimiento personal.

o)Sea consciente de sus derechos como alumno, pero también de las obligaciones
que el serlo conlleva. En particular, trate de seguir en todo momento la línea de
conducta que el código ético de la Universidad (Código Peñalver) le aconseja.

Profesores

Nombre	Apellido 1	Apellido 2	C.C.E.	Coordinador
Antonio J.	Tomeu	Hardasmal	PROFESOR TITULAR DE UNIVERSIDAD	S

Competencias

Se relacionan aquí las competencias de la Materia/módulo o título a que pertenece la asignatura, entre las que el profesor podrá indicar las relacionadas con la asignatura.

Resultados Aprendizaje

Actividades formativas

Exposición de los contenidos de la materia con
ayuda ocasional de diapositivas, junto con la
propuesta de ejemplos de afianzamiento
desarrollados en aula.

Las clases de problemas se dedicarán a
desarrollar las soluciones a algunos de los
ejercicios propuestos en las relaciones de
problemas de la asignatura, que ampliarán en
profundidad y complejidad a los ejemplos
desarrollados en las clases teóricas.

El alumno desarrollará las prácticas en una doble
vertiente de trabajo:

a) Utilizará simuladores de diversos modelos de
computación para verificar la computabilidad de
distintas funciones y predicados bajo cada uno de
los modelos.

b) Desarrollará utilizando algún lenguaje de
programación su propia versión de algunos modelos
de computación escogidos.

a) Lectura cuidadosa y razonada de las
referencias bibliográficas y textos que sobre la
materia indiquen los profesores indicadas por los
profesores.

b) Resolución de los ejercicios y/o problemas de
afianzamiento de contenidos propuestos por los
profesores.

c) Estudio intenso y continuado con aplicación e
interés.

Evaluación

Criterios Generales de Evaluación

Criterios Generales de Evaluación

APARTADO PRIMERO: CRITERIOS DE CORRECCIÓN Y DESARROLLO DE EXÁMENES, PRUEBAS DE
PROGRESOS, EXÁMENES PRÁCTICOS, ASIGNACIONES DE PRÁCTICAS Y APORTACIONES A
GLOSARIO/WIKI DE LA ASIGNATURA.

A) DE LOS EXÁMENES TEÓRICOS Y PRUEBAS DE PROGRESO
-Los exámenes teóricos y las pruebas de progreso serás escritos. Podrán incluir
preguntas tipo test de repuesta simple o múltiple, preguntas de desarrollo corto,
demostraciones, ejercicios y problemas.
-Una cuestión tipo test, corta, ejercicio o problema simple,  se consideran
correctos únicamente si la solución final que se proporciona es completamente
correcta. En otro caso se considera incorrecta y no puntúa.
-Una cuestión tipo test, corta, ejercicio o problema de múltiples apartados se
consideran  correctos si todos los apartados que la conforman son correctos.
Encualquier otro caso es incorrecta y no puntúa.

B) DEL EXAMEN PRÁCTICO
-Se realizará en ordenador y el alumno dará solución mediante los
simuladores/compiladores utilizados en las prácticas a los enunciados que se le
planteen.
-Las condiciones que una solución a un enunciado de examen  práctico debe
cumplirpara considerarse correcta son:

a) Los ficheros subidos a través del Campus Virtual que conforman el examen
práctico se ajustan al número, formato y nomenclatura de nombres explicitados por
el profesor en el documento de examen.
b) El contenido de los ficheros es el especificado por el profesor en el
documento de examen en orden a solucionar el enunciado en cuestión.
c) Los programas elaborados por el alumno, se pueden abrir y procesar con
elentorno de simulación que corresponda, y realizan un procesamiento técnicamente
correcto, según el enunciado de que se trate. Se entiende por un
procesamientotécnicamente correcto a aquél código de programa que puede abrirse
con el simulador, cuya semántica da soporte a la solución pedida, y que ha sido
escrito de acuerdo a las convenciones de estilo y eficiencia habituales.

C) DE LAS APORTACIONES AL GLOSARIO Y WIKI DEL CAMPUS VIRTUAL
-Tendrán carácter individual y podrán realizarse durante el periodo de clases de
la asignatura, pudiendo incluir definiciones, tópicos concretos de la asignatura,
o desarrollos completos de conceptos teóricos o prácticos. Se podrán publicar en
el glosario o wiki del campus virtual de la asignatura.
-Su validación a efectos de ser puntuados exigirá tener un contenido mínimo, ser
técnicamente correctas, y describir con propiedad y un uso correcto del idioma y
en su caso- de la notación, el elemento de que se trate. Cada aportación correcta
sumará un máximo de 0.1 puntos.El alumno podrá realizar tantas aportaciones como
estime oportuno, si bien el límite práctico de puntuación a obtener en este
apartado es de 1 punto.

D)DE LAS ASIGNACIONES DE PRÁCTICAS
Semanalmente se propondrá al alumno una asignación de prácticas, que este deberá
resolver y entregar a través del Campus Virtual. Los criterios de corrección de
las mismas,  dada su naturaleza práctica, serán los mismos que los descritos en
el apartado B) anterior para los exámenes prácticos.

APARTADO SEGUNDO: CRITERIOS DE EVALUACIÓN
a) El modelo de evaluación de la asignatura será continuo por defecto. El alumno
que desee optar a la prueba final deberá manifestarlo por escrito dirigido al
profesor durante el primes mes del curso.

b) La evaluación continua comprende los siguientes ítems:

-La realización de 4 pruebas de evaluación de progreso cada una de las cuales
aporta un punto o fracción de punto, totalizando un máximo de cuatro puntos:
NEP.
-De entre todas las asignaciones de prácticas, 3 serán evaluables, aportando cada
una un máximo de un punto o fracción de punto, y totalizando un máximo de tres
puntos:  NAP.
-Aportaciones libres al glosario y Wiki de la asignatura, que podrán totalizar un
máximo de un punto: NAL.
-Un trabajo final de temática libre que podrá totalizar un máximo de dos puntos:
NTF.

c) La calificación final bajo evaluación continua vendrá determinada por la suma
CF=NEP+NAP+NAL+NTF, siempre que NEP y NAP sean mayores a dos puntos y 1.5 puntos
respectivamente.

d) La evaluación bajo examen final constará de examen de teoría (puntuado de 0 a
10, NEFT) y examen final de prácticas (puntuado de 0 a 10, NEFP).

e) La calificación final bajo examen final será el resultado de la siguiente
ecuación: CF=(0.70)*NEFT+(0.30)*NEFP, siempre que en ambos se obtenga un mínimo
de cinco puntos.

f) Aquellos alumnos que no superen la evaluación continua podrán concurrir a los
exámenes finales teórico y práctico de la asignatura.

g) Las convocorias de Junio y Septiembre se regirán exclusivamente por el sistema
de exámenes finales.

El alumno debe conocer además que la evaluación se regirá por las  siguientes
normas adicionales:

1)En caso de no poder entregar una asignación de prácticas por enfermedad o causa
de fuerza mayor documentalmente justificadas, el profesor indicará al alumno
nueva fecha de entrega.

2) Los exámenes finales de Febrero, Junio y Septiembre se regirán por los
Estatutos de la Universidad de Cádiz y normativa derivada en cuanto a número de
llamamientos y días de revisión de calificaciones se refiere.

3) Bajo el sistema de exámenes finales, a todas las convocatorias se acude con el
temario completo (tanto teórico como práctico). No se reservarán calificaciones
de partes de la asignatura para convocatorias sucesivas.

4) Para lo no contemplado en estas notas se estará a lo dispuesto en el
Reglamento de Régimen Académico y Evaluación del Alumnado de la Universidad de
Cádiz.

Procedimiento de Evaluación

Procedimiento de calificación

La calificación final de la asignatura (CF) vendrá determinada bajo evaluación
continua de acuerdo a la siguiente expresión:

CF=NEP+NAP+NAL+NTF

siempre que NEP y NAP sean mayores a 2 puntos y 1.5 puntos respectivamente.

La calificación final de la asignatura (CF) vendrá determinada bajo el modelo de
exámenes finflaes por las calificaciones obtenidas en los exámenes finales
teórico y práctico de acuerdo a la siguiente expresión:

CF=(0.70)*NEFT+(0.30)*NEFP

siempre que en NEFT y NEFP sean mayores o iguales a cinco puntos.

Descripcion de los Contenidos

            CT1 Preliminares y Notación
        

            CT2 Modelo de Funciones Computables.
        

            CT3 La Jerarquía de Funciones

        

            CT 4 Universalidad

        

            CT 5 Máquinas de Turing. Otros Modelos de Computación

        

Bibliografía

Bibliografía Básica

[Cut94] Cutland, N.J. Computability: An Introduction to Recursive Function 
Theory . Cambridge University Press, 1994. 

[Dav94] Davis, M., Sigal, R. and Weyuker, E. Computability, Complexity and 
Languages. Academic Press, 1994. 

[Zuc93] Zucker, J. and Pretorius, L. Introduction to Computability Theory. South African Computer Journal, 1993

Bibliografía Específica

[Bro93] Brookshear, J. Teoría de la Computación: lenguajes formales, 
autómatas y complejidad. Addison-Wesley Iberoamericana, 1993. 

[Dav02] Davis, M. La Computadora Universal. Ed. Debate, 2002. 


[Gar79] Garey, M and Johnson, D. Computers and Intractability: a guide to 
the theory of NP-completness. New York, Freeman, 1979.

[Lee90] Leeuwen, J. V. (ed.) Handbook of Theoretical Computer Science. 
Elsevier, 1990.

[Pen90] Penrose, R.. La Nueva Mente del Emperador. Ed. Mondadori, 1990. 

[San90] Sancho, J. Lógica Matemática y Computabilidad. Díaz de Santos, 
S.A.,  1990.

Bibliografía Ampliación

[Aho92] Aho, A. and Ullman, J.D. Foundations of Computer Science. W. H. 
Freeman and Company. New York, 1992

[Cal88] Calude, C. Theories of Computational Complexity. North-Holland, 1988.

[Coh91] Cohen, D. Introduction to Computer Theory. John Wiley and Sons, 
Inc. 1991.

[Deh93] Dehornoy, P. Complexite et decidabilite. Springer-Verlag, 1993.

[Jon97] Jones, N. D. Computability and Complexity. The MIT Press, 1997.

[Lew91] Lewis, H and Papadimitriou, C. Elements of the Theory of Computation. 
Englewood Cliffs, NH. Prentice Hall, 1991.

[Mar91] Martin, J. Introduction to Languages and the Theory of Computation. 
New York, McGraw-Hill, 1991.

[Mcn82] McNaughton, R. Elementary Computability, Formal Languages and 
Automata. Prentice Hall, 1982.

[Rev83] Revesz, G. Introduction to Formal Languages. McGraw-Hill, 1983.

[Som88] Sommerhalder, R. and Van Westerhenen S. C. The Theory of 
Computability : Programs, Machines, Effectiveness and Feasibility. Addison- Wesley, 1988.

[Sud88] Sudkamp, T. Languages and Machines, An Introduction to the Theory 
of  Computer Science. Addison-Wesley Series in Computer Science. Readin, MA. 
Addison-Wesley Inc 1988.

[Wil86] Wilf, H.S. Algorithms and Complexity. Prentice-Hall, 1986.

[Woo87] Wood, D. Theory of Computation, New York, John Wiley & Sons, 1987.