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