Computer Science Logic

by Y. Nievergelt (Author, Editor)
Includes applications in game theory and Nash's equilibrium, Gale and Shapley's match making algorithms, Arrow's Impossibility Theorem in voting
Focuses of foundations, with specific statements of all the associated axioms and rules of logic and set theory
Provides complete details and derivations of formal proofs
Develops the theory that demonstrates construction of all mathematics and theoretical computer science from logic and set theory
Provides copious references to literature that documents historical development

A Course for Students Preparing for Any High School Computer Science Exams: iGCSE, GCSE, IB, American Diploma & More

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.

Master core computer science with electronics, C++, logic circuits & data structures—taught by real university professor

Learn discrete math and translate it to applications like computer algorithms and arithmetic, and digital logic circuits