Deze website gebruikt cookies (en daarmee vergelijkbare technieken) om het bezoek voor u nog makkelijker en persoonlijker te maken. Met deze cookies kunnen wij en derde partijen uw internetgedrag binnen en buiten onze website volgen en verzamelen.
Hiermee kunnen wij en derde partijen advertenties aanpassen aan uw interesses en kunt u informatie delen via social media.
Klik op 'Ik ga akkoord' om cookies te accepteren en direct door te gaan naar de website of klik op om uw voorkeuren voor cookies te wijzigen. Bekijk onze privacyverklaring voor meer informatie.
$altText
Logica en informatica
Informatica en informatiekunde | 5 EC | Voor dit product gelden ingangseisen
Code IB2902
Prijsindicatie € 324
Deze cursus kunt u op elk gewenst moment starten. Kijk in het Jaarrooster wanneer de begeleiding is ingeroosterd.

Algemeen

Inhoud

Van oudsher is logica de studie van het correct redeneren. Al in de klassieke oudheid hield men zich bezig met het analyseren van de structuur van redeneringen. Ook nu nog kan logica een belangrijk hulpmiddel zijn wanneer we de correctheid van een redenering willen onderzoeken. Logica wordt dan ook toegepast in tal van wetenschappen zoals taalkunde, filosofie en wiskunde. Een belangrijk recent toepassingsgebied is de informatica.

De cursus bestaat uit twee blokken.
In het eerste blok wordt een formele taal, de propositielogica, geïntroduceerd waarmee de structuur van redeneringen zichtbaar gemaakt kan worden. Zo kan 'waar rook is, is vuur' vertaald worden in r->v. Een formele taal wordt pas zinvol als de betekenis (semantiek) van deze taal is vastgelegd. De propositielogica maakt hiervoor gebruik van waarheidstabellen. De semantiek stelt ons in staat om te definiëren wanneer een formule een geldig gevolg is van een andere formule. Met behulp van semantische tableaus kan op een tamelijk efficiënte manier de geldigheid van een gevolgtrekking gecontroleerd worden. Naast deze semantische aanpak leert u in dit blok ook om met behulp van een axiomatisch systeem afleidingen te maken. Om beweringen waarin objecten, eigenschappen van objecten en variabelen een rol spelen te analyseren, is een rijkere taal nodig: die van de predikaatlogica. Deze taal staat centraal in het tweede blok van de cursus. Ook van de predikaatlogica wordt zowel de semantiek als een axiomatisch bewijssysteem uitgelegd. De cursus behandelt twee toepassingen van de predikaatlogica binnen de informatica. De eerste toepassing is gericht op imperatieve talen. U leert hoe 'Hoare-calculus' gebruikt kan worden om de correctheid van programma's te bewijzen. Bij het tweede onderwerp, logisch programmeren, maakt u kennis met algemene resolutie en stellingbewijzen met behulp van skolemiseren.

Leerdoelen
Na het bestuderen van de cursus kunt u:
- Semantische tableaus gebruiken om de geldigheid en constistentie te controleren, en om te onderzoeken of een formule een tautologie is.
- Axiomatische bewijzen geven in zowel propositielogica als predikaatlogica.
- Bewijzen over logica leveren met formule-inductie.
- Resolutiebewijzen geven, en met behulp van herschrijven, Skolemvormen en unificatie ook algemene resolutie toepassen.
- Bij een STIP- programma en begin-bedeling een eind bedeling bepalen.
- Met behulp van Hoarecalculus de correctheid van eenvoudige programma’s bewijzen.
- Predikaatlogische formules interpreteren op modellen, en bij predikaatlogische formules modellen en tegenmodellen zoeken.

Na het bestuderen van de cursus heeft u inzicht in de mogelijkheden en beperkingen van de logische taal en inzicht in het onderscheid tussen syntax en semantiek.

Aanmelden

Ingangseisen

Aanmelden voor deze cursus is mogelijk als u Logica, verzamelingen en relaties (IB0402) conform uw online studiepad heeft afgerond, dan wel heeft vrijgesteld gekregen dan wel daarvoor bent ingeschreven.

Toelichting aanmelden

De inschrijfduur van 12 maanden start 14 dagen na de verwerking van uw aanmelding voor deze cursus. Aanmelden voor het tentamen kan pas nadat uw inschrijfduur gestart is.
Houdt daarom bij het aanmelden voor deze cursus rekening met de aanmeldtermijn voor de tentamens en met de data van eventuele begeleidingsbijeenkomsten.

Begeleiding

Begeleidingsvorm

Deze cursus kunt u op elk gewenst moment starten. Kijk in het Jaarrooster wanneer de begeleiding is ingeroosterd.

Online bijeenkomsten.

Begeleidingsbijeenkomsten


Online bijeenkomsten
Kwartiel 1 - begeleider: mw. drs. J. Lodder
1. di 01-10-2019 / 19.30-21.00 uur
2. di 22-10-2019 / 19.30-21.00 uur
3. di 29-10-2019 / 19.30-21.00 uur
Kwartiel 2 - begeleider: mw. drs. J. Lodder
1. di 19-11-2019 / 19.30-21.00 uur
2. di 10-12-2019 / 19.30-21.00 uur
3. di 07-01-2020 / 19.30-21.00 uur
4. di 28-01-2020 / 19.30-21.00 uur

Docenten

Mw. drs. J. Lodder.

Bereikbaarheidsoverzicht

Bereikbaarheidsinformatie docenten/examinatoren

Tentamen

Tentamenvorm

Regulier schriftelijk tentamen bestaande uit open vragen (ov).

Tentamentoelichting

U dient zelf tijdig aan te melden voor een tentamen.

Tentamendata

08-07-2019, 05-02-2020, 21-04-2020, 06-07-2020.

Tentamenhulpmiddelen

Een 'schoon' verklarend Nederlands woordenboek (op eigen risico)
Een 'schoon' tekstboek Logica voor informatica, J. van Benthem e.a.

Meer info

Cursusmateriaal

De cursus bestaat uit een tekstboek Logica voor informatica, J. van Benthem e.a. en twee werkboeken.

Digitale leeromgeving

Bij de cursus hoort een cursussite in de digitale leeromgeving. U vindt daar actuele studie-informatie, aanvullend cursusmateriaal en voorzieningen voor communicatie en discussie met docent en medestudenten.