Menu
Află starea comenzii
Contactați-ne
Carte Logic and Complexity R. Lassaigne

Logic and Complexity

Autor: R. Lassaigne, M. de Rougemont
Limbă: engleză
Legare: Copertă tare
Editura: Springer, Berlin
Disponibilitate: În depozitul extern în cantități mici
Expediem în 13-18 zile
895.27 lei
Logic and Complexity looks at basic logic as it is used in Computer Science, and provides students w...

Informații despre carte

Autor
R. Lassaigne, M. de Rougemont
Limbă
engleză
Legare
Carte - Copertă tare
Publicat
2004
Pagini
361
EAN
9781852335656
ISBN
1852335653
Enbook ID
01435276
Editura
Springer, Berlin
Greutate
704
Dimensiuni
161 x 243 x 23

Descriere completă

Logic and Complexity looks at basic logic as it is used in Computer Science, and provides students with a logical approach to Complexity theory. With plenty of exercises, this book presents classical notions of mathematical logic, such as decidability, completeness and incompleteness, as well as new ideas brought by complexity theory such as NP-completeness, randomness and approximations, providing a better understanding for efficient algorithmic solutions to problems.§§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. Recursive functions, Turing computability and decidability are also examined.§- Descriptive Complexity - looking at the relationship between definitions of problems, queries, properties of programs and their computational complexity.§- Approximation - explaining how some optimization problems and counting problems can be approximated according to their logical form.Logic is important in Computer Science, particularly for verification problems and database query languages such as SQL. Students and researchers in this field will find this book of great interest.

S-ar putea să te intereseze

The Very Busy Spider

Eric Carle
43.17 lei

Dordogne

David Simpson
161.09 lei

Sin and Forgiveness

CARMICHAEL
456.58 lei

Etymological Dictionary of the Hittite Inherited Lexicon

Alwin Kloekhorst
2 178.38 lei

Prince of Wales: In Canada and the United States

David Woods
283.45 lei

Other Side of Death: What the Bible Teaches about Heaven and Hell

J. Sidlow Baxter
81.50 lei

Through the Palace Keyhole

Ann Sawalha
79.78 lei

Black Holes in Organizations

Ron Lutka
73.51 lei

Science and ESP

J. R. Smythies
372.54 lei

English Result: Elementary: Multipack B

Mark Hancock
314.80 lei

Deserving and Entitled

Anne L Schneider
202.55 lei

Wave Equations in Higher Dimensions

Shi-Hai Dong
553.26 lei

Legal Aspects of Medicine

James R. Vevaina
829.14 lei

Stolen

Lucy Christopher
47.12 lei

Conceptual Advances in Pathology, An Issue of Clinics in Laboratory Medicine

Zoltan Oltvai
466.29 lei

Clienții care au cumpărat această carte au mai cumpărat și

schweizerische Neutralitat auf dem Prufstand der zwischenstaatlichen Kriege 1990 - 2005

Tobias Frei
135.20 lei

Bel-Ami

Guy de Maupassant
54.09 lei

La Guia Definitiva - Entrenar Con Pesas Para Artes Marciales

Rob Price
88.88 lei

ALERTE AUX CROQUE-MORTS

James Hadley Chase
66.73 lei