Logic for Computer Science 2

Novinky

17. 3. 2005 Druhý opravný termín bude vo štvrtok 14. apríla 2005 o 18:10 v H6. Na termín je potrebné sa zapísať do hárku na sklenenej stene H6.

14. 2. 2005 Známky do indexov zapisujeme po prednáške z predmetu Úvod do deklaratívneho programovania, ktorá sa koná každý utorok od 11:30 do 13:00 v posluchárni F1-108 (pri skriptárni -- predajni firmy TopSoft nad bufetom). Upozorňujeme, že známky boli k 13. 2. zapísané do hárkov a vylepšovanie minitestami z prednášok už nie je možné.

2. 2. 2005 Druhý opravný termín bude v priebehu apríla. Termín spresníme do konca februára.

2. 2. 2005 Posledná možnosť nechať si zapísať známku so započítaním bodov za minitesty z prednášky bude 9. februára medzi 13:30--14:00 na I-27.

17. 1. 2005 Výsledky skúškových testov sú v tabuľke.

14. 1. 2005 Body z minitestov na prednáškach vám započítame, iba ak si prídete dať zapísať známku v ohlásených termínoch.

5. 1. 2005 Výsledky náhradného testu sú v tabuľke.

18. 12. 2004 Konzultácie pred skúškami: 5. a 12. 1. 2005 (stredy) medzi 13:30 a 17:30 v H6.

13. 12. 2004 Podľa dohody na prednáške 8. 12. vypisujeme dva termíny skúšky:

piatok 7. 1. 2005 o 13:30 v H6,
piatok 14. 1. 2005 o 13:30 v H6.

Na skúšku sa zapíšte do hárku na sklenenej stene H6 oproti I-42. Na každý z termínov sa môže zapísať najviac 36 študentov.

Okrem toho na konci skúškového obdobia bude jeden termín vyhradený na prvý opravný termín. Presný dátum a čas zverejníme s dostatočným predstihom.

9. 12. 2004 Zadanie ex10 pre cvičenie, ktoré sa malo konať dnes, nájdete v zozname cvičení. Toto zadanie považujte kvôli rekonštrukcii H6 za domácu úlohu. So záujemcami o konzultácie sa cvičiaci môže stretnúť po 16:30 v miestnosti M217 prípadne F1-248. Ohláste sa mailom (kluka(zavináč)fmph(bodka)uniba(bodka)sk) alebo osobne na I-34.

9. 12. 2004 ZMENA!!! Kvôli (s nedostatočným predstihom oznámenej) rekonštrukcii miestnosti H6 sa náhradný test presúva na 16. 12. 2004 18:10.

7. 12. 2004 Výsledky druhého testu nájdete v tabuľke nižšie na tejto stránke.

2. 12. 2004 Náhradný test pre tých, ktorí sa nezúčastnili prvého alebo druhého testu, bude vo štvrtok 9. 16. 12. 2004 o 18:10 v H6. Na náhradný test sa musíte zapísať do hárku na sklenenej stene miestnosti H6, pričom je potrebné uviesť, ktorý z testov si chcete nahradiť.

Ak by Vám termín nevyhovoval z rozvrhových dôvodov, oznámte to cvičiacemu do pondelka 6. 12. (vrátane).

Tento oznam sa týka aj zahraničných študentov.

24. 11. 2004 Informácie o druhom teste:

Obsah testu: 3 úlohy vybraté z článku 4 textu Paul J. Voda: Peano Arithmetic and Clausal Language (väčšina bola obsahom cvičení ex06 a ex07).
Jeden termín potrvá 45 minút.
Termíny: streda 1. 12. o 11:45, 13:45 a 18:10.

18. 11. 2004 Cvičenie ex07 sa zmenilo na ex07-1.cl. Návody k dôkazom nájdete v aktualizovanom texte Paul J. Voda: Peano Arithmetic and Clausal Language.

26. 10. 2004 Výsledky prvého testu nájdete v tabuľke nižšie na tejto stránke.

14. 10. 2004 Prvý test prebehne na cvičeniach 21. 10. 2004. Na teste budete počas 30-tich minút riešiť dve úlohy po 15 bodov (prvá z cvičenia Ex02 alebo z prvej časti Ex03, druhá z druhej časti Ex03). Na jednotlivé termíny sa zapíšte do hárku na sklenenej stene H6 oproti miestnosti I-42.

Najmä v súvislosti s testom dávame do pozornosti konzultačné hodiny v ľavom stĺpci tejto stránky.

14. 10. 2004 Opravené preklepy v cvičení 3.

30. 9. 2004 Opravené preklepy v cvičení 1.

29. 9. 2004 Vo vlastnom záujme sa oboznámte s pravidlami hodnotenia.

22. 9. 2004 Nastavte si automatické preposielanie pošty z počítačov Pascal/Rafael/Turing na adresu, na ktorej si poštu skutočne čítate. Návod:

    Username: 3niekto
    Password:
	Last interactive login on Tuesday, 14-SEP-2004 12:40:28.20
	Last non-interactive login on Tuesday, 14-SEP-2004 12:48:39.52
    $ mail
    MAIL> set forward
    _Address: mx%"niekto@niekde.sk"

    MAIL> show forward
    Your mail is being forwarded to MX%"niekto@niekde.sk".

    MAIL> exit
    $ logout

21. 9. 2004 Nová stránka pre nový semester (pre zvedavcov máme archivovanú aj minuloročnú verziu). Prvá prednáška bude 22. a prvé cvičenia budú 23. septembra.

Materiály k prednáškam

Študijné materiály k prednáškam (v angličtine):

Paul J. Voda: Peano Arithmetic and Clausal Language (posledná zmena 16. 12. 2004).
Všetky doterajšie prednášky (posledná zmena 16. 12. 2004).

