(Novinky: Terminy skusok)
(Rozvrh výučby a konzultácií: Termín konzultácií)
 
(103 intermediate revisions by 2 users not shown)
Riadok 1: Riadok 1:
[[Category:Bakalársky program Aplikovaná informatika]] {{DISPLAYTITLE:Matematika (4) – Logika pre informatikov <small>1-AIN-412/15</small>}}
+
{{CourseHeader
= Matematika (4) – <span style="display:inline-block;">Logika pre informatikov</span> <small style="white-space:nowrap;">1-AIN-412/15</small>=
+
    | code = 1-AIN-412
 +
    | 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.
  
[https://sluzby.fmph.uniba.sk/infolist/sk/1-AIN-412_15.html Informačný list predmetu]
+
{{Infolist|1-AIN-412|Informačný list predmetu}}
  
 
== Novinky ==
 
== Novinky ==
  
;3. 5. 2017
+
;30. 1. 2024
: <p>V&nbsp;AIS sme vypísali '''termíny skúšok'''.</p><p>Na ''písomnú časť'' skúšky v&nbsp;riadnom termíne (5.&nbsp;júna 2017 o&nbsp;13:00 v&nbsp;posluchárni&nbsp;A) zapíšeme automaticky všetkých študentov, ktorí [[#tab-aktivity|získajú minimálny počet bodov]] zo všetkých aktivít z&nbsp;výučbovej časti semestra.</p><p>Na ''ústnu časť'' skúšky sa môžete zapísať v&nbsp;AIS. Poradie zapísania sa určuje poradie pri skúšaní.</p>
+
: Aktualizujeme [[#Podmienky absolvovania|podmienky absolvovania]]. Platné budú od pondelka 19. 2. 2024, dovtedy sa môžu zmeniť.
;25. 4. 2017
+
: V&nbsp;zadaní [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/du04/du04 4. teoretickej domácej úlohy (du04)], v&nbsp;časti&nbsp;b) sme zrušili úlohy (ii) a&nbsp;(iii). Bodová hodnota [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/du04/du04 du04] po tento zmene je 2&nbsp;body.
+
;24. 4. 2017
+
: V&nbsp;stredu '''26.&nbsp;apríla''' (dekanské voľno pre ŠVK) ponúkame '''rozšírené konzultácie''' k&nbsp;praktickým aj teoretickým otázkam: v&nbsp;čase 13:10–14:50 na I-7/I-16, v&nbsp;čase 14:50–16:30 v&nbsp;H-6.
+
: Študentov navštevujúcich pondelkové teoretické cvičenia žiadame, aby si ich '''odpadnuté cvičenia 1.&nbsp;a&nbsp;8.&nbsp;mája nahradili v&nbsp;príslušný utorok''' na termíne podľa svojich možností (14:50 v&nbsp;M-VIII alebo 16:30 v&nbsp;M-XII).
+
;20. 4. 2017
+
: Termín odovzdania [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/master/cv09 9.&nbsp;praktického cvičenia (cv09)] sme posunuli na utorok 2.&nbsp;mája o&nbsp;23:59:59.
+
;14. 4. 2017
+
: Zverejnili sme zadanie [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/master/du04 4.&nbsp;teoretickej domácej úlohy].
+
;11. 4. 2017
+
: '''Opravný test''' (midterm) sa koná v piatok '''28.&nbsp;apríla o&nbsp;11:30''' v&nbsp;posluchárni&nbsp;A.
+
  
<!-- [[#Archív noviniek|Archív noviniek…]] -->
+
== Úlohy a ďalšie materiály ==
  
== Ocenenia ==
+
[https://github.com/FMFI-UK-1-AIN-412/lpi Teoretické a praktické úlohy, materiály k prednáškam, zbierka úloh] (na github.com).
  
;Najlepší riešitelia rozcvičiek
+
Teoretické úlohy vypracúvame pomocou nástroja [https://FMFI-UK-1-AIN-412.github.io/workbook/ Logic Workbook].
:TBA
+
;Najlepší riešitelia domácich úloh
+
:TBA
+
;Najlepší riešitelia praktických cvičení
+
:TBA
+
  
== Literatúra ==
+
Kurz vychádza z nižšie uvedenej [[#Literatúra|literatúry]].
  
* Vítězslav Švejdar. <cite>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]; [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>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>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>Mathematical Logic Exercises.</cite> [http://disi.unitn.it/~ldkr/ml2014/ExercisesBooklet.pdf PDF].
+
  
== Praktické cvičenia, domáce úlohy a materiály ==
+
== Rozvrh výučby a konzultácií ==
  
[https://github.com/FMFI-UK-1-AIN-412/lpi Praktické cvičenia, domáce úlohy, materiály k prednáškam, úlohy z cvičení] (na github.com).
+
<i class="glyphicon glyphicon-calendar"></i> [https://candle.fmph.uniba.sk/rozvrh/1-ain-412-lpi Rozvrh predmetu v Candle]
  
Riešenia praktických cvičení a domácich úloh [https://github.com/FMFI-UK-1-AIN-412/lpi/blob/master/docs/odovzdavanie.md odovzdávajte prostredníctvom github-u].
+
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.
Dodržiavajte [https://github.com/FMFI-UK-1-AIN-412/lpi#pravidlá-pre-praktické-cvičenia-adomáce-úlohy pravidlá pre praktické cvičenia a domáce úlohy].
+
  
== Rozvrh výučby ==
+
'''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í.
{| class="table-responsive alternative"
+
!Druh výučby
+
!Krúžky
+
!Deň
+
!Čas
+
!Miesto
+
!Vyučujúci
+
|-
+
|Prednášky
+
|2AIN*
+
|pondelok
+
|11:30
+
|B
+
|[[Jan Kluka|Ján Kľuka]]
+
|-
+
|rowspan="3" id="pondelkove-cvicenia"|Teoretické cvičenia
+
|3AIN*, 2AIN* [[#pondelkove-cvicenia-pozn|[↓]]]
+
|pondelok
+
|16:30
+
|M-X
+
|[[Jan Kluka|Ján Kľuka]]
+
|-
+
|2AIN2
+
|utorok
+
|14:50
+
|M-VIII
+
|[[Martin Homola|Martin Homola]]
+
|-
+
|2AIN1
+
|utorok
+
|16:30
+
|M-XII
+
|[[Julia Pukancova|Júlia Pukancová]]
+
|-
+
|rowspan="2"| Praktické cvičenia
+
|2AIN1, 3AIN*
+
|streda
+
|14:50
+
|I-H6
+
|[[Jozef Siska|Jozef Šiška]], [[Juraj Holas]]
+
|-
+
|2AIN2
+
|streda
+
|16:30
+
|I-H3
+
|[[Jozef Siska|Jozef Šiška]], [[Jan Kluka|Ján Kľuka]]
+
|-
+
|Konzultácie
+
|2AIN*, 3AIN*
+
|streda
+
|13:10–14:30
+
|I-16, I-7
+
|podľa možností
+
|}
+
  
<span id="pondelkove-cvicenia-pozn">[[#pondelkove-cvicenia|[↑]]]</span>&nbsp;'''Žiadame druhákov''', aby zvážili účasť na teoretických cvičeniach '''v&nbsp;pondelok''', aby sme mali okolo 12&nbsp;študentov na termín.
+
'''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ť.
Termín si vyberte '''do konca 2.&nbsp;týždňa semestra''' (5.&nbsp;marca).
+
  
Okrem konzultácií s vyučujúcimi v stredu medzi 13:10 a 14:30
+
<!-- K predmetu poskytujeme '''konzultácie'''. Termín zverejníme v 2. týždni semestra. -->
môžete tiež využiť [[Academic_support_center|Akademické podporné centrum KAI]].
+
'''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]].
[https://candle.fmph.uniba.sk/?showLessons=1-AIN-412 Oficiálny rozvrh predmetu] na candle.fmph.uniba.sk.
+
  
 
== Podmienky absolvovania ==
 
== Podmienky absolvovania ==
  
Na absolvovanie predmetu je potrebné splniť '''obe''' z nasledujúcich podmienok:
+
Na absolvovanie predmetu je potrebné splniť '''všetky''' nasledujúce podmienky:
* z každej 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.
+
Pritom musíte dodržať [https://github.com/FMFI-UK-1-AIN-412/lpi#pravidlá-pre-praktické-cvičenia-adomáce-úlohy pravidlá pre praktické cvičenia a domáce úlohy].
+
  
Známka sa následne určí podľa tabuľky [[#tab-hodnotenie|<i>Hodnotenie</i>]].
+
# '''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>.
 +
# 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 absolvovať obe časti skúšky''', teda získať minimálne po 12 bodov zo skúškového testu aj ústnej skúšky.
 +
# Získať '''celkovo''' aspoň '''60 bodov'''.
  
Dosiahnutie minimálnych bodových hodnotení za jednotlivé aktivity '''nepostačuje''' na absolvovanie predmetu.
+
Známka sa následne určí podľa tabuľky [[#tab-hodnotenie|<i>Hodnotenie</i>]].
  
 
<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
+
!Aktivita          !! Maximum   !! Minimum   !! Poznámka
 
|-
 
|-
|rowspan="4"|Semester||Praktické cvičenia || 30    || 15 ||
+
|'''1. test''' (21. 3.) ||class="text-right"| 15 ||  ||rowspan="2"| Nemožno opraviť, iba<br>nahradiť ospravedlnenú neúčasť
 
|-
 
|-
|Rozcvičky          || 10    ||  5  ||  
+
|'''2. test''' (2. 5.) ||class="text-right"| 25 ||
 
|-
 
|-
|Domáce úlohy       || 10    ||   5  ||
+
|Teoretické domáce úlohy ||class="text-right"| 3 × 4 = 12 || ||rowspan="3"| Odovzdávanie nepovinné, <br>ale silno odporúčané
 
|-
 
|-
|Midterm test            || 15    ||   5  || Opraviteľný o 1 až 2 týždne
+
|'''Praktické úlohy'''||class="text-right"| 10 × 2 = 20 ||
 
|-
 
|-
|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.
+
|Praktické prémie||class="text-right"| ~10 ||
 
|-
 
|-
|Ústna skúška       || 10    |
+
!Semester spolu ||class="text-right"| '''60''' + ~22 ||class="text-right"| '''36''' ||
 +
|-
 +
| 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-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   
 
|-
 
|-
| ≥ 90             || A       
+
| ≥ 92             || A       
 
|-
 
|-
| ≥ 80             || B       
+
| ≥ 84             || B       
 
|-
 
|-
| ≥ 70             || C       
+
| ≥ 76             || C       
 
|-
 
|-
| ≥ 60             || D       
+
| ≥ 68             || D       
 
|-
 
|-
| ≥ 50              || E       
+
| ≥ '''60'''        || E       
 
|}
 
|}
 
</div>
 
</div>
 
</div>
 
</div>
 +
 +
=== <span id="pravidla-uloh">Pravidlá pre úlohy</span> ===
 +
 +
<dl>
 +
<dt>Odovzdávanie úloh</dt>
 +
<dd>
 +
<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>
 +
* 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 ==
 +
 +
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).
 +
 +
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
 +
!colspan=4| Písomná časť
 +
!colspan=4| Ústna časť
 +
|-
 +
|'''Riadny'''
 +
| pondelok || 21. mája || 13:00 || posl. A
 +
| piatok || 25. mája || 9:30 || I-9
 +
|-
 +
|'''1. opravný'''
 +
| piatok || 1. júna || 9:30 || posl. B
 +
| piatok || 8. júna || 9:30 || I-9
 +
|-
 +
|'''2. opravný'''
 +
| utorok || 19. júna || 9:30 || posl. A
 +
| piatok || 22. júna || 9:30 || I-9
 +
|}
 +
-->
  
 
== 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: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>
;Spoločný e-mail vyučujúcich
 
:<code>lpi-team{z@vináč}lists.dai.fmph.uniba.sk</code>
 
:Nekontaktujte vyučujúcich individuálne
 
  
== Archív noviniek ==
+
== Literatúra ==
;8. 4. 2017
+
: Termín odovzdania 7.&nbsp;praktického cvičenia (cv07) sme posunuli na štvrtok 13.&nbsp;apríla o&nbsp;23:59:59.
+
 
+
;21. 3. 2017
+
: '''Test''' (midterm) sa koná v piatok '''7.&nbsp;apríla o&nbsp;12:30 v&nbsp;posluchárni&nbsp;A'''.
+
  
;8. 3. 2017
+
* 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].
: Pridali sme [[#Rozvrh výučby|termín konzultácií]] a&nbsp;upozornenie na [[#Praktické cvičenia, domáce úlohy a materiály|pravidlá pre praktické cvičenia a&nbsp;domáce úlohy]].
+
* 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>
  
;10. 2. 2017
+
<!-- == Archív noviniek == -->
: Výučba predmetu sa začne prednáškou v pondelok 20. februára. '''Nižšie uvedené informácie sú predbežné.''' Oficiálne podmienky absolvovania oznámime na prednáške a následne aktualizujeme na tejto stránke.
+

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