The topics covered in this book have been chosen keeping in view the knowledge required to understand the functioning of the digital computer because many of its properties can be understood and interpreted within the framework of finite mathematical systems.