Course
- Vaknaam
- Programmacorrectheid
- Vakcode
- INBPC-08
- Vakjaar
- 2009-2010
- Study Program
- Informatica
- Docenten
- HC: W.H. Hesselink WC: J.H. Jongejan
- Literatuur
- Dictaat Programmacorrectheid
- Toetsingsvormen
- schriftelijk tentamen, huiswerksets
- Werkvormen
- hoorcolleges , werkcolleges
- Vakomschrijving
- Toestand en toestandswijziging van de computer. Specificatie van commando's door Hoare triples. Bewijsregels voor toekenning, compositie, conditionele keuze en herhaling. In het eerste semester is bij de diverse vakken al enige praktische programmeervaardigheid ontwikkeld. Correctheid van de geschreven programma's werd aannemelijk gemaakt door middel van informele overwegingen en het uitvoeren van een aantal relevante tests. Maar het is doorgaans onmogelijk alle mogelijk voorkomende gevallen te testen. In deze cursus ontwikkelen we methoden en technieken om de correctheid van programmafragmenten op een formele manier aan te tonen. De gepresenteerde bewijsregels worden vanuit de aanwezige kennis beargumenteerd. Vervolgens worden de bewijsregels ingezet om bij gegeven specificatie het algoritme en het correctheidsbewijs hand in hand te ontwikkelen.
- Toetsing
- De eindbeoordeling wordt bepaald door de resultaten voor het huiswerk, de tussentoets en het afsluitende schriftelijke tentamen. De cijfers voor het huiswerk tellen in het totaal mee voor 24%. De tussentijdse toets telt mee voor 26%. Het tentamen telt dus voor 50%. Bij een eventueel hertentamen telt alleen het tentamencijfer. Hierbij moet worden opgemerkt dat het maken van het huiswerk een verplicht onderdeel van de cursus is.
- Beoordeling
- Programmacorrectheid is een vak dat door velen als zeer lastig wordt ervaren. Desondanks is het interessant en wordt het op een goede manier gegeven. Het volgen van de hoor- en werkcolleges is essentieel voor het behalen van het vak. Evenals het maken van de gewone en huiswerkopgaven. De enige manier om dit vak te halen is door veel te oefenen. Dit oefenen loont echter wel de moeite. Wanneer je alle methodes goed onder de knie hebt is het goed mogelijk een mooi cijfer op dit vak te halen.
- Created
- 2010-07-08 16:03:04
