Logika szeminárium
BBN-FIL-302.03
BMA-FILD-302.03
Máté András
2020 tavasz
Péntek 14:00-15:30
Első óra:február 14., i ép. 129
Február 21.-én nem lesz óra!
A további órák helye (remélhetőleg): i ép. 221.
A kurzus Barwise-Etchemendy: Language, Proof and Logic (Stanford:
CSLI, számos kiadás) c.
világszerte használatos tankönyvét követi és a hozzá mellékelt
szoftvereket
alkalmazza, egy magyar nyelvű kiegészítéssel
(tananyag + szoftver). Mindezt a kurzus hallgatói számára
hozzáférhetővé teszem. A
megértéshez egészen alapfokú angoltudás is elegendő, de aki ennyivel
sem
rendelkezik, annak szívesen segítek.
Főbb témák:
- Mi a
logika és mire jó?
- Atomi
mondatok
- Az
atomi mondatok logikája
- Boole-konnektívumok
- A
Boole-konnektívumok logikája
- Bizonyítás
a Boole-logikában
- Kondicionálisok
- A
kondicionálisok logikája
Jegyet szerezni az órákon feladott feladatok megoldásával lehet. Nem az
egyes beadott megoldásokat osztályozom, hanem azt, hogy a félév végére
ki milyen szintű készséget ért el a szereplő négy feladattípus
megoldásában. A négy feladattípus:
- Formalizálás, azaz fordítás természetes nyelvről FOL-ra
- Modellek készítése Tarski's Worldben
- Igazságtáblázatok készítése (Boole-lal vagy szöveges dokumentumban)
- Következtetések helyességének ellenőrzése analitikus fával (Ruzsa-program)
Aki
a félév során küld megoldásokat, annak külön-külön értékelem minden
feladattípusból az elért szintjét - akinek lehet, annak a fentiek
szerint ajánlok meg jegyet. Akinek nem tudok jegyet megajánlani,
vagy nem elégedett az ajánlattal, az a vizsgaidőszakban jöhet javítani.
A már elért eredmények számítanak és nem ronthatók el. Tehát aki
küldött jó megoldást, de nem mindenből, annak csak olyan feladatokat
kell megoldania, amelyekben még nincs (elég jó) teljesítménye.
A
"beszámoló" kizárólag a tankönyv tárgyalt fejezeteiben szereplő
feladatok megoldásából áll. Aki teheti, hozzon magával laptopot,amin
rajta van a tankönyv, valamint a Tarski's World és a Boole.
Koronavírussal (távoktatással) kapcsolatos információk
Az
órákat március 13.-tól kezdődően a kötelező távollét végéig az erre a
honlapra felkerülő, részletesebb prezentációk pótolják. Március 20.-án
nem lesz újabb prezentáció, ez lesz a tavaszi szünet. A házi feladatok
megoldását továbbra is a mate.andras53-at-gmail.com címre kell
eljuttatni, mindig az "órát" követő kedd éjfélig. (A március 10.-i
diában kivételesen nincs házi feladat.) Az előadó konzultáció céljából
az óra szokásos időpontjában, azaz pénteken du. 2-től fél 4-ig elérhető
a kurzus levelezőlistáján megadott internetes meeting-címen, a https://jitsi.org/ weblapon.
Jegyszerzés
Akik
a Tarski's World használatából, igazságtáblázat-készítésből és
analitikus fa-készítésből is küldtek értékelhető megoldásokat, azoknak
fogok tudni jegyet megajánlani (az eddigiek alapján elég jókat).
Aki a három típus közül valamelyikből még nem produkált
eredményt, és az is, aki még egyáltalán nem küldött megoldásokat,
javíthat, változatlanul internetes formában. Keressenek meg e-mailben,
és megbeszélünk időpontot. Ugyanez vonatkozik azokra, akik nem
elégedettek a megajánlott jeggyel. Akitől kaptam (bármennyi)
értékelhető produktumot, azt privát e-mailben meg fogom keresni, és tisztázzuk, hogy mi van.
Kötelező olvasmányok:
Ajánlott olvasmány:
- Ruzsa (– Máté): Bevezetés a modern logikába, Osiris
Segédletek
| |
