Description
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, M.Sc (IT) 2nd semester, GNDU, Amritsar B. Tech. (CSE) 7th semester, PTU, Jalandhar
Table of Contents
Chapter 1: Propositional Logic
Chapter 2: First Order Logic
Chapter 3: Representing World Knowledge
Chapter 4: Introduction to Prolog
Chapter 5: Programming in Prolog
Chapter 6: Recursion
Chapter 7: Structural Data Representation
Chapter 8: Unification
Chapter 9: Controlling Backtracking
Chapter 10: Built in Predicates
Chapter 11: Non-Declarative Features of Prolog
Chapter 12: Resolution
Chapter 13: Fuzzy Logic and Neural Networks
Appendix
Questions Papers
Author
Mandeep Singh Bhatia
Mr. Mandeep Singh Bhatia is presently working as Lecturer in Department of Computer Science & IT, Lyallpur Khansa College, Jalandhar. He is Master in Information Technology and has appropriate knowledge of Computer Software and Hardware. He is proficient in applying Data Mining Techniques in various fields. His subjects of interest are Data Warehousing, Data Mining, Computer Networks and Computer Hardware. His total teaching experience is of 5 years. He has written one research paper which has been published in the proceedings of international conference held at Austria. Other books by authore are: “Fundamentals of Computer Hardware” and “A Beginner’s Guide to Visual Bsaic 6”.
Reviews
There are no reviews yet.