Key Features:
• Computer representation of several mathematical structures are given.
• Detailed discussion of logic, recursion, combinatorics, recurrence relations, algebraic structures, graphs and trees and introduction to automata theory have been dealt with.
• Each section contains many worked out examples followed by exercises.
• The presentation is simple and lucid.