Syllabus
Upon request, this course will be given in English. In that event, the course pages will be translated.
The syllabus will consist of the book Elements of Logical Reasoning, lecture notes, practice problems, and mandatory assignments. The book can be purchased from Akademika.
Pensum
Der det finnes forelesningsnotater ansees disse som hovedpensum, og lærebokkapitler som støttepensum.
Tema / lærebokkapittel | Forelesningsnotater |
---|---|
Kapittel 1 | |
Kapittel 2 | |
Kapittel 3.1--3.5, 3.7 | |
Kapittel 4.1 | |
Kapittel 5.1 | |
Kapittel 6 | |
Kapittel 7.1, 7.3, 7.4 | Utsagnslogikk: Sunnhet og kompletthet av sekventkalkyle |
Kapittel 8 | Førsteordens logikk |
Kapittel 9 | Bevissøk med kvantorer |
Kapittel 10.1, 10.2 | Førsteordens logikk: Sunnhet og kompletthet av sekventkalkyle |
Description Logic 1, Description Logic 2 | |
Databaser 1, Databaser 2 | |
Resolution og unifisering |
Generell utsagnslogikk og førsteordens logikk er antatte forkunnskaper for dette emnet, og er derfor også mulig tema for eksamen. De som ikke har hatt emner i disse temaene før anbefales å se på materiale fra INF1080.
Pensumartikkel for 4171
Studenter som tar INF4171 må fordype seg i én av de følgende artiklene.
- Linking Data to Ontologies
Artikkelen handler om en logikbasert tilnærming til tilgang til data (Ontology Based Data Access). Artikkelen er relevant for studenter som er interesserte i Big Data, og studenter som er interesserte å jobbe med et prosjekt relatert til SIRIUS. Artikkelen er også relevant for studenter som har tatt eller tenker å ta INF3580 / INF4580. - Quantifiers vs. Quantification Theory
Artikkelen handler om en generalisering av de kvantorene vi kjenner fra predikatlogikk. Artikkelen er relevant for studenter som ønsker en fordypning i logikk, og gir innsikt i begrensningene til vanlige kvantorer.
Lærebok
- Jan von Plato: Elements of Logical Reasoning, 2013. Cambridge University Press. (Akademika)
Støttelitteratur
- Open Logic Project: The Open Logic Text.
Tilgjengelig fra openlogicproject.org. Kapitlene om sekventkalkyle er relevante. - Dirk Van Dalen: Logic and Structure (5th edition), 2012. Springer.