Logica, verzamelingen en relaties
-
Informatica
-
IB0402
-
5 EC
-
Vanaf € 384
Inhoud
Het tweede blok gaat over verzamelingenalgebra en relaties. In de eerste leereenheid wordt ingegaan op het werken met verzamelingen en worden er regels afgeleid waarmee die bewerkingen systematisch kunnen worden uitgevoerd. Met name bij het werken met databases spelen deze bewerkingen een grote rol. Logica en verzamelingen zijn nauw verwant: logica wordt gebruikt om over verzamelingen te redeneren, maar anderzijds vormen verzamelingen een structuur waarop abstracte logische formules een concrete betekenis kunnen krijgen. Op die verwantschap gaat de leereenheid over Boole-algebra's dieper in. Na een korte introductie in de grafentheorie sluit dit blok af met relaties en functies.
De cursus wordt afgesloten met een blok inductie, recursie en inductieve bewijzen: technieken die niet alleen in de wiskunde, maar ook in de informatica belangrijke toepassingen hebben.
Leerdoelen
Na bestudering van deze cursus kun je:
- de syntactische eigenschappen van logische taal begrijpen en uitleggen en eenvoudige vertalingen maken tussen propositie- of predikaatlogische taal en natuurlijke taal,
- 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 axioma’s en Boole-algebra’s uitleggen en gebruiken, en abstracte Boole-algebra’s interpreteren in een concreet geval,
- de belangrijkste graaftheoretische begrippen uitleggen en over grafen redeneren,
- (simpele) wiskundige bewijzen formuleren, beweringen doen over wiskundige definities en heb je algemene wiskundige vaardigheden verworven.
Aanmelden
Toelichting aanmelden
Houd daarom bij het aanmelden voor deze cursus rekening met de aanmeldtermijn voor de tentamens, de tentamendata van de cursus en met de data van eventuele begeleidingsbijeenkomsten.
Voorkennis
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
Begeleidingsbijeenkomsten
Studiedag Informatica en Informatiekunde, Utrecht
Kwartiel 1 - begeleider: dhr.dr. J. Moerman
1. za 07-09-2024 / 15.00-16.30 uur / / tijdig aanmelden via ou.nl/inf-studiedag
Tijdig aanmelden via: ou.nl/inf-studiedag
Online-bijeenkomsten
Kwartiel 1 - begeleider: dhr.dr. J. Moerman
2. ma 30-09-2024 / 19.30-21.00 uur
3. ma 21-10-2024 / 19.30-21.00 uur
4. ma 18-11-2024 / 19.30-21.00 uur
5. ma 16-12-2024 / 19.30-21.00 uur
6. ma 13-01-2025 / 19.30-21.00 uur
Docenten
Tentamenvorm
Tentamentoelichting
Tentamendata
Tentamenhulpmiddelen
De online wiskundige rekenmachine
Het online woordenboek t.b.v. ANS