Lecture		Slides	Examples in CL
I.	First-Order Logic
1.	Propositional Logic	sli1.pdf	lec1.cl Preview
2.	Quasitautologies	sli2.pdf
3.	Kvantifikačná logika	sli3.pdf
4.	Kvantifikačná logika (dokončenie)	sli4.pdf
5.	Extensions of Theories	sli5.pdf	lec5.cl Preview
II.	Peano Arithmetic
6.	Axioms of Peano Arithmetic	sli6.pdf
7.	Extensions of PA	sli7.pdf
8.	Introduction of Dyadic Concatenation into PA	sli8.pdf
9.	Introduction of Dyadic Pairing into PA	sli9.pdf
10.	Nested Iteration	sli10.pdf
III.	Clausal Definitions
11.	Explicit Clausal Definitions	sli11.pdf	lec11.cl Preview
12.	Recursive Clausal Definitions	sli12.pdf	lec11.cl Preview

Zadania cvičení

Cvičenie	Súbor so zadaním	Téma (Návod)
23. 9. 2004	ex01.cl Zobraz	Tautológie a propozičné vyplývanie
30. 9. 2004	ex02.cl Zobraz	Kvázitautológie a ekvačné pridruženia
7. 10. 2004	ex03-1.cl Zobraz	Kvantifikačná logika Opravená a doplnená verzia
14. 10. 2004	ex04.cl Zobraz	Logické problémy v kvantifikačnej logike
28. 10. 2004	ex05.cl Zobraz	Peanova aritmetika (Meta-Mathematics... 7.1)
4. 11. 2004	ex06.cl Zobraz	Explicitné definície predikátov a funkcií (Peano Arithmetic... čl. 2 a 3)
11. 11. 2004 18. 11. 2004	ex07-1.cl Zobraz	Diadická konkatenácia (Peano Arithmetic... čl. 4)
25. 11. 2004	ex08.cl Zobraz	Diadické párovanie (Peano Arithmetic... čl. 5)
2. 12. 2004	ex09.cl Zobraz	Schéma vnorenej iterácie (Peano Arithmetic... čl. 6)
9. 12. 2004	ex10.cl Zobraz	Explicitné klauzálne definície (pozorne čítajte text cvičenia)
16. 12. 2004	ex11.cl Zobraz	Rekurzívne klauzálne definície (sli12 lec11.cl)

Ak používate Mozillu, po kliknutí na Zobraz uvidíte obsah cvičenia.

Výsledky testov

Medlen--Sloboda

Meno	Priezvisko	1. test			2. test				1. + 2. test	Skúška				Opravák				Mini testy	∑	Známka
Meno	Priezvisko	1	2	∑	1	2	3	∑	1. + 2. test	1	2	3	∑	1	2	3	∑	Mini testy	∑	riadny termín	opravný termín
Lukáš	Medlen	15	15	30	10	0	0	10	40	0	0	0	0	10	9	0	19	1	60	FX	D
Andrej	Mihálik	15	15	30	10	10	3	23	53	15	4	4	23						76	C
Peter	Mišánik	15	15	30	10	10	0	20	50	15	10	1	26					4	80	B
Dimitrios	Mytilinaios	0	0	0					0	0	0	0	0						0	FX
Peter	Orolín	8	15	23	4	2	0	6	29	0	0	12	12	0	0	15	15	8	52	FX	E
Marek	Palanský	13	15	28	0	0	0	0	28	10	8	5	23						51	E
Martin	Pastva	15	15	30	10	10	4	24	54	10	15	5	30						84	B
Martin	Piják	15	15	30	0	10	0	10	40	15	10	2	27					4	71	C
Ján	Reguli	15	15	30	0	10	10	20	50	9	4	1	14	10	15	2	27		77	D	C
Michal	Rjaško	15	15	30	10	10	10	30	60	10	15	15	40						100	A
Tomáš	Sako	15	15	30	4	4	0	8	38	15	5	0	20					2	60	D
Marek	Serafín	15	15	30	10	0	0	10	40	0	0	0	0	6	3	15	24		64	FX	D
Tomáš	Sirný	15	15	30	7	10	0	17	47	15	10	1	26						73	C
Marián	Sládek	13	7	20	10	6	0	16	36	10	0	2	12	3	0	15	18		54	FX	E
Juraj	Sloboda	15	15	30	0	0	1	1	31	6	0	3	9	7	0	12	19		50	FX	E

Štatistika

			1. test	2. test	Skúška	Spolu	Histogram
[100,	90]	% bodov	53	10	6	7	#	#	#	#
(90,	80]	% bodov	2	4	2	13	#	#	#	#	#	#	#
(80,	70]	% bodov	4	7	5	11	#	#	#	#	#	#
(70,	60]	% bodov	5	9	13	11	#	#	#	#	#	#
(60,	50]	% bodov	4	4	7	20	#	#	#	#	#	#	#	#	#	#
(50,	0]	% bodov	3	35	34	9	#	#	#	#	#

Stĺpec Spolu obsahuje štatistiku výsledkov študentov, ktorí sa zúčastnili na aspoň jednom teste.

Hodnotenie

Možnosti získať body:

1. test	30 bodov
2. test	30 bodov
		náhradný 2. 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 2. teste, ktorý sa bude konať koncom semestra alebo v skúškovom období. Test, na ktorom sa zúčastníte, si nemôžete opraviť.

Minitesty na prednáškach sa priebežne nevyhodnocujú. Predstavujú bonus, ktorý vám na požiadanie započítame, keď si na konci semestra budete chcieť vylepšiť známku.

Okrem toho môžete získať najviac 4 body za aktívnu účasť na prednáške.

Známkovanie:

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