Foundations of Computation is a free textbook for a one-semester course in theoretical computer science. It has been used for several years in a course at Hobar

Computing, today more than ever before, is a multi-faceted discipline which collates several methodologies, areas of interest, and approaches: mathematics, engi

Written for professionals learning the field of discrete mathematics, this book provides the necessary foundations of computer science without requiring excessi

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including l

Foundations of Computer Technology is an easily accessible introduction to the architecture of computers and peripherals. This textbook clearly and completely e