Application logic (English Version · 2nd Edition)

Author: (USA) 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. Although 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, making it suitable for advanced undergraduate students and beginning graduate students in computer science and mathematics.