Introduction to Logic, Third Edition by Michael Genesereth
Preface.- Introduction.- Propositional Logic.- Logical Properties and Relationships.- Propositional Proofs.- Propositional Resolution.- Relational Logic.- Relational Analysis.- Relational Proofs.- Herbrand Logic.- Herbrand Proofs.- Induction.- Resolution.- Bibliography.- Authors' Biographies.-
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
-
An Introduction to Programming Languages: Simultaneous Learning in Multiple Coding Environments
-
Introduction to Logic
-
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
Michael Genesereth is an associate professor in the Computer Science Department at Stanford University. He received his Sc.B. in Physics from M.I.T. and his Ph.D. in Applied Mathematics from Harvard University. He is best known for his research on Computational Logic and its applications. He has been teaching Logic to Stanford students and others for more than 20 years. He is the current director of the Logic Group at Stanford and founder and research director of CodeX (The Stanford Center for Legal Informatics).Eric J. Kao is a member of technical staff at VMware, Inc. He received his B.Math in Pure Mathematics from the University of Waterloo and his Ph.D. in Computer Science from Stanford University. His work centers on Computational Logic and its applications in cloud computing, cybersecurity, and data management. He currently leads OpenStack Congress, a leading open-source collaboration for declarative cloud management. He is passionate about education and making technical subjectsmore accessible. In his free time, he tutors and mentors high school students in East Palo Alto.
| SKU | Unavailable |
| ISBN 13 | 9783031006739 |
| ISBN 10 | 3031006739 |
| Title | Introduction to Logic, Third Edition |
| Author | Michael Genesereth |
| Series | Synthesis Lectures On Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer International Publishing AG |
| Year published | 2016-11-07 |
| Number of pages | 163 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |