Introduction to Logic, Third Edition by Michael Genesereth

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.

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.