Zur Startseite gehen
0,00 €*
Cover: 9781852334642 | Introduction to Languages, Machines and Logic | Alan P. Parkes | Buch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Introduction to Languages, Machines and Logic
Computable Languages, Abstract Machines and Formal Logic
Taschenbuch von Alan P. Parkes
Sprache: Englisch

67,40 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:
Beschreibung
1.1 Overview This chapter briefly describes: ¿ what this book is about ¿ what this book tries to do ¿ what this book tries not to do ¿ a useful feature of the book: the exercises. 1.2 What This Book Is About This book is about three key topics of computer science, namely computable lan­ guages, abstract machines, and logic. Computable languages are related to what are usually known as "formal lan­ guages". I avoid using the latter phrase here because later on in the book I distin­ guish between formal languages and computable languages. In fact, computable languages are a special type of formal languages that can be processed, in ways considered in this book, by computers, or rather abstract machines that represent computers. Abstract machines are formal computing devices that we use to investigate prop­ erties of real computing devices. The term that is sometimes used to describe abstract machines is automata, but that sounds too much like real machines, in particular the type of machines we call robots. The logic part of the book considers using different types of formal logic to represent things and reason about them. The logics we consider all play a very important role in computing. They are Boolean logic, propositional logic, and first order predicate logic (FOPL).
1.1 Overview This chapter briefly describes: ¿ what this book is about ¿ what this book tries to do ¿ what this book tries not to do ¿ a useful feature of the book: the exercises. 1.2 What This Book Is About This book is about three key topics of computer science, namely computable lan­ guages, abstract machines, and logic. Computable languages are related to what are usually known as "formal lan­ guages". I avoid using the latter phrase here because later on in the book I distin­ guish between formal languages and computable languages. In fact, computable languages are a special type of formal languages that can be processed, in ways considered in this book, by computers, or rather abstract machines that represent computers. Abstract machines are formal computing devices that we use to investigate prop­ erties of real computing devices. The term that is sometimes used to describe abstract machines is automata, but that sounds too much like real machines, in particular the type of machines we call robots. The logic part of the book considers using different types of formal logic to represent things and reason about them. The logics we consider all play a very important role in computing. They are Boolean logic, propositional logic, and first order predicate logic (FOPL).
Zusammenfassung

AN INFORMAL AND ACCESSIBLE INTRODUCTION TO POTENTIALLY INTIMIDATING CONCEPTS READER-FRIENDLY, NON-MATHEMATICAL PRESENTATION INCLUDES NUMEROUS EXERCISES (MANY WITH SOLUTIONS) AND AN EXTENSIVE GLOSSARY

Includes supplementary material: [...]

Inhaltsverzeichnis
1 Introduction.- Overview.- What This Book Is About.- What This Book Tries to Do.- What This Book Tries Not to Do.- The Exercises.- Further Reading.- Some Advice.- 1 Languages and Machines.- 2 Elements of Formal Languages.- 3 Syntax, Semantics, and Ambiguity.- 4 Regular Languages and Finite State Recognisers.- 5 Context Free Languages and Pushdown Recognisers.- 6 Important Features of Regular and Context Free Languages.- 7 Phrase Structure Languages and Turing Machines.- 2 Machines and Computation.- 8 Finite State Transducers.- 9 Turing Machines as Computers.- 10 Turing's Thesis and the Universality of the Turing Machine.- 11 Computability, Solvability, and the Halting Problem.- 12 Dimensions of Computation.- 3 Computation and Logic.- 13 Boolean Logic and Propositional Logic.- 14 First Order Predicate Logic.- 15 Logic and Computation.- Solutions to Selected Exercises.- 2.- 3.- 4.- 5.- 6.- 7.- 8.- 9.- 10.- 11.- 12.- 13.- 14.- 15.- Further Reading.
Details
Erscheinungsjahr: 2002
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 364
Inhalt: xi
351 S.
ISBN-13: 9781852334642
ISBN-10: 1852334649
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Parkes, Alan P.
Auflage: 2002
Hersteller: Springer London
Maße: 235 x 155 x 20 mm
Von/Mit: Alan P. Parkes
Erscheinungsdatum: 26.04.2002
Gewicht: 0,552 kg
preigu-id: 102489849
Zusammenfassung

AN INFORMAL AND ACCESSIBLE INTRODUCTION TO POTENTIALLY INTIMIDATING CONCEPTS READER-FRIENDLY, NON-MATHEMATICAL PRESENTATION INCLUDES NUMEROUS EXERCISES (MANY WITH SOLUTIONS) AND AN EXTENSIVE GLOSSARY

