Logic and Proof
Knjiga pokriva fundamentalne aspekte klasične i intuicionističke logike sa stanovišta teorije dokaza. Osnovna ideja je da se elaboriraju elementi sintaksnih i semantičkih osobina klasičnog i intuicionističkog pristupa matematici, razvijanjem paralelizma između ova dva pristupa od početka do kraja samog teksta.
Delovi knjige su takođe posvećeni nekim neklasičnim logičkim sistemima, među kojima su superintuicionističke iskazne logike, modalne logike, rasplinute logike i logike preferencija.
Detaljni podaci o knjizi
Naslov: Logic and Proof
Izdavač: Економски факултет
Strana: 154 (cb)
Pismo: latinica
Format: 24 cm
Godina izdanja: 2011
ISBN: 978-86-403-1096-3
Izdavač: Економски факултет
Strana: 154 (cb)
Pismo: latinica
Format: 24 cm
Godina izdanja: 2011
ISBN: 978-86-403-1096-3
Ocene čitalacaPrijavite se za ocenu
Za sada nema ocena za ovo izdanje. Budite prvi koji će podeliti utiske!
Pitanja, odgovori, mišljenja
Imate pitanje? Prijavite se i učestvujte u diskusiji sa urednicima i čitaocima.
Još uvek nema postavljenih pitanja za ovo izdanje.
RASPRODATONije u planu obnavljanje izdanja
