Premaster formele technieken 2: datastructuren, formele talen, programmeertalen en security
-
Informatica
-
IB0103
-
7,5 EC
-
Vanaf € 504
-
Voor dit product gelden ingangseisen
Inhoud
Premaster formele technieken 2 bestaat uit onderdelen van de cursussen Datastructuren en algoritmen, Formele talen en automaten, Concepten van programmeertalen, en Security en IT. Onderwerpen die worden behandeld zijn: datastructuren en algoritmen; formele talen en automaten; introductie tot Haskell; concepten van programmeertalen; cryptografie; beveiliging van software, besturingssystemen, databases, computernetwerken en webapplicaties.
Ingangseisen
Aanmelden is alleen mogelijk voor studenten die zijn toegelaten tot een schakelprogramma voor de master Software Engineering of master Computer Science.
Toelichting aanmelden
Deze cursus start 21 november 2022. We adviseren om uiterlijk zondag 6 november 2022 hiervoor aan te melden zodat u tijdig het eventuele cursusmateriaal ontvangt, toegang heeft tot de leeromgeving en (indien van toepassing) ingedeeld kunt worden in een studiegroep. Bij aanmelding na 6 november 2022 kunnen we dit niet garanderen. Aanmelden is mogelijk tot en met 20 november 2022.
Deze cursus start 1 mei 2023. We adviseren om uiterlijk zondag 16 april 2023 hiervoor aan te melden zodat u tijdig het eventuele cursusmateriaal ontvangt, toegang heeft tot de leeromgeving en (indien van toepassing) ingedeeld kunt worden in een studiegroep. Bij aanmelding na 16 april 2023 kunnen we dit niet garanderen. Aanmelden is mogelijk tot en met 30 april 2023.
Je kunt pas aanmelden voor IB0103 nadat je formeel bent toegelaten tot een schakelprogramma voor de masteropleiding Computer Science of masteropleiding Software Engineering, en nadat je ingeschreven bent voor IB0003 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 Henk Frederiks, onderwijscoördinator (henk.frederiks@ou.nl).
Deze cursus start 1 mei 2023. We adviseren om uiterlijk zondag 16 april 2023 hiervoor aan te melden zodat u tijdig het eventuele cursusmateriaal ontvangt, toegang heeft tot de leeromgeving en (indien van toepassing) ingedeeld kunt worden in een studiegroep. Bij aanmelding na 16 april 2023 kunnen we dit niet garanderen. Aanmelden is mogelijk tot en met 30 april 2023.
Je kunt pas aanmelden voor IB0103 nadat je formeel bent toegelaten tot een schakelprogramma voor de masteropleiding Computer Science of masteropleiding Software Engineering, en nadat je ingeschreven bent voor IB0003 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 Henk Frederiks, onderwijscoördinator (henk.frederiks@ou.nl).
Voorkennis
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.
Begeleidingsvorm
Online bijeenkomsten.
Begeleidingsbijeenkomsten
Online-bijeenkomsten
Kwartiel 2
begeleiders: dhr.dr. S. de Gouw (FT&A en D&A) en dhr.ir. H. Passier (CvP) en dhr.dr.ir. H. Jonker (S&IT)
1. wo 23-11-2022 / 19.30-21.00 uur
2. wo 30-11-2022 / 19.30-21.00 uur
3. wo 07-12-2022 / 19.30-21.00 uur
4. wo 14-12-2022 / 19.30-21.00 uur
5. wo 21-12-2022 / 19.30-21.00 uur
6. wo 04-01-2023 / 19.30-21.00 uur
7. wo 11-01-2023 / 19.30-21.00 uur
8. wo 18-01-2023 / 19.30-21.00 uur
9. wo 25-01-2023 / 19.30-21.00 uur
10. wo 01-02-2023 / 19.30-21.00 uur
Online-bijeenkomsten
Kwartiel 4
begeleiders: dhr.dr. S. de Gouw (FT&A en D&A) en dhr.ir. H. Passier (CvP) en dhr.dr.ir. H. Jonker (S&IT)
1. wo 03-05-2023 / 19.30-21.00 uur
2. wo 10-05-2023 / 19.30-21.00 uur
3. wo 17-05-2023 / 19.30-21.00 uur
4. wo 24-05-2023 / 19.30-21.00 uur
5. wo 31-05-2023 / 19.30-21.00 uur
6. wo 07-06-2023 / 19.30-21.00 uur
7. wo 14-06-2023 / 19.30-21.00 uur
8. wo 21-06-2023 / 19.30-21.00 uur
9. wo 28-06-2023 / 19.30-21.00 uur
10. wo 05-07-2023 / 19.30-21.00 uur
Docenten
Dhr. dr. S. de Gouw en dhr. dr. ir. H. Vranken.
De begeleidingsbijeenkomsten worden door diverse docenten gegeven (zie de cursussite in de digitale leeromgeving).
De begeleidingsbijeenkomsten worden door diverse docenten gegeven (zie de cursussite in de digitale leeromgeving).
Tentamenvorm
Regulier schriftelijk tentamen bestaande uit open vragen (ov).
Tentamentoelichting
Tentamendata
Security en IT
3-2-2022, 7-7-2022 en 23-8-2022
Basisconcepten van datastructuren, formele talen en programmeertalen
31-1-2022, 5-7-2022 en 23-8-2022
3-2-2022, 7-7-2022 en 23-8-2022
Basisconcepten van datastructuren, formele talen en programmeertalen
31-1-2022, 5-7-2022 en 23-8-2022
Tentamenhulpmiddelen
Security en IT:
Een niet-programmeerbare zakrekenmachine
Datastructuren en algoritmen, Formele talen en automaten, Concepten van programmeertalen:
Een 'schoon' verklarend Nederlands woordenboek (op eigen risico)
'Schoon' materiaal Datastructuren en algoritmen en Formele talen en automaten
NB: cursusmateriaal van Concepten van programmeertalen mag niet worden gebruikt
Een zakrekenmachine en een 'schone' studeerwijzer
Een niet-programmeerbare zakrekenmachine
Datastructuren en algoritmen, Formele talen en automaten, Concepten van programmeertalen:
Een 'schoon' verklarend Nederlands woordenboek (op eigen risico)
'Schoon' materiaal Datastructuren en algoritmen en Formele talen en automaten
NB: cursusmateriaal van Concepten van programmeertalen mag niet worden gebruikt
Een zakrekenmachine en een 'schone' studeerwijzer
Cursusmateriaal
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.
Digitale leeromgeving
Als student kun je via de cursussite in de digitale leeromgeving naar de discussiegroepen. Hier kun je met medestudenten en begeleiders informatie uitwisselen en discussiëren over de leerstof.