1-AIN-505 Introduction to Declarative Programming

At the moment, this page is only available in Slovak.

What's New

5. 6. 2006 Výsledky skúškového termínu z 5. júna sú v tabuľke. Známky zapisujeme počas opravného termínu 23. júna medzi 13:00 a 14:45. Žiadna ďalšia možnosť zapísať si známku nebude. Ak nemôžete v tom čase prísť, pošlite nám váš index prostredníctvom spolužiakov.

30. 5. 2006 Na opravný termín (pondelok 5. júna a piatok 23. júna o 13:00) sa môžete zapísať do hárku na sklenenej stene H6.

30. 5. 2006 Výsledky skúškových termínov z 29. mája sú v tabuľke. Známky zapisujeme po skúške 5. júna o 15:00 v H6 a počas opravného termínu 23. júna o 13:00. Žiadna ďalšia možnosť zapísať si známku nebude. Ak nemôžete v tom čase prísť, pošlite nám váš index prostredníctvom spolužiakov.

29. 5. 2006 Oznámkujte nás v študentskej ankete.

22. 5. 2006 Konzultácie pred skúškou budú v stredu 24. mája od 17:30 do asi 21:00 v H6.

21. 5. 2006 Výsledky druhého testu sú v tabuľke.

9. 5. 2006 Náhradný test pre tých, ktorí sa ospravedlnene nezúčastnili prvého testu, alebo sa ospravedlnene nezúčastnia na druhom teste, bude v piatok 26. mája o 13:10 v H6. Na test sa musíte zapísať do hárka na sklenenej stene miestnosti H6, najviac 19 študentov na termín.

9. 5. 2006 Skúška prebehne v H6 v týchto termínoch: pondelok 29. mája o 13:00 a 15:00, pondelok 5. júna o 13:00. Na skúšku sa musíte zapísať do hárka na sklenenej stene miestnosti H6, na jeden termín max. 19 študentov. Skúškový test bude zostavený z podobných úloh ako v cvičeniach ex10–ex13, na vyriešenie budete mať 90 minút.

9. 5. 2006 Druhý test bude v piatok 19. mája v H6 v troch termínoch: 13:00, 14:30, 16:00. Na test sa musíte zapísať do hárka na sklenenej stene miestnosti H6, na jeden termín najviac 19 študentov. Test bude zostavený z podobných úloh ako v cvičeniach ex07–ex09, na vyriešenie budete mať 60 minút.

11. 4. 2006 Prvý test bude v piatok 21. apríla v H6 v troch termínoch: 14:00, 15:00, 16:00. Na test sa musíte zapísať do hárka na sklenenej stene miestnosti H6, na jeden termín max. 34 študentov. Test bude zostavený z úloh z cvičení ex02 až ex06. Na vypracovanie za počítačom v prostredí CL budete mať 45 minút.

11. 4. 2006 Konzultácie pred prvým testom budú vo štvrtok 20. apríla od 18:00 do 22:00 v H6. Prosím záujemcov, aby sa prihlásili najneskôr v stredu 19. apríla mailom cvičiacemu.

14. 2. 2006 Vitajte na stránke Úvodu do deklaratívneho programovania. Počas semestra tu nájdete aktuálne informácie o predmete, študijných materiáloch, termínoch testov a ich výsledkoch. Pozorne si prečítajte pravidlá hodnotenia. Pre prípadných záujemcov: stránka z minulého roka.

Course Materials

Študijné materiály k prednáškam:

D. Guller: Poznámky k prednáškam z CL.

Exercises

Cvičenie	Súbor so zadaním	Téma
16. 5. 2006	ex13.cl Zobraz	Kompilácia numerických výrazov
9. 5. 2006	ex12.cl Zobraz	Binárne vyhľadávacie stromy Numerické výrazy s premennými
2. 5. 2006	ex11.cl Zobraz	Binárne stromy
25. 4. 2006	ex10.cl Zobraz	Kombinatorika na zoznamoch
11. 4. 2006	ex09.cl Zobraz	Triedenia
4. 4. 2006	ex08.cl Zobraz	Množiny
28. 3. 2006	ex07.cl Zobraz	Párovanie a zoznamy
21. 3. 2006	ex06.cl Zobraz	Kódovanie dátových štruktúr do čísel v n-adickej notácii Regulárne výrazy
14. 3. 2006	ex05.cl Zobraz	Kódovanie dátových štruktúr do čísel v n-adickej notácii Numerické výrazy
7. 3. 2006	ex04.cl Zobraz	Binárna a diadická notácia Poznámky... str. 18–31
28. 2. 2006	ex03.cl Zobraz	Chvostová rekurzia Poznámky... str. 13–17
21. 2. 2006	ex02.cl Zobraz	Definície primitívnou rekurziou Poznámky... str. 8–13
14. 2. 2006	ex01.cl Zobraz	Explicitné definície Poznámky... str. 3–7

