Logica en informatica

Logica en informatica

  • Informatica
  • IB2902
  • 5 EC
  • Vanaf € 164
  • Voor dit product gelden ingangseisen
Deze cursus kunt u op elk gewenst moment starten. Kijk in het Jaarrooster wanneer de begeleiding is ingeroosterd.

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.

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 (en u die cursus grotendeels bestudeerd heeft).

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.
Houd daarom bij het aanmelden voor deze cursus rekening met de aanmeldtermijn voor de tentamens en met de data van eventuele begeleidingsbijeenkomsten.

Begeleidingsvorm

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

Online bijeenkomsten.

Begeleidingsbijeenkomsten


Studiedag Informatica, locatie volgt of online
Kwartiel 1 - begeleider: mw.dr. J. Lodder
vr 03-09-2021 / startbijeenkomst / tijd ntb

Online-bijeenkomsten
Kwartiel 1 - begeleider: mw.dr. J. Lodder
1. di 28-09-2021 / 19.30-21.00 uur
2. di 26-10-2021 / 19.30-21.00 uur
3. di 23-11-2021 / 19.30-21.00 uur
4. di 14-12-2021 / 19.30-21.00 uur
5. di 18-01-2022 / 19.30-21.00 uur




Tentamenvorm

Digitaal groepstentamen met open vragen.

Tentamentoelichting

Per 01-09-2021 zal de afkorting, de omschrijving van de tentamenvorm en wellicht de afname wijze waarop wordt getentamineerd wijzigen.

Afhankelijk van welke maatregelen noodzakelijk zijn om het coronavirus te bestrijden, is het mogelijk dat de Open Universiteit de tentaminering moet vervangen door een (online) alternatief. Meer informatie hierover vindt u op www.ou.nl/informatie-coronavirus. De actuele tentameninformatie met betrekking tot deze cursus vindt u na aanmelding in de online cursusomgeving.

U dient zelf tijdig aan te melden voor een tentamen.

Tentamenhulpmiddelen

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

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.