Pensum
Pensum vil v?re utvalgte kapitler fra Logic and Structure og forelesningsnotater. I tillegg vil studenter som f?lger INF4171 ha én eller flere artikler som pensum.
L?rebok
- Dirk Van Dalen: Logic and Structure (5th edition), 2012. Springer.
(4. utgave likner mye p? 5. utgave, og det vil v?re mulig ? bruke 4. utgave.)
St?ttelitteratur
- Open Logic Project: The Open Logic Text.
Tilgjengelig fra openlogicproject.org. Kapitlene om sekventkalkyle er relevante.
Artikkel for INF4171
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 prosjektene Optique og 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.
Detaljert pensumoversikt
Utover det som er listet her vil ukeoppgaver og obligatoriske oppgaver ansees som pensum. I tillegg er den valgte av artiklene over pensum for studenter som f?lger INF3170.
van Dalen, Logic and Structure
(Kapittelnummer fra 5. utgave, trekk fra 1 for kapittelnummer fra 4. utgave.)
Forelesningsnotatene gir en detaljert oversikt over hva som er lagt vekt p?. Det som ikke er forelest ansees ikke som pensum. V?r oppmerksom p? at det likevel er l?reboken som definerer pensum.
Kapittel 2: Alt. Kapittel 3: Alt utenom 2.6, 2.7 og 2.10. Kapittel 4: 4.1 i forenklet utgave uten likhet, og 4.2 til og med kompakthet. Kapittel 5: Til og med definisjon 5.3. Kapittel 6: Alt utenom 6.4. Kapittel 7: Alt utenom 7.3.
Forelesningsnotater om LK
Alt innholdet i forelesningsnotatene om LK (se Undervisningsmateriale) er pensum, men mye av det generelle om logikkene overlapper med stoff i van Dalen.
Forelesningsnotater om Resolution og Logic Programming
Alt innholdet i forelesningsnotatene om Resolution og Logic Programming (se Undervisningsmateriale) er pensum.
Forelesningsnotater om Databaser fra Logikperspektiv
Alt innholdet i forelesningsnotatene om Databaser fra Logikperspektiv (se Undervisningsmateriale) er pensum.
Forelesningsnotater om Description Logic (DL)
Alt innholdet i forelesningsnotatene om Description Logic (DL) (se Undervisningsmateriale) er pensum, utenom det som st?r i Appendix.