Titulació: Enginyeria Informàtica
Crèdits: 9 teòrics (6 teoria i 3 problemes)
Prerrequisits: Àlgebra i Matemàtica Discreta
Semestre: anual
Tipus: troncal
|
|
Professors: |
Francesc J. Ferri Rabasa, Francisco Martínez Gil, Sergio Casas |
Despatx: |
Dpt. d'Informàtica (Entresol de Farmàcia) |
Horari de classes: |
Dilluns: 8:30-9:30, Dimecres: 8:30-10:30 |
[ Programa | Problemes 1Q | Prob. temes 1 i 4 | Prob. Aut. Pila | Problemes 2Q | Examens | | | ]
Apunts (incomplets): [ Tema 1 | Tema 2 | | | Tema 5 | Tema 6 | ]
Transparències: [ Tema 1 | Tema 2 | Tema 3 | Tema 4(incompletes) ] -- [ Tema 5 | Tema 6 | Tema 6' | Tema 7 | Tema 8 ]
enllaç
interessant
Autòmats
i Màquines de Turing implementats en Prolog
Teoria
d'Autòmats i Llenguatges Formals I (pla 1993)
Teoria
d'Autòmats i Llenguatges Formals II (pla 1993)
13 de maig de 2010