Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3152128 obálek a 950683 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Introduction to Languages, Machines, and Logic
Rok: 2002
ISBN: 9781852334642
OKCZID: 110107285
Citace (dle ČSN ISO 690):
PARKES, Alan P. Introduction to languages, machines and logic: computable languages, abstract machines and formal logic. London: Springer, c2002. xi, 351 s.
Anotace
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.