Logic, Sets and Recursion

Robert L. Causey (Autor)

Buch | Hardcover

512 Seiten

2006 | 2nd edition
Jones and Bartlett Publishers, Inc (Verlag)
9780763737849 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

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.

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, Synthèse, Noûs,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.

Erscheint lt. Verlag	29.12.2006
Verlagsort	Sudbury
Sprache	englisch
Gewicht	822 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-13	9780763737849 / 9780763737849
Zustand	Neuware