عنوان
پدید آورنده
موضوع
رده
QA267.7 B975 2004
QA267
.
7
B975
2004
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0857293923
(Number (ISBN
9780857293923
NATIONAL BIBLIOGRAPHY NUMBER
Number
b556588
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic and Complexity
General Material Designation
[Book]
First Statement of Responsibility
by Richard Lassaigne, Michel Rougemont.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London
Name of Publisher, Distributor, etc.
Springer London
Date of Publication, Distribution, etc.
2004
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(x, 361 pages)
SERIES
Series Title
Discrete mathematics and theoretical computer science.
CONTENTS NOTE
Text of Note
Part 1: Basic Model Theory and Computability --;Propositional logic --;Deduction systems --;First order logic --;Completeness of first-order logic --;Models of computation --;Recursion and decidability --;Incompleteness of Peano Arithmetic --;Part 2: Descriptive Complexity --;Complexity: time and space --;First order definability --;Inductive definitions and second order logic --;Models of parallel computations --;Space complexity: the classes L, FL, NL, PSPACE --;Definability of optimisation and counting problems --;Part 3: Approximation and classes beyond NP --;Probabilistic classes --;Probabilistic verification --;Approximation --;Classes above NP.
SUMMARY OR ABSTRACT
Text of Note
Divided into three parts, it covers: - Model Theory and Recursive Functions - introducing the basic model theory of propositional, 1st order, inductive definitions and 2nd order logic.
TOPICAL NAME USED AS SUBJECT
Computational complexity.
Computer science.
Logic design.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA267
.
7
Book number
B975
2004
PERSONAL NAME - PRIMARY RESPONSIBILITY
by Richard Lassaigne, Michel Rougemont.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Michel Rougemont
Richard Lassaigne
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
