Domace ulohy je potrebne odovzdat do 13.10 hod. miestneho casu dna, kedy je prednaska v rozvrhu (streda a stvrtok) VYLUCNE na adresu damas.gruska at gmail.com.



  • Terminy skusky
  • (Uvod k obom kurzom, podmienky na absolvovanie)

    Formalne metody tvorby softveru

    (1. prednaska)

    (1. DU)

    (2. prednaska)

    (2. DU)

    (3. prednaska)

    (3. DU)

    (3. DU - vzorove riesenie)

    (4. prednaska)

    (4. DU)

    (5. prednaska)

    (5. DU)

    (6. DU)

    (6. prednaska)

    (7. DU)

    (7. prednaska)

    (8. DU)

    (8. prednaska)

    (9. prednaska)

    (9. DU)

    (10. prednaska)

    (11. prednaska)

    (12. prednaska)

    (10. DU)

    Programovanie paralelnych a distribuovanych systemov

    (prednasky, text)

    (1. DU)

    (2. DU)

    (3. DU)

    (4. DU)

    (5. DU)

    (6. DU)

    (7. DU)

    (8. DU)

    (9. DU)

    (10. DU)