Hlavné menu

Course:Mathematics 4/sk: Rozdiel medzi revíziami

(Základný obsah)
(→‎Podmienky absolvovania)
 
(31 medziľahlých úprav od rovnakého používateľa.)
Riadok 1: Riadok 1:
 
[[Category:Predmety 1-AIN]] {{DISPLAYTITLE:Matematika (4) – Logika pre informatikov <small>1-AIN-412/15</small>}}
 
[[Category:Predmety 1-AIN]] {{DISPLAYTITLE:Matematika (4) – Logika pre informatikov <small>1-AIN-412/15</small>}}
−
= Matematika (4) – <br>Logika pre informatikov <small>1-AIN-412/15</small>=
+
= Matematika (4) – <span style="display:inline-block;">Logika pre informatikov</span> <small style="white-space:nowrap;">1-AIN-412/15</small>=
 +
__TOC__
  
 
Kurz základov matematickej logiky a výpočtovnej logiky, potrebných pre ďalšie štúdium (aplikovanej) informatiky.
 
Kurz základov matematickej logiky a výpočtovnej logiky, potrebných pre ďalšie štúdium (aplikovanej) informatiky.
Riadok 8: Riadok 9:
 
== Novinky ==
 
== Novinky ==
  
−
;15. 2. 2016
+
;29. 5. 2016 a 30. 5. 2016
−
: Výučba predmetu sa začne v týždni od 22. februára z dôvodu solidárneho štrajku väčšiny vyučujúcich.
+
: '''Ďalšie termíny skúškového (final) testu''' sme vypísali v AIS na:
 +
:* utorok 7. júna 2016 o 15:30 v posluchárni A,
 +
:* utorok 14. júna 2016 o 13:00 v posluchárni A.
 +
: <p>Termín testu v utorok 31. mája sme zrušili.</p>
 +
: '''Termíny (nepovinnej) ústnej skúšky''' sme vypísali v AIS na:
 +
:* utorok 31. mája 2016 o 9:30 (5 študentov) a o 13:00 (9 študentov) – I-16,
 +
:* utorok 7. júna 2016 o 9:30 (6 študentov) a o 13:00 (6 študentov)  – I-16,
 +
:* utorok 14. júna 2016 o 9:30 (6 študentov) – I-16.
 +
: <p>V čase ústnych skúšok zapisujeme aj známky do indexov podľa '''upravenej [[#Podmienky absolvovania|stupnice hodnotenia]]'''.</p>
 +
: '''Konzultácie''':
 +
:* pondelok 30. mája 2016 od 9:30 do 17:00 v I-7 alebo I-16,
 +
:* pondelok 6. júna 2016 od 9:30 do 17:00 v I-7 alebo I-16,
 +
:* pondelok 13. júna 2016 od 9:30 do 15:30 v I-16.
 +
 
 +
;18. 5. 2016
 +
: <p>'''Riadny termín skúškového (final) testu''' sme na prednáške dohodli na '''piatok 27. mája 2016 o 9:00 v posluchárni A.'''<br/>'''Ústna skúška''' k riadnemu termínu začne '''v utorok 31. mája 2016 o 9:30 v miestnosti I-16'''. V tom čase bude tiež možné dať si zapísať známku do indexu.</p><p>Opravný termín final testu bude v utorok 31. mája 2016 o 13:00 v posluchárni F2. Ďalšie termíny oznámime s dostatočným predstihom.</p>
 +
 
 +
[[#Archív noviniek|Archív noviniek…]]
  
 
== Literatúra ==
 
== Literatúra ==
  
−
* <cite>Logika : Neúplnost, složitost a nutnost.</cite> Vítězslav Švejdar. 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].
+
* 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].
−
* <cite>Logika prvého rádu.</cite> Raymond M. Smullyan ; 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]
+
* 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].
  
 
== Materiály a odovzdávanie riešení úloh ==
 
== Materiály a odovzdávanie riešení úloh ==
  
