Now showing items 1-4 of 4

    • Presentation Algorítmica i Complexitat 

      Planes Cid, Jordi; Corchero Rodríguez, Aitor; Sementé Fernández, Dídac (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 ...
    • Mòdul 1. Contents 

      Planes Cid, Jordi; Corchero Rodríguez, Aitor; Alsinet, Teresa (2016)
    • Mòdul 2. Problems 

      Planes Cid, Jordi; Corchero Rodríguez, Aitor; Sementé Fernández, Dídac (2016)
      We present a series of problems with increasing difficulty.
    • Mòdul 3. Questionnaires 

      Planes Cid, Jordi; Corchero Rodríguez, Aitor; Sementé Fernández, Dídac (2016)
      This section contains a series of questionnaires with questions about the subject.