书目名称 | Introduction to Languages, Machines and Logic | 副标题 | Computable Languages | 编辑 | Alan P. Parkes | 视频video | | 概述 | AN INFORMAL AND ACCESSIBLE INTRODUCTION TO POTENTIALLY INTIMIDATING CONCEPTS READER-FRIENDLY, NON-MATHEMATICAL PRESENTATION INCLUDES NUMEROUS EXERCISES (MANY WITH SOLUTIONS) AND AN EXTENSIVE GLOSSARY. | 图书封面 |  | 描述 | 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 comp | 出版日期 | Textbook 2002 | 关键词 | Automat; algorithms; automata; complexity; formal language; formal logic; logic; predicate logic | 版次 | 1 | doi | https://doi.org/10.1007/978-1-4471-0143-7 | isbn_softcover | 978-1-85233-464-2 | isbn_ebook | 978-1-4471-0143-7 | copyright | Springer-Verlag London Limited 2002 |
The information of publication is updating
书目名称Introduction to Languages, Machines and Logic影响因子(影响力) 
书目名称Introduction to Languages, Machines and Logic影响因子(影响力)学科排名 
书目名称Introduction to Languages, Machines and Logic网络公开度 
书目名称Introduction to Languages, Machines and Logic网络公开度学科排名 
书目名称Introduction to Languages, Machines and Logic被引频次 
书目名称Introduction to Languages, Machines and Logic被引频次学科排名 
书目名称Introduction to Languages, Machines and Logic年度引用 
书目名称Introduction to Languages, Machines and Logic年度引用学科排名 
书目名称Introduction to Languages, Machines and Logic读者反馈 
书目名称Introduction to Languages, Machines and Logic读者反馈学科排名 
|
|
|