SluitenHelpPrint
Switch to English
Cursus: INFOPC
INFOPC
Programmeren en correctheid
Cursus informatieRooster
CursuscodeINFOPC
Studiepunten (ECTS)7,5
Categorie / Niveau3 (Bachelor Gevorderd)
CursustypeCursorisch onderwijs
VoertaalNederlands
Aangeboden doorFaculteit Betawetenschappen; Onderwijsinstituut Informatica;
Contactpersoondr. S.W.B. Prasetya
Telefoon+31 30 2534090
E-mailS.W.B.Prasetya@uu.nl
Docenten
Docent
dr. S.W.B. Prasetya
Feedback en bereikbaarheid
Overige cursussen docent
Blok
Onbekend
Aanvangsblok
3
TimeslotB: DI-ochtend, DO-middag, DO-namiddag
Onderwijsvorm
Voltijd
Opmerkinghttp://www.cs.uu.nl/education/vak.php?vak=INFOPC
Aanmeldingsprocedureadministratie onderwijsinstituut
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
WachtlijstNee
Plaatsingsprocedureadministratie onderwijsinstituut
Cursusdoelen
-
Inhoud

In de praktijk wordt de kwaliteit van software bewaakt door de software uitgebreid te testen. Maar een programma uitputtend testen is meestal onmogelijk. Je vindt dus niet alle fouten! Omdat de mensen steeds afhankelijker van software zijn geworden, moeten we gaan kijken naar een betere manier om de betrouwbaarheid van software te garanderen.

In dit college gaan we programeerlogica leren. Het is een methode om een programma correct aan te tonen zonder wij de programma hoeven te testen. De methode is volledig: een correct aangetoond programma voldoet echt aan zijn specificatie. Er zijn geen sluipende fouten meer! Het ontwikkelen van betrouwbare software kost eenmaal meer moeite. Het principe van programmerlogica is eenvoudig, maar het uitoefenen daarvan eist veel abstractie en dicipline, wat je ook tijdens de cursus gaat oefenen.

 

http://www.cs.uu.nl/education/vak.php?vak=INFOPC&jaar=2008

 

Ingangseisen
Verplicht materiaal
-
Aanbevolen materiaal
Dictaat
kan veranderen! collegedictaat.
Werkvormen (aanwezigheidsplicht)
Hoorcollege

Practicum (Verplicht)

Werkcollege

Toetsen
Schriftelijk tentamen
Weging100
Minimum cijfer6

Beoordeling
3 opdrachten, 1 mid-tentamen, 1 eindtentamen
eindcijfer = 0.2 * cummulatief opdrachten + 0.3 * mid-tent. + 0.5 * eind-tent

cummulatief opdrachten = 0.3 * opdracht1 + 0.4 * opdracht2 + 0.3 * opdracht3

Alle opdrachten zijn verplicht, en bovendien moet je minimaal 4 voor het eindentamen halen.

SluitenHelpPrint
Switch to English