Logica voor Informatici/Oefeningen
Oefeningen (oefenzittingen)
Oplossingen worden op Toledo meegedeeld naarmate het semester vorderd.
Huistaken (LogicPalet)
Hier staan de oplossingen voor de oefeningen in Logic Palet. Sommige antwoorden staan in XML formaat, kopieer dit en plak dit in de geo- of deca-wereld.
Academiejaar 2017-2018
|
Nummer |
Opgave |
Oplossing |
|---|---|---|
|
Homework 1 Exercise 1 |
Geef een trouwe vertaling naar predikatenlogica-taal voor de volgende uitspraak over Geo-werelden (relatie-identifiers: Triangle, Square, Small, LeftOf): Alle kleine driehoeken liggen links van alle vierkanten. |
∀x: Triangle(x) ∧ Small(x) ⇒ ∀y: Square(y) ⇒ LeftOf(x,y) |
|
Homework 1 Exercise 2 |
Construeer een Geo-wereld waarin de volgende zinnen waar zijn: ∃x: ∃y: Triangle(x) ∧ Square(y); ∀x: ∃y: Triangle(x) ⇒ [LeftOf(x,y) ∧ Pentagon(y)] |
<GeoWorld> <Triangle Size="2" Row="3" Column="3" /> <Square Size="2" Row="4" Column="3" /> <Pentagon Size="2" Row="4" Column="6" /> </GeoWorld> |
WIP