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

Napredna pretraga

Pregled bibliografske jedinice broj: 1047318

Logika i dokazi (drugo izdanje knjige, prvo izdanje kao sveučilišni udžbenik)


Skansi, Sandro
Logika i dokazi (drugo izdanje knjige, prvo izdanje kao sveučilišni udžbenik), Zagreb: Fakultet hrvatskih studija i Element d.o.o., 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č
Fakultet hrvatskih studija i Element d.o.o.

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



POVEZANOST RADA


Ustanove
Fakultet hrvatskih studija, Zagreb

Profili:

Avatar Url Sandro Skansi (autor)

Citiraj ovu publikaciju

Skansi, Sandro
Logika i dokazi (drugo izdanje knjige, prvo izdanje kao sveučilišni udžbenik), Zagreb: Fakultet hrvatskih studija i Element d.o.o., 2019 (monografija)
Skansi, S. (2019) Logika i dokazi (drugo izdanje knjige, prvo izdanje kao sveučilišni udžbenik). Zagreb, Fakultet hrvatskih studija i Element d.o.o..
@book{book, author = {Skansi, S.}, year = {2019}, pages = {292}, keywords = {Logic, proof systems, satisfiability, lambda calculus, descriptive complexity, cut elimination, second order logic}, isbn = {978-953-197-660-2}, title = {Logic and Proofs (second edition, first edition as a University Textbook)}, keyword = {Logic, proof systems, satisfiability, lambda calculus, descriptive complexity, cut elimination, second order logic}, publisher = {Fakultet hrvatskih studija i Element d.o.o.}, publisherplace = {Zagreb} }