|
|  
|
| 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
|
| Modalitat i llengua d'impartició |
Veure grups 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 |
|
Assignatures
