2it60 - Samenvattingen, Aantekeningen en Examens

A concise summary of the logic and set course 2IT60 provided at the TU/e.

EN: Automata, language theory and complexity (2IT90) is a course taught at Eindhoven University of Technology. It is a mandatory course Bachelor Computer Science and Engineering students. The course is given in the first quartile of the second year. It goes more in depth about the content from Logic and Set Theory (2IT60) and Discrete Structures (2IT80). Summaries of these courses can be found on my profile. Automata discusses automaton engineering, context-free languages, undecidable languages ...

EN: Logic and Set Theory (2IT60) is a course taught at Eindhoven University of Technology. It is a mandatory course for Bachelor Computer Science and Engineering students. It is given in the first quartile of the first year and forms the basis for the study. Logic and Set Theory discusses boolean variables, truth tables, propositions, equivalences, quantifiers, reasoning, sets, relations and mappings. ---- NL: Logic and Set Theory (2IT60) is een vak die wordt gegeven op de Technische Universi...

EN: Discrete Structures (2IT80) is a course given at Eindhoven University of Technology. It is a mandatory course for Bachelor Computer Science and Engineering students. The course is given in the second quartile of the first year. It goes more in depth about the content from Logic and Set Theory (2IT60) which is taught in the first quartile. A summary of this course can be found on my profile. Discrete Structures discusses sets, relations, counting, graphs and probability. It is a very import...