(Základný obsah)
(Vylepšenie rozvrhu, podmienok)
Riadok 1: Riadok 1:
 
[[Category:Predmety 1-AIN]] {{DISPLAYTITLE:Matematika (4) – Logika pre informatikov <small>1-AIN-412/15</small>}}
 
[[Category:Predmety 1-AIN]] {{DISPLAYTITLE:Matematika (4) – Logika pre informatikov <small>1-AIN-412/15</small>}}
 
= Matematika (4) – <br>Logika pre informatikov <small>1-AIN-412/15</small>=
 
= Matematika (4) – <br>Logika pre informatikov <small>1-AIN-412/15</small>=
 +
__TOC__
  
 
Kurz základov matematickej logiky a výpočtovnej logiky, potrebných pre ďalšie štúdium (aplikovanej) informatiky.
 
Kurz základov matematickej logiky a výpočtovnej logiky, potrebných pre ďalšie štúdium (aplikovanej) informatiky.
Riadok 22: Riadok 23:
 
Riešenia praktických cvičení a domácich úloh sa odovzdávajú cez git-ové repozitáre na gitlab.com. Podrobnosti vysvetlíme na cvičeniach.
 
Riešenia praktických cvičení a domácich úloh sa odovzdávajú cez git-ové repozitáre na gitlab.com. Podrobnosti vysvetlíme na cvičeniach.
  
== Výučba ==
+
== Rozvrh výučby ==
 
{| class="alternative"
 
{| class="alternative"
 
!Druh výučby
 
!Druh výučby
Riadok 39: Riadok 40:
 
|-
 
|-
 
|rowspan="3"|Teoretické cvičenia
 
|rowspan="3"|Teoretické cvičenia
|2AIN1
+
|[https://zona.fmph.uniba.sk/studium/rozvrhy/aplikovana-informatika-bc-2-rocnik/#c41869 2AIN1]
 
|utorok
 
|utorok
 
|14:50
 
|14:50
Riadok 45: Riadok 46:
 
|[[Jan Kluka|Ján Kľuka]]
 
|[[Jan Kluka|Ján Kľuka]]
 
|-
 
|-
|2AIN3
+
|[https://zona.fmph.uniba.sk/studium/rozvrhy/aplikovana-informatika-bc-2-rocnik/#c41872 2AIN3]
 
|utorok
 
|utorok
 
|16:30
 
|16:30
Riadok 51: Riadok 52:
 
|[[Martin Homola|Martin Homola]]
 
|[[Martin Homola|Martin Homola]]
 
|-
 
|-
|2AIN2
+
|[https://zona.fmph.uniba.sk/studium/rozvrhy/aplikovana-informatika-bc-2-rocnik/#c41870 2AIN2]
 
|streda
 
|streda
 
|14:00
 
|14:00
Riadok 58: Riadok 59:
 
|-
 
|-
 
|rowspan="3"| Praktické cvičenia
 
|rowspan="3"| Praktické cvičenia
|2AIN1,2AIN3
+
|[https://zona.fmph.uniba.sk/studium/rozvrhy/aplikovana-informatika-bc-2-rocnik/#c41869 2AIN1], [https://zona.fmph.uniba.sk/studium/rozvrhy/aplikovana-informatika-bc-2-rocnik/#c41872 2AIN3]
 
|streda
 
|streda
 
|14:50
 
|14:50
Riadok 64: Riadok 65:
 
|[[Jozef Siska|Jozef Šiška]], [[Jan Kluka|Ján Kľuka]]
 
|[[Jozef Siska|Jozef Šiška]], [[Jan Kluka|Ján Kľuka]]
 
|-
 
|-
|2AIN2
+
|[https://zona.fmph.uniba.sk/studium/rozvrhy/aplikovana-informatika-bc-2-rocnik/#c41870 2AIN2]
 
|štvrtok
 
|štvrtok
 
|8:10
 
|8:10
Riadok 70: Riadok 71:
 
|[[Jozef Siska|Jozef Šiška]]
 
|[[Jozef Siska|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ť.
 +
* 2AIN1: [https://zona.fmph.uniba.sk/studium/rozvrhy/aplikovana-informatika-bc-2-rocnik/#c41869 zoznam študentov], [https://candle.fmph.uniba.sk/kruzky/2AIN1 rozvrh];
 +
* 2AIN2: [https://zona.fmph.uniba.sk/studium/rozvrhy/aplikovana-informatika-bc-2-rocnik/#c41870 zoznam študentov], [https://candle.fmph.uniba.sk/kruzky/2AIN2 rozvrh];
 +
* 2AIN3: [https://zona.fmph.uniba.sk/studium/rozvrhy/aplikovana-informatika-bc-2-rocnik/#c41872 zoznam študentov], [https://candle.fmph.uniba.sk/kruzky/2AIN3 rozvrh].
 +
 +
[https://candle.fmph.uniba.sk/?showLessons=1-AIN-412 Rozvrh predmetu] na candle.fmph.uniba.sk.
  
 
== Podmienky absolvovania ==
 
== Podmienky absolvovania ==
  
Na absolvovanie predmetu je potrebné z každej aktivity získať aspoň bodové hodnotenie uvedené v stĺpci '''Min''' a celkovo získať aspoň 50 bodov. Známka sa následne určí podľa tabuľky Hodnotenie.
+
Na absolvovanie predmetu je potrebné splniť '''obe''' z nasledujúcich podmienok:
 +
* z každej aktivity získať aspoň bodové hodnotenie uvedené v stĺpci <i>Min</i> v tabuľke <i>Aktivity</i>;
 +
* celkovo získať aspoň 50 bodov.
 +
Známka sa následne určí podľa tabuľky <i>Hodnotenie</i>.
  
 
<div class="row">
 
<div class="row">
<div class="col-md-6">
+
<div class="col-md-8">
 
{| class="alternative"
 
{| class="alternative"
 
|+Aktivity
 
|+Aktivity
Riadok 87: Riadok 98:
 
|Domáce úlohy      || 10    ||  5  ||
 
|Domáce úlohy      || 10    ||  5  ||
 
|-
 
|-
|Midterm            || 15    ||  5  || Opraviteľný o týždeň-dva
+
|Midterm            || 15    ||  5  || Opraviteľný o 1 až 2 týždne
 
|-
 
|-
 
|Final              || 25    ||  10  || Opraviteľný ako skúška
 
|Final              || 25    ||  10  || Opraviteľný ako skúška
Riadok 94: Riadok 105:
 
|}
 
|}
 
</div>
 
</div>
<div class="col-md-6">
+
<div class="col-md-4">
 
{| class="alternative"
 
{| class="alternative"
 
|+Hodnotenie
 
|+Hodnotenie
Riadok 111: Riadok 122:
 
</div>
 
</div>
 
</div>
 
</div>
__NOTOC__
 

Verzia zo dňa a času 16:03, 17. 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.

Informačný list predmetu

Novinky

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.

Literatúra

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

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

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

Riešenia praktických cvičení a domácich úloh sa odovzdávajú cez git-ové repozitáre na gitlab.com. Podrobnosti 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 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.

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.

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
Hodnotenie
Bodové hodnotenie Známka
≥ 90 A
≥ 80 B
≥ 70 C
≥ 60 D
≥ 50 E