Hlavné menu
  1. KAI
  2. Výučba
  3. Bakalársky program Aplikovaná informatika
  1. KAI
  2. Výučba
  3. Predmety
  4. Predmety 1-AIN
m (→‎Novinky)
(→‎Podmienky absolvovania: Fix)
Line 41: Line 41:
  
 
# Splniť do 18. 5. 2022 (do 5 dní po skončení výučbovej časti) '''podmienky na pripustenie ku skúške''':
 
# Splniť do 18. 5. 2022 (do 5 dní po skončení výučbovej časti) '''podmienky na pripustenie ku skúške''':
−
#* <p>'''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 (viď [https://zona.fmph.uniba.sk/fileadmin/fmfi/fakulta/legislativa/Studijny_poriadok_FMFI_UK_maj2020.pdf študijný poriadok] a 1 neospravedlnenej neúčasti</small>.</p>
+
#* <p>'''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 (viď [https://zona.fmph.uniba.sk/fileadmin/fmfi/fakulta/legislativa/Studijny_poriadok_FMFI_UK_maj2020.pdf študijný poriadok]) a 1 neospravedlnenej neúčasti</small>.</p>
−
#* <p>Úspešne vyriešiť '''všetky hodnotené teoretické úlohy''' podľa [[#pravidla-uloh|pravidiel pre úlohy]] a '''nestratiť''' pritom všetky 3 „životy“, ktoré dostane každý študent na začiatku semestra.
+
#* Úspešne vyriešiť '''všetky hodnotené teoretické úlohy''' podľa [[#pravidla-uloh|pravidiel pre úlohy]] a '''nestratiť''' pritom všetky 3 „životy“, ktoré dostane každý študent na začiatku semestra.
 
# '''Úspešne absolvovať skúšku''', teda získať z nej aspoň 25 bodov z 50.
 
# '''Úspešne absolvovať skúšku''', teda získať z nej aspoň 25 bodov z 50.
 
# Získať '''celkovo aspoň 50 bodov'''.
 
# Získať '''celkovo aspoň 50 bodov'''.
Line 95: Line 95:
 
<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. 12, ods. (12) [https://zona.fmph.uniba.sk/fileadmin/fmfi/fakulta/legislativa/Studijny_poriadok_FMFI_UK_maj2020.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 [https://zona.fmph.uniba.sk/fileadmin/fmfi/fakulta/legislativa/Studijny_poriadok_FMFI_UK_maj2020.pdf študijného poriadku].</p>
 
</dd>
 
</dd>
 
<dt>Úspešnosť hodnotených teoretických úloh</dt>
 
<dt>Úspešnosť hodnotených teoretických úloh</dt>

Revision as of 17:48, 9 February 2022

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

14. 2. 2022
Začíname výučbu v letnom semesteri 2020/21 prvou prednáškou.
9. 2. 2022
Aktualizujeme podmienky absolvovania. Platné budú od utorka 15. 2. 2022, dovtedy sa môžu mierne zmeniť.

Úlohy a ďalšie materiály

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

Kurz vychádza z nižšie uvedenej literatúry.

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

Rozvrh výučby a konzultácií

Prvý týždeň (t.j., 14. až 20. februára) vyučujeme online v MS Teams. Odkaz na tím zverejníme 11. februára. Študenti zapísaní v AIS k 11. februáru dostanú prihlasovací kód mailom. Ostatní môžu o členstvo v tíme požiadať prostredníctvom MS Teams.

Od 2. týždňa by sa podľa rozhodnutia dekana z 2. februára mala začať prezenčná výučba.

 Rozvrh predmetu v Candle

V rozvrhu sú zaradené aj konzultácie. Výnimočne si ich môžete dohodnúť s vyučujúcimi aj na iný termín. Ď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ť do 18. 5. 2022 (do 5 dní po skončení výučbovej časti) 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 (viď študijný poriadok) a 1 neospravedlnenej neúčasti.

    • Úspešne vyriešiť všetky hodnotené teoretické úlohy podľa pravidiel pre úlohy a nestratiť pritom všetky 3 „životy“, ktoré dostane každý študent na začiatku semestra.
  2. Úspešne absolvovať skúšku, teda získať z nej aspoň 25 bodov z 50.
  3. Získať celkovo 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é „životy“ (po 1 bode).
Aktivity
Semestrálna aktivita Maximum Minimum Poznámka
Teoretické úlohy 5 × 4 = 20 každá 2 body Viď pravidlá pre úlohy
Praktické úlohy 10 × 2 = 20
Midterm test 10 Žiadne minimum, nemožno opraviť
Bonusy ~ 10
Skúška Maximum Minimum Poznámka
Skúška 50 25 Formu skúšky upresníme začiatkom mája
Hodnotenie
Bodové hodnotenie Známka
≥ 90 A
≥ 80 B
≥ 70 C
≥ 60 D
≥ 50 E

Pravidlá pre úlohy

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 študijného poriadku.

Úspešnosť hodnotených teoretických úloh

Za riešenie hodnotenej teoretickej úlohy získate body z množiny {0} ∪ 〈2, 4〉. Úspešné riešenie je práve také, ktoré získa kladné hodnotenie. Ostatné riešenia sú neúspešné.

Neúspešné budú najmä neúplné (vynechanie niektorej časti alebo podstatného kroku v postupe), vážne chybné, nedostatočne zdôvodnené a formálne nekvalitné riešenia. Neodovzdanie riešenia do príslušného termínu sa tiež chápe ako neúspešné riešenie.

Opravovanie teoretických úloh

Neúspešné riešenie je nutné opravovať, kým nebude úspešné, a to vždy najneskôr do 7 dní od vyhodnotenia neúspešného riešenia vyučujúcimi.

Za prvé neúspešné riešenie hodnotenej úlohy študent stratí 1 „život“. Ďalšie neúspešné riešenia tej istej úlohy už k strate životov nevedú. Všetky hodnotené úlohy však musia byť úspešne opravené najneskôr 18. 5. 2022.

Opravovanie praktických úloh

Neúspešné riešenia praktických úloh nie je možné opraviť a nemajú vplyv na životy. Predmet je ale veľmi ťažké absolvovať bez riešenia praktických alebo bonusových úloh.

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

Literatúra


Retrieved from "http://dai.fmph.uniba.sk/w?title=Course:Logic_for_CS/sk&oldid=20705"