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
(→‎Rozvrh výučby a konzultácií: druhaci/tretiaci, povinnost t.c.)
(→‎Podmienky absolvovania: Aktualizácia pre 2022/23)
Riadok 46: Riadok 46:
 
Na absolvovanie predmetu je potrebné splniť '''všetky''' nasledujúce podmienky:
 
Na absolvovanie predmetu je potrebné splniť '''všetky''' nasledujúce podmienky:
  
−
# 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í''' <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>'''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>
+
# Počas výučbovej časti semestra získať '''minimálne 30 bodov''' z dvoch testov, teoretických a praktických úloh a prémiových úloh (bonusov).
−
#* Ú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ť obe časti skúšky''', teda získať minimálne po 10 bodov zo skúškového testu aj ústnej skúšky.
−
# '''Úspešne absolvovať skúšku''', teda získať z nej aspoň 25 bodov z 50.
+
# Získať '''celkovo aspoň 60 bodov'''.
−
# Získať '''celkovo 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é „životy“ (po 1 bode).
 
 
<div class="row">
 
<div class="row">
 
<div class="col-sm-9">
 
<div class="col-sm-9">
 
{| class="alternative" id="tab-aktivity" style="margin-bottom: 10px;"
 
{| class="alternative" id="tab-aktivity" style="margin-bottom: 10px;"
 
|+Aktivity
 
|+Aktivity
−
!Semestrálna aktivita         !! Maximum  !! Minimum  !!  Poznámka
+
!Aktivita         !! Maximum  !! Minimum  !!  Poznámka
 
|-
 
|-
−
|Teoretické úlohy||class="text-right"| 5 × 4 = 20 || každá 2 body ||rowspan="2"| Viď [[#pravidla-uloh|pravidlá pre úlohy]]
+
|'''1. test''' (14. 3.) ||class="text-right"| 15 || ||rowspan="2"| Nemožno opraviť, iba<br>nahradiť ospravedlnenú neúčasť
 
|-
 
|-
−
|Praktické úlohy||class="text-right"| 10 × 2 = 20 ||
+
|'''2. test''' (25. 4.) ||class="text-right"| 25 ||
 
|-
 
|-
−
|Midterm test ||class="text-right"| 10 || || Žiadne minimum, nemožno opraviť
+
|Teoretické úlohy ||class="text-right"| 12 × 0,5 = 6 || ||rowspan="4"| Odovzdávanie nepovinné, <br>ale silno odporúčané
 
|-
 
|-
−
|Bonusy ||class="text-right"| ~ 10 || ||
+
|Teoretické prémie ||class="text-right"| 5 × 2 = 5 ||
 
|-
 
|-
−
!Skúška !! Maximum !! Minimum !! Poznámka
+
|'''Praktické úlohy'''||class="text-right"| 10 × 2 = 20 ||
 
|-
 
|-
−
| Skúška ||class="text-right"| 50 ||class="text-right"| 25 || Formu skúšky upresníme začiatkom mája
+
|Praktické prémie||class="text-right"| 10 ||
 +
|-
 +
!Semester spolu ||class="text-right"| '''60''' + ~21 ||class="text-right"| '''30''' ||
 +
|-
 +
| Skúškový test ||class="text-right"|  20 ||class="text-right"| 10 ||rowspan="2"| Neúspech na teste znamená<br>stratu skúškového termínu
 +
|-
 +
| Ústna skúška ||class="text-right"|  20 ||class="text-right"| 10
 +
|-
 +
!Skúška spolu ||class="text-right"| '''40''' ||class="text-right"| '''20'''||
 
|}
 
|}
 
</div>
 
</div>
Riadok 82: Riadok 85:
 
! 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 98: Riadok 101:
  
 
<dl>
 
<dl>
−
<dt>Úspešnosť hodnotených teoretických úloh</dt>
+
<dt>Odovzdávanie ú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>
 
<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>
+
<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 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á).
 
* 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á).

Verzia zo dňa a času 20:00, 14. február 2023

Logika pre informatikov 1-AIN-412

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

Informačný list predmetu

Novinky

13. 2. 2023
Začíname výučbu v letnom semesteri 2022/23 prvou prednáškou.
Prednášky tento rok vyučujeme spoločne s predmetom Úvod do matematickej logiky (1-INF-210).
7. 2. 2023
Aktualizujeme podmienky absolvovania. Platné budú od utorka 14. 2. 2023, 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 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í

 Rozvrh predmetu v Candle

Predmet má teoretické cvičenia (v stredu, v rozvrhu označené C) aj praktické cvičenia (vo štvrtok, v rozvrhu označené L). 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. Ď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. 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 30 bodov z dvoch testov, teoretických a praktických úloh a prémiových úloh (bonusov).
  3. Úspešne absolvovať obe časti skúšky, teda získať minimálne po 10 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 (14. 3.) 15 Nemožno opraviť, iba
nahradiť ospravedlnenú neúčasť
2. test (25. 4.) 25
Teoretické úlohy 12 × 0,5 = 6 Odovzdávanie nepovinné,
ale silno odporúčané
Teoretické prémie 5 × 2 = 5
Praktické úlohy 10 × 2 = 20
Praktické prémie 10
Semester spolu 60 + ~21 30
Skúškový test 20 10 Neúspech na teste znamená
stratu skúškového termínu
Ústna skúška 20 10
Skúška spolu 40 20
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:Mathematics_4/sk
Githubová organizácia pre predmet
https://github.com/FMFI-UK-1-AIN-412

Literatúra


Zdroj: „http://dai.fmph.uniba.sk/w?title=Course:Logic_for_CS/sk&oldid=21777“