INF131 Datahandtering og logikk
Studiepoeng:5
Ansvarlig fakultet:Fakultet for realfag og teknologi
Emneansvarlig:Martin Thomas Horsch
Campus / nettbasert:Undervises campus Ås
Undervisningens språk:Norsk
Frekvens:Årleg - i augustblokka
Forventet arbeidsmengde: 125 timar:
Undervisnings- og vurderingsperiode:Emnet byrjar i augustblokken. Emnet har undervising og vurdering i augustblokken.
Om dette emnet
Emnet gir ei innføring i grunnleggjande aspekt av praksis og teori i datahandtering og logikk, med fokus på både relasjonelle databasar og ikkje-relasjonelle kunnskapsbasar. Tema som skal diskuterast omfattar:
- Prinsipp for god praksis i datahandtering: FAIR-prinsipp, data- og metadatakvalitet, handsaming av utilstrekkeleg annoterte data.
- Relasjonelle databasar: SQL (strukturert spørjingsspråk), databaseskjema, brukargrensesnitt, entitet-relasjonsdiagram og tilknyting til objektorientert programmering.
- Innføring i logikk: Utsegnslogikk (sanningstabellar, normalformer), predikat og fyrsteordens logikk, t.d. til bruk som semantikk til SQL-spørjingar.
- Kunnskapsgrafteknologi: RDF, SPARQL-spørjingar og -endepunkt, OWL og beskrivingslogikk, semantisk karakterisert datautveksling, ontologiutvikling.
Dette lærer du
Deltakarane utviklar evna til å
- bedømme behov og vurdere/forbedre framgangsmåten i datahandtering etter etablerte anbefalingar for god praksis;
- arbeide med relasjonelle databasar på ein systematisk måte og stytte brukarar gjennom utvikling av enkle grensesnitt i Python;
- karakterisere semantikken av data i kunnskapsbaserte system gjennom formal logikk;
- bruke ikkje-relasjonelle databasar, spesifisere metadata og kommunisere informasjon i tråd med formalismen basert på RDF/OWL.
Kompetansen frå emnet kan fordjupast vidare igjennom DAT230 (Datahandtering og dataanalyse).
Læringsaktiviteter
Læringsstøtte
Pensum
Forutsatte forkunnskaper
Vurderingsordning, hjelpemiddel og eksamen
Sensorordning
Obligatorisk aktivitet
Undervisningstider
Overlapp
Opptakskrav