Dat is goed, dan doe ik de syntax, semantiek en analyse. Ik zal het voor donderdag na jou sturen, dan kan je het nog aanvullen als dat nodig is.
Voor de semantiek: heb je nu al voorkeur voor ns, sos of iets anders?
En voor de analyse: wil je daar hetzelfde programma gebruiken als bij de inleiding of iets anders? en is er een bepaalde eigenschap die we willen bewijzen, of willen we gewoon bewijzen dat het programma doet wat het zou moeten doen?

Groetjes, Marjolein.

----- Oorspronkelijk bericht -----
> Van: "Mart Lubbers" <mart@martlubbers.net>
> Aan: "marjolein zwerver" <marjolein.zwerver@student.ru.nl>
> Verzonden: Dinsdag 18 maart 2014 21:35:05
> Onderwerp: Semantiek en correctheid piet
> Wat moet er in de opzet:
> 
> - titel
> - inleiding(hier moet een voorbeeldprogramma in)
> - syntax(evt grammatica)
> - beschrijving semantiek(welke)
> - analyse
> - planning
> 
> welke wil jij doen?
> 
> Mij lijkt de planning en de inleiding met het voorbeeldprogramma wel
> leuk om te doen.
> 
> Mart