(Novinky: Zmena miestnosti nahradneho cvicenia 2AIN1)
(Literatúra)
(48 intermediate revisions by the same user not shown)
Riadok 11: Riadok 11:
 
== Novinky ==
 
== Novinky ==
  
;18. 4. 2018
+
;14. 2. 2022
: '''Opravný/náhradný termín midtermu''' bude vo '''štvrtok 26. apríla o 18:10''' v posluchárni '''B'''. Na termín je '''nutné prihlásiť sa v AIS'''. Študentov, ktorí mali z riadneho termínu menej ako 5 bodov alebo chýbali, sme už zapísali my.
+
: Začíname výučbu v letnom semesteri 2020/21 prvou prednáškou.
: '''Náhradu teoretických cvičení z 1. a 8. mája pre tretiakov''', ktorí ju nemôžu absolvovať v stredy, sme na prednáške dohodli na '''piatky 4. a 11. mája o 9:50 v F1-328''' (Kľuka).
+
: Prednášky a praktické cvičenia tento rok vyučujeme spoločne s predmetom [http://www.dcs.fmph.uniba.sk/~mazak/vyucba/udml/ Úvod do matematickej logiky 1-INF-210].
;19. 3. 2018
+
;9. 2. 2022
: '''Midterm test''' bude v utorok 10. apríla o 18:10 v posluchárni A
+
: Aktualizujeme [[#Podmienky absolvovania|podmienky absolvovania]]. Platné budú od utorka 15. 2. 2022, dovtedy sa môžu mierne zmeniť.
: '''Zrušili sme''' praktické cvičenia v stredu o 16:30 (po dohode na prednáške); využívajte cvičenia v utorok o 18:10.
+
: '''Náhradu cvičení z 1. a 8. mája''' sme dohodli na '''stredy 2. a 9. mája''' nasledovne:
+
:* 14:50 <del>M-I</del> <ins>H-6</ins> – krúžok 2AIN1, cvičiaci J. Kľuka
+
:* 16:30 M-IX – krúžok 2AIN2, cvičiaci M. Homola
+
:* 16:30 M-XI – krúžok 2AIN3, cvičiaca J. Pukancová
+
;21. 2. 2018
+
: Upravili sme [[#Podmienky absolvovania|podmienky absolvovania predmetu]].
+
;18. 2. 2018
+
: Výučba predmetu sa začne prednáškou v pondelok 19. februára.
+
  
<!-- == Ocenenia == -->
+
== Úlohy a ďalšie materiály ==
  
== Sady úloh a ďalšie materiály ==
+
[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 Sady úloh, materiály k prednáškam, zbierka úloh] (na github.com).
+
Kurz vychádza z nižšie uvedenej [[#Literatúra|literatúry]].
  
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 teoretických úloh odovzdávajte prostredníctvom formulárov uvedených v zadaní. 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 ==
+
== Rozvrh výučby a konzultácií ==
  
* 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].
+
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.
* 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].
+
Š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.
* 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].
+
* 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://github.com/FMFI-UK-1-AIN-412/lpi/blob/master/prednasky/poznamky-z-prednasok.pdf Prednášky z Matematiky (4) – Logiky pre informatikov. Letný semester 2017/2018.]</cite> Poznámky z prednášok. Bratislava: Univerzita Komenského, 2018. [https://github.com/FMFI-UK-1-AIN-412/lpi/raw/master/prednasky/poznamky-z-prednasok.pdf PDF].
+
** <small>Minuloročná 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í ==
+
Od 2. týždňa by sa podľa rozhodnutia dekana z 2. februára mala začať prezenčná výučba.
{| class="table-responsive alternative"
+
!Druh výučby
+
!Krúžky
+
!Deň
+
!Čas
+
!Miesto
+
!Vyučujúci
+
|-
+
|Prednášky
+
|2AIN*
+
|pondelok
+
|11:30
+
|F2
+
|[[Jan Kluka|Ján Kľuka]]
+
|-
+
|rowspan="3"|Teoretické cvičenia
+
|2AIN1
+
|utorok
+
|13:10
+
|F1-328
+
|[[Jan Kluka|Ján Kľuka]]
+
|-
+
|2AIN2
+
|utorok
+
|14:50
+
|I-9
+
|[[Martin Homola|Martin Homola]]
+
|-
+
|2AIN3
+
|utorok
+
|14:50
+
|F1-328
+
|[[Julia Pukancova|Júlia Pukancová]]
+
|-
+
|rowspan="2"| Praktické cvičenia
+
|<ins>2AIN1, </ins>2AIN2, 2AIN3
+
|utorok
+
|16:30
+
|I-H6
+
|[[Jozef Siska|Jozef Šiška]], [[Peter Gergel|Peter Gergeľ]]<ins>, [[Jan Kluka|Ján Kľuka]], [[Viktor Kocur]]</ins>
+
|-
+
|<del>2AIN1</del>
+
|<del>streda</del>
+
|<del>14:50</del>
+
|<del>I-H6</del>
+
|<del>[[Jan Kluka|Ján Kľuka]], [[Viktor Kocur]]</del>
+
|-
+
|Konzultácie
+
|2AIN*
+
|streda
+
|13:10–14:40
+
|I-16, I-7
+
|podľa možností
+
|}
+
  
Na teoretické cvičenia odporúčame doniesť si zariadenie na čítanie elektronických materiálov k predmetu (notebook, tablet, príp. inteligentný telefón).
+
<i class="glyphicon glyphicon-calendar"></i> [https://candle.fmph.uniba.sk/rozvrh/1-ain-412-lpi Rozvrh predmetu v Candle]
  
Okrem konzultácií s vyučujúcimi môžete tiež využiť [[Academic_support_center|Akademické podporné centrum KAI]].
+
Predmet má teoretické cvičenia (v utorok) aj praktické cvičenia (v stredu alebo vo štvrtok).
  
[https://candle.fmph.uniba.sk/?showLessons=1-AIN-412 Oficiálny rozvrh predmetu] na candle.fmph.uniba.sk.
+
Ako cvičenie sú v rozvrhu zaradené aj konzultácie (štvrtok o 13:10). 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 môžu poskytnúť doktorandi v [[Academic support center|akademickom podpornom centre]].
  
 
== Podmienky absolvovania ==
 
== Podmienky absolvovania ==
  
 
Na absolvovanie predmetu je potrebné splniť '''všetky''' nasledujúce podmienky:
 
Na absolvovanie predmetu je potrebné splniť '''všetky''' nasledujúce podmienky:
# 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ískať aspoň 50%-né hodnotenie z&nbsp;teoretickej časti '''každej''' sady úloh pri dodržaní termínov odovzdania a [[#pravidla-uloh|pravidiel pre sady úloh]].
 
#* Nedostatočné, nečitateľné alebo príliš rozsiahle riešenia vrátime.
 
#* Študent(ka) má '''2-krát''' za semester právo vrátené riešenie '''prepracovať''' a&nbsp;znova odovzdať do 3&nbsp;dní.
 
# Z každej ďalšej aktivity získať aspoň bodové hodnotenie uvedené v stĺpci <i>Min</i> v tabuľke [[#tab-aktivity|<i>Aktivity</i>]].
 
# Celkovo získať aspoň 50 bodov. Súčet miním '''nepostačuje''' na absolvovanie predmetu!
 
  
Známka sa následne určí podľa tabuľky [[#tab-hodnotenie|<i>Hodnotenie</i>]].  
+
# Splniť do 18. 5. 2022 (do 5 dní po skončení výučbovej časti semestra) '''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>
 +
#* Ú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.
 +
# Získať '''celkovo aspoň 50 bodov'''.
  
 +
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é „životy“ (po 1 bode).
 
<div class="row">
 
<div class="row">
<div class="col-sm-8">
+
<div class="col-sm-9">
{| class="alternative" id="tab-aktivity"
+
{| class="alternative" id="tab-aktivity" style="margin-bottom: 10px;"
 
|+Aktivity
 
|+Aktivity
!colspan="2"|Aktivita         !! Max   !! Min   !! Poznámka
+
!Semestrálna aktivita         !! Maximum   !! Minimum   !! Poznámka
 
|-
 
|-
|rowspan="3"|Semester||Sady úloh – teoretická časť        || 20    ||  50&nbsp;% z&nbsp;'''každej''' sady úloh || Hodnotíme 1 vopred určenú úlohu a 1 úlohu vyžrebovanú po termíne odovzdania
+
|Teoretické úlohy||class="text-right"| 5 × 4 = 20 || každá 2 body ||rowspan="2"| Viď [[#pravidla-uloh|pravidlá pre úlohy]]
 
|-
 
|-
|Sady úloh – praktická časť || 30    || 15  || Počíta sa 10 najvyššie hodnotených úloh
+
|Praktické úlohy||class="text-right"| 10 × 2 = 20 ||
 
|-
 
|-
|Midterm test           || 15    ||   5  || Opraviteľný o 1 až 2 týždne
+
|Midterm test ||class="text-right"| 10 || || Žiadne minimum, nemožno opraviť
 
|-
 
|-
|rowspan="2"|Skúška ||Final test              || 25    ||  10  ||rowspan="2"|Písomnú (final test) a&nbsp;ústnu časť skúšky si nemožno opraviť oddelene
+
|Bonusy ||class="text-right"| ~ 10 || ||
 
|-
 
|-
|Ústna skúška      || 10    ||
+
!Skúška !! Maximum !! Minimum !! Poznámka
 +
|-
 +
| Skúška ||class="text-right"| 50 ||class="text-right"| 25 || Formu skúšky upresníme začiatkom mája
 
|}
 
|}
 
</div>
 
</div>
<div class="col-sm-4">
+
<div class="col-sm-3">
{| class="alternative" id="tab-hodnotenie"
+
{| class="alternative" id="tab-hodnotenie" style="width: auto; margin-bottom: 10px;"
 
|+Hodnotenie
 
|+Hodnotenie
 
! Bodové hodnotenie !! Známka   
 
! Bodové hodnotenie !! Známka   
Riadok 154: Riadok 92:
 
</div>
 
</div>
  
=== <span id="pravidla-uloh">Pravidlá pre sady úloh</span> ===
+
=== <span id="pravidla-uloh">Pravidlá pre úlohy</span> ===
 
+
;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ý kód / text (prípadne iné 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) [https://zona.fmph.uniba.sk/fileadmin/fmfi/fakulta/legislativa/Studijny_poriadok_FMFI_UK_uplne_znenie_dec2017.pdf š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&nbsp;pravidlá).
+
Tieto podmienky sú súčasťou podmienok na absolvovanie tohoto predmetu.
+
  
 +
<dl>
 +
<dt>Úspešnosť hodnotených teoretických úloh</dt>
 +
<dd>
 +
<p>Za riešenie hodnotenej teoretickej úlohy získate body z množiny {0} &cup; &lang;2, 4&rang;. '''Úspešné riešenie''' je práve také, ktoré získa kladné hodnotenie. Ostatné riešenia sú neúspešné.</p>
 +
<p>Neúspešné budú najmä neúplné (vynechanie niektorej časti alebo podstatného kroku v postupe), vážne chybné, nedostatočne zdôvodnené a&nbsp;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.</p>
 +
</dd>
 +
<dt>Opravovanie teoretických úloh</dt>
 +
<dd>
 +
<p>'''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.</p>
 +
<p>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.</p>
 +
</dd>
 +
<dt>Opravovanie praktických úloh</dt>
 +
<dd>
 +
<p>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.</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>
 +
<dt>Spolupráca</dt>
 +
<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>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>
 +
</dl>
 
<!--
 
<!--
 
== Termíny skúšok ==
 
== Termíny skúšok ==
  
Vypísali sme termíny skúšok podľa nasledujúcej tabuľky.
+
Vypísali sme termíny skúšok podľa nasledujúcej tabuľky. Na ústnu čas je možné prihlásiť sa cez AIS. Na písomnú časť zapíšeme automaticky všetkých, ktorí sa kvalifikovali na účasť na skúške (a prípadne neboli úspešní na predchádzajúcich termínoch).
{| class="table-responsive alternative"
+
 
 +
V prípade neúspechu na ústnej časti môžete opakovať iba ústnu časť.
 +
{| class="table-responsive alternative" id="terminy" style="margin-bottom: 10px;"
 +
|+Termíny skúšok
 
!Termín
 
!Termín
!Písomná časť
+
!colspan=4| Písomná časť
!Ústna časť
+
!colspan=4| Ústna časť
 
|-
 
|-
 
|'''Riadny'''
 
|'''Riadny'''
|pondelok 5.&nbsp;júna o&nbsp;13:00 posl.&nbsp;A
+
| pondelok || 21. mája || 13:00 || posl. A
|štvrtok 8.&nbsp;júna o&nbsp;9:30 I-9
+
| piatok || 25. mája || 9:30 || I-9
 
|-
 
|-
 
|'''1. opravný'''
 
|'''1. opravný'''
|streda 14.&nbsp;júna o&nbsp;9:30 posl.&nbsp;A
+
| piatok || 1. júna || 9:30 || posl. B
|piatok 16.&nbsp;júna o&nbsp;9:30 I-9
+
| piatok || 8. júna || 9:30 || I-9
 
|-
 
|-
 
|'''2. opravný'''
 
|'''2. opravný'''
|streda 21.&nbsp;júna o&nbsp;9:30 posl.&nbsp;B
+
| utorok || 19. júna || 9:30 || posl. A
|piatok 23.&nbsp;júna o&nbsp;9:30 I-9
+
| piatok || 22. júna || 9:30 || I-9
 
|}
 
|}
 
-->
 
-->
Riadok 190: Riadok 150:
 
== Kontakty ==
 
== Kontakty ==
  
 +
;Spoločný e-mail vyučujúcich
 +
:<code>lpi-team{z@vin@@č}lists.dai.fmph.uniba.sk</code>
 +
: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:Mathematics_4/sk https://dai.fmph.uniba.sk/w/Course:Mathematics_4/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>
;Spoločný e-mail vyučujúcich
+
 
:<code>lpi-team{z@vin@@č}lists.dai.fmph.uniba.sk</code>
+
== Literatúra ==
:Nekontaktujte vyučujúcich individuálne
+
 
 +
* 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 == -->

Verzia zo dňa a času 13:40, 8. marec 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.
Prednášky a praktické cvičenia tento rok vyučujeme spoločne s predmetom Úvod do matematickej logiky 1-INF-210.
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

Predmet má teoretické cvičenia (v utorok) aj praktické cvičenia (v stredu alebo vo štvrtok).

Ako cvičenie sú v rozvrhu zaradené aj konzultácie (štvrtok o 13:10). Výnimočne si môžete konzultácie dohodnúť s vyučujúcimi aj na iný termín. Ďalšie konzultácie vám môžu poskytnúť 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 semestra) 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 úlohynestratiť 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

Ú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.

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

Literatúra