UA
   COMPUTABILITAT    Any acadèmic       Versió PDF.
Codi9294Descripció
Crdts. Teor.2,25MÀQUINES DE TURING. FUNCIONS RECURSIVES.
Crdts. Pract.2,25
A efectes d'intercanvis en programes de mobilitat, la càrrega d'aquesta assignatura equival a 5,62 ECTS.


Departamentos y Áreas
DepartamentsÀreaCrdts. Teor.Crdts. Pract.Dpto. Respon.Respon. Acta
CIÈNCIA DE LA COMPUTACIÓ I INTEL·LIGÈNCIA ARTIFICIALCIÈNCIA DE LA COMPUTACIÓ I INTEL·LIGÈNCIA ARTIFICIAL2,252,25


Estudis en què s'imparteix
Enginyeria Tècnica en Informàtica de Gestió - pla 2001


Prerequisitos
ÀLGEBRA


Incompatibilitats de matricula per continguts equivalents
Aquesta assignatura és incompatible, per tenir continguts equivalents, amb les següents assignatures:
CodiAssignatura
9177COMPUTABILITAT
9361COMPUTABILITAT
3168MODELS ABSTRACTES DE CÀLCUL


Matriculats (2015-16)
Sense Dades


Oferida com a lliure elecció (2015-16)
Sense departament
Consulta Gràfica d'Horari
A efectes d'intercanvis en programes de mobilitat, la càrrega d'aquesta assignatura equival aFeu clic ací


Horari (2015-16)
Sense horari


Grups de matricula (2015-16)
Sense grups


Objectius de l'assignatura / competències (2015-16)
Sense Dades


Continguts teòrics i pràctics (2015-16)
Sense Dades


Enllaç al programa
Sense Dades
Professor/a responsable
Arques Corrales , Maria Del Pilar


Metodologia docent (2015-16)
Sense Dades


Tipus d'activitats: teòriques i pràctiques
Sense Dades


Professorat (2015-16)
Sense Dades
Enllaços relacionats
http://es.wikipedia.org/wiki/Computaci%C3%B3n_basada_en_ADN
http://es.wikipedia.org/wiki/Computaci%C3%B3n_cu%C3%A1ntica
http://es.wikipedia.org/wiki/N%C3%BAmero_primo#Primalidad_del_n.C3.BAmero_1
http://primes.utm.edu/notes/faq/one.html
http://www.youtube.com/watch?v=4rzAL5YwFow&feature=player_embedded


Bibliografia

Introducción a la teoría de autómatas, lenguajes y computación
Autors:Hopcroft, John E. ; Motwani, Rajeev
Edició:Madrid : Addison-Wesley, 2008.
ISBN:978-84-7829-088-8
Recomanat per: ARQUES CORRALES,MARIA DEL PILAR (*1)
[ Accés al catàleg de la biblioteca universitària ] [ Accés a les edicions anteriors ]

Introducción a la teoría de la computabilidad
Autors:Gallardo López, Domingo ; Arqués Corrales, Pilar
Edició:San Vicente del Raspeig : Universidad de Alicante, 2003.
ISBN:84-7908-763-3
Recomanat per: ARQUES CORRALES,MARIA DEL PILAR (*1)
[ Accés al catàleg de la biblioteca universitària ] [ Accés a les edicions anteriors ]

Introduction to the theory of computation
Autors:SIPSER, Michael
Edició:Boston : Thomson Course Technology, 2006.
ISBN:978-0-6192-1764-8
Recomanat per: ARQUES CORRALES,MARIA DEL PILAR (*1)
[ Accés al catàleg de la biblioteca universitària ] [ Accés a les edicions anteriors ]
(*1) Aquest professor ha recomanat el recurs bibliogràfic a tot l'alumnat de l'assignatura.
Dates d'exàmens oficials (2015-16)
Informació no disponible en aquests moments.


Instruments i criteris d'avaluació (2015-16)
Sense Dades