DADES IDENTIFICATIVES | 2017_18 | ||||||||||
Assignatura (*) | METODOLOGIES DE LA PROGRAMACIÓ | Codi | 17914131 | ||||||||
Ensenyament |
|
Cicle | 1r | ||||||||
Descriptors | Crèd. | Tipus | Curs | Període | Horaris i dates d'examen | ||||||
6 | Obligatòria | Quart | 1Q |
||||||||
Modalitat i llengua d'impartició | Vegeu grups activitat | ||||||||||
Departament | Enginyeria Informàtica i Matemàtiques |
||||||||||
Coordinador/a |
|
Adreça electrònica | antoni.martinez@urv.cat simeo.reig@urv.cat |
||||||||
Professors/es |
|
||||||||||
Web | |||||||||||
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 |