Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Logic for Applications

Name: Logic for Applications
Brand: Springer, Berlin
SKU: 01384196
Price: 783.25 RON
Availability: InStock
Author: Anil Nerode
ISBN: 9780387948935

Anil Nerode

Richard A. Shore

Limba

engleză

Carte Copertă tare

Codul Libristo: 01384196

Editura Springer, Berlin, noiembrie 1996

§This book is a rigorous introduction to classical and nonclassical logics which emphasizes deductio... Descrierea completă

Codul Libristo: 01384196

360 b

783.25 lei

În depozitul extern Expediem în 10-13 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Mathematikknobeleien Albrecht Beutelspacher

CD digital

31.97 lei

Der Philosophiebegriff der interkulturellen Philosophie Heinz Kimmerle

Carte broșată

56.11 lei

Kommentar Zu Nietzsches Die Geburt Der Tragoedie Jochen Schmidt

Copertă tare

413.51 lei

EXTRAÑO CASO DEL DR, JEKYLL Y MR, HYDE,EL Robert Louis Stevenson

Copertă tare

50.26 lei

JE SERAI OU TU VEUX MARYVONNE

Carte broșată

46.08 lei

No como animales ALBERTO PELAEZ

Carte broșată

104.29 lei

Los cátaros : la herejía que pudo vencer Ernest Bendriss

Carte broșată

100.73 lei

invincibili 11 di papà Klapzuba. Una storia per grandi e piccini Eduard Bass

Carte broșată

89.65 lei

Combat, Tome 3. Nina Volkovitch(le) Trebor Carole

Carte broșată

100.10 lei

§This book is a rigorous introduction to classical and nonclassical logics which emphasizes deduction as a form of computation. It can be used to teach classical, modal, and intuitistic predicate logic. It also presents the logical and mathematical foundations for resolution theorem proving and Logic Programming. A distinctive feature of this book is its uniform mathematical treatment of logic, based on the tableau method of classical logic, which includes soundness, completeness, compactness, incompleteness, and the theorems of Herb Rand and Skolem-L Wenheim. The same uniform treatment is used for important areas of application in computer science and artificial intelligence. These include resolution theorem proving, Logic Programming and Prolog, Predicate Intuitionistic Logic, and Predicate Modal Logic. §There is also an historical appendix and an extensive list of selected references so that both the background and more advanced developments of these subjects can be understood and pursued. This text is appropriate for upper level undergraduate and beginning graduate students.