(Rozvrh výučby)
Line 13: Line 13:
  
 
<!-- [[#Archív noviniek|Archív noviniek…]] -->
 
<!-- [[#Archív noviniek|Archív noviniek…]] -->
 +
 +
== Ocenenia ==
 +
 +
;Najlepší riešitelia rozcvičiek
 +
:TBA
 +
;Najlepší riešitelia domácich úloh
 +
:TBA
 +
;Najlepší riešitelia praktických cvičení
 +
:TBA
  
 
== Literatúra ==
 
== Literatúra ==
Line 137: Line 146:
 
</div>
 
</div>
  
== Ocenenia ==
+
== Kontakty ==
  
;Najlepší riešitelia rozcvičiek
+
;Oficiálna stránka kurzu
;Najlepší riešitelia domácich úloh
+
:<code>[https://dai.fmph.uniba.sk/w/Course:Mathematics_4/sk https://dai.fmph.uniba.sk/w/Course:Mathematics_4/sk]</code>
;Najlepší riešitelia praktických cvičení
+
;Githubová organizácia pre predmet
 +
:<code>[https://github.com/FMFI-UK-1-AIN-412 https://github.com/FMFI-UK-1-AIN-412]</code>
 +
;Spoločný e-mail vyučujúcich
 +
:<code>lpi-team{z@vináč}lists.dai.fmph.uniba.sk</code>
 +
:Nekontaktujte vyučujúcich individuálne
  
 
<!-- == Archív noviniek == -->
 
<!-- == Archív noviniek == -->

Revision as of 17:40, 18 February 2017

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.

Informačný list predmetu

Novinky

10. 2. 2017
Výučba predmetu sa začne prednáškou v pondelok 20. februára. Nižšie uvedené informácie sú predbežné. Oficiálne podmienky absolvovania oznámime na prednáške a následne aktualizujeme na tejto stránke.


Ocenenia

Najlepší riešitelia rozcvičiek
TBA
Najlepší riešitelia domácich úloh
TBA
Najlepší riešitelia praktických cvičení
TBA

Literatúra

  • 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.
  • Michael Genesereth and Eric Kao. Introduction to Logic, Second Edition. Morgan & Claypool, 2013. PDF.
  • Chiara Ghidini and Luciano Serafini. Mathematical Logic Exercises. PDF.

Materiály a odovzdávanie riešení úloh

Zadania praktických cvičení a domácich úloh, materiály k prednáškam (na github.com).

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

Rozvrh výučby

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 3AIN*, 2AIN* [↓] pondelok 16:30 M-X Ján Kľuka
2AIN2 utorok 14:50 M-VIII Martin Homola
2AIN1 utorok 16:30 M-XII Júlia Pukancová
Praktické cvičenia 2AIN1, 3AIN* streda 14:50 I-H6 Jozef Šiška, Juraj Holas
2AIN2 streda 16:30 I-H3 Jozef Šiška, Ján Kľuka
Konzultácie 2AIN*, 3AIN* TBA TBA I-16, I-7 podľa možností, vždy aspoň jeden

[↑] Žiadame druhákov, aby zvážili účasť na teoretických cvičeniach v pondelok, aby sme mali okolo 12 študentov na termín. Termín si vyberte do konca 2. týždňa semestra (5. marca).

Termín konzultácií oznámime najneskôr v 3. týždni semestra. Odporúčame tiež využiť Akademické podporné centrum KAI.

Oficiálny rozvrh predmetu na candle.fmph.uniba.sk.

Podmienky absolvovania

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.

Dosiahnutie minimálnych bodových hodnotení za jednotlivé aktivity nepostačuje na absolvovanie predmetu.

Aktivity
Aktivita Max Min Poznámka
Semester Praktické cvičenia 30 15
Rozcvičky 10 5
Domáce úlohy 10 5
Midterm test 15 5 Opraviteľný o 1 až 2 týždne
Skúška Final test 25 10 Písomnú (final test) a ústnu časť skúšky si nemožno opraviť oddelene.
Ústna skúška 10 5
Hodnotenie
Bodové hodnotenie Známka
≥ 90 A
≥ 80 B
≥ 70 C
≥ 60 D
≥ 50 E

Kontakty

Oficiálna stránka kurzu
https://dai.fmph.uniba.sk/w/Course:Mathematics_4/sk
Githubová organizácia pre predmet
https://github.com/FMFI-UK-1-AIN-412
Spoločný e-mail vyučujúcich
lpi-team{z@vináč}lists.dai.fmph.uniba.sk
Nekontaktujte vyučujúcich individuálne