Includes supplementary material: [...]

Inhaltsverzeichnis
1 Introduction.- Overview.- What This Book Is About.- What This Book Tries to Do.- What This Book Tries Not to Do.- The Exercises.- Further Reading.- Some Advice.- 1 Languages and Machines.- 2 Elements of Formal Languages.- 3 Syntax, Semantics, and Ambiguity.- 4 Regular Languages and Finite State Recognisers.- 5 Context Free Languages and Pushdown Recognisers.- 6 Important Features of Regular and Context Free Languages.- 7 Phrase Structure Languages and Turing Machines.- 2 Machines and Computation.- 8 Finite State Transducers.- 9 Turing Machines as Computers.- 10 Turing's Thesis and the Universality of the Turing Machine.- 11 Computability, Solvability, and the Halting Problem.- 12 Dimensions of Computation.- 3 Computation and Logic.- 13 Boolean Logic and Propositional Logic.- 14 First Order Predicate Logic.- 15 Logic and Computation.- Solutions to Selected Exercises.- 2.- 3.- 4.- 5.- 6.- 7.- 8.- 9.- 10.- 11.- 12.- 13.- 14.- 15.- Further Reading.
Details
Erscheinungsjahr: 2002
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 364
Inhalt: xi
351 S.
ISBN-13: 9781852334642
ISBN-10: 1852334649
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Parkes, Alan P.
Auflage: 2002
Hersteller: Springer London
Maße: 235 x 155 x 20 mm
Von/Mit: Alan P. Parkes
Erscheinungsdatum: 26.04.2002
Gewicht: 0,552 kg
preigu-id: 102489849
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9780521422260 | Categories and Computer Science | Richard F. Walters | Taschenbuch
Categories and Computer Science
EAN: 9780521422260
Sprache: Englisch
Von/Mit: Richard F. Walters

60,20 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783764389048 | Lectures on Algebraic Statistics | Mathias Drton (u. a.) | Taschenbuch
Lectures on Algebraic Statistics
EAN: 9783764389048
Sprache: Englisch
Von/Mit: Mathias Drton (u. a.)

26,30 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783540606673 | Elementare Berechenbarkeitstheorie | Einar Smith | Taschenbuch
Elementare Berechenbarkeitstheorie
EAN: 9783540606673
Sprache: Deutsch
Von/Mit: Einar Smith

22,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783658099343 | Kompetenzentwicklung mit humanoiden Computern | Werner Sauter (u. a.)
Kompetenzentwicklung mit humanoiden Computern
Die Revolution des Lernens via Cloud Computing und semantischen Netzen
EAN: 9783658099343
Sprache: Deutsch
Von/Mit: Werner Sauter (u. a.)

14,99 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9783319547916 | Constraint Theory | Multidimensional Mathematical Model Management
Constraint Theory
Multidimensional Mathematical Model Management
EAN: 9783319547916
Sprache: Englisch
Von/Mit: Phan Phan (u. a.)

75,40 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9783060400539 | mathewerkstatt 10. Schuljahr - Mittlerer Schulabschluss - Übekartei
mathewerkstatt 10. Schuljahr - Mittlerer Schulabschluss - Übekartei
Allgemeine Ausgabe
EAN: 9783060400539
Sprache: Deutsch
Von/Mit: Sibylle Stachniss-Carp
Maße: 299 x 212 x 17 mm

28,50 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9781484237595 | Beginning SVG | Alex Libby | Taschenbuch | Paperback | Englisch | 2018
Beginning SVG
A Practical Introduction to SVG using Real-World Examples
EAN: 9781484237595
Sprache: Englisch
Von/Mit: Alex Libby

48,80 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781788993487 | Hands-On Chatbot Development with Alexa Skills and Amazon Lex | Buch
Hands-On Chatbot Development with Alexa Skills and Amazon Lex
EAN: 9781788993487
Sprache: Englisch
Von/Mit: Sam Williams

50,75 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9783030156701 | Analyzing Qualitative Data with MAXQDA | Text, Audio, and Video | Buch
Analyzing Qualitative Data with MAXQDA
Text, Audio, and Video
EAN: 9783030156701
Sprache: Englisch
Von/Mit: Stefan Rädiker (u. a.)

97,15 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9798223575238 | Tailoring Prompts For Success - The Ultimate ChatGPT Prompt...
Tailoring Prompts For Success - The Ultimate ChatGPT Prompt Engineering Guide
EAN: 9798223575238
Sprache: Englisch
Von/Mit: Michael Ferguson

21,60 €*

Lieferzeit 4-7 Werktage

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...