Simbolička logika (CROSBI ID 742091)
Druge vrste radova | ostalo
• Obrazovni materijal (nedefinirano )
Podaci o odgovornosti
Žarnić, Berislav
hrvatski
Simbolička logika
Za nastavne svrhe kolegija "Simbolička logika" (Odsjek za filozofiju, Filozofski fakultet Svaučilišta u Rijeci) priređena je skripta čiji sadržaj većim dijelom prati sadržaj sljedećih udžbenika (po navedenim poglavljima): Jon Barwise i John Etchemendy (2000) Language, Proof and Logic. Center for the study of Language and Information Stanford University (poglavlja: 1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19) ; George S. Boolos i Richard C. Jeffrey(1989) Computability and Logic. CambridgeUniversity Press (poglavlja: 3, 5, 10) ; 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 (poglavlje: 2).
logika prvog reda; metateorija; izračunljivost; modalna logika
nije evidentirano
engleski
Symbolic Logic
nije evidentirano
first order logic; metatheory; computability; modal logic
nije evidentirano
Podaci o izdanju
Split: [web-stranice na poslužitelju Visoke učiteljske škole Sveučilišta u Splitu]
294
2004.
nije evidentirano
objavljeno