Introduction to Languages, Machines and Logic

Name: Introduction to Languages, Machines and Logic
Brand: Springer London Ltd
SKU: 9781852334642
Price: 379.03 RON
Availability: InStock

Computable Languages, Abstract Machines and Formal Logic

Autor: Alan P. Parkes

Limbă:

Legare: Carte broșată

Editura: Springer London Ltd

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

379.03 lei

This book provides an accessible introduction to three key topics within computer science: formal la...

Informații despre carte

Autor

Alan P. Parkes

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2002

Pagini

351

EAN

9781852334642

ISBN

1852334649

Enbook ID

01435244

Editura

Springer London Ltd

Greutate

620

Dimensiuni

155 x 235 x 20

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Introduction to Languages, Machines and Logic

Computable Languages, Abstract Machines and Formal Logic

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și