DADES IDENTIFICATIVES | 2016_17 | |||||||||
Assignatura (*) | METODOLOGIES DE LA PROGRAMACIÓ | Codi | 17234116 | |||||||
Ensenyament |
|
Cicle | 1r | |||||||
Descriptors | Crèd. | Tipus | Curs | Període | ||||||
6 | Obligatòria | Segon | 1Q |
|||||||
Llengua d'impartició |
|
|||||||||
Departament | Enginyeria Informàtica i Matemàtiques |
|||||||||
Coordinador/a |
|
Adreça electrònica | alexandre.arenas@urv.cat joan.ferrer@urv.cat robert.rallo@urv.cat |
|||||||
Professors/es |
|
|||||||||
Web | http://moodle.urv.cat/ | |||||||||
Descripció general i informació rellevant | Aquest assignatura aprofundirà en la teoria de la programació a nivell axiomàtic. Es presentarà la necessitat d’una semàntica axiomàtica per a elaborar programes demostrablement correctes. S’utilitzarà la teoria per a construir programes recursius i per a entendre les seves trasformacions matemàtiques. |
(*)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 |