AIL012 Proseminář z logiky
Osnova a
doporučená literatura
zimní semestr 2002/2003
utery 14:00 - 15:30 (učebna K7) a 15:40 - 17:10 (učebna K3)
Podmínky udělení zápočtu
Zápočet získáte, splníte-li obě z následujících kritérií:
1. Písemkové kritérium:
Kritérium splňuje každý, kdo získá z řádných písemek
celkem alespoň n bodů a přitom nejvýše z jedné řádné písemky získá
méně než m bodů. Kritérium dále splňuje každý, kdo získá z řádných
písemek celkem alespoň p bodů a z řádných a opravných písemek
celkem alespoň q bodů.
Během semestru se budou psát čtyři řádné písemky (tři z logiky,
jedna z teorie množin) a jedna opravná písemka.
Za každou z nich bude možné získat 10 bodů. Limity jsou nastaveny
takto: n = 20, m = 5, p = 10, q = 20.
2. Aplikační kritérium:
Kritérium splňuje prvních 8 studentů z každého kruhu, kteří vyřeší alespoň
jeden ze dvou
netriviálních příkladů zadaných na
předposledním cvičení. Kritérium dále splňuje každý, komu se podaří během
posledního cvičení
rozumně aplikovat nabyté znalosti v oblasti logiky a teorie množin
na netriviální příklad zadaný na tomto cvičení.
Zápočty, výsledky písemek
Průběh seminářů
Kontakt
Petr Olmer
Katedra teoretické informatiky a matematické logiky
Malostranské náměstí 25, 2. patro, č. dveří 64
telefon 221-914-251
e-mail petr@olmer.cz
Konzultace po dohodě na výše uvedené adrese.
Petr Olmer, 8. rijna 2002