Ak používate Mozillu alebo Firefox a máte potrebné fonty, po kliknutí na Zobraz uvidíte obsah cvičenia.

Výsledky testov

Ambrož–Korenčiak

Krajčovič–Práznovský

Rebrová–Zachar

Všetci

Meno	Priezvisko	1. test		2. test		1. + 2. test	Skúška		1. OT		2. OT		Mini- testy	∑	Známka
Meno	Priezvisko	Úlohy	∑	Úlohy	∑	1. + 2. test	Úlohy	∑	Úlohy	∑	Úlohy	∑	Mini- testy	∑	Známka
Kristína	Rebrová	10+10+6+1	27	5+3+6+10	24	51	8+10+8+10	36						87	B
Marek	Sivčo	3+0+1+0	4	2+3+10+0	15	19	10+6+4+8	28	10+10+9+10	39				58	E 1. OT
Michal	Stríženec	0+0+0+0	0	5+2+10+8	25	25	3+10+10+4	27						52	E
Jozef	Sudolský	0+0+0+0	0			0								0
Jaroslav	Ševčík	0+4+2+0	6	5+4+10+0	19	25	10+10+6+9	35					10	70	C
Peter	Štítik	6+4+0+0	10	0+4+0+0	4	14								14
Michal	Šukola	3+9+0+0	12	5+5+10+10	30	42	10+10+10+10	40						82	B
Lukáš	Tencer	9+7+1+2	19	3+3+0+4	10	29	4+9+4+4	21						50	E
Ján	Tišťan	0+0+0+0	0			0								0
Stanislav	Toth			0+0+0+0	0	0								0
Daniel	Vančo	10+2+1+0	13	4+5+10+9	28	41	3+4+7+0	14						55	E
Andrej	Vavro	1+5+3+0	9	5+5+10+10	30	39	10+10+8+4	32						71	C
Ľuboš	Volovár	6+1+0+0	7	5+0+0+10	15	22	10+10+7+5	32					6	60	D
Michal	Vrábel	2+0+5+0	7	5+5+9+10	29	36	10+10+8+4	32					6	74	C
Martin	Zachar	0+0+0+0	0	5+4+7+10	26	26	10+10+8+9	37						63	D

Kliknutím na počty bodov v stĺpci Úlohy zobrazíte odovzdaný súbor (Mozilla Firefox).

Štatistika

			1. test	2. test	Skúška	Spolu	Histogram
[100,	90]	% bodov	8	19	15	11	#	#	#	#	#	#	#	#	#	#
(90,	80]	% bodov	2	9	9	5	#	#	#	#	#
(80,	70]	% bodov	3	2	4	9	#	#	#	#	#	#	#	#
(70,	60]	% bodov	4	4	2	8	#	#	#	#	#	#	#
(60,	50]	% bodov	1	4	4	7	#	#	#	#	#	#
(50,	0]	% bodov	28	49	8	9	#	#	#	#	#	#	#	#

Stĺpce Spolu a Histogram obsahujú štatistiku výsledkov študentov, ktorí sa zúčastnili na aspoň jednom teste.

Marks and Grades

Možnosti získať body:

1. test	30 bodov
2. test	30 bodov
		náhradný test	30 bodov
skúška	40 bodov
minitesty	7 × 2 body

Za semester je možné si nahradiť pri ospravedlnenej neúčasti maximálne 1 test v náhradnom teste, ktorý sa bude konať v posledný týždeň semestra. Test, na ktorom sa zúčastníte, si nemôžete opraviť.

Minitesty na prednáškach sa priebežne nevyhodnocujú. Vyhodnotíme ich a výsledok pripočítame na požiadanie pred zapísaním známky do indexu, ak za prvý, druhý a skúškový test získate spolu aspoň 50 bodov.

Známkovanie:

A	114	--	90	bodov
B	89	--	80	bodov
C	79	--	70	bodov
D	69	--	60	bodov
E	59	--	50	bodov
FX	49	--	0	bodov