Location: Courses | CL Homepage | Dept. of Appl. Inf. (AI and DP) | Faculty of Math., Physics, and Inf. | Comenius Univ. Bratislava | Slovakia

Logic for Computer Science 1

At the moment, this page is only available in Slovak.

Novinky

Materiály k prednáškam

Zadania cvičení

Výsledky testov

Hodnotenie


Letný semester 2003/04

Prednášky:
doc. Pavol J. Voda
utorok 11:30--13:00
poslucháreň A

Cvičenia:
Ján Kľuka
streda 14:50--18:05 H6


Adresa tejto stránky

http://ii.fmph.uniba.sk
/cl/courses/lpi1?lang=sk

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.

30. 6. 2004 Posledné dve možnosti dať si zapísať známku do indexu budete mať: UPOZORNENIE. V iných termínoch známky nezapisujeme. Ak si pre známku neprídete, nebude zapísaná ani do skúšobných hárkov.

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:

LectureSlidesExamples in CL
1.Explicit Clausal Definitionssli1.pdflec1.cl
2.Recursive Clausal Definitionssli2.pdf
3.Binary and Dyadic Representations of Natural Numberssli3.pdf
4.Dyadic Concatenation and Symbolic Programming in Natural Numberssli4.pdflec4.cl Preview
5.Simulation of Turing Machines in CLsli5.pdflec5.cl Preview
6.Coding of n-tuples and of Finite Sequences in Natural Numberssli6.pdf
7.Optimal pairing functionsli7.pdf
8.Coding of terms and their denotationssli8.pdflec8.cl Preview
9.Compilation of Terms, Coding of finite setssli9.pdf
10.Combinatorial functions and sortingsli10.pdf
11.Binary search treessli11.pdf
12.Semantics of propositional logic and its arithmetizationsli12.pdf
13.Syntax of propositional logic: Sequentssli13.pdflec13.cl Preview

Exercises

CvičenieSúbor so zadanímTéma
11. 2. 2004ex01.cl Zobraz
Explicitné definície
Poznámky... str. 3--7
18. 2. 2004ex02.cl Zobraz
Rekurzívne definície aritmetických funkcií
Poznámky... str. 18--19, 12, 10
25. 2. 2004ex03.cl Zobraz
Chvostová rekurzia, binárna a dyadická reprezentácia čísel
Poznámky... str. 14--17, 21--23, 24--29
3. 3. 2004ex04.cl Zobraz
Kódovanie konečných postupností nad konečnou abecedou
Poznámky... str. 30--31
10. 3. 2004ex05.cl Zobraz
Simulácia Turingových strojov
17. 3. 2004ex06.cl Zobraz
Cantorova párovacia funkcia
24. 3. 2004ex07.cl Zobraz
Simulácia Turingových strojov pomocou efektívnej párovacej funkcie
31. 3. 2004ex08.cl Zobraz
Funkcie na zoznamoch; Funkčné termy
Poznámky... str. 43--44; sli8.pdf
7. 4. 2004ex09.cl Zobraz
Množiny
Poznámky... str. 63--65
21. 4. 2004ex10.cl Zobraz
Kombinatorické funkcie na zoznamoch; Triedenie
Poznámky... kap. 10, str. 66--71
28. 4. 2004ex11-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. 2004ex12.cl Zobraz
Propozičná logika I
12. 5. 2004ex13.cl Zobraz
Propozičná logika II

Ak používate Mozillu, po kliknutí na Zobraz uvidíte obsah cvičenia.

Výsledky testov

Alnatour--FornerGallus--KohutovičKoiš--MackoMachovič--SatúryováSirný--ZíkaVšetci
MenoPriezvisko 1. test 2. test 1. + 2.
test
Skúška Opravná skúška Známka
123 123 1234 1234 riadny termín opravný termín
TomášSirný 500592102126458825 51 E
JurajSloboda 1010828101002048555015 63 D
PeterSuchý 100102020 20
VladimírŠimo 10021210010203251020175104019 51 FX E
AdamŠkorvaga 00221010103032695929 61 D
SavelTodorov 1020125100152710102628 55 E
VladimírTomeček 10101030101052555810101038 93 A
MartinVaško 200210010202210107532 54 E
MartinVavrovič 7108251010103055101091039 94 A
BorisVilkolák 10001001001020 20
MichaelaVyskočová 00000 0
TomášZachar 7010171050153210510934 66 D
MirkoZibolen 1010103010101030601010101040 100 A
FilipZigo 1021022105520429104023 65 D
MartinZíka 700710010202710106329 56 E

Štatistika

1. test 2. test Skúška Spolu Histogram Spolu*
[100,90]% bodov198187###7
(90,80]% bodov4395##5
(80,70]% bodov8496##6
(70,60]% bodov1013514#####14
(60,50]% bodov541125##########25
(50,0]% bodov37381226##########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. test30 bodov
2. test30 bodov
náhradný 2. test30 bodov
skúška40 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:

A100-- 90bodov
B89-- 80bodov
C79-- 70bodov
D69-- 60bodov
E59-- 50bodov
FX49-- 0bodov

* – updated within last 7 days Last modified: 2005-02-14T13:17+0100