Differences

This shows you the differences between two versions of the page.

--- codeq:vivid2015 [2015/07/14 17:14]
timotej
+++ codeq:vivid2015 [2015/07/14 17:15] (current)
timotej
@@ Line 15: / Line 15: @@
 {{:codeq:slika1.png}}
-Slika 1: (a) izbira naloge, (b) urejevalnik.
+Slika 1: (levo) izbira naloge, (desno) urejevalnik.
 Kot večina računalniških sistemov za poučevanje tudi naša aplikacija temelji na
@@ Line 23: / Line 23: @@
 Prav tako je prikazan delež nalog, ki jih je uporabnik rešil v posamezni kategoriji.
-Slika 1b prikazuje vmesnik za reševanje nalog. Naloga na sliki
+Slika 1 (desno) prikazuje vmesnik za reševanje nalog. Naloga na sliki
 zahteva definicijo relacije "X je sestra od Y" z uporabo podatkov o starševstvu
 in spolu. Družinsko drevo, ki predstavlja te podatke, je na
-sliki 2. Na isti sliki je tudi grafični prikaz zahtevane relacije ''sister(X,Y)''.
+sliki 2 (levo). Na isti sliki (desno) je tudi grafični prikaz zahtevane relacije ''sister(X,Y)''.
 {{:codeq:famrel.png?400|}} {{:codeq:sister.svg|}}
@@ Line 32: / Line 32: @@
 Slika 2: (levo) primer družinskega drevesa, (desno) grafični prikaz relacije ''sister(X,Y)''.
-Uporabnikova rešitev na sliki 1b je skoraj pravilna, manjka le še
+Uporabnikova rešitev na sliki 1 je skoraj pravilna, manjka le še
 pogoj, da ''X'' in ''Y'' nista ista oseba (brez tega pogoja bo prolog namreč sklepal, da
 je vsaka ženska sestra sama sebi). Ista slika vsebuje tudi primere različnih tipov

A.I.lab