Logic, Sets, and Recursion, Second Edition provides a comprehensive introduction to logic, the basic ideas of set theory, and mathematical induction at the undergraduate level. This text paves the way for students preparing to enter more advanced math courses, furnishing them with the experience to construct rigorous proofs with ease. It is intended to fill the gap between advanced mathematical logic texts and discrete mathematics texts that do not treat logic with the depth required in modern computer science. The Second Edition has incorporated a wealth of exercise sets to aid in students' retention and understanding of material presented in the text.
Auflage
Sprache
Verlagsort
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Gewicht
ISBN-13
978-0-7637-3784-9 (9780763737849)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
Robert L. Causey, The University of Texas at AustinRobert L. Causey (Ph.D. 1967, Logic and Methodology of Science, California-Berkeley) is Professor of Philosophy and a member of the Artificial Intelligence Laboratory. He has written extensively in the philosophy of science and on logic, artificial intelligence, and the philosophy of mind. He is the author of Unity of Science (1977) and Logic, Sets, and Recursion (1994), and a co-author of Introduction to Artificial Intelligence and Expert Systems (1988). He has published many articles in such philosophical and scientific journals as The Journal of Philosophy, Philosophy of Science, Synthese, Nous,and Minds and Machines. He has held research grants from the National Science Foundation and the Army Research Office, and is the Philosophical Web Pages Review Editor for the APA Newsletter on Philosophy and Computers.
