From: Marjolein Zwerver Date: Tue, 20 May 2014 19:13:02 +0000 (+0200) Subject: update todo X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=9ab478516747f92e47d74cbe38c9d29acfd19c3f;p=sec1415.git update todo --- diff --git a/semantics.tex b/semantics.tex index d80eb80..578901d 100644 --- a/semantics.tex +++ b/semantics.tex @@ -104,7 +104,7 @@ Deze functie haalt de bovenste twee elementen van de stack en stopt 1 bovenop de stack als het tweede bovenste element een hogere waarde heeft als dat van het bovenste element. Anders word 1 bovenop de stack gestopt.\\ -Met behulp van deze gedefineerde functies kunnen we nu de volgende semantiekregels opstellen:\\ +Met behulp van deze gedefinieerde functies kunnen we nu de volgende semantiekregels opstellen:\\ $ {[pop_{sos}]}\qquad diff --git a/todo.txt b/todo.txt index 68d8d72..9426d6b 100644 --- a/todo.txt +++ b/todo.txt @@ -1,9 +1,18 @@ spelfouten!! + +Mart: KLAAR variabelen opslag -piet', bijhouden huidige blok oppervlak +bijhouden huidige blok oppervlak stappen met codelgrootte en loop methode codelgrootte KLAAR voorbeeld variabelen ophalen uit stack -BEZIG onderscheid wiskundige deel -BEZIG wiskundige operaties op stacks definieren stack volgorde aangeven e_n ... e_0 +loops beter beschrijven + +Marjolein: +BEZIG wiskundige operaties op stacks definieren +BEZIG onderscheid wiskundige deel +BEZIG natuurlijke taal toevoegen voor semantiekbeschrijving +BEZIG toevoegen functies/regels aan semantiek +toepassen semantiekregels op faculteitsprogramma in Piet' +verdere uitleg Piet'