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.
Disclaimer: Al zouden volgende oplossingen juist moeten zijn, dit wordt niet gegarandeerd. Waarschijnlijk bestaan er meerdere oplossingen voor bepaalde oefeningen.
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> |
|
Homework 1 Exercise 3 |
Construeer een Deca-wereld waarin de volgende zinnen waar zijn: ∃x: ∃y: Triangle(x) ∧ Square(y); ∃x: ∀y: x=y |
<DecaWorld Size="1"> <UnaryRelation Name="Triangle" Elements="1" /> <UnaryRelation Name="Square" Elements="1" /> </DecaWorld> |
|
Homework 1 Exercise 4 |
Geef een trouwe vertaling naar predikatenlogica-taal voor de volgende uitspraak over Geo-werelden (relatie-identifiers: Pentagon, Square, Small, BackOf): Er is minstens één vijfhoek die achter alle kleine vierkanten ligt. |
∃x: Pentagon(x) ∧ ∀y: Square(y) ∧ Small(y) ⇒ BackOf(x,y) |
|
Homework 1 Exercise 5 |
Geef een trouwe vertaling naar predikatenlogica-taal voor de volgende uitspraak over Geo-werelden (relatie-identifiers: Triangle, Square, Smaller): Er ligt een vierkant, maar niet alle vierkanten zijn kleiner dan alle driehoeken. |
∃x: Square(x) ∧ (¬∀y: Square(y) ⇒ ∀z: Triangle(z) ⇒ Smaller(y,z)) |
|
Homework 2 Exercise 1 |
||
|
Homework 2 Exercise 2 |
||
|
Homework 2 Exercise 3 |
||
|
Homework 2 Exercise 4 |
||
|
Homework 2 Exercise 5 |
||
|
Homework 3 Exercise 1 |
||
|
Homework 3 Exercise 2 |
||
|
Homework 3 Exercise 3 |
||
|
Homework 3 Exercise 4 |
||
|
Homework 3 Exercise 5 |
WIP