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 2

This page is only available in Slovak.

Novinky

Materiály k prednáškam

Zadania cvičení

Výsledky testov

Hodnotenie


Zimný semester 2004/05

Prednášky:
doc. Pavol J. Voda
streda 9:50--11:20
poslucháreň B

Cvičenia:
Ján Kľuka
štvrtok 13:10--16:25 H6

Konzultácie:
streda 13:10--14:50 I-34, H6
po dohode aj
streda 18:10--20:00 I-34, H6


Táto stránka:
http://ii.fmph.uniba.sk
/cl/courses/lpi2?lang=sk

Študentská anketa

Novinky

17. 3. 2005 Druhý opravný termín bude vo štvrtok 14. apríla 2005 o 18:10 v H6. Na termín je potrebné sa zapísať do hárku na sklenenej stene H6.

14. 2. 2005 Známky do indexov zapisujeme po prednáške z predmetu Úvod do deklaratívneho programovania, ktorá sa koná každý utorok od 11:30 do 13:00 v posluchárni F1-108 (pri skriptárni -- predajni firmy TopSoft nad bufetom). Upozorňujeme, že známky boli k 13. 2. zapísané do hárkov a vylepšovanie minitestami z prednášok už nie je možné.

2. 2. 2005 Druhý opravný termín bude v priebehu apríla. Termín spresníme do konca februára.

2. 2. 2005 Posledná možnosť nechať si zapísať známku so započítaním bodov za minitesty z prednášky bude 9. februára medzi 13:30--14:00 na I-27.

17. 1. 2005 Výsledky skúškových testov sú v tabuľke.

14. 1. 2005 Body z minitestov na prednáškach vám započítame, iba ak si prídete dať zapísať známku v ohlásených termínoch.

5. 1. 2005 Výsledky náhradného testu sú v tabuľke.

18. 12. 2004 Konzultácie pred skúškami: 5. a 12. 1. 2005 (stredy) medzi 13:30 a 17:30 v H6.

13. 12. 2004 Podľa dohody na prednáške 8. 12. vypisujeme dva termíny skúšky:

Na skúšku sa zapíšte do hárku na sklenenej stene H6 oproti I-42. Na každý z termínov sa môže zapísať najviac 36 študentov.

Okrem toho na konci skúškového obdobia bude jeden termín vyhradený na prvý opravný termín. Presný dátum a čas zverejníme s dostatočným predstihom.

9. 12. 2004 Zadanie ex10 pre cvičenie, ktoré sa malo konať dnes, nájdete v zozname cvičení. Toto zadanie považujte kvôli rekonštrukcii H6 za domácu úlohu. So záujemcami o konzultácie sa cvičiaci môže stretnúť po 16:30 v miestnosti M217 prípadne F1-248. Ohláste sa mailom (kluka(zavináč)fmph(bodka)uniba(bodka)sk) alebo osobne na I-34.

9. 12. 2004 ZMENA!!! Kvôli (s nedostatočným predstihom oznámenej) rekonštrukcii miestnosti H6 sa náhradný test presúva na 16. 12. 2004 18:10.

7. 12. 2004 Výsledky druhého testu nájdete v tabuľke nižšie na tejto stránke.

2. 12. 2004 Náhradný test pre tých, ktorí sa nezúčastnili prvého alebo druhého testu, bude vo štvrtok 9. 16. 12. 2004 o 18:10 v H6. Na náhradný test sa musíte zapísať do hárku na sklenenej stene miestnosti H6, pričom je potrebné uviesť, ktorý z testov si chcete nahradiť.

Ak by Vám termín nevyhovoval z rozvrhových dôvodov, oznámte to cvičiacemu do pondelka 6. 12. (vrátane).

Tento oznam sa týka aj zahraničných študentov.

24. 11. 2004 Informácie o druhom teste:

18. 11. 2004 Cvičenie ex07 sa zmenilo na ex07-1.cl. Návody k dôkazom nájdete v aktualizovanom texte Paul J. Voda: Peano Arithmetic and Clausal Language.

26. 10. 2004 Výsledky prvého testu nájdete v tabuľke nižšie na tejto stránke.

14. 10. 2004 Prvý test prebehne na cvičeniach 21. 10. 2004. Na teste budete počas 30-tich minút riešiť dve úlohy po 15 bodov (prvá z cvičenia Ex02 alebo z prvej časti Ex03, druhá z druhej časti Ex03). Na jednotlivé termíny sa zapíšte do hárku na sklenenej stene H6 oproti miestnosti I-42.

Najmä v súvislosti s testom dávame do pozornosti konzultačné hodiny v ľavom stĺpci tejto stránky.

14. 10. 2004 Opravené preklepy v cvičení 3.

30. 9. 2004 Opravené preklepy v cvičení 1.

29. 9. 2004 Vo vlastnom záujme sa oboznámte s pravidlami hodnotenia.

22. 9. 2004 Nastavte si automatické preposielanie pošty z počítačov Pascal/Rafael/Turing na adresu, na ktorej si poštu skutočne čítate. Návod:

    Username: 3niekto
    Password:
	Last interactive login on Tuesday, 14-SEP-2004 12:40:28.20
	Last non-interactive login on Tuesday, 14-SEP-2004 12:48:39.52
    $ mail
    MAIL> set forward
    _Address: mx%"niekto@niekde.sk"

    MAIL> show forward
    Your mail is being forwarded to MX%"niekto@niekde.sk".

    MAIL> exit
    $ logout

