Umiestnenie: ŠVP | Výučba | CL Homepage | KAI | FMFI UKBratislave

1-AIN-470 Špecifikácia a verifikácia programov LS 2014/15

Prednášky: utorok 14:50-16:20, m. M-II
Cvičenia: utorok 16:30-18:00, m. I-H3
Konzultácie: streda 13:00-13:30, m. I-16
Učiteľ: Ján Komara

Novinky

6.5.2015 Na riadne termíny sa zapisujte cez AIS2. Požiadavka: splnenie podmienok priebežného semestrálneho hodnotenia (aspoň 30 bodov podľa AIS2).

6.5.2015 priebežne aktualizované. Termíny testov a konzultácii počas skúšobného obdobia.

... tu nájdete ostatné správy.

O kurze

Tu nájdete základné informácie: 1-AIN-470 Špecifikácia a verifikácia programov

Literatúra

Cvičenia

Testy

Prémiové úlohy

Hodnotia sa aj čiastočne vyriešené úlohy (vysvetlenie bolo na poslednej prednáške). Úloh je päť. Viac ich nebude.

Hodnotenie

Tu sa nachádza súbor obsahujúci celkové hodnotenie.

Spôsob hodnotenia:

Toto je len základný rámec, spresnenie na 1. prednáške.

Staršie správy

27.5.2014 Testy sú opravené.

14.5.2015 Pridaný súbor obsahujúci celkové hodnotenie

14.5.2015 2. test je opravený.

27.4.2015 Termín 2. testu: utorok 12.5.2015 v čase 16:30-18:00 v m. I-H3.

7.4.2015 1. test je opravený.

31.3.2015 Konzultácie k 6. cvičeniu: streda 8.4.2015 v čase 14:50-18:00 v m. I-H6.

18.3.2015 Termín 1. testu: utorok 31.3.2015 v čase 16:30-18:00 v m. I-H3.

9.3.2015 Vydali sme novú verziu CL 5.81.21, ktorá funguje s aktuálnou verziou 36 prehliadača Firefox. Pre použitie na svojom vlastnom počítači s OS Windows alebo Linux si prevezmite inštalátor. Vo fakultných počítačových miestnostiach nainštalujte alebo aktualizujte CL spustením Start > Applications > Programming > CL install.

16.2.2015 Pre chorobu sa výučba predmetu začne prednáškou v utorok 24. februára 2015.


* – aktualizované v priebehu posledných 7 dní Posledná zmena: 2015-06-03T15:04+0200