Introduction to Modal Logic

6 EC

Semester 1, periode 1, 2

5122INML6Y

Eigenaar Bachelor Wiskunde
Coördinator N. Bezhanishvili
Onderdeel van Master Logic, jaar 1Master Computer Science (joint degree), track Foundations of Computing and Concurrency, jaar 1Dubbele bachelor Wis- en Natuurkunde, jaar 3Bachelor Wiskunde, jaar 3

Studiewijzer 2016/2017

Globale inhoud

Het vak behandelt de basisbegrippen van de modale logica: syntax, relationele semantiek, modellen en frames, bisimulaties, model- en frametheoretische constructies, volledigheid.

The course covers the basic notions of modal logic: syntax, relational semantics, models and frames, bisimulations, model theoretic and frame theoretic constructions, completeness. More advanced topics include expressive power and intelligent agency.

Studiemateriaal

Literatuur

  • De Rijke en Venema, 'Modal Logic', Blackburn, Cambridge University Press, 2001.

Leerdoelen

Het leren begrijpen van de basistechnieken van de modale logica en de belangrijkste toepassingen hiervan.

To learn to understand the basic techniques of modal logic and its most important applications.

Onderwijsvormen

  • Hoorcollege
  • Werkcollege

Hoorcollege en werkcollege.
Lectures and discussion sessions.

Verdeling leeractiviteiten

Activiteit

Aantal uur

Hoorcollege

26

Tentamen

3

Tussentoets

2

Vragenuur

2

Werkcollege

52

Zelfstudie

83

Aanwezigheid

Aanwezigheidseisen opleiding (OER-B):

  • Van elke student wordt actieve deelname verwacht aan het onderdeel waarvoor hij/zij staat ingeschreven.
  • Als een student door overmacht niet aanwezig kan zijn bij een verplicht onderdeel van het onderdeel, dient hij/zij dit zo snel mogelijk schriftelijk te melden bij de betreffende docent. De docent kan dan, eventueel na overleg met de studieadviseur, besluiten om de student een vervangende opdracht op te leggen.
  • Het is niet toegestaan om verplichte onderdelen van een onderdeel te missen als er geen sprake is van overmacht.
  • Bij kwalitatief of kwantitatief onvoldoende deelname, kan de examinator de student uitsluiten van verdere deelname aan het onderdeel of een gedeelte daarvan.
  • Bij alle onderwijseenheden van jaar 1 en 2 is een student verplicht bij minimaal 80% van de werkcolleges en tutoraten aanwezig te zijn. Bovendien moet worden deelgenomen aan eventuele tussentoetsen en verplicht gesteld huiswerk. Als niet aan deze verplichting is voldaan, wordt de student uitgesloten voor de herkansing van de onderwijseenheid.

Aanvullende eisen voor dit vak:

Toetsing

Onderdeel en weging Details

Eindcijfer

1 (50%)

Tussentoets

1 (50%)

Tentamen

Opdrachten

Onderstaande opdrachten komen aan bod in deze cursus:

  •    Naam opdracht 1 : beschrijving 2
  •    Naam opdracht 2 : beschrijving 1
  •    ....

Fraude en plagiaat

Dit vak hanteert de algemene 'Fraude- en plagiaatregeling' van de UvA. Hier wordt nauwkeurig op gecontroleerd. Bij verdenking van fraude of plagiaat wordt de examencommissie van de opleiding ingeschakeld. Zie de Fraude- en plagiaatregeling van de UvA: www.uva.nl/plagiaat

Weekplanning

Weeknummer Onderwerpen Studiestof
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

Rooster

Aanvullende informatie

Aanbevolen voorkennis: Kennis van de eerste orde logica (syntax en semantiek), en elementaire wiskundige kennis en vaardigheden.

Recommended prior knowledge: Knowledge of first order logic (syntax and semantics) and elementary mathematical knowledge and skills.

Contactinformatie

Coördinator

  • N. Bezhanishvili