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
MarwanAlnatour 10001010 10
MariánBalog 700720029 9
PeterBaran 270910001019100331610109938 57 FX E
VeronikaBellanová 010212000012 12
RadovanBerta 1020121000102208109101010535 57 FX E
PeterBolemant 10201210051527101010939 66 D
MichalBorga 01010202100123210108432 64 D
MiroslavaBožeková 101082891001947376723 70 C
DanielBuchta 1010103010101030601010101040 100 A
MarekBujnovský 10210221000103254401310104024 56 FX E
MichalČertický 000000000 0
AlenaČurgaliová 50055 5
MariánDudek 10102221010103052101091039 91 A
PeterDuducz 10001010 10
RóbertDurkaj 1010103010101030605108023 83 B
IvanFloch 22044 4
MartinForner 100102020 20
MartinGallus 100102010001030520071056021 51 FX E
BranislavGoga 7101027102012395107022 61 D
Ali SerdarHaj 100010000010 10
MichalHeriban 70291010828371079531 68 D
AndrejHorný 000050055 5
MichalHuba 22599 9
MichalHučko 10101030100010401010101040 80 B
MichalHudek 10101030700737400045010015 52 FX E
MartinIlčík 101010301057225267101033 85 B
MichalJaborník 101022222 22
AdriánJágrik 70101702021981010432 51 E
JadullaJameel 10105251010020451061118 63 D
AdamJeško 1010222100717391054019 58 E
PeterKabát 10021210001022768223768829 51 FX E
RóbertKeszeg 10101217007283740145107022 50 FX E
Tereq A.K.Khreibi 10701710001027 27
AntonKohutovič 781025520732101071037 69 D
ViliamKoiš 1000101000102007301010105227 47 FX FX
JánKollárik 7210195005241101820689932 56 FX E
ŠtefanKonečný 1010828775194710108937 84 B
MartinKosorinský 1010103010001040101010030 70 C
MichalKotrbčík 107017104014313107323 54 E
TomášKováčik 101092910001039964019 58 E
MatejKovalčík 20241010020244046141010101040 64 FX D
MariánKrátky 101002010021232532010 42 FX
MatejKravjar 101010301071027571010101040 97 A
JakubKrchňavý 200210001012 12
MarcelKuchárek 7209100010199109836 55 E
TomášKvasnica 2226100010165598271010101040 56 FX E
JurajLadický 1010103050053510100020 55 E
MilanLeitman 1028201010020401010101040 80 B
JulianaLipková 77822102102244101010535 79 C
JurajMaciak 100212200214290011 25 FX
MartinMacko 71021955010291010101040 69 D
MichalMachovič 2204100212160104014 30 FX
TomášMalovič 100212100010221077731 53 E
MartinManduch 10021212 12
PavolMarek 10108281000103810710027 65 D
DušanMarko 10901919 19
AndrejMihálik 7108251010222475108629 76 C
PeterMišánik 101010301055205010109029 79 C
DimitriosMytilinaios 220441020012 16 FX
PeterOrolín 2709100818276650178108935 62 FX D
MartinPastva 102517102012298210727 56 E
MartinPiják 2226101002026807419 45 FX
JánReguli 10102222010123481010836 70 C
MariánRevay 10100201000103010100020 50 E
MichalRjaško 1010103010782555101010636 91 A
MilanRužička 1010103080083810100020 58 E
TomášSako 1000101051025358104022 57 E
MonikaSatúryová 7007740004 11 FX
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