[ProgPara] Vragen

Forum voor de keuzevakken over alle jaren heen.

Moderator: Praesidium

User avatar
Norfolk
WOZ
Posts: 780
Contact:

Post#16 » Tue Jun 19, 2007 9:00 pm

pred ==
edit: was fout.

Uitleg:

De clue is dat de n eerst ingevuld wordt. De n is van de vorm \f.\x.(f (f (f ...(x) ...).
Op elke f wordt dus die "next" ingevuld. En op de x wordt [0,0] ingevoerd.
Dus die next zal n keer uitgevoerd worden op [0,0].
In stap 1 is het dus [0,1] geworden en in stap n is het dus [n-1, n].
Je gebruikt dus die true nog eens om het eerste element daaruit te halen :)
Last edited by Norfolk on Wed Jun 20, 2007 4:33 pm, edited 1 time in total.

User avatar
Norfolk
WOZ
Posts: 780
Contact:

Post#17 » Tue Jun 19, 2007 9:19 pm

Bij die wederzijdse recursie is het gewoon de bedoeling dat ge alles voorkomens van f_i kunt vervangen. Want daarvoor hebt ge recursie nodig aangezien een body van f_i een andere f_j kan inroepen.

User avatar
Norfolk
WOZ
Posts: 780
Contact:

Post#18 » Tue Jun 19, 2007 9:43 pm

Laatste slide van Les4.ppt:
Die aangepaste regels bij die bomen van functioneel programmeren staat:

alpha-regel: \x.E => \z.(\x.E z)

wrm da?


In les5 staat op slide 8 ook nog:
(\x.E Q) -> E
Die Q valt gewoon weg ofwa? die moet toch op de plaats van x ingevuld worden?

User avatar
filippeesje
Posts: 23

Post#19 » Tue Jun 19, 2007 10:17 pm

Norfolk wrote:pred ==
(\n.(n (\p.\z.((z (succ (p true))) (p true))) \z.((z 0) 0))) true

Uitleg:

De clue is dat de n eerst ingevuld wordt. De n is van de vorm \f.\x.(f (f (f ...(x) ...).
Op elke f wordt dus die "next" ingevuld. En op de x wordt [0,0] ingevoerd.
Dus die next zal n keer uitgevoerd worden op [0,0].
In stap 1 is het dus [0,1] geworden en in stap n is het dus [n-1, n].
Je gebruikt dus die true nog eens om het eerste element daaruit te halen :)

das bena net het tegengestelde van wat in de "cursus" staat :(
Soooo Broccoli, mother says you're very good for me. But I'm afraid I'm no good for you.

User avatar
Norfolk
WOZ
Posts: 780
Contact:

Post#20 » Tue Jun 19, 2007 10:23 pm

filippeesje wrote:
Norfolk wrote:pred ==
(\n.(n (\p.\z.((z (succ (p true))) (p true))) \z.((z 0) 0))) true

Uitleg:

De clue is dat de n eerst ingevuld wordt. De n is van de vorm \f.\x.(f (f (f ...(x) ...).
Op elke f wordt dus die "next" ingevuld. En op de x wordt [0,0] ingevoerd.
Dus die next zal n keer uitgevoerd worden op [0,0].
In stap 1 is het dus [0,1] geworden en in stap n is het dus [n-1, n].
Je gebruikt dus die true nog eens om het eerste element daaruit te halen :)

das bena net het tegengestelde van wat in de "cursus" staat :(
uiteindelijk is het hetzelfde als in de cursus, enkel moet na de laatste (p true) een haakje weg, dus ))) ipv )))).

Ah en bah, kwas precies niet goed wakker, bij mijn eerste ding had ik de 2-de coordinaat laten optellen :D daarmee moest het true zijn, hier is het andersom en moet het toch false zijn... :shock: :roll: :roll:

HET ECHTE MOET DUS ZIJN:

(\n.(n (\p.\z.((z (succ (p true))) (p true))) \z.((z 0) 0))) false

of zoals ik het eerst had:

(\n.(n (\p.\z.((z (p true) (succ (p true))))) \z.((z 0) 0))) true

;)

User avatar
filippeesje
Posts: 23

Post#21 » Tue Jun 19, 2007 10:25 pm

Norfolk wrote:
filippeesje wrote:
Norfolk wrote:pred ==
(\n.(n (\p.\z.((z (succ (p true))) (p true))) \z.((z 0) 0))) true

Uitleg:

De clue is dat de n eerst ingevuld wordt. De n is van de vorm \f.\x.(f (f (f ...(x) ...).
Op elke f wordt dus die "next" ingevuld. En op de x wordt [0,0] ingevoerd.
Dus die next zal n keer uitgevoerd worden op [0,0].
In stap 1 is het dus [0,1] geworden en in stap n is het dus [n-1, n].
Je gebruikt dus die true nog eens om het eerste element daaruit te halen :)

das bena net het tegengestelde van wat in de "cursus" staat :(
uiteindelijk is het hetzelfde als in de cursus, enkel moet na de laatste (p true) een haakje weg, dus ))) ipv )))).

