|
|
|
Mi a címe ennek a kurzusnak?
Játékos bevezetés a logikába2022 őszi szemeszter SZB-101 Máté András P 14:00-15:30 i/221Első óra: szeptember 16.A kurzus Raymond Smullyan egy könyvén alapul, a
címe: „Mi a címe ennek a könyvnek?”
(Typotex, 1996 és újabb kiadások). Meg lehet tudni belőle, hogy hogyan
kerüljük el a farkasembereket, él-e még Drakula, hogyan lehet bármit
bebizonyítani, de a végén Gödel nemteljességi tételének gondolatmenetébe is
bepillantást nyerünk. Közben sorra kerülnek a kijelentéslogika fogalmai és
szabályai is.A
jegyszerzéshez Smullyan rejtvényfeladataiból kell megoldani néhányat.
Ez teljesíthető az órán vagy a félév végén beszámoló formájában. Az
órákon használt prezentációkat itt közzéteszem.Prezentációk:
|
|
|
|