21. 9. 2004 Nová stránka pre nový semester (pre zvedavcov máme archivovanú aj minuloročnú verziu). Prvá prednáška bude 22. a prvé cvičenia budú 23. septembra.

Materiály k prednáškam

Študijné materiály k prednáškam (v angličtine):

LectureSlidesExamples in CL
I.First-Order Logic
1.Propositional Logicsli1.pdflec1.cl Preview
2.Quasitautologiessli2.pdf
3.Kvantifikačná logikasli3.pdf
4.Kvantifikačná logika (dokončenie)sli4.pdf
5.Extensions of Theoriessli5.pdflec5.cl Preview
II.Peano Arithmetic
6.Axioms of Peano Arithmeticsli6.pdf
7.Extensions of PAsli7.pdf
8.Introduction of Dyadic Concatenation into PAsli8.pdf
9.Introduction of Dyadic Pairing into PAsli9.pdf
10.Nested Iterationsli10.pdf
III.Clausal Definitions
11.Explicit Clausal Definitionssli11.pdflec11.cl Preview
12.Recursive Clausal Definitionssli12.pdflec11.cl Preview

Zadania cvičení

CvičenieSúbor so zadanímTéma
(Návod)
23. 9. 2004ex01.cl Zobraz
Tautológie a propozičné vyplývanie
30. 9. 2004ex02.cl Zobraz
Kvázitautológie a ekvačné pridruženia
7. 10. 2004ex03-1.cl Zobraz
Kvantifikačná logika
Opravená a doplnená verzia
14. 10. 2004ex04.cl Zobraz
Logické problémy v kvantifikačnej logike
28. 10. 2004ex05.cl Zobraz
Peanova aritmetika (Meta-Mathematics... 7.1)
4. 11. 2004ex06.cl Zobraz
Explicitné definície predikátov a funkcií
(Peano Arithmetic...  čl. 2 a 3)
11. 11. 2004
18. 11. 2004
ex07-1.cl Zobraz
Diadická konkatenácia
(Peano Arithmetic...  čl. 4)
25. 11. 2004ex08.cl Zobraz
Diadické párovanie
(Peano Arithmetic...  čl. 5)
2. 12. 2004ex09.cl Zobraz
Schéma vnorenej iterácie
(Peano Arithmetic...  čl. 6)
9. 12. 2004ex10.cl Zobraz
Explicitné klauzálne definície
(pozorne čítajte text cvičenia)
16. 12. 2004ex11.cl Zobraz
Rekurzívne klauzálne definície
(sli12 lec11.cl)

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

Výsledky testov

Abdel--HeribanHolešová--KollárikKonečný--MarekMedlen--SlobodaŠkorvaga--ZíkaVšetci
MenoPriezvisko 1. test 2. test 1. + 2.
test
Skúška Opravák Mini
testy
Známka
12 123 123 123 riadny
termín
opravný
termín
KatarínaHolešová 151530440838601748113 51 FX E
AndrejHorný 915242518321000101015328 60 FX D
MichalHučko 1515302102144415107324 80 B
MichalHudek 01515103013281001 29 FX
MartinIlčík 15153010108285810151266 90 A
AdriánJágrik 1515300358381090194 61 D
JadullaJameel 151530300000901221 51 FX E
AdamJeško 15153017083815101266 70 C
PeterKabát 915241011021453216 51 E
RóbertKeszeg 815230000230000 23 FX
Tereq A.KKhreibi 815231010626490000301215 64 FX D
IvanKohút 1515301010424541010020 74 C
AntonKohutovič 151530103619491015025 74 C
ViliamKoiš 15153010201242100010 52 E
JánKollárik 1515301010222521561226 80 B

Štatistika

1. test 2. test Skúška Spolu Histogram
[100,90]% bodov531067####
(90,80]% bodov24213#######
(80,70]% bodov47511######
(70,60]% bodov591311######
(60,50]% bodov44720##########
(50,0]% bodov335349#####

Stĺpec Spolu obsahuje štatistiku výsledkov študentov, ktorí sa zúčastnili na aspoň jednom teste.

Hodnotenie

Možnosti získať body:

1. test30 bodov
2. test30 bodov
náhradný 2. test30 bodov
skúška40 bodov
minitesty7 × 2 body

Za semester je možné si nahradiť pri ospravedlnenej neúčasti maximálne 1 test v náhradnom 2. teste, ktorý sa bude konať koncom semestra alebo v skúškovom období. Test, na ktorom sa zúčastníte, si nemôžete opraviť.

Minitesty na prednáškach sa priebežne nevyhodnocujú. Predstavujú bonus, ktorý vám na požiadanie započítame, keď si na konci semestra budete chcieť vylepšiť známku.

Okrem toho môžete získať najviac 4 body za aktívnu účasť na prednáške.

Známkovanie:

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

* – updated within last 7 days Last modified: 2005-03-17T15:11+0100