Introduction to Logic by Michael Genesereth
Provides a gentle but rigorous introduction to formal logic. The book covers logical syntax and semantics and proof theory, plus induction. Unlike other books, this title begins with Herbrand semantics rather than the more traditional Tarskian semantics. This approach makes the material considerably easier for students to understand.-
Science Fiction Prototyping
-
The Journey of Large Language Models and Retrieval-Augmented Generation Systems
-
The Promise and Peril of AI
-
On Raising a Digital Human
-
Building Ethical and Secure AI
-
Integration of AI Theory and Applications in Diverse Industries
-
Neural Symbolic Knowledge Graph Reasoning
-
Metareasoning for Robots
-
Influence Models in Group Decision-Making
-
Smart City Standardization
-
Graph Mining
-
Analytical Performance Modeling for Computer Systems, Third Edition
-
Storing Clocked Programs Inside DNA
-
Blockchain Platforms
-
Automated Verification of Concurrent Search Structures
-
Introduction to Logic, Third Edition
-
An Introduction to Programming Languages: Simultaneous Learning in Multiple Coding Environments
-
Societal Impacts of Artificial Intelligence and Machine Learning
-
Advances in Human Activity Detection and Recognition (HADR) Systems
-
Coding Examples from Simple to Complex
-
Transforming Healthcare with Artificial Intelligence
-
A Beginner's Guide to Generative AI
-
Human-Centric AI with Common Sense
-
Safe Autonomy with Control Barrier Functions
-
Creating Autonomous Vehicle Systems, Second Edition
-
Principles of Blockchain Systems
| SKU | Unavailable |
| ISBN 13 | 9781627052474 |
| ISBN 10 | 162705247X |
| Title | Introduction to Logic |
| Author | Michael Genesereth |
| Series | Synthesis Lectures On Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Morgan & Claypool Publishers |
| Year published | 2013-08-30 |
| Number of pages | 163 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |