Download Free Computer Ebooks - NET BOOKS

Logic for Computer Scientists

Posted by bandr under General Programming

Logic for Computer Scientists

Product Description

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.

The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.

download

Add this page to your favorite Social Bookmarking websites

Report Dead Link Please leave a comment to report dead links, so that someone else may update new links.

Related Ebooks

• Comprehensive Mathematics for Computer Scientists 1: Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Universitext), 2nd Edition
• Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming
• Proof and Disproof in Formal Logic: An Introduction for Programmers
• Algorithms and Programming: Problems and Solutions
• An Introduction to Queueing Theory: Modeling and Analysis in Applications
• Computer Arithmetic and Validity: Theory, Implementation, and Applications
• Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
• Principles of Computer Systems and Network Management
• Practical Formal Software Engineering: Wanting the Software You Get
• A Concise Introduction to Languages and Machines (Undergraduate Topics in Computer Science)

Leave a Reply