Logika szeminárium

BBN-FIL-302.03
BMA-FILD-302.03

Máté András
2017 tavasz
Demonstrátorok:
Sulyok Ági agisulyok@gmail.com
Tóth István topijuggle@gmail.com
 Péntek 10:15-11:45
Első óra:február 17.
 Múzeum krt. 4/i/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:

  1. Mi a logika és mire jó?
  2. Atomi mondatok
  3. Az atomi mondatok logikája
  4. Boole-konnektívumok
  5. A Boole-konnektívumok logikája
  6. Bizonyítás a Boole-logikában
  7. Kondicionálisok
  8. 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)
PROGRAMHIBA A RUZSA PROGRAMBAN!
A PROGRMA NEM ÉRTI A VIRTUÁLIS KLAVIATÚRÁRÓL BEVITT *  (CSILLAG) JELET.
DE A FIZIKAI KLAVIATÚRÁRÓL BE LEHET ÍRNI, AZT ELFOGADJA!
A kettes feltétele, hogy mindegyik feladattípusban legyen olyan próbálkozás, amelyből kiderül, hogy megértette a feladatot.
A jeles feltétele, hogy legyen minden típusban sikeres próbálkozás, a nehezebb feladatokból is.
Aki a félév során küldött 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.

Jegyszerzés (beszámoló) vagy konzultáció céljából a következő időpontokban állok rendelkezésre:
FIGYELEM, VÁLTOZOTT!
Május 23.,  K 10:00-13:00
Május 30., K 10:00-14:00
Június 2., P 13:00-16:00
Június 9., P 13:00-.16:00
Június 13., K 13:00-16:00
Június 20., K 13:00-16:00
Június 30., P 9:00-13:00
Július 7., P 9:00-13:00


Kötelező olvasmányok:
Barwise-Etchemendy: Language, Proof and Logic
Analitikus fák I.
Analitikus fák II.

Ajánlott olvasmányok:

    • Madarászné-Pólos-Ruzsa: A logika elemei, Osiris.
    • Ruzsa (– Máté): Bevezetés a modern logikába,  Osiris
Segédletek
PowerPoint-prezentációk: