• Srbija
  • English
  • +381 (0)11 3463 072
  • +381 (0)60 3463 072
  • Logic and proof
    Logic and proof

    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.

    Vise detalja
    Šifra: 31249
    900 din

    potrebna količina:


    dostavadostava i poŠtarina

    nacin placanjanaČin plaĆanja

    Opcije plaćanje za kupce iz Srbije:

    - putem uplatnice na šalteru pošte ili banke
    - pouzećem prilikom isporuke knjiga
    - internet karticama Visa,Maestro i Mastercard

    Opcije plaćanje za kupce iz inostranstva:

    - putem PayPal sistema
    - internet karticama Visa, Maestro i MasterCard
    - uplatom na devizni račun (wire transfer)
    - putem Western Uniona

    postavi pitanjepostavite pitanje

    OPIS KNJIGE
    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.

    Br.strana: 154

    God.izdanja: 2011.

    Izdavač: Ekonomski fakultet u Beogradu

    ISBN: 978-86-403-1096-3

    Komentari čitalaca

  • Napišite recenziju za ovu knjigu i uz malo sreće osvojite
    vaučer za kupovinu od 2000 dinara!

    KorisnaKnjiga.com koristi cookije kako bi prilagodila sajt korisniku i analizirala prikazani sadžaj.
    Podaci o identitetu korisnika se ne prikupljaju, već samo informacije o posećenosti koje dalje naši partneri obrađuju. Više informacija.