Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
|||
Showing 1 - 3 of 3 matches in All Departments
This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques.This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It has added many new examples, problems and answers. It can be used as an undergraduate text at most universities.
This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes.
This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes.
|
You may like...
Fundamentals of Plastic Optical Fibers
Yasuhiro Koike
Paperback
Advances in Imaging and Sensing
Shuo Tang, Daryoosh Saeedkia
Paperback
LANGE Review: MRI Clinical Concepts and…
Zachary Rich, Michael Grey
Paperback
R1,354
Discovery Miles 13 540
Artificial Intelligence in China…
Qilian Liang, Wei Wang, …
Hardcover
R10,146
Discovery Miles 101 460
Light Propagation through Biological…
Fabrizio Martelli, Tiziano Binzoni, …
Paperback
R2,682
Discovery Miles 26 820
|