Logika pre informatikov 1-AIN-412

Kurz základov matematickej a výpočtovej logiky.

Informačný list predmetu

Novinky

30. 1. 2024
Aktualizujeme podmienky absolvovania. Platné budú od pondelka 19. 2. 2024, dovtedy sa môžu zmeniť.

Úlohy a ďalšie materiály

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

Teoretické úlohy vypracúvame pomocou nástroja Logic Workbook.

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

Riešenia úloh odovzdávajte prostredníctvom github-u podľa pokynov v zadaní. Dodržiavajte pravidlá pre úlohy.

Rozvrh výučby a konzultácií

 Rozvrh predmetu v Candle

Predmet má teoretické cvičenia (v utorok) aj praktické cvičenia (vo štvrtok). Oba typy cvičení sa konajú v počítačových miestnostiach.

Teoretické cvičenia sú povinné. Tento čas je vyhradený na to, aby ste ho venovali predmetu a treba ho preto náležite využiť. Neúčasť je potrebné ospravedlniť, najlepšie vopred, prípadne do 3 pracovných dní.

Druháci chodia na cvičenia naplánované pre svoj krúžok. Tretiaci si termín môžu vybrať (s ohľadom na kapacitu miestnosti), ale od 3. týždňa semestra by ho už nemali meniť.

Konzultácie k predmetu poskytujeme vo štvrtky od 13:45 do 14:45 v učebni I-9 (účasť, pochopiteľne, nie je povinná). Výnimočne si môžete konzultácie dohodnúť s vyučujúcimi aj na iný termín. Ďalšie konzultácie vám poskytnú doktorandi v akademickom podpornom centre.

Podmienky absolvovania

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

  1. 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.
  2. Počas výučbovej časti semestra získať minimálne 36 bodov z dvoch testov, teoretických domácich úloh, praktických úloh a prémií (bonusov), viď tabuľka Aktivity v súlade s pravidlami pre úlohy.
  3. Úspešne absolvovať obe časti skúšky, teda získať minimálne po 12 bodov zo skúškového testu aj ústnej skúšky.
  4. Získať celkovo aspoň 60 bodov.

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

Aktivity
Aktivita Maximum Minimum Poznámka
1. test (21. 3.) 15 Nemožno opraviť, iba
nahradiť ospravedlnenú neúčasť
2. test (2. 5.) 25
Teoretické domáce úlohy 3 × 4 = 12 Odovzdávanie nepovinné,
ale silno odporúčané
Praktické úlohy 10 × 2 = 20
Praktické prémie ~10
Semester spolu 60 + ~22 36
Skúškový test 20 12 Neúspech na teste znamená stratu skúškového termínu!
Ústna skúška 20 12 Pri neúspechu na ústnej skúške už test opakovať netreba.
Skúška spolu 40 24
Hodnotenie
Bodové hodnotenie Známka
≥ 92 A
≥ 84 B
≥ 76 C
≥ 68 D
60 E

Pravidlá pre úlohy

Odovzdávanie úloh

Za účelom odovzdávania ú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.

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.

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:Logic_for_CS/sk
Githubová organizácia pre predmet
https://github.com/FMFI-UK-1-AIN-412

Literatúra


(Presmerované z Course:Mathematics 4/sk)