Application logic - Classic Original Book Library (English Version, 2nd Edition)

Author: Niloed
Publisher:
Publish Date: 2006-09-01
Features: This textbook introduces mathematical logic by combining its application in computer science, emphasizing the concept of deduction as a form of computation. While the book covers all traditional logic topics, most of the discussions focus on other subjects such as resolution theorem proving, logic-based programming, and non-classical logics, which are becoming increasingly important in modern computer science. Additionally, the book systematically introduces the fundamentals of set theory and provides a historical overview of the subject. It does not require readers to have prior knowledge of logic and is suitable for advanced undergraduate students and early graduate students in computer science and mathematics.