Logica voor Informatici/Oefeningen: verschil tussen versies
Aanmaken van de pagina voor de oefeningen van logica. |
Toevoegen van de eerste twee oefeningen van LogicPalet |
||
| Regel 6: | Regel 6: | ||
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. | 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. | ||
===Homework 1=== | ===Academiejaar 2017-2018=== | ||
<table style="text-align:center; border:black solid 1px; border-collapse: collapse;"> | |||
<tr> | |||
<th style="text-align:center; border:black solid 1px; border-collapse: collapse;" width="10%"> | |||
Nummer | |||
</th> | |||
<th style="text-align:center; border:black solid 1px; border-collapse: collapse;" width="45%"> | |||
Opgave | |||
</th> | |||
<th style="text-align:center; border:black solid 1px; border-collapse: collapse;" width="45%"> | |||
Oplossing | |||
</th> | |||
</tr> | |||
<tr> | |||
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;"> | |||
Homework 1 | |||
Exercise 1 | |||
</td> | |||
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;"> | |||
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. | |||
</td> | |||
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;"> | |||
∀x: Triangle(x) ∧ Small(x) ⇒ ∀y: Square(y) ⇒ LeftOf(x,y) | |||
</td> | |||
</tr> | |||
<tr> | |||
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;"> | |||
Homework 1 | |||
Exercise 2 | |||
</td> | |||
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;"> | |||
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)] | |||
</td> | |||
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;"> | |||
<GeoWorld> | |||
<Triangle Size="2" Row="3" Column="3" /> | |||
<Square Size="2" Row="4" Column="3" /> | |||
<Pentagon Size="2" Row="4" Column="6" /> | |||
</GeoWorld> | |||
</td> | |||
</tr> | |||
</table> | |||
WIP | WIP | ||
Versie van 2 dec 2017 10:17
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