Ah en bah, kwas precies niet goed wakker, bij mijn eerste ding had ik de 2-de coordinaat laten optellen :D daarmee moest het true zijn, hier is het andersom en moet het toch false zijn... :shock: :roll: :roll:

HET ECHTE MOET DUS ZIJN:

(\n.(n (\p.\z.((z (succ (p true))) (p true))) \z.((z 0) 0))) false

of zoals ik het eerst had:

(\n.(n (\p.\z.((z (p true) (succ (p true))))) \z.((z 0) 0))) true

;)

nu ben ik ook akkoord :P.. maar hoe krijgt ge uw getal nu in n als false/true uw argument is?
Soooo Broccoli, mother says you're very good for me. But I'm afraid I'm no good for you.

User avatar
Norfolk
WOZ
Posts: 780
Contact:

Post#22 » Tue Jun 19, 2007 10:42 pm

ja da moet daar dus idd voor ;) en maja in de cursus werd daar ook geen rekening mee gehouden.
ge kunt da oplossen door:

\x.((\n.((n \p.\z.((z (succ (p true))) (p true))) \z.((z 0) 0)) x) false)

waar x dan de n invult, en dan staat de false juist enzo :)
ps: khoop dak hier weer geen bullshit schreef ^^
Last edited by Norfolk on Wed Jun 20, 2007 4:12 pm, edited 2 times in total.

User avatar
Shinta
WOZ
Posts: 1122

Post#23 » Tue Jun 19, 2007 10:48 pm

Norfolk wrote:Laatste slide van Les4.ppt:
Die aangepaste regels bij die bomen van functioneel programmeren staat:

alpha-regel: \x.E => \z.(\x.E z)

wrm da?


In les5 staat op slide 8 ook nog:
(\x.E Q) -> E
Die Q valt gewoon weg ofwa? die moet toch op de plaats van x ingevuld worden?
webbe de antwoorde same opgelost dus dit is in orde :).
Remember remember the fifth of November
Gunpowder, treason and plot.
I see no reason why gunpowder, treason
Should ever be forgot...

User avatar
slimmy
Prosenior
Posts: 3130
Contact:

Post#24 » Wed Jun 20, 2007 1:45 pm

bij het vereenvoudigen van typedescriptoren hebt ge:

((bool t) o) = t unie o
en
(int [o1,...on]) = [o1 U ... U on]

ik begrijp da ni zo goe :shock:

User avatar
Yo_rik
Posts: 69

Post#25 » Wed Jun 20, 2007 2:01 pm

slimmy wrote:Image

klopt da gemarkeerd ding wel in de cursus? \x.\y.y t staat toch voor false en is niet de lambda uitdrukking voor NOT...

of slaag ik compleet de bal mis?
Deze pagina (les3, slide 9) is vanmorgen gecorrigeerd op de website van fots. (wel erg op tijd :P). De nieuwe versie:

Image
Last edited by Yo_rik on Wed Jun 20, 2007 2:11 pm, edited 1 time in total.

User avatar
Norfolk
WOZ
Posts: 780
Contact:

Post#26 » Wed Jun 20, 2007 2:08 pm

ja nog altijd is z en t verkeerd he ;)
want z = false en t = true bij de implementatie, terwijl hij zegt dat hij het anders toepast :P

User avatar
slimmy
Prosenior
Posts: 3130
Contact:

Post#27 » Wed Jun 20, 2007 2:18 pm

fots ftw :P

User avatar
Shinta
WOZ
Posts: 1122

Post#28 » Wed Jun 20, 2007 2:26 pm

slimmy wrote:bij het vereenvoudigen van typedescriptoren hebt ge:

((bool t) o) = t unie o
en
(int [o1,...on]) = [o1 U ... U on]

ik begrijp da ni zo goe :shock:
gewoon vanbuite lere ;), of wete waar het staat in ons geval
Remember remember the fifth of November
Gunpowder, treason and plot.
I see no reason why gunpowder, treason
Should ever be forgot...

User avatar
filippeesje
Posts: 23

Post#29 » Wed Jun 20, 2007 4:15 pm

slimmy wrote:fots ftw :P
:shock: hoeveel foute (haakjes vooral) heb ik al ni gevonde in die slides :evil:

User avatar
slimmy
Prosenior
Posts: 3130
Contact:

Post#30 » Wed Jun 20, 2007 4:23 pm

morgen zo'n vraag: "geef alle fouten in de cursus"

Return to “Keuzevakken”

Who is online

Users browsing this forum: No registered users and 4 guests

cron