Symbolic Logic & Prolog
This book provides a comprehensive introduction to Symbolic Logic concepts such as Propositional and First-order logic. It Also Covers the programming language PROLOG with suitable examples. At last, this book also covers the concepts of Fuzzy Logic and Neural Networks.
This book covers the syllabus of the courses in the disciplines of: B. Tech. (CSE) 7th semester, GNDU, Amritsar, MSc (IT) 2nd semester, GNDU, Amritsar B. Tech. (CSE) 7th semester, PTU, Jalandhar.
- Propositional Logic
- First Order Logic
- Representing World Knowledge
- Introduction to Prolog
- Programming in Prolog
- Recursion
- Structural Data Representation
- Unification
- Controlling Backtracking
- Built in Predicates
- Non-Declarative Features of Prolog
- Resolution
- Fuzzy Logic and Neural Networks
- Appendix
- Questions Papers
Customer Feedback
No reviews yet. Be the first to review this product!