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.