ENGLISH

Theory of computation: an introduction

By James L. Hein

Book information

Publisher
Jones & Bartlett Publishers
Year
1996
ISBN
9780867204971, 0867204974
LCC
QA267 .H45 1996
Open Library ID
OL809118M
Language
english
Format
DJVU
Filesize
14 MB (14927918 bytes)
Series
Jones and Bartlett Books in Computer Science
Pages
628\628
Time added
2014-10-05 02:30:00

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