Logika u kodu : Elementi logike kroz programski jezik Python: Priručnik za kolegij „Logika i programiranje“
Synopsis
Ovaj udžbenik nastao je na temelju višegodišnjih predavanja na kolegiju „Logika i programiranje"na Filozofskom fakultetu Sveučilišta u Zagrebu. Kroz godine rada sa studentima filozofije koji su po prvi put pisali kod, kao i sa studentima informatike koji su otkrivali filozofske temelje svojih programa, oblikovao se pristup koji spaja apstraktno i konkretno, teoriju i praksu.
Početna ideja bila je jednostavna: učiniti formalnu logiku pristupačnijom i zanimljivijom, omogućiti transfer vještina između formalne logike i programskih vještina, te pružiti studentima filozofije dodatne „zapošljive” vještine. Umjesto da studenti samo vježbaju izvode prirodne dedukcije, zašto ih ne bi implementirali i tako bolje razumjeli? Umjesto da crtaju istinosne tablice na papiru, zašto ih ne bi generirali programski? Ono što je počelo kao istraživanje, pretvorilo se u potpuno novi način podučavanja logike.
Knjiga je organizirana u dva komplementarna dijela:
Prvi dio – Svjetovi deduktivne logike pokriva klasične sustave gdje zaključci nužno slijede iz premisa. Počinjemo s Wittgensteinovom slikom svijeta kao skupa činjenica, prelazimo na Gentzenove sustave prirodne dedukcije, istražujemo Tarskijevu semantiku, te završavamo s računalnim aspektima kroz Turingove strojeve.
Drugi dio – Svjetovi induktivnih logika istražuje sustave gdje zaključci imaju samo određeni stupanj vjerojatnosti: od Pascalove oklade preko Bayesova teorema do suvremenih pristupa u strojnom učenju.
Svako poglavlje slijedi konzistentnu strukturu: motivacija, formalizacija, implementacija, istraživanje. Ova četverodijelna struktura omogućava različite razine angažmana – od prvotnog upoznavanja do dubinskog istraživanja. Neki dijelovi se djelomično preklapaju radi održavanja cjeline studenskih izlaganja.
Kao pedagoški pristup, kroz godine predavanja, razvijeno je nekoliko ključnih principa:
Greške su pedagoški momenti. Kada studentov kod ne radi, to nije neuspjeh već prilika za razumijevanje zašto logička pravila funkcioniraju kako funkcioniraju.
Apstrakcija kroz konkretno. Svaki apstraktni koncept ima konkretnu implementaciju koju je moguće pokrenuti, modificirati i igrati se s njom.
Spiralno učenje. Isti koncepti vraćaju se na različitim razinama složenosti. Implikacija se prvo pojavljuje kao Python if-then, zatim kao materijalna implikacija, pa kao pravilo u prirodnoj dedukciji, i konačno kao tip funkcije, i metalogički odnos.
Na pitanje za koga je ova knjiga, odgovor je da je primarno nastala za studente filozofije koji žele razumjeti formalnu logiku kroz praktičnu primjenu. Ali kroz godine, publika se proširila:
- Studenti računarstva pronalaze filozofske temelje svoje discipline
- Nastavnici srednji škola koriste materijale za modernizaciju nastave
- Istraživači u AI-ju pronalaze korisne implementacije klasičnih sustava
- Entuzijasti koji uživaju u samostalnom istraživanju
Ne pretpostavlja se prethodno znanje programiranja – dodatak A pruža sve potrebne osnove Pythona. Također ne pretpostavlja se formalno obrazovanje iz logike – počinje se od osnova.
Kako koristiti materijale: sav kod dostupan je na https://github.com/dlauc/logikaukodu.
Chapters
-
Predgovor
-
1. Uvod: Što je logika i zašto kod?
-
I. SVJETOVI DEDUKTIVNE LOGIKE
-
2. Wittgensteinova logička slika svijeta
-
3. Gentzenov svijet: Prirodna dedukcija i sintaktička logička posljedica
-
4. Tarskijev svijet: Semantika logike predikata prvog reda
-
5. Turingov svijet: Granice izračunljivosti
-
6. Cantorov svijet
-
II. SVJETOVI INDUKTIVNIH LOGIKA
-
7. Pascalov svijet
-
8. Bayesov svijet
-
9. Goodmanovi svijetovi: Problem indukcije i strojno učenje
-
III. DODACI
-
A. Uvod u Python za studente filozofije i ostalih ne-tehničkih grupa
-
B. Literatura
Downloads
Downloads
Published
Categories
License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
