DADES IDENTIFICATIVES 2012_13
Assignatura (*) MODELS ABSTRACTES DE CÀLCUL Codi 17081006
Ensenyament
Enginyeria Tècnica en Informàtica de Sistemes (1998)
Cicle 1r
Descriptors Crèd. Crèd. teoria Crèd. pràctics Tipus Curs Període Horaris i dates d'examen
4.5 3 1.5 Troncal Segon Segon
Modalitat i llengua d'impartició
Prerequisits
Departament Enginyeria Informàtica i Matemàtiques
Coordinador/a
RIAÑO RAMOS, DAVID
Adreça electrònica david.riano@urv.cat
Professors/es
RIAÑO RAMOS, DAVID
Web
Descripció general i informació rellevant Aproximació al model computacional de les Màquines de Turing, així com una intro-ducció a la problemàtica de la Computabilitat i de la Calculabilitat
Com a conseqüència de l'extinció del pla d'estudi que estàs cursant, en aquesta assignatura només tindràs dret a examen. Per conèixer la data de realització de l'examen consulta a l'apartat d'horaris de les assignatures. En cas d'haver de sol·licitar convocatòria extraordinària recorda que per poder matricular aquest dret d'examen hauràs de presentar una sol·licitud a la secretaria del teu Campus/Centre.
(*)La Guia docent és el document on es visualitza la proposta acadèmica de la URV. Aquest document és públic i no es pot modificar, llevat de casos excepcionals revisats per l'òrgan competent/ o degudament revisats d'acord amb la normativa vigent