Premaster formele technieken 1: discrete wiskunde en logica
Premaster formele technieken 1: discrete wiskunde en logica
-
Informatica
-
IB0013
-
7,5 EC
-
Vanaf € 576
Inhoud
De Premaster formele technieken 1 bestaat uit onderdelen van de cursussen Discrete wiskunde A en Logica en informatica. Onderwerpen die worden behandeld zijn: getallen en grafen; verzamelingen en relaties; logica; propositielogica; predikaatlogica.
Leerdoelen
Na bestudering van deze cursus kun je:
- de taal van de propositielogica en de predikaatlogica uitleggen en toepassen,
- axiomatische afleidingen geven en Hoare-calculus toepassen,
- het onderscheid tussen syntaxis en semantiek begrijpen en uitleggen,
- de meta-logische techniek van de formule-inductie toepassen,
- de logische semantiek van imperatieve programmeertalen begrijpen en uitleggen,
- de geldigheid van formules of redeneringen in propositie- respectievelijk predikaatlogica onderzoeken,
- de belangrijkste verzamelingtheoretische begrippen uitleggen en eigenschappen van verzamelingen door middel van redeneringen en rekenregels aantonen,
- de belangrijkste graaftheoretische begrippen uitleggen en over grafen en bomen redeneren,
- de fundamentele begrippen uit getaltheorie gebruiken,
- de belangrijkste basisbegrippen uitleggen met betrekking tot functies en relaties en eigenschappen van functies en relaties onderzoeken.
Leerdoelen
Na bestudering van deze cursus kun je:
- de taal van de propositielogica en de predikaatlogica uitleggen en toepassen,
- axiomatische afleidingen geven en Hoare-calculus toepassen,
- het onderscheid tussen syntaxis en semantiek begrijpen en uitleggen,
- de meta-logische techniek van de formule-inductie toepassen,
- de logische semantiek van imperatieve programmeertalen begrijpen en uitleggen,
- de geldigheid van formules of redeneringen in propositie- respectievelijk predikaatlogica onderzoeken,
- de belangrijkste verzamelingtheoretische begrippen uitleggen en eigenschappen van verzamelingen door middel van redeneringen en rekenregels aantonen,
- de belangrijkste graaftheoretische begrippen uitleggen en over grafen en bomen redeneren,
- de fundamentele begrippen uit getaltheorie gebruiken,
- de belangrijkste basisbegrippen uitleggen met betrekking tot functies en relaties en eigenschappen van functies en relaties onderzoeken.
Ingangseisen
Aanmelden is alleen mogelijk voor opleidingsstudenten die zijn toegelaten tot de premaster Computer Science of de premaster Software Engineering.
Toelichting aanmelden
Deze premaster wordt in kwartiel 3 van dit studiejaar voor de laatste keer aangeboden. Komend studiejaar wordt deze premaster vervangen door een andere cursus.
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.
Deze cursus start 10 februari 2025. We adviseren om uiterlijk zondag 26 januari 2025 hiervoor aan te melden zodat je tijdig het eventuele cursusmateriaal ontvangt, toegang hebt tot de leeromgeving en (indien van toepassing) ingedeeld kunt worden in een studiegroep. Bij aanmelding na 26 januari 2025 kunnen we dit niet garanderen. Aanmelden is mogelijk tot en met 9 februari 2025.
Je kunt pas aanmelden voor IB0013 nadat je formeel bent toegelaten tot de premaster Computer Science of de premaster Software Engineering.
Aanmelden voor deze cursus is alleen mogelijk via je online studiepad.
Voor meer informatie kun je contact opnemen met de studieadviseur (studieadvies.informatica@ou.nl).
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.
Deze cursus start 10 februari 2025. We adviseren om uiterlijk zondag 26 januari 2025 hiervoor aan te melden zodat je tijdig het eventuele cursusmateriaal ontvangt, toegang hebt tot de leeromgeving en (indien van toepassing) ingedeeld kunt worden in een studiegroep. Bij aanmelding na 26 januari 2025 kunnen we dit niet garanderen. Aanmelden is mogelijk tot en met 9 februari 2025.
Je kunt pas aanmelden voor IB0013 nadat je formeel bent toegelaten tot de premaster Computer Science of de premaster Software Engineering.
Aanmelden voor deze cursus is alleen mogelijk via je online studiepad.
Voor meer informatie kun je contact opnemen met de studieadviseur (studieadvies.informatica@ou.nl).
Voorkennis
De Premaster formele technieken 1 is uitsluitend bedoeld voor studenten waarvan de kennis over discrete wiskunde en logica op voldoende niveau moet worden gebracht voordat toelating tot de beoogde masteropleiding mogelijk is. De cursus veronderstelt algemene wiskundekennis op havo- niveau.
Dat betekent dat kennis en vaardigheden van de volgende onderwerpen op peil en actueel zijn:
- getallen en verzamelingen,
- algebra,
- functies en grafieken,
- vergelijkingen en ongelijkheden.
Kijk voor meer informatie over hoe je kunt testen of je voorkennis op peil is, of hoe je die kunt verbeteren op: https://www.ou.nl/web/open-universiteit/basiskennis-wiskunde-voor-informatica.
Dat betekent dat kennis en vaardigheden van de volgende onderwerpen op peil en actueel zijn:
- getallen en verzamelingen,
- algebra,
- functies en grafieken,
- vergelijkingen en ongelijkheden.
Kijk voor meer informatie over hoe je kunt testen of je voorkennis op peil is, of hoe je die kunt verbeteren op: https://www.ou.nl/web/open-universiteit/basiskennis-wiskunde-voor-informatica.
Begeleidingsvorm
Online bijeenkomsten.
Begeleidingsbijeenkomsten
Online-bijeenkomsten
Kwartiel 1 - begeleiders: dhr.dr. J. Heyninck en dhr.dr. J. Moerman
1. ma 02-09-2024 / 19.30-21.00 uur
2. ma 09-09-2024 / 19.30-21.00 uur
3. ma 16-09-2024 / 19.30-21.00 uur
4. ma 23-09-2024 / 19.30-21.00 uur
5. ma 30-09-2024 / 19.30-21.00 uur
6. ma 07-10-2024 / 19.30-21.00 uur
7. ma 14-10-2024 / 19.30-21.00 uur
8. ma 21-10-2024 / 19.30-21.00 uur
9. ma 28-10-2024 / 19.30-21.00 uur
10. ma 04-11-2024 / 19.30-21.00 uur
Online-bijeenkomsten
Kwartiel 3 - begeleiders: dhr.dr. J. Heyninck en dhr.dr. J. Moerman
1. ma 10-02-2025 / 19.30-21.00 uur
2. ma 17-02-2025 / 19.30-21.00 uur
3. ma 24-02-2025 / 19.30-21.00 uur
4. di 04-03-2025 / 19.30-21.00 uur
5. ma 10-03-2025 / 19.30-21.00 uur
6. ma 17-03-2025 / 19.30-21.00 uur
7. ma 24-03-2025 / 19.30-21.00 uur
8. ma 31-03-2025 / 19.30-21.00 uur
9. ma 07-04-2025 / 19.30-21.00 uur
10. ma 14-04-2025 / 19.30-21.00 uur
Tentamenvorm
Digitaal groepstentamen met meerkeuzevragen en open vragen.
Tentamentoelichting
Je dient zelf tijdig aan te melden voor een tentamen.
Tentamendata
Discrete Wiskunde A
12-11-2024, 22-4-2025 en 25-8-2025
Logica en informatica
14-11-2024, 23-4-2025 en 27-8-2025
12-11-2024, 22-4-2025 en 25-8-2025
Logica en informatica
14-11-2024, 23-4-2025 en 27-8-2025
Tentamenhulpmiddelen
Discrete Wiskunde A:
Het online woordenboek
De online wiskundige rekenmachine
Logica en informatica:
Het online woordenboek
De online wiskundige rekenmachine
'Schone' cursusboeken 'Logica en informatica', deel 1, 2 en 3.
Het online woordenboek
De online wiskundige rekenmachine
Logica en informatica:
Het online woordenboek
De online wiskundige rekenmachine
'Schone' cursusboeken 'Logica en informatica', deel 1, 2 en 3.
Cursusmateriaal
Het cursusmateriaal bestaat uit het volledige cursusmateriaal van de cursussen Discrete wiskunde A en Logica en informatica.
Digitale leeromgeving
Als student kun je via de cursussite in de onlinedigitale leeromgeving naar de discussiegroepen. Hier kun je met medestudenten en je begeleider informatie uitwisselen en discussiëren over de leerstof.