(Literatúra: Update rocnika prednasok + LPL)
(Rozvrh výučby a konzultácií: Termín konzultácií)
 
(47 intermediate revisions by 2 users not shown)
Riadok 1: Riadok 1:
 
{{CourseHeader
 
{{CourseHeader
 
     | code = 1-AIN-412
 
     | code = 1-AIN-412
     | title = Matematika (4) – Logika pre informatikov
+
     | title = Logika pre informatikov
 
}}
 
}}
 
__TOC__
 
__TOC__
  
Kurz základov matematickej logiky a výpočtovnej logiky, potrebných pre ďalšie štúdium (aplikovanej) informatiky.
+
Kurz základov matematickej a výpočtovej logiky.
  
 
{{Infolist|1-AIN-412|Informačný list predmetu}}
 
{{Infolist|1-AIN-412|Informačný list predmetu}}
Riadok 11: Riadok 11:
 
== Novinky ==
 
== Novinky ==
  
;17. 2. 2020
+
;30. 1. 2024
: Začíname výučbu v letnom semesteri 2019/20. Aktualizovali sme [[#Podmienky absolvovania|podmienky absolvovania]].
+
: Aktualizujeme [[#Podmienky absolvovania|podmienky absolvovania]]. Platné budú od pondelka 19. 2. 2024, dovtedy sa môžu zmeniť.
  
 
== Úlohy a ďalšie materiály ==
 
== Úlohy a ďalšie materiály ==
Riadok 18: Riadok 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 úloh [https://github.com/FMFI-UK-1-AIN-412/lpi/blob/master/docs/odovzdavanie.md odovzdávajte prostredníctvom github-u].
+
Teoretické úlohy vypracúvame pomocou nástroja [https://FMFI-UK-1-AIN-412.github.io/workbook/ Logic Workbook].
Dodržiavajte [[#pravidla-uloh|pravidlá pre úlohy]].
+
  
== Literatúra ==
+
Kurz vychádza z nižšie uvedenej [[#Literatúra|literatúry]].
  
* Vítězslav Švejdar. <cite>[http://www1.cuni.cz/~svejdar/book/LogikaSve2002.pdf Logika: neúplnost, složitost a nutnost.]</cite> Praha: Academia, 2002. [http://alis.uniba.sk:8088/lib/item?id=chamo:107645&theme=Katalog Vo fakultnej knižnici] alebo [http://www1.cuni.cz/~svejdar/book/LogikaSve2002.pdf PDF]. [http://www1.cuni.cz/~svejdar/book/Sve2002Errata.pdf Errata].
+
Riešenia úloh [https://github.com/FMFI-UK-1-AIN-412/lpi/blob/master/docs/odovzdavanie.md odovzdávajte prostredníctvom github-u] podľa pokynov v zadaní.
* Raymond M. Smullyan. <cite>[http://alis.uniba.sk:8088/lib/item?id=chamo:100350&theme=Katalog Logika prvého rádu.]</cite> Z anglického originálu preložil Svätoslav Mathé. Bratislava: Alfa, 1979. [http://alis.uniba.sk:8088/lib/item?id=chamo:100350&theme=Katalog Vo fakultnej knižnici].
+
Dodržiavajte [[#pravidla-uloh|pravidlá pre úlohy]].
* Michael Genesereth and Eric Kao. <cite>[https://wiki.eecs.yorku.ca/course_archive/2014-15/F/4412/_media/intro_to_logic.pdf Introduction to Logic, Second Edition.]</cite> Morgan & Claypool, 2013. [https://wiki.eecs.yorku.ca/course_archive/2014-15/F/4412/_media/intro_to_logic.pdf PDF].
+
* Dave Barker-Plummer, Jon Barwise and John Etchemendy <cite>[https://homepages.uc.edu/~martinj/Symbolic_Logic/341%20Syllabus,%20Textbook,%20Handouts,%20Notes/LPL%20textbook.pdf Language, Proof and Logic. The Second Edition.]</cite> Stanford, CA: CSLI Publications, 2011. [https://homepages.uc.edu/~martinj/Symbolic_Logic/341%20Syllabus,%20Textbook,%20Handouts,%20Notes/LPL%20textbook.pdf PDF].
+
* Chiara Ghidini and Luciano Serafini. <cite>[http://disi.unitn.it/~ldkr/ml2014/ExercisesBooklet.pdf Mathematical Logic Exercises.]</cite> Trento: University of Trento, 2014. [http://disi.unitn.it/~ldkr/ml2014/ExercisesBooklet.pdf PDF].
+
* Ján Kľuka, Jozef Šiška. <cite>[https://dai.fmph.uniba.sk/courses/lpi/lpi/prednasky/poznamky-z-prednasok.pdf Prednášky z Matematiky (4) – Logiky pre informatikov. Letný semester 2019/2020.]</cite> Poznámky z prednášok. Bratislava: Univerzita Komenského, 2020. [https://dai.fmph.uniba.sk/courses/lpi/lpi/prednasky/poznamky-z-prednasok.pdf PDF], priebežne aktualizované.
+
** <small>Staršia úplná verzia: Ján Kľuka, Jozef Šiška. <cite>[[Media:Course:Lpi-prednasky-2016-17.pdf|Prednášky z Matematiky (4) – Logiky pre informatikov. Letný semester 2016/2017.]]</cite> Učebný text. Bratislava: Univerzita Komenského, 2017. [[Media:Course:Lpi-prednasky-2016-17.pdf|PDF]].</small>
+
  
 
== Rozvrh výučby a konzultácií ==
 
== Rozvrh výučby a konzultácií ==
[https://candle.fmph.uniba.sk/?showLessons=1-AIN-412 '''Rozvrh''' predmetu] na candle.fmph.uniba.sk.
 
  
'''Konzultačné hodiny:''' štvrtok 9:00–10:39 v I-23 okrem 19. 3. 2020, kedy budú konzultácie v I-7. 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]].
+
<i class="glyphicon glyphicon-calendar"></i> [https://candle.fmph.uniba.sk/rozvrh/1-ain-412-lpi 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ť.
 +
 
 +
<!-- K predmetu poskytujeme '''konzultácie'''. Termín zverejníme v 2. týždni semestra. -->
 +
'''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 [[#Kontakty|dohodnúť]] s vyučujúcimi aj na iný termín.
 +
Ďalšie konzultácie vám poskytnú doktorandi v [[Academic support center|akademickom podpornom centre]].
  
 
== Podmienky absolvovania ==
 
== Podmienky absolvovania ==
Riadok 40: Riadok 43:
 
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 (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 (viď [https://zona.fmph.uniba.sk/fileadmin/fmfi/fakulta/legislativa/Studijny_poriadok_FMFI_UK_maj2020.pdf študijný poriadok]) 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>.
+
# 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 [[#tab-aktivity|<i>Aktivity</i>]] v súlade s [[#pravidla-uloh|pravidlami pre úlohy]].
#* Ú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ť obe časti skúšky''', teda získať minimálne po 12 bodov zo skúškového testu aj ústnej skúšky.
# Úspešne absolvovať písomnú časť skúšky, teda získať z nej aspoň 15 bodov z 30.
+
# Získať '''celkovo''' aspoň '''60 bodov'''.
# 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.
+
  
 
Známka sa následne určí podľa tabuľky [[#tab-hodnotenie|<i>Hodnotenie</i>]].
 
Známka sa následne určí podľa tabuľky [[#tab-hodnotenie|<i>Hodnotenie</i>]].
  
Možnosti získania bodov sú zhrnuté v tabuľke [[#tab-aktivity|<i>Aktivity</i>]]. 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).
 
 
<div class="row">
 
<div class="row">
 
<div class="col-sm-9">
 
<div class="col-sm-9">
{| class="alternative" id="tab-aktivity"
+
{| class="alternative" id="tab-aktivity" style="margin-bottom: 10px;"
 
|+Aktivity
 
|+Aktivity
!Semestrálna aktivita         !! Maximum  !! Povolené opravy !! Poznámka
+
!Aktivita         !! Maximum  !! Minimum  !! Poznámka
 
|-
 
|-
|Teoretické úlohy||class="text-right"| 24 ||class="text-right"| 4 ||rowspan="2"| Viď [[#pravidla-uloh|pravidlá pre úlohy]]
+
|'''1. test''' (21. 3.) ||class="text-right"| 15 || ||rowspan="2"| Nemožno opraviť, iba<br>nahradiť ospravedlnenú neúčasť
 
|-
 
|-
|Praktické úlohy||class="text-right"| 20 ||class="text-right"| —
+
|'''2. test''' (2. 5.) ||class="text-right"| 25 ||
 
|-
 
|-
|Midterm test ||class="text-right"| 10 ||class="text-right"| — || Test nemá minimum a nie je možné ho opraviť
+
|Teoretické domáce úlohy ||class="text-right"| 3 × 4 = 12 || ||rowspan="3"| Odovzdávanie nepovinné, <br>ale silno odporúčané
 
|-
 
|-
|Bonusy ||class="text-right"| ~ 15 ||class="text-right"| — ||
+
|'''Praktické úlohy'''||class="text-right"| 10 × 2 = 20 ||
 
|-
 
|-
!Skúška !! Maximum !! Minimum !! Poznámka
+
|Praktické prémie||class="text-right"| ~10 ||
 
|-
 
|-
|Písomná časť ||class="text-right"| 30 ||class="text-right"| 15 ||
+
!Semester spolu ||class="text-right"| '''60''' + ~22 ||class="text-right"| '''36''' ||
 
|-
 
|-
|Ústna skúška ||class="text-right"| 20 ||class="text-right"| 10 || Po úspešnom absolvovaní písomnej časti
+
| Skúškový test ||class="text-right"|  20 ||class="text-right"| 12 || Neúspech na teste znamená stratu skúškového termínu!
 +
|-
 +
| Ústna skúška ||class="text-right"| 20 ||class="text-right"| 12 || Pri neúspechu na ústnej skúške už test opakovať netreba.
 +
|-
 +
!Skúška spolu ||class="text-right"| '''40''' ||class="text-right"| '''24'''||
 
|}
 
|}
 
</div>
 
</div>
 
<div class="col-sm-3">
 
<div class="col-sm-3">
{| class="alternative" id="tab-hodnotenie" style="width: auto"
+
{| class="alternative" id="tab-hodnotenie" style="width: auto; margin-bottom: 10px;"
 
|+Hodnotenie
 
|+Hodnotenie
 
! Bodové hodnotenie !! Známka   
 
! Bodové hodnotenie !! Známka   
 
|-
 
|-
| ≥ 90             || A       
+
| ≥ 92             || A       
 
|-
 
|-
| ≥ 80             || B       
+
| ≥ 84             || B       
 
|-
 
|-
| ≥ 70             || C       
+
| ≥ 76             || C       
 
|-
 
|-
| ≥ 60             || D       
+
| ≥ 68             || D       
 
|-
 
|-
| ≥ 50              || E       
+
| ≥ '''60'''        || E       
 
|}
 
|}
 
</div>
 
</div>
Riadok 95: Riadok 96:
  
 
<dl>
 
<dl>
<dt>Úspešnosť a hodnotenie úloh</dt>
+
<dt>Odovzdávanie úloh</dt>
 
<dd>
 
<dd>
<p>Riešenia budeme hodnotiť bodmi z množiny {0} &cup; &lang;1, 2&rang;. Jedna úloha sa môže skladať z viacerých (aj nehodnotených) podúloh. Hodnotené podúlohy budú jasne vyznačené.</p>
+
<p>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:</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>
+
* Do repozitára budete nahrávať iba materiály súvisiace s predmetom.
</dd>
+
* 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&nbsp;pravidlá).
<dt>Opravovanie teoretických úloh</dt>
+
<p>Tieto podmienky sú súčasťou podmienok na absolvovanie tohoto predmetu.</p>
<dd>
+
<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 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 [https://zona.fmph.uniba.sk/fileadmin/fmfi/fakulta/legislativa/Studijny_poriadok_FMFI_UK_maj2020.pdf študijného poriadku].</p>
</dd>
+
<dt>Odovzdávanie praktických úloh</dt>
+
<dd>
+
<p>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:</p>
+
* 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&nbsp;pravidlá).
+
<p>Tieto podmienky sú súčasťou podmienok na absolvovanie tohoto predmetu.</p>
+
 
</dd>
 
</dd>
 
</dl>
 
</dl>
Riadok 124: Riadok 115:
  
 
V prípade neúspechu na ústnej časti môžete opakovať iba ústnu časť.
 
V prípade neúspechu na ústnej časti môžete opakovať iba ústnu časť.
{| class="table-responsive alternative" id="terminy"
+
{| class="table-responsive alternative" id="terminy" style="margin-bottom: 10px;"
 
|+Termíny skúšok
 
|+Termíny skúšok
 
!Termín
 
!Termín
Riadok 150: Riadok 141:
 
:Nekontaktujte vyučujúcich individuálne
 
:Nekontaktujte vyučujúcich individuálne
 
;Oficiálna stránka kurzu
 
;Oficiálna stránka kurzu
:<code>[https://dai.fmph.uniba.sk/w/Course:Mathematics_4/sk https://dai.fmph.uniba.sk/w/Course:Mathematics_4/sk]</code>
+
:<code>[https://dai.fmph.uniba.sk/w/Course:Logic_for_CS/sk https://dai.fmph.uniba.sk/w/Course:Logic_for_CS/sk]</code>
 
;Githubová organizácia pre predmet
 
;Githubová organizácia pre predmet
 
:<code>[https://github.com/FMFI-UK-1-AIN-412 https://github.com/FMFI-UK-1-AIN-412]</code>
 
:<code>[https://github.com/FMFI-UK-1-AIN-412 https://github.com/FMFI-UK-1-AIN-412]</code>
 +
 +
== Literatúra ==
 +
 +
* Vítězslav Švejdar. <cite>[http://www1.cuni.cz/~svejdar/book/LogikaSve2002.pdf Logika: neúplnost, složitost a nutnost.]</cite> Praha: Academia, 2002. [http://alis.uniba.sk:8088/lib/item?id=chamo:107645&theme=Katalog Vo fakultnej knižnici] alebo [http://www1.cuni.cz/~svejdar/book/LogikaSve2002.pdf PDF]. [http://www1.cuni.cz/~svejdar/book/Sve2002Errata.pdf Errata].
 +
* Raymond M. Smullyan. <cite>[http://alis.uniba.sk:8088/lib/item?id=chamo:100350&theme=Katalog Logika prvého rádu.]</cite> Z anglického originálu preložil Svätoslav Mathé. Bratislava: Alfa, 1979. [http://alis.uniba.sk:8088/lib/item?id=chamo:100350&theme=Katalog Vo fakultnej knižnici].
 +
* Michael Genesereth and Eric Kao. <cite>[https://wiki.eecs.yorku.ca/course_archive/2014-15/F/4412/_media/intro_to_logic.pdf Introduction to Logic, Second Edition.]</cite> Morgan & Claypool, 2013. [https://wiki.eecs.yorku.ca/course_archive/2014-15/F/4412/_media/intro_to_logic.pdf PDF].
 +
* Dave Barker-Plummer, Jon Barwise and John Etchemendy <cite>[https://homepages.uc.edu/~martinj/Symbolic_Logic/341%20Syllabus,%20Textbook,%20Handouts,%20Notes/LPL%20textbook.pdf Language, Proof and Logic. The Second Edition.]</cite> Stanford, CA: CSLI Publications, 2011. [https://homepages.uc.edu/~martinj/Symbolic_Logic/341%20Syllabus,%20Textbook,%20Handouts,%20Notes/LPL%20textbook.pdf PDF].
 +
* Chiara Ghidini and Luciano Serafini. <cite>[http://disi.unitn.it/~ldkr/ml2014/ExercisesBooklet.pdf Mathematical Logic Exercises.]</cite> Trento: University of Trento, 2014. [http://disi.unitn.it/~ldkr/ml2014/ExercisesBooklet.pdf PDF].
 +
* Ján Kľuka, Ján Mazák. <cite>[https://fmfi-uk-1-ain-412.github.io/lpi/prednasky/poznamky-z-prednasok.pdf Prednášky z Matematiky (4) – Logiky pre informatikov. Letný semester 2020/2021.]</cite> Poznámky z prednášok. Bratislava: Univerzita Komenského, 2021. [https://fmfi-uk-1-ain-412.github.io/lpi/prednasky/poznamky-z-prednasok.pdf PDF], priebežne aktualizované.
 +
** <small>Staršia úplná verzia: Ján Kľuka, Jozef Šiška. <cite>[[Media:Course:Lpi-prednasky-2016-17.pdf|Prednášky z Matematiky (4) – Logiky pre informatikov. Letný semester 2016/2017.]]</cite> Učebný text. Bratislava: Univerzita Komenského, 2017. [[Media:Course:Lpi-prednasky-2016-17.pdf|PDF]].</small>
  
 
<!-- == Archív noviniek == -->
 
<!-- == Archív noviniek == -->

Aktuálna revízia z 16:22, 20. február 2024

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