20 Feb
2025
20 Feb
'25
9:44 a.m.
Hi. Item 5 of question #2 of the first problem sheet requires to prove termination of the computation of a model. Since in yesterday's lecture we did not reach the point where we deal with proof obligations for termination, you can disregard that item and not answer it. It won't be necessary towards obtaining the maximum grade in this homework.
Best,
--
Manuel Carro : manuel.carro@{upm.es,imdea.org}
Associate Professor, School of CS, UPM : http://www.fi.upm.es
Director, IMDEA Software Institute : https://software.imdea.org
Madrid, Spain : +34-91-101-2202 ext. 4140