Logic for Computer Science

This summary contains all the substance for the course of logic for computer science (informatica), from both the lectures and the book. The summary contains useful tables, for example, summarizing all the laws and all proofing strategies.

All of the subjects discussed in the Logic for Computer Science (INFOB1LI) course, clearly summarized in a structured way. Based on lectures, lecture notes and the book Modelling Computing Systems - Mathematics for Computer Science (ISBN: 978-1-84800-321-7).

Summary of the course “Logic for Computer Science” at Utrecht University, based on lectures and the book Modelling Computer Systems.

Logic for Computer Science/ Computer Technology Logic. Summary of the notes given by the teacher. This substance is tested next to the book Modelling Computing Systems for the exam. Given at Utrecht University.

Logic for Computer Science/Logic for Computer Technology Chapter 11 Summary of the book Modelling Computing Systems written by Faron Moller and Georg Struth. Summary written in English. Using examples and pictures, the substance and theory are clarified. Given at Utrecht University.

Logic for Computer Science/Logic for Computer Technology Chapter 10 Summary of the book Modelling Computing Systems written by Faron Moller and Georg Struth. Summary written in English. Using examples and pictures, the substance and theory are clarified. Given at Utrecht University.

Logic for Computer Science/Logic for Computer Technology Chapter 8 Summary of the book Modelling Computing Systems written by Faron Moller and Georg Struth. Summary written in English. Using examples and pictures, the substance and theory are clarified. Given at Utrecht University.

Logic for Computer Science/Logic for Computer Technology Chapter 6 Summary of the book Modelling Computing Systems written by Faron Moller and Georg Struth. Summary written in English. Using examples and pictures, the substance and theory are clarified. Given at Utrecht University.