Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 177891

Simbolička logika


Žarnić, Berislav
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



POVEZANOST RADA


Projekti:
0191009

Profili:

Avatar Url Berislav Žarnić (autor)

Citiraj ovu publikaciju

Žarnić, Berislav
Simbolička logika
Split: [web-stranice na poslužitelju Visoke učiteljske škole Sveučilišta u Splitu], 2004
Žarnić, B. (2004) Simbolička logika. Split. [web-stranice na poslužitelju Visoke učiteljske škole Sveučilišta u Splitu].
@unknown{unknown, author = {\v{Z}arni\'{c}, B.}, year = {2004}, pages = {294}, keywords = {logika prvog reda, metateorija, izra\v{c}unljivost, modalna logika}, title = {Simboli\v{c}ka logika}, keyword = {logika prvog reda, metateorija, izra\v{c}unljivost, modalna logika}, publisher = {[web-stranice na poslu\v{z}itelju Visoke u\v{c}iteljske \v{s}kole Sveu\v{c}ili\v{s}ta u Splitu]}, publisherplace = {Split} }
@unknown{unknown, author = {\v{Z}arni\'{c}, B.}, year = {2004}, pages = {294}, keywords = {first order logic, metatheory, computability, modal logic}, title = {Symbolic Logic}, keyword = {first order logic, metatheory, computability, modal logic}, publisher = {[web-stranice na poslu\v{z}itelju Visoke u\v{c}iteljske \v{s}kole Sveu\v{c}ili\v{s}ta u Splitu]}, publisherplace = {Split} }




Contrast
Increase Font
Decrease Font
Dyslexic Font