Sluiten Help Print
 Cursus: 201800106
 201800106Logic and Set Theory
 Cursus informatie
Cursus201800106
Studiepunten (ECTS)2,5
CursustypeCursus
VoertaalEngels
Contactpersoonir. E. Molenkamp
E-maile.molenkamp@utwente.nl
Docenten
 Contactpersoon van de cursus ir. E. Molenkamp Examinator ir. E. Molenkamp
Collegejaar2022
Aanvangsblok
 1A
AanmeldingsprocedureZelf aanmelden via OSIRIS Student
Inschrijven via OSIRISJa
 Cursusdoelen
 body { font-size: 9pt; font-family: Arial } table { font-size: 9pt; font-family: Arial } After completing the course, the student can work with formulas from propositional logic and predicate logic, and knows their meaning and use. In particular, the student can prove the validity of a logical formula in a formal deductive system with assumptions, inferences and conclusions. The student can put his logical knowledge to work, in particular to prove formulas of set theory, having developed both the skills and the understanding of the fundamental mathematical abstractions in the area of sets, including relations, functions, orderings and induction.
 Inhoud
 body { font-size: 9pt; font-family: Arial } table { font-size: 9pt; font-family: Arial } The course treats the following topics: syntax and semantics of propositional logic, including truth tables, equivalence, tautology and contradiction, calculating with equivalences, strengthening and weakening of propositions; syntax and (informal) semantics of first-order predicate logic, including predicates, quantifiers, and variable binding; logical derivation, reasoning with propositions and predicates, conclusion, assumption, context, validity; set, subset, intersection and union, complement, difference, the empty set, powerset, cartesian product; relation, equivalence relation, class, partition; mapping (function), image and source, injection, surjection, bijection, inverse function, composition of relations and functions; partial ordering, linear ordering, Hasse diagram, maximal and minimal elements; and induction, strong induction, inductive definition   This homologation course is a self-study course given by the TU/e (TU/e course code  5LIQ0 TU/e lecturer is Bas Luttik). It is only accessible for master Embedded Systems students and with explicit approval of the programme mentor. You must have a TU/e account.
 Participating study
 Master Embedded Systems
Verplicht materiaal
-
Aanbevolen materiaal
-
Werkvormen
 Zelfstudie geen begeleiding
Toetsen
 ExamOpmerkingExam dates are determined by TU/e.
 Sluiten Help Print