Browsing Algorítmica i Complexitat, 2016 by Issue Date
Now showing items 1-4 of 4
(2016)The course contents are divided into four teaching units: 1. The first aims to study the formal characterization of algorithms. We study how to formally specify with postconditions and preconditions and analyze the ...
(2016)We present a series of problems with increasing difficulty.
(2016)This section contains a series of questionnaires with questions about the subject.