m (Pravidlá pre úlohy: Menej ostentativne formatovanie)
m (Rozvrh výučby a konzultácií)
 
(10 intermediate revisions by the same user not shown)
Line 11: Line 11:
 
== Novinky ==
 
== Novinky ==
  
;17. 2. 2019
+
;17. 2. 2020
: Začíname výučbu v letnom semesteri 2018/19. Aktualizovali sme [[#Podmienky absolvovania|podmienky absolvovania]].
+
: Začíname výučbu v letnom semesteri 2019/20. Aktualizovali sme [[#Podmienky absolvovania|podmienky absolvovania]].
  
 
== Úlohy a ďalšie materiály ==
 
== Úlohy a ďalšie materiály ==
Line 18: Line 18:
 
[https://github.com/FMFI-UK-1-AIN-412/lpi Teoretické a praktické úlohy, materiály k prednáškam, zbierka úloh] (na github.com).
 
[https://github.com/FMFI-UK-1-AIN-412/lpi Teoretické a praktické úlohy, materiály k prednáškam, zbierka úloh] (na github.com).
  
Riešenia praktických častí sád úloh [https://github.com/FMFI-UK-1-AIN-412/lpi/blob/master/docs/odovzdavanie.md odovzdávajte prostredníctvom github-u].
+
Riešenia praktických úloh [https://github.com/FMFI-UK-1-AIN-412/lpi/blob/master/docs/odovzdavanie.md odovzdávajte prostredníctvom github-u].
Dodržiavajte [[#Pravidlá pre sady úloh|pravidlá pre sady úloh]].
+
Dodržiavajte [[#pravidla-uloh|pravidlá pre úlohy]].
  
 
== Literatúra ==
 
== Literatúra ==
Line 33: Line 33:
 
[https://candle.fmph.uniba.sk/?showLessons=1-AIN-412 Oficiálny rozvrh predmetu] na candle.fmph.uniba.sk.
 
[https://candle.fmph.uniba.sk/?showLessons=1-AIN-412 Oficiálny rozvrh predmetu] na candle.fmph.uniba.sk.
  
'''Konzultačné hodiny:''' štvrtok 11:30–13:00 v miestnosti I-7. Výnimočne sa môžete [[#Kontakty|dohodnúť]] s vyučujúcimi na inom termíne.
+
'''Konzultačné hodiny:''' Termín platný ''v prvý týždeň semestra'': piatok 21. 2. 2020 10:00–12:00 v miestnosti I-7.
 +
Termín na ďalšie týždne dohodneme na prednáške.
 +
 
 +
Výnimočne sa môžete [[#Kontakty|dohodnúť]] s vyučujúcimi na inom termíne.
  
 
Ďalšie konzultácie vám môžu poskytnúť aj doktorandi v [[Academic support center|akademickom podpornom centre]].
 
Ďalšie konzultácie vám môžu poskytnúť aj doktorandi v [[Academic support center|akademickom podpornom centre]].
Line 41: Line 44:
 
Na absolvovanie predmetu je potrebné splniť '''všetky''' nasledujúce podmienky:
 
Na absolvovanie predmetu je potrebné splniť '''všetky''' nasledujúce podmienky:
  
# Splniť počas výučbovej časti semestra '''podmienky na pripustenie ku skúške''':
+
# Splniť počas '''výučbovej časti''' semestra (teda do 15. 5. 2020) '''podmienky na pripustenie ku skúške''':
 
#* Zúčastniť sa aktívne všetkých teoretických cvičení <small>okrem ospravedlnených neúčastí zo závažných dôvodov podľa [https://zona.fmph.uniba.sk/fileadmin/fmfi/fakulta/legislativa/Studijny_poriadok_FMFI_UK_uplne_znenie_dec2017.pdf študijného poriadku], čl. 21, ods. (9) a 1 neospravedlnenej neúčasti</small>.
 
#* Zúčastniť sa aktívne všetkých teoretických cvičení <small>okrem ospravedlnených neúčastí zo závažných dôvodov podľa [https://zona.fmph.uniba.sk/fileadmin/fmfi/fakulta/legislativa/Studijny_poriadok_FMFI_UK_uplne_znenie_dec2017.pdf študijného poriadku], čl. 21, ods. (9) a 1 neospravedlnenej neúčasti</small>.
#* Úspešne vyriešiť '''všetky''' hodnotené teoretické a praktické úlohy podľa [[#pravidla-uloh|pravidiel pre sady úloh]]. Neúšpešné riešenie je nutné '''opraviť''', avšak študent smie opraviť riešenia '''najviac 3 teoretických a najviac 3 praktických úloh'''.
+
#* Úspešne vyriešiť '''všetky hodnotené teoretické úlohy''' podľa [[#pravidla-uloh|pravidiel pre úlohy]]. Neúšpešné riešenie je nutné '''opraviť''', podľa potreby aj opakovane, kým nebude úspešné. Avšak študent smie opravovať riešenia '''najviac 4 teoretických úloh'''.
 
# Úspešne absolvovať písomnú časť skúšky, teda získať z nej aspoň 15 bodov z 30.
 
# Úspešne absolvovať písomnú časť skúšky, teda získať z nej aspoň 15 bodov z 30.
# Získať aspoň 10 bodov z 20-bodovej ústnej časť skúšky. Ústnu časť možno absolvovať iba po úspešnom absolvovaní písomnej časti.
+
# Získať aspoň 10 bodov z 20-bodovej ústnej časti skúšky. Ústnu časť možno absolvovať iba po úspešnom absolvovaní písomnej časti.
 
# Celkovo získať aspoň 50 bodov.
 
# Celkovo získať aspoň 50 bodov.
  
Line 60: Line 63:
 
!Semestrálna aktivita          !! Maximum  !! Povolené opravy !! Poznámka
 
!Semestrálna aktivita          !! Maximum  !! Povolené opravy !! Poznámka
 
|-
 
|-
|Teoretické úlohy||class="text-right"| 20 ||class="text-right"| 3 ||rowspan="2"| Viď [[#pravidla-uloh|pravidlá pre úlohy]]
+
|Teoretické úlohy||class="text-right"| 24 ||class="text-right"| 4 ||rowspan="2"| Viď [[#pravidla-uloh|pravidlá pre úlohy]]
 
|-
 
|-
|Praktické úlohy||class="text-right"| 20 ||class="text-right"| 3
+
|Praktické úlohy||class="text-right"| 20 ||class="text-right"|
 
|-
 
|-
 
|Midterm test ||class="text-right"| 10 ||class="text-right"| — || Test nemá minimum a nie je možné ho opraviť
 
|Midterm test ||class="text-right"| 10 ||class="text-right"| — || Test nemá minimum a nie je možné ho opraviť
 
|-
 
|-
|Bonusy ||class="text-right"| ~ 25 ||class="text-right"| — ||
+
|Bonusy ||class="text-right"| ~ 15 ||class="text-right"| — ||
 
|-
 
|-
 
!Skúška !! Maximum !! Minimum !! Poznámka
 
!Skúška !! Maximum !! Minimum !! Poznámka
Line 101: Line 104:
 
<p>'''Úspešné riešenie''' je práve také, ktoré získa kladné hodnotenie. Ostatné riešenia sú neúspešné. Hodnotenie 0 získajú najmä chybné, neúplné, nedostatočne zdôvodnené, neodovzdané, neskoro odovzdané a&nbsp;formálne nekvalitné riešenia.</p>
 
<p>'''Úspešné riešenie''' je práve také, ktoré získa kladné hodnotenie. Ostatné riešenia sú neúspešné. Hodnotenie 0 získajú najmä chybné, neúplné, nedostatočne zdôvodnené, neodovzdané, neskoro odovzdané a&nbsp;formálne nekvalitné riešenia.</p>
 
</dd>
 
</dd>
<dt>Opravovanie úloh</dt>
+
<dt>Opravovanie teoretických úloh</dt>
 
<dd>
 
<dd>
<p>'''Neúspešné riešenie je nutné opravovať''', kým nebude úspešné. Počas semestra smie každý študent opravovať '''najviac 3 teoretické a najviac 3 praktické úlohy'''.</p>
+
<p>'''Neúspešné riešenie je nutné opravovať''', kým nebude úspešné, a to najneskôr 15. 5. 2020 (koniec výučbovej časti semestra). Počas semestra smie každý študent opravovať riešenia '''najviac 4 teoretických úloh'''.</p>
<p>Prekročenie tohto limitu znamená nesplnenie podmienok na pripustenie ku skúške. Druhé, prípadne ďalšie opravovanie tej istej úlohy sa do limitu nepočíta.</p>
+
<p>Prekročenie uvedeného limitu znamená nesplnenie podmienok na pripustenie ku skúške. Druhé a ďalšie opravovanie tej istej úlohy sa do limitu na počet opráv nepočíta. Všetky úlohy však musia byť úspešne opravené najneskôr 15. 5. 2020.</p>
 
</dd>
 
</dd>
 
<dt>Spolupráca</dt>
 
<dt>Spolupráca</dt>
 
<dd>
 
<dd>
<p>Môžete sa rozprávať o svojich riešeniach so spolužiakmi (poradiť sa, ''ako'' niečo riešiť a podobne), ale odovzdaný text, resp. kód (a prípadné pomocné súbory) musí byť '''vaša samostatná práca''' (samozrejme s výnimkou častí, ktoré vzorovo spravíme spoločne na cvičeniach).</p>
+
<p>Môžete sa rozprávať o svojich riešeniach so spolužiakmi (poradiť sa, ako niečo riešiť a podobne), ale '''odovzdaný text, resp. kód''' (a prípadné pomocné súbory) musí byť '''vaša samostatná práca''' (samozrejme s výnimkou častí, ktoré vzorovo spravíme spoločne na cvičeniach).</p>
 
<p>Odovzdanie odpísaného riešenia je nečestné konanie. Ak sa ho dopustíte, budeme postupovať podľa čl. 24, ods. (5) [https://zona.fmph.uniba.sk/fileadmin/fmfi/fakulta/legislativa/Studijny_poriadok_FMFI_UK_uplne_znenie_dec2017.pdf študijného poriadku].</p>
 
<p>Odovzdanie odpísaného riešenia je nečestné konanie. Ak sa ho dopustíte, budeme postupovať podľa čl. 24, ods. (5) [https://zona.fmph.uniba.sk/fileadmin/fmfi/fakulta/legislativa/Studijny_poriadok_FMFI_UK_uplne_znenie_dec2017.pdf študijného poriadku].</p>
 
</dd>
 
</dd>

Latest revision as of 17:21, 20 February 2020

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

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

Informačný list predmetu

Novinky

17. 2. 2020
Začíname výučbu v letnom semesteri 2019/20. Aktualizovali sme podmienky absolvovania.

Úlohy a ďalšie materiály

Teoretické a praktické úlohy, materiály k prednáškam, zbierka úloh (na github.com).

Riešenia praktických úloh odovzdávajte prostredníctvom github-u. Dodržiavajte pravidlá pre úlohy.

Literatúra

Rozvrh výučby a konzultácií

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

Konzultačné hodiny: Termín platný v prvý týždeň semestra: piatok 21. 2. 2020 10:00–12:00 v miestnosti I-7. Termín na ďalšie týždne dohodneme na prednáške.

Výnimočne sa môžete dohodnúť s vyučujúcimi na inom termíne.

Ďalšie konzultácie vám môžu poskytnúť aj doktorandi v akademickom podpornom centre.

Podmienky absolvovania

Na absolvovanie predmetu je potrebné splniť všetky nasledujúce podmienky:

  1. Splniť počas výučbovej časti semestra (teda do 15. 5. 2020) podmienky na pripustenie ku skúške:
    • Zúčastniť sa aktívne všetkých teoretických cvičení okrem ospravedlnených neúčastí zo závažných dôvodov podľa študijného poriadku, čl. 21, ods. (9) a 1 neospravedlnenej neúčasti.
    • Úspešne vyriešiť všetky hodnotené teoretické úlohy podľa pravidiel pre úlohy. Neúšpešné riešenie je nutné opraviť, podľa potreby aj opakovane, kým nebude úspešné. Avšak študent smie opravovať riešenia najviac 4 teoretických úloh.
  2. Úspešne absolvovať písomnú časť skúšky, teda získať z nej aspoň 15 bodov z 30.
  3. Získať aspoň 10 bodov z 20-bodovej ústnej časti skúšky. Ústnu časť možno absolvovať iba po úspešnom absolvovaní písomnej časti.
  4. Celkovo získať aspoň 50 bodov.

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

Možnosti získania bodov sú zhrnuté v tabuľke Aktivity. Patria k nim aj rôzne bonusy (prémie):

  • Doplňujúce teoretické a praktické úlohy.
  • Súťaž SAT solverov .
  • Zvyšné možnosti opravovania teoretických a praktických úloh a písomnej časti skúšky (po 1 bode).
Aktivity
Semestrálna aktivita Maximum Povolené opravy Poznámka
Teoretické úlohy 24 4 Viď pravidlá pre úlohy
Praktické úlohy 20
Midterm test 10 Test nemá minimum a nie je možné ho opraviť
Bonusy ~ 15
Skúška Maximum Minimum Poznámka
Písomná časť 30 15
Ústna skúška 20 10 Po úspešnom absolvovaní písomnej časti
Hodnotenie
Bodové hodnotenie Známka
≥ 90 A
≥ 80 B
≥ 70 C
≥ 60 D
≥ 50 E

Pravidlá pre úlohy

Úspešnosť a hodnotenie úloh

Riešenia budeme hodnotiť bodmi z množiny {0} ∪ 〈1, 2〉. Jedna úloha sa môže skladať z viacerých (aj nehodnotených) podúloh. Hodnotené podúlohy budú jasne vyznačené.

Úspešné riešenie je práve také, ktoré získa kladné hodnotenie. Ostatné riešenia sú neúspešné. Hodnotenie 0 získajú najmä chybné, neúplné, nedostatočne zdôvodnené, neodovzdané, neskoro odovzdané a formálne nekvalitné riešenia.

Opravovanie teoretických úloh

Neúspešné riešenie je nutné opravovať, kým nebude úspešné, a to najneskôr 15. 5. 2020 (koniec výučbovej časti semestra). Počas semestra smie každý študent opravovať riešenia najviac 4 teoretických úloh.

Prekročenie uvedeného limitu znamená nesplnenie podmienok na pripustenie ku skúške. Druhé a ďalšie opravovanie tej istej úlohy sa do limitu na počet opráv nepočíta. Všetky úlohy však musia byť úspešne opravené najneskôr 15. 5. 2020.

Spolupráca

Môžete sa rozprávať o svojich riešeniach so spolužiakmi (poradiť sa, ako niečo riešiť a podobne), ale odovzdaný text, resp. kód (a prípadné pomocné súbory) musí byť vaša samostatná práca (samozrejme s výnimkou častí, ktoré vzorovo spravíme spoločne na cvičeniach).

Odovzdanie odpísaného riešenia je nečestné konanie. Ak sa ho dopustíte, budeme postupovať podľa čl. 24, ods. (5) študijného poriadku.

Odovzdávanie praktických úloh

Za účelom odovzdávania praktických úloh získate prístup k súkromnému repozitáru na GitHub-e. Používaním tohoto repozitára (t.j. nahrávaním súborov, napríklad vašich riešení) prejavujte svoj súhlas s nasledovnými podmienkami:

  • Do repozitára budete nahrávať iba materiály súvisiace s predmetom.
  • Do repozitára budete nahrávať iba materiály, ktoré máte právo zverejniť (vzhľadom na autorské práva, iné zákony a pravidlá).

Tieto podmienky sú súčasťou podmienok na absolvovanie tohoto predmetu.

Kontakty

Spoločný e-mail vyučujúcich
lpi-team{z@vin@@č}lists.dai.fmph.uniba.sk
Nekontaktujte vyučujúcich individuálne
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