Introduction to Languages, Machines, and Logic

Introduction to Languages, Machines, and Logic
Автор
 
Год
 
Страниц
 
0
ISBN
 
1852334649
Издатель
 
Springer
Категория
 
Обучение машины
Искать в интернет библиотекахКупить

Содержание:

Общедоступная история астрономии в XIX столетии

Описание:

This book provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. It is written in an easy-to-read, informal style and assumes only a basic knowledge of programming on the part of the reader. The approach is deliberately non-mathematical and features: - Clear explanations of formal notation and jargon - Extensive use of examples to illustrate algorithms and proofs - Pictorial representations of key concepts - Lots of end-of-chapter exercises Introduction to Languages, Machines and Logic is suitable for use on courses covering formal languages, formal logic, computability and automata theory. It will also make an excellent supplementary text for courses on algorithm complexity and compilers.

Похожие книги

A course in calculus and real analysisA course in calculus and real analysis
Автор: Sudhir R. Ghorpade
Год: 2006
Teach Yourself GreekTeach Yourself Greek
Автор: Aristarhos Matsukas
Год: 2003
Public Places Urban Spaces, Second Edition: The Dimensions of Urban DesignPublic Places Urban Spaces, Second Edition: The Dimensions of Urban Design
Автор: Matthew Carmona, Tim Heath, Taner Oc, Steve Tiesdell
Год: 2010
Database Design Using Entity-Relationship DiagramsDatabase Design Using Entity-Relationship Diagrams
Автор: Sikha Bagui
Год: 2003