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:

  1. tinyurl.com/idp-nqueens
  2. tinyurl.com/idp-kleuring
  3. tinyurl.com/idp-sudoku

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: