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
LukášMedlen 1515301000104000001090191 60 FX D
AndrejMihálik 151530101032353154423 76 C
PeterMišánik 15153010100205015101264 80 B
DimitriosMytilinaios 00000000 0 FX
PeterOrolín 815234206290012120015158 52 FX E
MarekPalanský 131528000028108523 51 E
MartinPastva 1515301010424541015530 84 B
MartinPiják 1515300100104015102274 71 C
JánReguli 151530010102050941141015227 77 D C
MichalRjaško 151530101010306010151540 100 A
TomášSako 1515304408381550202 60 D
MarekSerafín 151530100010400000631524 64 FX D
TomášSirný 151530710017471510126 73 C
MariánSládek 1372010601636100212301518 54 FX E
JurajSloboda 1515300011316039701219 50 FX E

Š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