Effective Theories in Programming Practice

More about the book

The textbook provides a clear and concise exploration of set theory, logic, discrete mathematics, and essential algorithms, emphasizing their importance for computing professionals and students. It covers necessary background material to facilitate understanding and articulation of various algorithms. The author advocates for the effective use of formalism to achieve clarity and simplicity in explanations, ensuring that readers grasp both the correctness and complexity of the algorithms presented.