ENGLISH

Theory of computation: an introduction

By James L. Hein

Book information

Publisher
Jones and Bartlett Publishers
Year
1996
ISBN
0867204974, 9780867204971, 9780585295022
LCC
QA267 .H45 1996
Open Library ID
OL809118M
Language
english
Format
DJVU
Filesize
3 MB (3381196 bytes)
Series
Jones and Bartlett books in computer science
Pages
628\628
Library
Kolxo3
DPI
600
Time added
2009-07-20 03:45:11

Description

This text offers students a carefully developed and complete introduction to the formal logic used in logic programming languages and automatic reasoning systems. The author includes many illustrative examples to help students grasp concepts. Extensive exercise sets follow every section to immediately reinforce concepts as the student is introduced to them. Many excellent tables and illustrations are included to further help students conceptualize grammars and transitions.

Similar books