Computability, Complexity, and Languages - Anja's

Cover: 9780122063824 | Computability, Complexity, and Languages | Martin Davis (u. a.) | Buch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

54,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability.

Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability.

Inhaltsverzeichnis

Preliminaries. Computability: Programs and Computable Functions. Primitive Recursive Functions. A Universal Program. Calculations on Strings. Turing Machines. Processes and Grammars. Classifying Unsolvable Problems. Grammars and Automata: Regular Languages. Context-Free Languages. Context-Sensitive Languages. Logic: Propositional Calculus. Quantification Theory. Complexity: Abstract Complexity. PolynomialTime Computability. Semantics: Approximation Orderings. Denotational Semantics of Recursion Equations. Operational Semantics of Recursion Equations. Suggestions for Further Reading. Subject Index.

Details

Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
ISBN-13:	9780122063824
ISBN-10:	0122063821
Sprache:	Englisch
Herstellernummer:	C2009-0-21176-7
Autor:	Davis, Martin Sigal, Ron Weyuker, Elaine J.
Auflage:	2. Aufl.
Hersteller:	Morgan Kaufmann Elsevier Science & Technology
Maße:	228 x 152 x 234 mm
Von/Mit:	Martin Davis (u. a.)
Gewicht:	0,97 kg

Artikel-ID: 126704057

Inhaltsverzeichnis

Preliminaries. Computability: Programs and Computable Functions. Primitive Recursive Functions. A Universal Program. Calculations on Strings. Turing Machines. Processes and Grammars. Classifying Unsolvable Problems. Grammars and Automata: Regular Languages. Context-Free Languages. Context-Sensitive Languages. Logic: Propositional Calculus. Quantification Theory. Complexity: Abstract Complexity. PolynomialTime Computability. Semantics: Approximation Orderings. Denotational Semantics of Recursion Equations. Operational Semantics of Recursion Equations. Suggestions for Further Reading. Subject Index.

Details

Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
ISBN-13:	9780122063824
ISBN-10:	0122063821
Sprache:	Englisch
Herstellernummer:	C2009-0-21176-7
Autor:	Davis, Martin Sigal, Ron Weyuker, Elaine J.
Auflage:	2. Aufl.
Hersteller:	Morgan Kaufmann Elsevier Science & Technology
Maße:	228 x 152 x 234 mm
Von/Mit:	Martin Davis (u. a.)
Gewicht:	0,97 kg

Artikel-ID: 126704057

Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9783658055318 | Architektur- und Entwurfsmuster der Softwaretechnik | Joachim Goll

Architektur- und Entwurfsmuster der Softwaretechnik

Mit lauffähigen Beispielen in Java

EAN: 9783658055318

Sprache: Deutsch

Von/Mit: Joachim Goll

24,99 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9783834818485 | Mathematik für Informatiker | Matthias Schubert | Taschenbuch | 844 S.

Mathematik für Informatiker

Ausführlich erklärt mit vielen Programmbeispielen und Aufgaben

EAN: 9783834818485

Sprache: Deutsch

Von/Mit: Matthias Schubert

69,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9780471358466 | Testing Computer Software 2e | Kaner (u. a.) | Taschenbuch | Paperback

Testing Computer Software

EAN: 9780471358466

Sprache: Englisch

Von/Mit: Cem Kaner (u. a.)

94,90 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783642063619 | Solving Polynomial Equations | Ioannis Z. Emiris (u. a.) | Taschenbuch

Solving Polynomial Equations

Foundations, Algorithms, and Applications

EAN: 9783642063619

Sprache: Englisch

Von/Mit: Ioannis Z. Emiris (u. a.)

53,49 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9781441939128 | A Classical Introduction to Cryptography Exercise Book | Taschenbuch

A Classical Introduction to Cryptography Exercise Book

EAN: 9781441939128

Sprache: Englisch

Von/Mit: Thomas Baigneres (u. a.)

46,00 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9781680502459 | Learn Functional Programming with Elixir | Ulisses Almeida | Buch

Learn Functional Programming with Elixir

EAN: 9781680502459

Sprache: Englisch

Von/Mit: Ulisses Almeida

43,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781501515132 | Random Number Generators¿Principles and Practices | David Johnston

Random Number Generators¿Principles and Practices

A Guide for Engineers and Programmers

EAN: 9781501515132

Sprache: Englisch

Von/Mit: David Johnston

89,95 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9781107683167 | Calendrical Calculations | Edward M. Reingold (u. a.) | Taschenbuch

Calendrical Calculations

EAN: 9781107683167

Sprache: Englisch

Von/Mit: Edward M. Reingold (u. a.)

46,80 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9781484254721 | Mastering Salesforce DevOps | Andrew Davis | Taschenbuch | Paperback

Mastering Salesforce DevOps

A Practical Guide to Building Trust While Delivering Innovation

EAN: 9781484254721

Sprache: Englisch

Von/Mit: Andrew Davis

67,90 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781800561649 | Mastering Tableau 2021- Third Edition | Marleen Meier | Taschenbuch

Mastering Tableau 2021- Third Edition

Implement advanced business intelligence techniques and analytics with Tableau

EAN: 9781800561649

Sprache: Englisch

Von/Mit: Marleen Meier (u. a.)

117,95 €*

Lieferzeit 1-2 Wochen

Buch

Cover: 9781108489737 | High-Dimensional Data Analysis with Low-Dimensional Models:...

High-Dimensional Data Analysis with Low-Dimensional Models

EAN: 9781108489737

Sprache: Englisch

Von/Mit: John Wright (u. a.)

91,65 €*

Lieferzeit 1-2 Wochen