Verzia zo dňa a času 09:02, 12. apríl 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.

12. 4. 2016: Opravný midterm sa uskutoční v utorok 19. apríla od 18:10 v posluchárni F1. Na opravný midterm je potrebné prihlásiť sa cez AIS v čase od utorka 12. apríla 12:00 do pondelka 18. apríla 13:10. Pre študentov prihlásených na opravný midterm platí hodnotenie, ktoré z neho získajú (aj keby bolo nižšie ako z riadneho midtermu alebo nulové z dôvodu neúčasti).

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-u. 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

6. 3. 2016: Zverejnili sme naše témy ročníkových projektov.; Vytvorili sme vo Vašich repozitároch priečinok a vetvu pre elektronické odovzdanie 1. domácej úlohy.
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.

@@ Riadok 9: / Riadok 9: @@
 == Novinky ==
-;21. 3. 2016
+;12. 4. 2016
-: '''Midterm''' z Matematiky 4 prebehne v stredu '''6. apríla 2016 o 18:10''' v posluchárni A.
+: '''Opravný midterm''' sa uskutoční v utorok '''19. apríla od 18:10''' v posluchárni F1. Na opravný midterm je potrebné '''prihlásiť sa''' cez AIS v čase od utorka 12. apríla 12:00 do pondelka 18. apríla 13:10. Pre študentov prihlásených na opravný midterm platí hodnotenie, ktoré z neho získajú (aj keby bolo nižšie ako z riadneho midtermu alebo nulové z dôvodu neúčasti).
-: '''Teoretické cvičenia''' krúžkov 2AIN1 a 2AIN3, ktoré by odpadli v utorok 29. marca, sa '''nahrádzajú''' vopred, na praktických cvičeniach v '''stredu 23. marca o 14:50'''. Stretneme sa v H6 a rozdelíme sa podľa krúžkov.
-;18. 3. 2016
-: '''Opravili''' a spresnili sme [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/du02/du02/du02-zadanie.pdf zadanie 2. domácej úlohy]. Vytvorili sme vo vašich repozitároch [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/du02/du02 vetvu s priečinkom] pre jej elektronické odovzdanie. Termín odovzdania sme posunuli na '''30. marca''' 2016. Detaily nájdete v [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/du02/du02/du02-zadanie.pdf zadaní].
 [[#Archív noviniek|Archív noviniek…]]