Více než 4 miliony titulů v angličtině i dalších jazycích! Objevte svůj nový příběh ještě dnes!

Logic and Complexity

Name: Logic and Complexity
Brand: Springer, Berlin
SKU: 9781852335656
Price: 3937 CZK
Availability: InStock

Autor: R. Lassaigne, M. de Rougemont

Jazyk:

Vazba: Pevná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 13-18 dnů

3 937 Kč

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

Informace o knize

Autor

R. Lassaigne, M. de Rougemont

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2004

Stránek

361

EAN

9781852335656

ISBN

1852335653

Enbook ID

01435276

Vydavatel

Springer, Berlin

Hmotnost

704

Rozměry

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.

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Logic and Complexity

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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ákaznicí kteří koupili tuto knihu koupili také

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