Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Logic for Applications Anil Nerode

Logic for Applications

Szerző: Anil Nerode, Richard A. Shore
Nyelv: Angol
Kötés: Kemény kötésű
Kiadó: Springer, Berlin
Elérhetőség: Beszállítói készleten
Küldés 10-13 napon belül
52 700 Ft
§This book is a rigorous introduction to classical and nonclassical logics which emphasizes deductio...

Információk a könyvről

Szerző
Anil Nerode, Richard A. Shore
Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
1997
oldal
456
EAN
9780387948935
ISBN
0387948937
Enbook ID
01384196
Kiadó
Springer, Berlin
Súly
866
Méretek
156 x 234 x 26

Teljes leírás

§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.

Érdekelheti

Techniques of Constructive Analysis

Douglas S. Bridges
24 529 Ft

Constructive Negations and Paraconsistency

Sergei Odintsov
38 435 Ft

How to Take Notes, Read Better, and Retain It All

6 132 Ft

Coraline Graphic Novel

Neil Gaiman
3 021 Ft

Limits

Giorgos Kallis
7 748 Ft

Finding List of Books and Pamphlets in the Buffalo Public Library

Buffalo Public Library
7 734 Ft

Atlas of Breast Reconstruction

Mario Rietjens
56 447 Ft

Private Arrangements

Sherry Thomas
2 354 Ft

Ginger

Helen Sudell
2 046 Ft

Living Rivers: Trends and Challenges in Science and Management

R.S.E.W. Leuven
57 597 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Mathematikknobeleien

Albrecht Beutelspacher
2 171 Ft

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

Ernest Bendriss
6 602 Ft

Der Philosophiebegriff der interkulturellen Philosophie

Heinz Kimmerle
3 746 Ft

3. Schuljahr, Arbeitsheft Lateinische Ausgangsschrift, m. CD-ROM

7 466 Ft

Kommentar Zu Nietzsches Die Geburt Der Tragoedie

Jochen Schmidt
27 778 Ft

No como animales

ALBERTO PELAEZ
6 445 Ft

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

Eduard Bass
5 949 Ft