Ponad 4 miliony tytułów w języku angielskim i innych językach! Odkryj swoją nową historię już dziś!

Logic and Complexity

Name: Logic and Complexity
Brand: Springer, Berlin
SKU: 9781852335656
Price: 728.5 PLN
Availability: InStock

Autor: R. Lassaigne, M. de Rougemont

Język:

Oprawa: Twarda

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy w małych ilościach

Wysyłamy za 13-18 dni

728.50 zł

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

Informacje o książce

Autor

R. Lassaigne, M. de Rougemont

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2004

strony

361

EAN

9781852335656

ISBN

1852335653

Enbook ID

01435276

Wydawca

Springer, Berlin

Waga

704

Wymiary

161 x 243 x 23

Pełny opis

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.

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Logic and Complexity

Informacje o książce

Pełny opis

Możesz być zainteresowany

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

Klienci, którzy kupili tę książkę, kupili również

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