Verzia zo dňa a času 01:02, 19. február 2016

Matematika (4) –
Logika pre informatikov 1-AIN-412/15

Kurz základov matematickej logiky a výpočtovnej logiky, potrebných pre ďalšie štúdium (aplikovanej) informatiky.

15. 2. 2016: Výučba predmetu sa začne v týždni od 22. februára z dôvodu solidárneho štrajku väčšiny vyučujúcich.

Vítězslav Švejdar. Logika: neúplnost, složitost a nutnost. Praha: Academia, 2002. Vo fakultnej knižnici; PDF. Errata.
Raymond M. Smullyan. Logika prvého rádu. Z anglického originálu preložil Svätoslav Mathé. Bratislava: Alfa, 1979. Vo fakultnej knižnici.

Riešenia praktických cvičení a domácich úloh sa odovzdávajú prostredníctvom github.com. Postup vysvetlíme na cvičeniach.

Druh výučby	Krúžky	Deň	Čas	Miesto	Vyučujúci
Prednášky	2AIN*	pondelok	11:30	B	Ján Kľuka
Teoretické cvičenia	2AIN1	utorok	14:50	M-VII	Ján Kľuka
	2AIN3	utorok	16:30	M-VII	Martin Homola
	2AIN2	streda	14:00	M-XII	Júlia Pukancová
Praktické cvičenia	2AIN1, 2AIN3	streda	14:50	I-H6	Jozef Šiška, Ján Kľuka
	2AIN2	štvrtok	8:10	I-H3	Jozef Šiška

Zúčastňujte sa cvičení priradených vášmu krúžku, inak sa vám cvičiaci nebudú môcť dostatočne venovať.

Rozvrh predmetu na candle.fmph.uniba.sk.

Na absolvovanie predmetu je potrebné splniť obe z nasledujúcich podmienok:

z každej aktivity získať aspoň bodové hodnotenie uvedené v stĺpci Min v tabuľke Aktivity;
celkovo získať aspoň 50 bodov.

Známka sa následne určí podľa tabuľky Hodnotenie.

Aktivity
Aktivita	Max	Min	Poznámka
Praktické cvičenia	30	15
Rozcvičky	10	5
Domáce úlohy	10	5
Midterm	15	5	Opraviteľný o 1 až 2 týždne
Final	25	10	Opraviteľný ako skúška
Ústna skúška	10	0	Minimum pre uznanie ústnej skúšky: 3 body

@@ Riadok 14: / Riadok 14: @@
 == Literatúra ==
-* <cite>Logika : Neúplnost, složitost a nutnost.</cite> Vítězslav Švejdar. Praha : Academia, 2002. [http://alis.uniba.sk:8088/lib/item?id=chamo:107645&theme=Katalog Vo fakultnej knižnici]; [http://www1.cuni.cz/~svejdar/book/LogikaSve2002.pdf PDF].
+* Vítězslav Švejdar. <cite>Logika: neúplnost, složitost a nutnost.</cite> Praha: Academia, 2002. [http://alis.uniba.sk:8088/lib/item?id=chamo:107645&theme=Katalog Vo fakultnej knižnici]; [http://www1.cuni.cz/~svejdar/book/LogikaSve2002.pdf PDF]. [http://www1.cuni.cz/~svejdar/book/Sve2002Errata.pdf Errata].
-* <cite>Logika prvého rádu.</cite> Raymond M. Smullyan ; z anglického originálu preložil Svätoslav Mathé. Bratislava : Alfa, 1979. [http://alis.uniba.sk:8088/lib/item?id=chamo:100350&theme=Katalog Vo fakultnej knižnici].
+* Raymond M. Smullyan. <cite>Logika prvého rádu.</cite> Z anglického originálu preložil Svätoslav Mathé. Bratislava: Alfa, 1979. [http://alis.uniba.sk:8088/lib/item?id=chamo:100350&theme=Katalog Vo fakultnej knižnici].
 == Materiály a odovzdávanie riešení úloh ==