|
|
DADES IDENTIFICATIVES |
2007_08 |
Assignatura |
MODELS ABSTRACTES DE CÀLCUL |
Codi |
17081006 |
Ensenyament |
Enginyeria Tècnica en Informàtica de Sistemes (1998) | |
Cicle |
1er |
Descriptors |
Crèd. |
Crèd. teoria |
Crèd. pràctics |
Tipus |
Curs |
Període |
4.5 |
3 |
1.5 |
Troncal |
Segon |
Segon
|
Modalitat i llengua d'impartició |
Veure grups activitat
|
Prerequisits |
|
Departament |
Enginyeria Informàtica i Matemàtiques
|
Coordinador/a |
|
Adreça electrònica |
david.riano@urv.cat
|
Professors/es |
|
Web |
http://www.etse.urv.es/~drianyo/teaching/mac.html |
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 |
|