-priručnikdoc.dr.sc

Predgovor
Sadržaj ovog priručnika većim dijelom prati sadržaj sljedećih udžbenika (po
navedenim poglavljima):
1. Jon Barwise i John Etchemendy (2000) Language, Proof and Logic. CSLI
Publications. Center for the study of Language and Information Stanford
University. Seven Bridges Press. New York·London.
I Poglavlja: 1, 9,10, 11, 12, 13, 14, 15, 16, 17, 18, 19.
2. George S. Boolos i Richard C. Jeffrey(1989) Computability and Logic.
CambridgeUniversity Press.
I Poglavlja: 3, 5, 10.
3. L.T.F. Gamut [J. van Benthem, J. Groenendijk, D. de Jongh, M. Stokof, H.
Verkuyl] (1991) Logic, Language and Meaning. Volume II: Intensional Logic
and Logical Grammar. The University of Chicago Press. Chicago·London.
I Poglavlje: 2.
Sve pogreške treba pripisati autoru ovog priručnika, a ne autorima udžbenika
čiji se sadržaj prati.
Vježbe logičkih tehnika ostvaruju se uz primjenu interaktivnosti:
• Graditelji i provjerivači dokaza za sustav prirodne dedukcije
I U Fitch stilu:
∗ G. Allwein, D. Barker-Plummer, A. Liu: Fitch (software koji prati
Language, Proof and Logic)
I U Lemmon stilu:
∗ Christian Gottschal: graditelj dokaza (hrvatska verzija
http://www.vusst.hr/~logika/pilot/applet/analizator/konstruktor.htm)
• Za usvajanje jezika logike prvog reda:
I ∗ G. Allwein, D. Barker-Plummer, A. Liu: Tarski’s World (software
koji prati Language, Proof and Logic)
• Za gradnju istinitosnih stabala:
I ∗ Wolfgang Schwarz: automatski graditelj (hrvatska verzija
http://www.vusst.hr/~logika/pilot/applet/wostablo/index.html)
∗ Nik Roberts: Tableau 3 (hrvatska verzija
http://www.vusst.hr/~logika/pilot/applet/stablo/konstrukcija.htm)
• Za gradnju dokaza u teoriji skupova:
I ∗ Daniel Velleman: "dizajner" dokaza (hrvatska verzija
http://www.vusst.hr/~logika/pilot/applet/skupovi/dizajner.htm)
• Za Turingove strojeve:
I
∗ Ken Schweller: Turingov stroj (hrvatska verzija
http://www.vusst.hr/~logika/pilot/applet/turing/turing.htm)
vii