What's New
14. 2. 2005 Predmet Logika pre informatikov 1 v letnom semestri šk. r. 2004/05 dobieha a preto je spojený s predmetom Úvod do deklaratívneho programovania bakalárskeho programu Aplikovaná informatika.
21. 9. 2004 Termín skúšky pre zahraničných študentov: štvrtok 21. októbra 2004 o 16:30 v H6.
30. 6. 2004 Druhý opravný termín prebehne vo štvrtok 26. augusta 2004 o 14:00 v H6.
- vo štvrtok 26. augusta 2004 medzi 14:00 a 15:00 v H6 (počas druhého opravného termínu) a
- v pondelok 13. septembra 2004 (deň zápisu do druhého ročníka) medzi 8:30 a 9:00 na I-27.
24. 6. 2004 Ďalšiu možnosť dať si zapísať známku budete mať v pondelok 28. júna 2004 medzi 14:00 a 14:30 v H6. Ak nemôžete v tom čase prísť, nechajte index na sekretariáte KVI a ÚI (miestnosť I-24) alebo na I-34. Vyzdvihnúť si ich budete môcť na rovnakých miestach do piatka 1. júla.
19. 5. 2004 Opravný termín prebehne vo štvrtok 24. JÚNA 2004 od 13:00 v H6. Ak ste sa nezúčastnili riadneho termínu, bude sa vám termín 24. 6. rátať ako riadny. Pokiaľ ste za semester a skúškový test získali 45 alebo viac bodov a chcete iba E, stačí, keď na opravnom termíne vyriešite iba jeden príklad z tých, ktoré ste nevyriešili na riadnom termíne.
19. 5. 2004 Výsledky skúškového testu a predpokladané známky sú v tabuľke. Ak ešte nemáte zapísanú známku, prídite si pre ňu hneď po opravnom termíne, t. j. 24. 6. o 14:00, do H6. Ak vám do lepšej známky chýbajú najviac 2 body, môžete sa pokúsiť vylepšiť si známku zodpovedaním otázky z oblastí, s ktorými ste na niektorom z testov mali problémy.
9. 5. 2004 Výsledky náhradného testu sú v tabuľke. Reklamovať môžete do 14. 5. (vrátane).
9. 5. 2004 Cez mailing list 3inf ste na kontá na študentských serveroch dostali možné termíny konzultácií pred skúškovým testom. Kópia správy je tu.
28. 4. 2004 UPOZORNENIE. V súbore ex11.cl stiahnuteľnom pred 19:20 boli chyby v zadaní cvičení 17 a 18. Stiahnite si opravený súbor ex11-1.cl.
28. 4. 2004 Riadny termín skúšky prebehne v piatok 14. 5. 2004 o 9:00, 10:15, 11:30 a o 15:00 v H6. Prihlasovací hárok nájdete na sklenenej stene H6 oproti miestnosti I-42. Na skúške budete mať za úlohu vyriešiť počas 60 minút štyri zadania po 10 bodov.
27. 4. 2004 Náhradný test sa bude konať v stredu 5. 5. 2004 o 9:50 v H6. Prihlasovací hárok nájdete na sklenenej stene H6 oproti miestnosti I-42. Tento test slúži ako náhradný termín testu, na ktorom ste chýbali. Výsledok testu, na ktorom ste sa zúčastnili, nie je možné opraviť.
23. 4. 2004 Výsledky druhého testu nájdete nižšie na tejto stránke. Reklamácie prijímame na cvičeniach alebo mailom do 5. 5. 2004 (vrátane).
6. 3. 2004 Na druhý test, ktorý sa bude konať 14. 4. 2004 v termínoch 14:50, 15:40, 16:30 a 17:20 v H6, sa môžete zapísať do hárku na sklenenej stene H6 oproti miestnosti I-42. Test bude trvať 30 minút a bude zložený z troch úloh tak, ako bolo vysvetlené na prednáške.
24. 3. 2004 Výsledky prvého testu nájdete nižšie na tejto stránke. Reklamácie prijímame na cvičeniach alebo mailom do 7. 4. 2004.
3. 3. 2004 Konzultácie pred prvým testom: pondelok 8. 3. 2004 od 18:10 do 20:00 v H6.
2. 3. 2004 Prvý test z LPI1 sa bude konať v stredu 10. marca 2004 v H6 v termínoch 9:50, 10:40, 11:30, 12:20 a prípadne 13:00. Na termíny sa môžete zapísať do hárku na sklenenej stene H6 oproti miestnosti I-42. Test potrvá 30 minút a pozostáva z troch úloh po 10 bodov vybratých z cvičení ex01 až ex04 (alebo analogických k úlohám z týchto cvičení). Upresnenie sa objaví na tejto stránke do konca týždňa.
10. 2. 2004
Vitajte na stránke Logiky pre informatikov 1.
Jej adresa je
http://ii.fmph.uniba.sk/cl/courses/lpi1?lang=sk.
Počas semestra tu nájdete aktuálne informácie o predmete,
študijných materiáloch, termínoch testov a ich výsledkoch.
Minuloročná
verzia pre prípadných záujemcov.
Course Materials
Študijné materiály k prednáškam:
Dušan Guller: Poznámky k prednáškam z LPI 1 (gzipovaný PostScript, 195,8 KB).
| Lecture | Slides | Examples in CL | |
|---|---|---|---|
| 1. | Explicit Clausal Definitions | sli1.pdf | lec1.cl |
| 2. | Recursive Clausal Definitions | sli2.pdf | |
| 3. | Binary and Dyadic Representations of Natural Numbers | sli3.pdf | |
| 4. | Dyadic Concatenation and Symbolic Programming in Natural Numbers | sli4.pdf | lec4.cl Preview |
| 5. | Simulation of Turing Machines in CL | sli5.pdf | lec5.cl Preview |
| 6. | Coding of n-tuples and of Finite Sequences in Natural Numbers | sli6.pdf | |
| 7. | Optimal pairing function | sli7.pdf | |
| 8. | Coding of terms and their denotations | sli8.pdf | lec8.cl Preview |
| 9. | Compilation of Terms, Coding of finite sets | sli9.pdf | |
| 10. | Combinatorial functions and sorting | sli10.pdf | |
| 11. | Binary search trees | sli11.pdf | |
| 12. | Semantics of propositional logic and its arithmetization | sli12.pdf | |
| 13. | Syntax of propositional logic: Sequents | sli13.pdf | lec13.cl Preview |
Exercises
| Cvičenie | Súbor so zadaním | Téma |
|---|---|---|
| 11. 2. 2004 | ex01.cl Zobraz | Explicitné definície Poznámky... str. 3--7 |
| 18. 2. 2004 | ex02.cl Zobraz | Rekurzívne definície aritmetických funkcií Poznámky... str. 18--19, 12, 10 |
| 25. 2. 2004 | ex03.cl Zobraz | Chvostová rekurzia, binárna a dyadická reprezentácia čísel Poznámky... str. 14--17, 21--23, 24--29 |
| 3. 3. 2004 | ex04.cl Zobraz | Kódovanie konečných postupností nad konečnou abecedou Poznámky... str. 30--31 |
| 10. 3. 2004 | ex05.cl Zobraz | Simulácia Turingových strojov |
| 17. 3. 2004 | ex06.cl Zobraz | Cantorova párovacia funkcia |
| 24. 3. 2004 | ex07.cl Zobraz | Simulácia Turingových strojov pomocou efektívnej párovacej funkcie |
| 31. 3. 2004 | ex08.cl Zobraz | Funkcie na zoznamoch; Funkčné termy Poznámky... str. 43--44; sli8.pdf |
| 7. 4. 2004 | ex09.cl Zobraz | Množiny Poznámky... str. 63--65 |
| 21. 4. 2004 | ex10.cl Zobraz | Kombinatorické funkcie na zoznamoch; Triedenie Poznámky... kap. 10, str. 66--71 |
| 28. 4. 2004 | ex11-1.cl Zobraz | Binárne stromy; Binárne vyhľadávacie stromy Poznámky... kap. 11, str. 72--78 NOVÁ VERZIA! V pôvodnej verzii (stiahnuteľnej pred 19:20) boli chybné zadania cvičení 17 a 18. |
| 5. 5. 2004 | ex12.cl Zobraz | Propozičná logika I |
| 12. 5. 2004 | ex13.cl Zobraz | Propozičná logika II |
Ak používate Mozillu, po kliknutí na Zobraz uvidíte obsah cvičenia.
Výsledky testov
| Alnatour--Forner | Gallus--Kohutovič | Koiš--Macko | Machovič--Satúryová | Sirný--Zíka | Všetci |
| Meno | Priezvisko | 1. test | 2. test | 1. + 2. test |
Skúška | Opravná skúška | ∑ | Známka | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 1 | 2 | 3 | ∑ | 1 | 2 | 3 | ∑ | 1 | 2 | 3 | 4 | ∑ | 1 | 2 | 3 | 4 | ∑ | riadny termín | opravný termín | ||||
| Michal | Machovič | 2 | 2 | 0 | 4 | 10 | 0 | 2 | 12 | 16 | 0 | 10 | 4 | 0 | 14 | 30 | FX | ||||||
| Tomáš | Malovič | 10 | 0 | 2 | 12 | 10 | 0 | 0 | 10 | 22 | 10 | 7 | 7 | 7 | 31 | 53 | E | ||||||
| Martin | Manduch | 10 | 0 | 2 | 12 | 12 | 12 | ||||||||||||||||
| Pavol | Marek | 10 | 10 | 8 | 28 | 10 | 0 | 0 | 10 | 38 | 10 | 7 | 10 | 0 | 27 | 65 | D | ||||||
| Dušan | Marko | 10 | 9 | 0 | 19 | 19 | 19 | ||||||||||||||||
| Andrej | Mihálik | 7 | 10 | 8 | 25 | 10 | 10 | 2 | 22 | 47 | 5 | 10 | 8 | 6 | 29 | 76 | C | ||||||
| Peter | Mišánik | 10 | 10 | 10 | 30 | 10 | 5 | 5 | 20 | 50 | 10 | 10 | 9 | 0 | 29 | 79 | C | ||||||
| Dimitrios | Mytilinaios | 2 | 2 | 0 | 4 | 4 | 10 | 2 | 0 | 0 | 12 | 16 | FX | ||||||||||
| Peter | Orolín | 2 | 7 | 0 | 9 | 10 | 0 | 8 | 18 | 27 | 6 | 6 | 5 | 0 | 17 | 8 | 10 | 8 | 9 | 35 | 62 | FX | D |
| Martin | Pastva | 10 | 2 | 5 | 17 | 10 | 2 | 0 | 12 | 29 | 8 | 2 | 10 | 7 | 27 | 56 | E | ||||||
| Martin | Piják | 2 | 2 | 2 | 6 | 10 | 10 | 0 | 20 | 26 | 8 | 0 | 7 | 4 | 19 | 45 | FX | ||||||
| Ján | Reguli | 10 | 10 | 2 | 22 | 2 | 0 | 10 | 12 | 34 | 8 | 10 | 10 | 8 | 36 | 70 | C | ||||||
| Marián | Revay | 10 | 10 | 0 | 20 | 10 | 0 | 0 | 10 | 30 | 10 | 10 | 0 | 0 | 20 | 50 | E | ||||||
| Michal | Rjaško | 10 | 10 | 10 | 30 | 10 | 7 | 8 | 25 | 55 | 10 | 10 | 10 | 6 | 36 | 91 | A | ||||||
| Milan | Ružička | 10 | 10 | 10 | 30 | 8 | 0 | 0 | 8 | 38 | 10 | 10 | 0 | 0 | 20 | 58 | E | ||||||
| Tomáš | Sako | 10 | 0 | 0 | 10 | 10 | 5 | 10 | 25 | 35 | 8 | 10 | 4 | 0 | 22 | 57 | E | ||||||
| Monika | Satúryová | 7 | 0 | 0 | 7 | 7 | 4 | 0 | 0 | 0 | 4 | 11 | FX | ||||||||||
Štatistika
| 1. test | 2. test | Skúška | Spolu | Histogram | Spolu* | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| [100, | 90] | % bodov | 19 | 8 | 18 | 7 | # | # | # | 7 | |||||||
| (90, | 80] | % bodov | 4 | 3 | 9 | 5 | # | # | 5 | ||||||||
| (80, | 70] | % bodov | 8 | 4 | 9 | 6 | # | # | 6 | ||||||||
| (70, | 60] | % bodov | 10 | 13 | 5 | 14 | # | # | # | # | # | 14 | |||||
| (60, | 50] | % bodov | 5 | 4 | 11 | 25 | # | # | # | # | # | # | # | # | # | # | 25 |
| (50, | 0] | % bodov | 37 | 38 | 12 | 26 | # | # | # | # | # | # | # | # | # | # | 7 |
| Počet študentov | 83 | 70 | 64 | 83 | 64 | ||||||||||||
| Priemerný počet bodov | 16.7831 | 14.7286 | 25.2813 | 50.9398 | 59.6250 | ||||||||||||
| Smerodajná odchýlka | 9.3976 | 8.1625 | 10.2431 | 26.7322 | 20.1079 | ||||||||||||
Stĺpec Spolu obsahuje štatistiku výsledkov študentov, ktorí sa
zúčastnili na aspoň jednom teste.
Stĺpec Spolu* obsahuje štatistiku pre študentov,
ktorí sa zúčastnili skúšky.
Marks and Grades
Možnosti získať body:
| 1. test | 30 bodov | ||
|---|---|---|---|
| 2. test | 30 bodov | ||
| náhradný 2. test | 30 bodov | ||
| skúška | 40 bodov | ||
Za semester je možné si nahradiť pri ospravedlnenej neúčasti maximálne jeden test v náhradnom 2. teste, ktorá sa bude konať v skúškovom období.
Známkovanie:
| A | 100 | -- | 90 | bodov |
|---|---|---|---|---|
| B | 89 | -- | 80 | bodov |
| C | 79 | -- | 70 | bodov |
| D | 69 | -- | 60 | bodov |
| E | 59 | -- | 50 | bodov |
| FX | 49 | -- | 0 | bodov |