Premaster formele technieken 2: datastructuren, formele talen, programmeertalen en security

Deze cursus wordt uit het aanbod genomen. Aanmelden voor deze cursus is niet meer mogelijk.

Aanmelden is alleen mogelijk voor studenten die zijn toegelaten tot de premaster Computer Science of de premaster Software Engineering.

Deze premaster wordt in kwartiel 4 van dit studiejaar voor de laatste keer aangeboden. Komend studiejaar wordt deze premaster vervangen door andere cursussen.

Als deze cursus onderdeel is van jouw studiepad, dan heb je hier op 17 december 2024 hierover bericht ontvangen per mail. Is dat niet het geval of zijn daar nog onduidelijkheden over, neem dan contact op met de studieadviseur.

Je kunt pas aanmelden voor IB0103 nadat je formeel bent toegelaten tot de premaster Computer Science of de premaster Software Engineering, en nadat je ingeschreven bent voor IB0013 Premaster formele technieken 1: discrete wiskunde en logica.
Aanmelden voor deze cursus is alleen mogelijk via je studiepad.
Voor meer informatie kun je contact opnemen met de studieadviseur (studieadvies.informatica@ou.nl).

De Premaster formele technieken 2 is uitsluitend bedoeld voor studenten van wie de kennis over datastructuren en algoritmen, formele talen, programmeertalen en security op voldoende niveau moet worden gebracht voordat toelating tot de beoogde masteropleiding mogelijk is.

Deze cursus heeft een vast startmoment. Kijk in het Jaarrooster wanneer de cursus van start gaat.

Online bijeenkomsten.

Dhr. dr. S. de Gouw en dhr. prof. dr. ir. H. Vranken.
De begeleidingsbijeenkomsten worden door diverse docenten gegeven (zie de cursussite in de digitale leeromgeving).

Digitaal groepstentamen met open vragen.

Je dient zelf tijdig aan te melden voor een tentamen.

Security en IT
10-7-2025, 26-8-2025, 5-2-2026, 23-4-2026 en 10-7-2026

Basisconcepten van datastructuren, formele talen en programmeertalen
7-7-2025, 26-8-2025 en 2-2-2026

Security en IT:
De online wiskundige rekenmachine
Het online woordenboek

Datastructuren en algoritmen, Formele talen en automaten, Concepten van programmeertalen:
Het online woordenboek
De online wiskundige rekenmachine
'Schoon' tekstboek 'An introduction to formal languages and automata' (P. Linz)
'Schoon' werkboek Formele talen en automaten
'Schoon' tekstboek Data Structures and Algorithms in Java (Goodrich / Tamassia)
'Schoon' werkboek Datastructuren en algoritmen
NB: cursusmateriaal van Concepten van programmeertalen mag niet worden gebruikt
Een 'schone' studeerwijzer

Het cursusmateriaal bestaat uit een studeerwijzer voor IB0103 plus het volledige cursusmateriaal van de cursussen Datastructuren en algoritmen, Formele talen en automaten, Concepten van programmeertalen, en Security en IT. De studeerwijzer bevat tevens een bijlage over de functionele programmeertaal Haskell.

Als student kun je via de cursussite in de online leeromgeving naar de discussiegroepen. Hier kun je met medestudenten en begeleiders informatie uitwisselen en discussiëren over de leerstof.