Logic And Language Models For Computer Science (Fourth Edition)
Regular price
€122.99
14 days return policy
Shipping & Delivery
A01=Dana Richards
A01=Henry Hamburger
Author_Dana Richards
Author_Henry Hamburger
Automata Theory
Category=UYF
Computability
eq_bestseller
eq_computing
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
Finite Automata
Formal Languages
Parsing
Predicate Logic
Propositional Logic
Turing Machines
Product details
- ISBN 9789811260667
- Publication Date: 07 Mar 2023
- Publisher: World Scientific Publishing Co Pte Ltd
- Publication City/Country: SG
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
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.
