Logica voor Informatici/Oefeningen: verschil tussen versies

Uit Wina Examenwiki
Naar navigatie springen Naar zoeken springen
← Oudere bewerkingNieuwere bewerking →
Toevoegen van de eerste twee oefeningen van LogicPalet
→Huistaken (LogicPalet): Toevoegen structuur pagina + oplossingen homework 1
Regel 5: Regel 5:


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.  
Disclaimer: Al zouden volgende oplossingen juist moeten zijn, dit wordt niet gegarandeerd. Waarschijnlijk bestaan er meerdere oplossingen voor bepaalde oefeningen.


===Academiejaar 2017-2018===
===Academiejaar 2017-2018===


<table style="text-align:center; border:black solid 1px; border-collapse: collapse;">
<table style="text-align:center; border:black solid 1px; border-collapse: collapse;">
Regel 46: Regel 50:


∃x: ∃y: Triangle(x) ∧ Square(y);
∃x: ∃y: Triangle(x) ∧ Square(y);
∀x: ∃y: Triangle(x) ⇒ [LeftOf(x,y) ∧ Pentagon(y)]  
∀x: ∃y: Triangle(x) ⇒ [LeftOf(x,y) ∧ Pentagon(y)]  
</td>
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
<GeoWorld>
<GeoWorld>
<Triangle Size="2" Row="3" Column="3" />
<Triangle Size="2" Row="3" Column="3" />
<Square Size="2" Row="4" Column="3" />
<Square Size="2" Row="4" Column="3" />
<Pentagon Size="2" Row="4" Column="6" />
<Pentagon Size="2" Row="4" Column="6" />
</GeoWorld>
</GeoWorld>
</td>
</tr>
<tr>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
Homework 1
Exercise 3
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
Construeer een Deca-wereld waarin de volgende zinnen waar zijn:
∃x: ∃y: Triangle(x) ∧ Square(y);
∃x: ∀y: x=y
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
<DecaWorld Size="1">
<UnaryRelation Name="Triangle" Elements="1" />
<UnaryRelation Name="Square" Elements="1" />
</DecaWorld>
</td>
</tr>
<tr>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
Homework 1
Exercise 4
</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: Pentagon, Square, Small, BackOf):
Er is minstens één vijfhoek die achter alle kleine vierkanten ligt.
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
∃x: Pentagon(x) ∧ ∀y: Square(y) ∧ Small(y) ⇒ BackOf(x,y)
</td>
</tr>
<tr>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
Homework 1
Exercise 5
</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, Smaller):
Er ligt een vierkant, maar niet alle vierkanten zijn kleiner dan alle driehoeken.
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
∃x: Square(x) ∧ (¬∀y: Square(y) ⇒ ∀z: Triangle(z) ⇒ Smaller(y,z))
</td>
</tr>
<tr>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
Homework 2
Exercise 1
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
</td>
</tr>
<tr>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
Homework 2
Exercise 2
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
</td>
</tr>
<tr>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
Homework 2
Exercise 3
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
</td>
</tr>
<tr>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
Homework 2
Exercise 4
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
</td>
</tr>
<tr>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
Homework 2
Exercise 5
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
</td>
</tr>
<tr>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
Homework 3
Exercise 1
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
</td>
</tr>
<tr>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
Homework 3
Exercise 2
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
</td>
</tr>
<tr>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
Homework 3
Exercise 3
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
</td>
</tr>
<tr>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
Homework 3
Exercise 4
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
</td>
</tr>
<tr>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
Homework 3
Exercise 5
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
</td>
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;">
</td>
</td>
</tr>
</tr>

Versie van 2 dec 2017 10:26

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

Overgenomen van "http://examens.wina.be/index.php?title=Logica_voor_Informatici/Oefeningen&oldid=17758"