Science, International, Series, computer, Logic

Logic for Computer Science (International Computer Science Series)

An understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about computer programs and applying logic in fields like artificial intelligence. The text contains extended examples, algorithms, and programs written in Standard ML and Prolog. No prior knowledge of either language is required. The book contains a clear account of classical first-order logic, one of the basic tools for program verification, as well as an introductory survey of modal and temporal logics and possible world semantics. An introduction to intuitionistic logic as a basis for an important style of program specification is also featured in the book.









List Price: $ 33.60



Price:

Other posts like this, by keyword:

Science:

Introduction to Computational Science: Modeling and Simulation for the Sciences ...
Hidden Light: Science Secrets of the Bible ...
Biochar for Environmental Management: Science and Technology ...
From Neurons to Neighborhoods : The Science of Early Childhood Development ...
Computational Number Theory and Digital Signal Processing (Computer Science & Engineering) Reviews ...
Natural Reflections: Human Cognition at the Nexus of Science and Religion (The Terry Lectures Series) ...
The Savior of Science ...
A Drop in the Ocean: The Story of Water (Science Works) ...
Faith, Science, and Reason: Theology on the Cutting Edge ...
Introduction to Architectural Science, Second Edition: The Basis of Sustainable Design ...
International:

Q&A: What determines if an airport is considered Regional or International? ...
The Origins of the Cold War in Europe: International Perspectives ...
Glacier-Waterton International Peace Park ...
Nations Under God (International Theological Commentary) ...
New International Business English Updated Edition Workbook Reviews ...
Software Engineering: A Practitioner’s Approach (McGraw-Hill International Editions: Computer Science Series) ...
Nutrition and Fitness: Cultural, Genetic and Metabolic Aspects: International Congress and Exhibition on Nutrition, Fitness and Health, Shan ...
The Law of Armed Conflict: International Humanitarian Law in War Reviews ...
Congressional Television: A Legislative History (Contributions in Political Science) ...
Amlan International Holds Distributor Conference in Mexico ...
Series:

Come Look With Me: Exploring Landscape Art With Children (Come Look With Me Series) ...
When is the new series of american chopper repeated on discovery? ...
Fuzzy and Neural Approaches in Engineering (Adaptive and Learning Systems for Signal Processing, Communications and Control Series) ...
Modularity: Understanding the Development and Evolution of Natural Complex Systems (Vienna Series in Theoretical Biology) ...
Village Diary (The Fairacre Series #2) Reviews ...
Missing in Death (In Death Series) Reviews ...
Water Management in Islam (Water Resources Management and Policy Series) Reviews ...
Doing Family Therapy, Second Edition: Craft and Creativity in Clinical Practice (The Guilford Family Therapy Series) ...
Biology and Creation: An Introduction Regarding Life and Its Origins (Creation Research Society Reader Series, No. 4) ...
SF Giants World Series Parade ...
computer:

The computer is always entertaining. ...
Computational Number Theory and Digital Signal Processing (Computer Science & Engineering) Reviews ...
Mmorpg: How a computer game becomes deadly serious ...
How i will make the configure 1 computer to others computers? ...
Software Engineering: A Practitioner’s Approach (McGraw-Hill International Editions: Computer Science Series) ...
what’s the difference between computer science and computer engineering? ...
Non-Photorealistic Computer Graphics: Modeling, Rendering, and Animation (The Morgan Kaufmann Series in Computer Graphics) ...
Guide to Computer Forensics and Investigations, Second Edition ...
Software Engineering and Computer Games ...
Programming of Computer Numerically Controlled Machines ...
Logic:

Introduction to Digital Logic Design ...
Programming Logic for Business ...
Jim Fay Interviewed by Randy Gilbert on The Inside Success Show: Jim Fay talks about how to raise healthy and happy children, with in ...