Pregled bibliografske jedinice broj: 1047318
Logika i dokazi (drugo izdanje knjige, prvo izdanje kao sveučilišni udžbenik)
Logika i dokazi (drugo izdanje knjige, prvo izdanje kao sveučilišni udžbenik). Zagreb: Hrvatski studiji Sveučilišta u Zagrebu ; Element, 2019 (monografija)
CROSBI ID: 1047318 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Logika i dokazi (drugo izdanje knjige, prvo izdanje kao sveučilišni udžbenik)
(Logic and Proofs (second edition, first edition as a University Textbook))
Autori
Skansi, Sandro
Vrsta, podvrsta i kategorija knjige
Autorske knjige, monografija, pregledna
Izdavač
Hrvatski studiji Sveučilišta u Zagrebu ; Element
Grad
Zagreb
Godina
2019
Stranica
292
ISBN
978-953-197-660-2
Ključne riječi
Logika, dokazni sustavi, zadovoljivost, lambda račun, deskriptivna kompleksnost, eliminacija reza, logika drugog reda
(Logic, proof systems, satisfiability, lambda calculus, descriptive complexity, cut elimination, second order logic)
Sažetak
Ova knjiga je drugo i značajno prošireno (skoro 30%) i redigirano izdanje knjige pod istim naslovom iz 2016. Proširenja su bila u svrhu transformacije izvorne monografije u udžbenik (za nastavu logike na sve tri razine obrazovanja u sklopu studija filozofije). Prilikom ove prilagodbe, izvorni znanstveni doprinosi prisutni u izvornoj monografiji su ostavljeni i u ovom izdanju, premda je jasnije specificirano u kojim se dijelovima knjige ti doprinosi nalaze.
Izvorni jezik
Hrvatski
Znanstvena područja
Matematika, Računarstvo, Filozofija
