.
 
.

Handbook of Practical Logic and Automated Reasoning

Avtor:

.
Redna cena: 140,48 €
Predvideni rok dobave: 14-21 dni
.
.
Količina:  
.
Strošek dostave je enoten za celo Slovenijo in znaša 2,95 €, ne glede na količino in vrsto kupljenih izdelkov.

Številni izdelki imajo oznako "brezplačna dostava", kar pomeni, da v prmeru nakupa takšnega izdelka poštnine ne boste plačali. 

Več o dostavi
Emka.si omogoča naslednje načine plačila:
  • z gotovino ob prevzemu (velja le za fizične osebe),
  • s plačilno oziroma kreditno kartico (Mastercard, Visa, ActivaMaestro, Activa, Diners, American Express),
  • s storitvijo Moneta (Mobitel in Simobil)
  • Plačilo po predračunu (pravne osebe)
  • Račun z odlogom plačila (za javna podjetja)
Več o plačilih

Pri vsakem izdelku je naveden predviden rok dostave. Glede na to katere izdelke izberete, se vam pri oddaji naročila prikaže tudi končni predviden datum dobave vašega pakete.

Večino izdelkov dostavljamo iz lastne zaloge, zato so naši dobavni roki zelo kratki.

Ko vam bomo poslali paket boste o tem obveščeni tudi po emailu. V emailu bo navedena številka vašega paketa ter povezava do Pošte Slovenije, kjer boste lahko preverili natančen status dostave.

Več o dostavi

To je spletna cena
Shrani v seznam želja
.

.

Opis



One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.

The sheer complexity of computer systems has meant that automated reasoning, i.e. the ability of computers to perform logical inference, has become a vital component of program construction and of programming language design. This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. The approach is constructive, concrete and algorithmic: a key feature is that methods are described with reference to actual implementations (for which code is supplied) that readers can use, modify and experiment with. This book is ideally suited for those seeking a one-stop source for the general area of automated reasoning. It can be used as a reference, or as a place to learn the fundamentals, either in conjunction with advanced courses or for self study.

Preface; Ideological orientation; Acknowledgements; How to read this book; 1. Introduction; 2. Propositional logic; 3. First-order logic; 4. Equality; 5. Decidable problems; 6. Interactive theorem proving; 7. Limitations; Appendix 1. Mathematical background; Appendix 2. OCaml made light of; Appendix 3. Parsing and printing of formulas; References; Index.
.
.
Oglejte si ostale knjige tega avtorja
.
.
Oglejte si vse knjige tega avtorja
.

O avtorju - John Harrison

Obvestite me o novi knjigi tega avtorja

Želite, da vas po elektronski pošti obvestimo, ko izide nova knjiga ali ponatis katere od knjig tega avtorja?

DA - obveščajte me o novostih avtorja
.
.
.
.

Podrobnosti o izdelku

  • Obseg/št. strani: 702
  • Datum Izida:
  • Vezava: Trda
  • ISBN/EAN: 9780521899574
  • Mere izdelka vxš: 25,5 x 17,4 cm
  • Založba Cambridge University Press
  • Avtor:
  • Povprečna ocena:
    Ocena kupcev: 0
    (0)

Mnenja kupcev

  0  ocen:
5 zvezdice
0%
(0)
4 zvezdice
0%
(0)
3 zvezdice
0%
(0)
2 zvezdice
0%
(0)
1 zvezdica
0%
(0)
Povprečna ocena kupcev:
Ocena kupcev: 0
(0 ocen uporabnikov )
.
Ocenite izdelek s klikom na zvezdice:
 
.
.
.
.
.

Oznake kupcev o tem izdelku

Kliknite na posamezno oznako za prikaz vseh izdelkov označenih s to oznako:

Dodaj oznako:

Dodaj
.