Pregled bibliografske jedinice broj: 177891
Simbolička logika
Simbolička logika
Split: [web-stranice na poslužitelju Visoke učiteljske škole Sveučilišta u Splitu], 2004
CROSBI ID: 177891 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Simbolička logika
(Symbolic Logic)
Autori
Žarnić, Berislav
Vrsta obrazovnog materijala
Ostalo (nedefinirano)
Izdavač
[web-stranice na poslužitelju Visoke učiteljske škole Sveučilišta u Splitu]
Grad
Split
Godina
2004
Stranica
294
Ključne riječi
logika prvog reda; metateorija; izračunljivost; modalna logika
(first order logic; metatheory; computability; modal logic)
Sažetak
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).
Izvorni jezik
Hrvatski
Znanstvena područja
Filozofija
