TAREA DEL MIÉRCOLES 9 DE FEBRERO DE 2005 PARA SER ENTREGADA EL 16 DE FEBRERO:

Lea las páginas 23 a 34 de Boolos, George S., Burgess, John P., Jeffrey, Richard. Computability and Logic. Cuarta ed. Cambridge University Press (Cambridge: 2002). (El libro está en nuestra reserva.)

1. Haga el ejercicio 3.1.

2. Haga el ejercicio 3.2.

3. Escriba una máquina de Turing que nunca terminará, no importa qué entrada se le dé.

4. ¿Por qué no usar una cinta con exactamente siete trillones de cuadros?

TAREA DEL 16 DE FEBRERO PARA EL 23 DE FEBRERO:

Lea las páginas 133 a 140 de John Haugeland, Artificial intelligence: The very idea, Cambridge, Mass.: MIT Press, 1985. Hay traducción al español de Irene Tulli de Firman, La inteligencia artificial, México: Siglo XXI, 1988. (El libro está en nuestra reserva.)

1. ¿En qué sentido(s) BERTHA no implementa ningún algoritmo?

2. Según la tesis de Turing (como la entiende Haugeland), ¿cuál es el poder mínimo de una Máquina de Turing? (Responda sin tecnicismos.)

Lea las páginas 39 a 72 de Joseph Weizenbaum, Computer power and human reason from judgment to calculation, San Francisco: W. H. Freeman, 1976. Hay traducción al español de Santiago Paez Fuentes, La frontera entre el ordenador y la mente, Madrid: Pirámide, 1978. (Hay copias en nuestra reserva.)

3. Dé un ejemplo original de procedimiento efectivo (o algoritmo) en el sentido de Weizenbaum.

4. ¿Puede resolverse el ejercicio anterior con un procedimiento efectivo (o algoritmo) en el sentido de Weizenbaum? Dé 3 razones en defensa de su respuesta.

TAREA DEL 23 DE FEBRERO PARA EL 2 DE MARZO:

Lea el artículo de Turing, “On Computable Numbers, with an Application to the Entscheidungsproblem”, Proceedings of the London Mathematical Society, series 2, vol. 42, pp. 230-265, 1936-7. Puede encontrarse en http://www.abelard.org/turpap2/tp2-ie.asp (transcrito a PDF en http://web.comlab.ox.ac.uk/oucl/research/areas/ieg/e-library/sources/tp2-ie.pdf ) y en http://www.cs.umass.edu/~immerman/cs601/turingReference.html. Ambos sitios incluyen las correcciones de Turing que aparecieron en Proceedings of the London Mathematical Society, Series 2, Vol.43 (1937) pp. 544-546 con el título “On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction”.

1. ¿Cómo justifica Turing la restricción finitista en su definición de número calculable?
2. Discuta si es una buena justificación.

TAREA DEL 2 DE MARZO PARA EL 9 DE MARZO:

Lea los artículos “Some Assumptions about Problem Solving Representation in Turing's Model of Intelligence” y “Some Assumptions about Problem Solving Method in Turing's Model of Intelligence” de Francisco Hernández Quiroz y Raymundo Morado. (Hay copias en reserva.) Escoja como tema de investigación uno de los supuestos discutidos en esos artículos.

TAREA DEL 9 DE MARZO PARA EL 16 DE MARZO:

Presente la carátula y la introducción usando nuestro formato de investigación.

TAREA DEL 16 DE MARZO PARA EL 6 DE ABRIL:

Envíe por correo electrónico antes de las 2 p.m. su investigación.