|
|
DADES IDENTIFICATIVES |
2006_07 |
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
|
Impartició |
Modalitat per grup d'activitat |
|
Prerequisits |
|
Departament |
Enginyeria Informatica i Matematiques
|
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 |
|