Differences

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

--- codeq:vivid2015 [2015/07/14 15:25]
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š pristop temelji na
+Kot večina računalniških sistemov za poučevanje tudi naša aplikacija temelji na
 reševanju problemov. Glavni meni (slika 1a) tako vsebuje seznam nalog, ki so na voljo za
 reševanje. Za vsakega uporabnika sistem vodi evidenco nalog, ki jih je rešil
@@ 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.
+sliki 2 (levo). Na isti sliki (desno) je tudi grafični prikaz zahtevane relacije ''sister(X,Y)''.
-% slika 2 (a = družinsko drevo ; b = grafični hint za sister/2)
+{{:codeq:famrel.png?400|}} {{:codeq:sister.svg|}}
-Uporabnikova rešitev na sliki 1b je skoraj pravilna, manjka le še
+Slika 2: (levo) primer družinskega drevesa, (desno) grafični prikaz relacije ''sister(X,Y)''.
+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
@@ Line 184: / Line 186: @@
-===== Vnaprej definirani namigi =====
+===== Vnaprej pripravljeni namigi =====
+Samodejna analiza programske kode nam lahko pomaga pri podajanju povratnih informacij, vendar
+ima svoje omejitve. Lahko sicer odkrije, kaj je potrebno popraviti v programu, a je take popravke
+težko preslikati v višjenivojske koncepte. Več študentov je izrazilo željo po bolj specifičnih
+namigih:
+> Izboljšal bi način, kako namigi prepoznajo kje se program zmoti oz. da bi bili ti morda za začetnika lažje razumljivi.
+> Do določene mere bi razkril na kak način bi mogel določen program delovat, naprej pa bi sam študent dopolnil.
+Takih namigov letos nismo implementirali; aplikacijo smo uporabljali na vajah, kjer je bil za
+pojasnila zmeraj na voljo asistent. V okviru projekta želimo aplikacijo prirediti tudi za
+samostojno učenje. Vsaki nalogi bomo zato dodali še podrobnejše razlage z grafičnimi pojasnili.
+Na sliki 2b je primer grafičnega prikaza relacije ''sister(X,Y)''.
-Samodejna analiza programske kode nam lahko pomaga, vendar ima svoje omejitve.
+Ročno pripravljeni namigi bodo služili tudi za razlago pogostih napak. Tukaj si oglejmo primer
+takega namiga za nalogo ''sins/3'' ("sorted insert").
+Gre za nalogo, kjer mora študent definirati predikat za vstavljanje novega elementa
+v urejen seznam števil. V prologu lahko neposredno dostopamo le do prvega elementa v seznamu, zato
+moramo pregledovati seznam od leve proti desni, dokler ne najdemo obstoječega elementa ''H'', ki
+je večji od novega elementa ''E''. Na tem mestu vstavimo nov element ''E'' pred ''H'', a študenti
+velikokrat zamenjajo njun vrstni red. To napako se da odkriti z ustreznimi testnimi primeri, zato
+lahko vnaprej pripravimo ustrezno razlago; primer diagrama za to situacijo je na sliki 3.
 {{:codeq:sins-hint-wrong-order.svg|}}

A.I.lab

User Tools

Site Tools

Differences

Page Tools