Domeinmodellering/2 Activiteiten/Assignments/Opdracht04-A02
Uit Werkplaats
< Domeinmodellering | 2 Activiteiten | Assignments
Versie door Theo van der Weide (overleg | bijdragen) op 1 okt 2011 om 20:10 (Domeinmodellering-Opdracht/2 Activiteiten/Assignments/Opdracht04-A02 hernoemd over de doorverwijzing Domeinmodellering/2 Activiteiten/Assignments/Opdracht04-A02)
This is the 2nd lecture of Block A: Modeling and Reasoning.
In the first lecture we have seen the basic modeling technique being used. This enables us to describe the elementary sentences of the universe of discourse (uod). However, it may be possible to form sentences that do not make sense in the uod.
In this lecture we will see how constraints are used to restrict the forming of concrete sentences.
