Richards, Dana
Logic And Language Models For Computer Science (Third Edition)
(No reviews yet)
Write a Review
- ISBN 13:
- 9789813230507
- author:
- Richards, Dana
- format:
- Paperback
- publisher:
- World Scientific Publishing Company
- language:
- English
- Publication Year:
- 2017
- Pages:
- 468
- Dimensions:
- 22.86 x 15.24 x 2.79 centimetres
- Genre:
- Computers, Entertainment & Games, Games Programming
- Condition:
- New
- Availability:
- Item usually sent within 20 working days
Description
Logic and Language Models for Computer Science presents the fundamental concepts underlying computer science, starting with an introduction to logic that emphasizes reasoning and proof. The book covers topics such as program verification and Prolog, providing a comprehensive overview of computability using automata and formal languages.
This text is suitable for both undergraduate and graduate classes, making it an ideal resource for students and professionals alike. With its clear and accessible style, the book provides a thorough understanding of the underlying principles that shape computer science.
Related Products
Related Products
Logic Primer, third edition
Allen, Colin
£36.53
Logic Primer, third edition by Colin Allen and Michael Hand is a comprehensive introduction to symbolic logic. This concise textbook provides clear definitions, illustrative examples, and exercises...
Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science)
Makinson, David
£27.27
This textbook introduces the mathematical language and problem-solving tools essential to anyone entering computer and information sciences. It offers a concise treatment in an engaging style, making...
Introduction to Computation and Programming Using Python, third edition: With Application to Computational Modeling
Guttag, John V.
£70.53
This introduction to computational problem solving using Python provides students with little or no prior programming experience with the skills needed to make productive use of computational...
The Languages of Logic: An Introduction to Formal Logic
Guttenplan, Samuel
£34.66
The Languages of Logic: An Introduction to Formal Logic by Samuel Guttenplan is an innovative textbook that explores the relationship between natural language and logic. This revised edition builds...
Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science)
Sannella, Donald
£35.40
Introduction to Computation with Haskell, Logic and Automata provides a distinctive approach to introducing students to essential topics in Computer Science. This textbook covers core elements such...