Viac ako 4 milióny titulov v angličtine aj ďalších jazykoch! Objavte svoj nový príbeh ešte dnes!

Logic and Complexity

Name: Logic and Complexity
Brand: Springer, Berlin
SKU: 9781852335656
Price: 162.68 EUR
Availability: InStock

Autor: R. Lassaigne, M. de Rougemont

Jazyk:

Väzba: Pevná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa v malom množstve

Odosielame za 13-18 dní

162.68 €

Logic and Complexity looks at basic logic as it is used in Computer Science, and provides students w...

Informácie o knihe

Autor

R. Lassaigne, M. de Rougemont

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2004

Stránok

361

EAN

9781852335656

ISBN

1852335653

Enbook ID

01435276

Vydavateľ

Springer, Berlin

Hmotnosť

704

Rozmery

161 x 243 x 23

Kompletný popis

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.

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Logic and Complexity

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

The Very Busy Spider

Dordogne

Sin and Forgiveness

Etymological Dictionary of the Hittite Inherited Lexicon

Prince of Wales: In Canada and the United States

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

Through the Palace Keyhole

Black Holes in Organizations

Science and ESP

English Result: Elementary: Multipack B

Deserving and Entitled

Wave Equations in Higher Dimensions

Legal Aspects of Medicine

Stolen

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

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

schweizerische Neutralitat auf dem Prufstand der zwischenstaatlichen Kriege 1990 - 2005

Bel-Ami

La Guia Definitiva - Entrenar Con Pesas Para Artes Marciales

ALERTE AUX CROQUE-MORTS