Contactmoment
3 mei
slides.com/jod/pt_mei_03
Docent: Jo Devriendt
Assistent: Ann Philips
Coördinator: Joost Vennekens
voornaam.achternaam@kuleuven.be
Programmeertechnieken [B-KUL-YI0855]
De Nayer, IIW, E-ICT, 2Ba + schakel, 2020-2021
Contactmoment 3 mei
Programmeertechnieken [B-KUL-YI0855]
De Nayer, IIW, E-ICT, 2Ba + schakel, 2020-2021
Onderwerpen:
- 18a. Predikatenlogica
- 18b. FO(.) en IDP
- 18c. 0-1 Integer Linear Programming
Uitsmijter:
IDP en jij!
In volgende IDP-specificaties ontbreken de centrale constraints:
Vul ze zelf in. Druk op "run" om te kijken of je oplossing werkt.
IDP en jij
\neg : \text{\textbf{\textasciitilde}} \\
\wedge : \text{\textbf{\&}} \\
\vee : \text{\textbf{|}} \\
\Rightarrow : \text{\textbf{=>}} \\
\Leftarrow : \text{\textbf{<=}} \\
\Leftrightarrow : \text{\textbf{<=>}} \\
\neq : \text{\textbf{\textasciitilde=}} \\
\forall : \text{\textbf{!}} \\
\exists : \text{\textbf{?}}
ASCII-encodering van logische symbolen:
Contactmoment 3 mei
By Jo Devriendt
