Logic and Proof

Branislav Boričić (autor)

Logic and Proof

896 din

U korpu

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 pristupamatematici, 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čkeiskazne logike, modalne logike, rasplinute logike i logike preferencija.

Ostali naslovi koji sadrže ključne reči: Logika
Ostali naslovi iz oblasti: Matematika

Izdavač: Ekonomski fakultet Univerziteta u Beogradu; 2011; Broširani povez; latinica; 24 cm; 154 str.; 978-86-403-1096-3;