Umiestnenie: ŠVP | Výučba | CL Homepage | KAI | FMFI UK v Bratislave

Súvisiace: Download

English version

1-AIN-470 Špecifikácia a verifikácia programov LS 2007/08

Prednášky: streda 16:30-18:00, m. M-III
Cvičenia: streda 18:10-19:40, m. I-H3
Konzultácie: utorok o 18:10-19:40, m. I-H3
Učiteľ: Ján Komara

Novinky

30.4.2008 priebežne aktualizované. Konzultácie počas skúšobného obdobia.

29.4.2008 priebežne aktualizované. Testy 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

J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001. (PostScript) (Adobe Acrobat Document)

Cvičenia

1. cvičenie

zobraz modul Ex01a - začíname s CL
zobraz modul Ex01b - výroková logika

2. cvičenie

zobraz modul Ex02a - výrokovo-logické vyplývanie
zobraz modul Ex02b - logika s kvantifikátormi

3. cvičenie

zobraz modul Ex03 - Peanova aritmetika

4. cvičenie

zobraz modul Ex04a - explicitné definície
zobraz modul Ex04b - primitívna rekurzia

5. cvičenie

zobraz modul Ex05a - rekurzia s mierou
zobraz modul Ex05b - chvostová rekurzia a iterácia

6. cvičenie

zobraz modul Ex06a - celočíselná odmocnina (názorný príklad)
zobraz modul Ex06b - dyadická aritmetika a slovné úlohy

7. cvičenie

zobraz modul Ex07a - párovacia funkcia
zobraz modul Ex07b - zoznamy

8. cvičenie

zobraz modul Ex08 - operácie na zoznamoch

9. cvičenie

zobraz modul Ex09 - binárne stromy

10. cvičenie

zobraz modul Ex10 - symbolické výrazy a numerické termy

11. cvičenie

zobraz modul Ex11a - triedenie zoznamov
zobraz modul Ex11b - konečné množiny ako zoznamy

12. cvičenie

zobraz modul Ex12 - binárne vyhľadávacie stromy

Testy

1. test (zadanie) (riešenia) (výsledky)
2. test (zadanie) (riešenia) (výsledky)
3. test (zadanie) (riešenia) (výsledky)
4. test (prvý opravný termín) (README) (zadanie) (riešenia) (výsledky)

Tu nájdete súbor obsahujúci termíny na testy počas skúšobného obdobia. Je priebežne aktualizovaný.

Prémiové úlohy

1. prémiová úloha (zadanie) (výsledky)

zobraz modul Ul01

2. prémiová úloha (zadanie) (výsledky)

zobraz modul Ul02

3. prémiová úloha (zadanie) (výsledky)

zobraz modul Ul03

4. prémiová úloha (zadanie) (výsledky)

zobraz modul Ul04

5. prémiová úloha (zadanie) (výsledky)

zobraz modul Ul05

Hodnotenie

Tu sa nachádza súhrn vašich výsledkov (celkové hodnotenie).

Spôsob hodnotenia:

A = aspoň 90 bodov
B = aspoň 80 bodov
C = aspoň 70 bodov
D = aspoň 60 bodov
E = aspoň 50 bodov

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

Staršie správy

26.5.2008 Pokyny pre špeciálny test na 1. opravnom termíne (README).

5.5.2008 Prémiová úloha 5 je opravená.

1.5.2008 Termín opravného testu: streda 7.5.2008 o 18:10 v H3. Trvá 2 hodiny.

1.5.2008 2. test je opravený.

28.4.2008 Prémiové úlohy 3 a 4 sú opravené.

24.4.2008 Pridaný súbor obsahujúci vaše celkové hodnotenie .

21.4.2008 Prémiové úlohy 1 a 2 sú opravené.

14.4.2008 Termín 2. testu: streda 30.4.2008 o 18:10 v H3.

27.3.2008 1. test je opravený.

13.3.2008 Termín 1. testu: streda 26.3.2008 o 18:10 v H3.

6.3.2008 Konzultácie sú v utorok o 18:10-19:40, m. H3.

18.2.2008 Zmena v rozvrhu.

prednášky: streda 16:30-18:00, m. III
cvičenia: streda 18:10-19:40, m. H3

Náhradný termín pre prvé cvičenie je utorok 18:10-19:40, m. H3.

18.2.2008 Zmena v rozvrhu. Od tohto týždňa by mali byť prednášky a cvičenia v stredu podvečer:

prednášky: streda 16:30-18:00, m. II alebo m. III
cvičenia: streda 18:10-19:40, m. H3

Táto zmena nie je zatiaľ oficiálne potvrdená.

* – aktualizované v priebehu posledných 7 dní

Posledná zmena: 2013-02-07T20:22+0100