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.
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)
Povez: meki
Pismo: latinica
Format: 24 cm
Godina izdanja: 2011
ISBN: 978-86-403-1096-3
Budite prvi koji će svoje mišljenje podeliti sa drugima (