NOMBRE: Computabilidad

HRS./SEM.: 4
CLAVE: C4
Objetivo:
El objetivo del curso es fud!"et!r l! tesis de C#urc#$%uri&:
'Si u! "()ui! de %uri& o *uede resolver u *roble"!+ etoces i&,
co"*ut!dor *uede #!cerlo+ *ues si"*le"ete o e-iste u !l&orit"o *!r! obteer
su soluci..... es decir+ l!s li"it!cioes )ue e-iste !l itet!r describir
u !l&orit"o *!r! resolver u *roble"! corres*ode ! los *rocesos
co"*ut!cio!les i#eretes+ / o ! l! tecolo&0!.'
Coteido

1troducci..
2ucioes co"*ut!bles.
2ucioes *!rci!les / tot!les.
Nu"er!bilid!d.
1co"*ut!bilid!d *or di!&o!li3!ci.
M!)ui!s de %uri&.
L! "!)ui! de %uri&.
L! "!)ui! uivers!l de %uri&.
M!)ui!s de turi& o deter"iistic!s.
N!tur!le3! recursiv! *!rci!l de l!s "!)ui!s de %uri&.
2ucioes co"*ut!d!s *or "!)ui!s de %uri&.
2ucioes recursiv!s *ri"itiv!s.
Co"*osici..
Recursio.
L! cl!se 4RC.
4redic!dos recursivos *ri"itivos.
O*er!dores de iter!ci. / cu!tific!dores !cot!dos.
Mii"i3!ci..
Nu"eros de 5odel.
6ivers!lid!d.
Cojutos recursivos / recursiv!"ete eu"er!bles.
El teore"! de los *!r!"etros.
El teore"! de l! recursio.
El teore"! de Rice.
El teore"! de 5odel.
A*lic!cioes.

Bibliografia
5eor&e S. Boolos !d Ric#!rd C. 7effre/. Co"*ut!bilit/ !d Lo&ic. C!"brid&e
6iversit/ 4ress. %#ird Editio.
M!rti 8. 8!vis 9 El!ie 7. :e/u;er. Co"*ut!bilit/+ Co"*le-it/ !d Le&u!&es.
Ac!de"ic 4ress 1c.
7.5le Broo;s#e!r. %eor0! de l! Co"*ut!ci.+ Le&u!jes 2or"!les+ Aut."!t!s /
Co"*lejid!d. Addiso :esle/ 1bero!"eric!!.
Tcnicas de enseanza sugeridas
Exposicin oral ( X )
Exposicin audiovisual ( )
Ejercicios dentro de clase ( )
Seminarios ( X )
Lecturas obligatorias ( X )
Trabajos de investigacin ( )
Prcticas en taller o laboratorio ( )
Prcticas de campo ( )
Otras Empleo de programas de cmputo (
Elementos de evaluacin sugeridos
Exmenes parciales ( X )
Exmenes !inales ( X )
Trabajos " tareas !uera del aula ( )
Participacin en clase ( X )
#sistencia a prcticas ( )
Otras ( )