−
[https://github.com/FMFI-UK-1-AIN-412/lpi Zadania praktických cvičení a domácich úloh, materiály k prednáškam] (gitlab.com)
+
[https://github.com/FMFI-UK-1-AIN-412/lpi Zadania praktických cvičení a domácich úloh, materiály k prednáškam] (na github.com).
  
−
Riešenia praktických cvičení a domácich úloh sa odovzdávajú cez git-ové repozitáre na gitlab.com. Podrobnosti vysvetlíme na cvičeniach.
+
Riešenia praktických cvičení a domácich úloh sa odovzdávajú prostredníctvom [https://github.com/FMFI-UK-1-AIN-412 github-u]. Postup vysvetlíme na cvičeniach.
  
−
== Výučba ==
+
== Rozvrh výučby ==
 
{| class="alternative"
 
{| class="alternative"
 
!Druh výučby
 
!Druh výučby
Riadok 39: Riadok 57:
 
|-
 
|-
 
|rowspan="3"|Teoretické cvičenia
 
|rowspan="3"|Teoretické cvičenia
−
|2AIN1
+
|[https://zona.fmph.uniba.sk/studium/rozvrhy/aplikovana-informatika-bc-2-rocnik/#c41869 2AIN1]
 
|utorok
 
|utorok
 
|14:50
 
|14:50
Riadok 45: Riadok 63:
 
|[[Jan Kluka|Ján Kľuka]]
 
|[[Jan Kluka|Ján Kľuka]]
 
|-
 
|-
−
|2AIN3
+
|[https://zona.fmph.uniba.sk/studium/rozvrhy/aplikovana-informatika-bc-2-rocnik/#c41872 2AIN3]
 
|utorok
 
|utorok
 
|16:30
 
|16:30
Riadok 51: Riadok 69:
 
|[[Martin Homola|Martin Homola]]
 
|[[Martin Homola|Martin Homola]]
 
|-
 
|-
−
|2AIN2
+
|[https://zona.fmph.uniba.sk/studium/rozvrhy/aplikovana-informatika-bc-2-rocnik/#c41870 2AIN2]
 
|streda
 
|streda
 
|14:00
 
|14:00
Riadok 58: Riadok 76:
 
|-
 
|-
 
|rowspan="3"| Praktické cvičenia
 
|rowspan="3"| Praktické cvičenia
−
|2AIN1,2AIN3
+
|[https://zona.fmph.uniba.sk/studium/rozvrhy/aplikovana-informatika-bc-2-rocnik/#c41869 2AIN1], [https://zona.fmph.uniba.sk/studium/rozvrhy/aplikovana-informatika-bc-2-rocnik/#c41872 2AIN3]
 
|streda
 
|streda
 
|14:50
 
|14:50
Riadok 64: Riadok 82:
 
|[[Jozef Siska|Jozef Šiška]], [[Jan Kluka|Ján Kľuka]]
 
|[[Jozef Siska|Jozef Šiška]], [[Jan Kluka|Ján Kľuka]]
 
|-
 
|-
−
|2AIN2
+
|[https://zona.fmph.uniba.sk/studium/rozvrhy/aplikovana-informatika-bc-2-rocnik/#c41870 2AIN2]
 
|štvrtok
 
|štvrtok
 
|8:10
 
|8:10
Riadok 70: Riadok 88:
 
|[[Jozef Siska|Jozef Šiška]]
 
|[[Jozef Siska|Jozef Šiška]]
 
|}
 
|}
 +
 +
'''Zúčastňujte sa cvičení priradených vášmu krúžku''', inak sa vám cvičiaci nebudú môcť dostatočne venovať.
 +
* 2AIN1: [https://zona.fmph.uniba.sk/studium/rozvrhy/aplikovana-informatika-bc-2-rocnik/#c41869 zoznam študentov], [https://candle.fmph.uniba.sk/kruzky/2AIN1 rozvrh];
 +
* 2AIN2: [https://zona.fmph.uniba.sk/studium/rozvrhy/aplikovana-informatika-bc-2-rocnik/#c41870 zoznam študentov], [https://candle.fmph.uniba.sk/kruzky/2AIN2 rozvrh];
 +
* 2AIN3: [https://zona.fmph.uniba.sk/studium/rozvrhy/aplikovana-informatika-bc-2-rocnik/#c41872 zoznam študentov], [https://candle.fmph.uniba.sk/kruzky/2AIN3 rozvrh].
 +
 +
[https://candle.fmph.uniba.sk/?showLessons=1-AIN-412 Rozvrh predmetu] na candle.fmph.uniba.sk.
  
 
== Podmienky absolvovania ==
 
== Podmienky absolvovania ==
  
−
Na absolvovanie predmetu je potrebné z každej aktivity získať aspoň bodové hodnotenie uvedené v stĺpci '''Min''' a celkovo získať aspoň 50 bodov. Známka sa následne určí podľa tabuľky Hodnotenie.
+
Na absolvovanie predmetu je potrebné splniť '''obe''' z nasledujúcich podmienok:
 +
* z každej aktivity získať aspoň bodové hodnotenie uvedené v stĺpci <i>Min</i> v tabuľke <i>Aktivity</i>;
 +
* celkovo získať aspoň 50 bodov.
 +
Známka sa následne určí podľa tabuľky <i>Hodnotenie</i>.
  
 
<div class="row">
 
<div class="row">
−
<div class="col-md-6">
+
<div class="col-sm-8">
 
{| class="alternative"
 
{| class="alternative"
 
|+Aktivity
 
|+Aktivity
Riadok 87: Riadok 115:
 
|Domáce úlohy      || 10    ||  5  ||
 
|Domáce úlohy      || 10    ||  5  ||
 
|-
 
|-
−
|Midterm            || 15    ||  5  || Opraviteľný o týždeň-dva
+
|Midterm            || 15    ||  5  || Opraviteľný o 1 až 2 týždne
 
|-
 
|-
 
|Final              || 25    ||  10  || Opraviteľný ako skúška
 
|Final              || 25    ||  10  || Opraviteľný ako skúška
 
|-
 
|-
−
|Ústna skúška      || 10    ||  0  || Minimum pre uznanie ústnej skúšky: 3 body
+
|Ústna skúška      || 10    ||  0  || <del>Minimum pre uznanie ústnej skúšky: 3 body</del> Nepovinná. Ak sa ústnej skúšky zúčastníte, započíta sa do celkového hodnotenia, iba ak z nej získate aspoň 3 body.
 
|}
 
|}
 
</div>
 
</div>
−
<div class="col-md-6">
+
<div class="col-sm-4">
 
{| class="alternative"
 
{| class="alternative"
 
|+Hodnotenie
 
|+Hodnotenie
 
! Bodové hodnotenie !! Známka   
 
! Bodové hodnotenie !! Známka   
 
|-
 
|-
−
| ≥ 90              || A       
+
| ≥ <del>90</del> 86             || A       
 
|-
 
|-
−
| ≥ 80              || B       
+
| ≥ <del>80</del> 77             || B       
 
|-
 
|-
−
| ≥ 70              || C       
+
| ≥ <del>70</del> 68             || C       
 
|-
 
|-
−
| ≥ 60              || D       
+
| ≥ <del>60</del> 59             || D       
 
|-
 
|-
−
| ≥ 50              || E       
+
| ≥ <del>50</del> 50              || E       
 
|}
 
|}
 
</div>
 
</div>
 
</div>
 
</div>
−
__NOTOC__
+
 
 +
== Ocenenia ==
 +
 
 +
;Najlepší riešitelia rozcvičiek
 +
;Najlepší riešitelia domácich úloh
 +
;Najlepší riešitelia praktických cvičení
 +
 
 +
== Archív noviniek ==
 +
 
 +
;21. 4. 2016
 +
: V týždňoch od 25. apríla do 6. mája bude prednášať dr. Šiška, budú sa konať praktické cvičenia, ale nie teoretické cvičenia. Ako sme oznámili na prednáške, ostatní vyučujúci budú v tomto čase na zahraničnej konferencii.
 +
: Vytvorili sme vo vašich repozitároch [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/du04/du04 vetvu s priečinkom] pre elektronické odovzdanie 4. domácej úlohy; obsahuje aj jej [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/du04/du04 zadanie].
 +
: Sprístupnili sme doterajšie [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/master/docs/lecs/ prednášky] a [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/master/docs/labs/ zadania teoretických cvičení] v repozitároch na githube..
 +
;12. 4. 2016
 +
: '''Opravný midterm''' sa uskutoční v utorok '''19. apríla o 18:10''' v posluchárni F1. Na opravný midterm je potrebné '''prihlásiť sa cez AIS''' v čase od utorka 12. apríla 12:00 do pondelka 18. apríla 13:10.<br>Pre študentov prihlásených na opravný midterm k 18. aprílu 13:10 '''platí hodnotenie, ktoré z neho získajú''' (aj keby bolo nižšie ako ich hodnotenie z riadneho midtermu alebo nulové z dôvodu neúčasti).
 +
: Vytvorili sme vo vašich repozitároch [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/du03/du03 vetvu s priečinkom] pre elektronické odovzdanie 3. domácej úlohy.
 +
;21. 3. 2016
 +
: '''Midterm''' z Matematiky 4 prebehne v stredu '''6. apríla 2016 o 18:10''' v posluchárni A.
 +
: '''Teoretické cvičenia''' krúžkov 2AIN1 a 2AIN3, ktoré by odpadli v utorok 29. marca, sa '''nahrádzajú''' vopred, na praktických cvičeniach v '''stredu 23. marca o 14:50'''. Stretneme sa v H6 a rozdelíme sa podľa krúžkov.
 +
;18. 3. 2016
 +
: '''Opravili''' a spresnili sme [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/du02/du02/du02-zadanie.pdf zadanie 2. domácej úlohy]. Vytvorili sme vo vašich repozitároch [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/du02/du02 vetvu s priečinkom] pre jej elektronické odovzdanie. Termín odovzdania sme posunuli na '''30. marca''' 2016. Detaily nájdete v [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/du02/du02/du02-zadanie.pdf zadaní].
 +
;6. 3. 2016
 +
: Zverejnili sme naše [https://github.com/FMFI-UK-1-AIN-412/lpi/blob/master/docs/temy-rp.md témy ročníkových projektov].
 +
: Vytvorili sme vo Vašich repozitároch priečinok a vetvu pre elektronické odovzdanie [https://github.com/FMFI-UK-1-AIN-412/lpi/tree/du01/du01 1. domácej úlohy].
 +
;15. 2. 2016
 +
: Výučba predmetu sa začne v týždni od 22. februára z dôvodu solidárneho štrajku väčšiny vyučujúcich.

Aktuálna revízia z 19:47, 30. máj 2016

Matematika (4) – Logika pre informatikov 1-AIN-412/15

Kurz základov matematickej logiky a výpočtovnej logiky, potrebných pre ďalšie štúdium (aplikovanej) informatiky.

Informačný list predmetu

Novinky

29. 5. 2016 a 30. 5. 2016
Ďalšie termíny skúškového (final) testu sme vypísali v AIS na:
  • utorok 7. júna 2016 o 15:30 v posluchárni A,
  • utorok 14. júna 2016 o 13:00 v posluchárni A.

Termín testu v utorok 31. mája sme zrušili.

Termíny (nepovinnej) ústnej skúšky sme vypísali v AIS na:
  • utorok 31. mája 2016 o 9:30 (5 študentov) a o 13:00 (9 študentov) – I-16,
  • utorok 7. júna 2016 o 9:30 (6 študentov) a o 13:00 (6 študentov) – I-16,
  • utorok 14. júna 2016 o 9:30 (6 študentov) – I-16.

V čase ústnych skúšok zapisujeme aj známky do indexov podľa upravenej stupnice hodnotenia.

Konzultácie:
  • pondelok 30. mája 2016 od 9:30 do 17:00 v I-7 alebo I-16,
  • pondelok 6. júna 2016 od 9:30 do 17:00 v I-7 alebo I-16,
  • pondelok 13. júna 2016 od 9:30 do 15:30 v I-16.
18. 5. 2016

Riadny termín skúškového (final) testu sme na prednáške dohodli na piatok 27. mája 2016 o 9:00 v posluchárni A.
Ústna skúška k riadnemu termínu začne v utorok 31. mája 2016 o 9:30 v miestnosti I-16. V tom čase bude tiež možné dať si zapísať známku do indexu.

Opravný termín final testu bude v utorok 31. mája 2016 o 13:00 v posluchárni F2. Ďalšie termíny oznámime s dostatočným predstihom.

Archív noviniek…

Literatúra

  • Vítězslav Švejdar. Logika: neúplnost, složitost a nutnost. Praha: Academia, 2002. Vo fakultnej knižnici; PDF. Errata.
  • Raymond M. Smullyan. Logika prvého rádu. Z anglického originálu preložil Svätoslav Mathé. Bratislava: Alfa, 1979. Vo fakultnej knižnici.

Materiály a odovzdávanie riešení úloh

Zadania praktických cvičení a domácich úloh, materiály k prednáškam (na github.com).

Riešenia praktických cvičení a domácich úloh sa odovzdávajú prostredníctvom github-u. Postup vysvetlíme na cvičeniach.

Rozvrh výučby

Druh výučby Krúžky Deň Čas Miesto Vyučujúci
Prednášky 2AIN* pondelok 11:30 B Ján Kľuka
Teoretické cvičenia 2AIN1 utorok 14:50 M-VII Ján Kľuka
2AIN3 utorok 16:30 M-VII Martin Homola
2AIN2 streda 14:00 M-XII Júlia Pukancová
Praktické cvičenia 2AIN1, 2AIN3 streda 14:50 I-H6 Jozef Šiška, Ján Kľuka
2AIN2 štvrtok 8:10 I-H3 Jozef Šiška

Zúčastňujte sa cvičení priradených vášmu krúžku, inak sa vám cvičiaci nebudú môcť dostatočne venovať.

Rozvrh predmetu na candle.fmph.uniba.sk.

Podmienky absolvovania

Na absolvovanie predmetu je potrebné splniť obe z nasledujúcich podmienok:

  • z každej aktivity získať aspoň bodové hodnotenie uvedené v stĺpci Min v tabuľke Aktivity;
  • celkovo získať aspoň 50 bodov.

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

Aktivity
Aktivita Max Min Poznámka
Praktické cvičenia 30 15
Rozcvičky 10 5
Domáce úlohy 10 5
Midterm 15 5 Opraviteľný o 1 až 2 týždne
Final 25 10 Opraviteľný ako skúška
Ústna skúška 10 0 Minimum pre uznanie ústnej skúšky: 3 body Nepovinná. Ak sa ústnej skúšky zúčastníte, započíta sa do celkového hodnotenia, iba ak z nej získate aspoň 3 body.
Hodnotenie
Bodové hodnotenie Známka
≥ 90 86 A
≥ 80 77 B
≥ 70 68 C
≥ 60 59 D
≥ 50 50 E

Ocenenia

Najlepší riešitelia rozcvičiek
Najlepší riešitelia domácich úloh
Najlepší riešitelia praktických cvičení

Archív noviniek

21. 4. 2016
V týždňoch od 25. apríla do 6. mája bude prednášať dr. Šiška, budú sa konať praktické cvičenia, ale nie teoretické cvičenia. Ako sme oznámili na prednáške, ostatní vyučujúci budú v tomto čase na zahraničnej konferencii.
Vytvorili sme vo vašich repozitároch vetvu s priečinkom pre elektronické odovzdanie 4. domácej úlohy; obsahuje aj jej zadanie.
Sprístupnili sme doterajšie prednášky a zadania teoretických cvičení v repozitároch na githube..
12. 4. 2016
Opravný midterm sa uskutoční v utorok 19. apríla o 18:10 v posluchárni F1. Na opravný midterm je potrebné prihlásiť sa cez AIS v čase od utorka 12. apríla 12:00 do pondelka 18. apríla 13:10.
Pre študentov prihlásených na opravný midterm k 18. aprílu 13:10 platí hodnotenie, ktoré z neho získajú (aj keby bolo nižšie ako ich hodnotenie z riadneho midtermu alebo nulové z dôvodu neúčasti).
Vytvorili sme vo vašich repozitároch vetvu s priečinkom pre elektronické odovzdanie 3. domácej úlohy.
21. 3. 2016
Midterm z Matematiky 4 prebehne v stredu 6. apríla 2016 o 18:10 v posluchárni A.
Teoretické cvičenia krúžkov 2AIN1 a 2AIN3, ktoré by odpadli v utorok 29. marca, sa nahrádzajú vopred, na praktických cvičeniach v stredu 23. marca o 14:50. Stretneme sa v H6 a rozdelíme sa podľa krúžkov.
18. 3. 2016
Opravili a spresnili sme zadanie 2. domácej úlohy. Vytvorili sme vo vašich repozitároch vetvu s priečinkom pre jej elektronické odovzdanie. Termín odovzdania sme posunuli na 30. marca 2016. Detaily nájdete v zadaní.
6. 3. 2016
Zverejnili sme naše témy ročníkových projektov.
Vytvorili sme vo Vašich repozitároch priečinok a vetvu pre elektronické odovzdanie 1. domácej úlohy.
15. 2. 2016
Výučba predmetu sa začne v týždni od 22. februára z dôvodu solidárneho štrajku väčšiny vyučujúcich.
Zdroj: „http://dev.dai.fmph.uniba.sk/w?title=Course:Mathematics_4/sk&oldid=15015“