INF131B Logikk - grunnemne

Studiepoeng:2.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:

62½ timar:

2 x 6 timar forelesning
2 x 6 timar øving
38½ timar sjølvstendig arbeid

Undervisnings- og vurderingsperiode:Emnet byrjar i augustblokka. Emnet har undervising og vurdering i augustblokka.

Om dette emnet

Emnet gjev ei innføring i grunnleggjande logikk. Tema som skal diskuterast omfattar: Utsegnslogikk (sanningstabellar, normalformer), predikat og fyrsteordens logikk, t.d. til bruk som semantikk til SQL-spørjingar, SPARQL-spørjingar og -endepunkt, OWL og beskrivingslogikk.

Dette lærer du

Deltakarane utviklar evna til å karakterisere semantikken av data i kunnskapsbaserte system gjennom formal logikk. Kompetansen frå emnet kan fordjupast vidare gjennom DAT230 (Datahandtering og dataanalyse).

Læringsaktiviteter
Førelesingar kombinert med øvingar tilpassa studentane sine førekunnskapar og ferdigheiter.
Læringsstøtte
Den emneansvarlege + hjelpelærar(ar) skal rettleie og stytte studentane.
Pensum
Blir kunngjort ved kursstart.
Vurderingsordning, hjelpemiddel og eksamen
Gjennomgåande vurdering/Mappe vurdering
Om bruk av KI
K2. Spesifisert bruk av KI. Det er ikkje lov å bruke generative KI-verktøy på nokon måte til å utarbeide innleveringar som inngår i mappevurderinga (eksamen). Elles kan dei brukast fritt.
Her finner du KI-kategoriene beskrevet.
Sensorordning
Ekstern sensor deltek saman med intern sensor ved utforminga av eksamensoppgåvene og sensorrettleiinga.
Undervisningstider
Fyrstesamling: 2 timar plenum.
Førelesingar: 6 x 2 timar (plenum).
Øvingar: 6 x 2 timar (plenum).
Overlapp
2½ stp overlapp med INF131 (Datahandtering og logikk)
1½ stp overlapp med INF132 (Advanced ontology and knowledge representation, på engelsk)
Opptakskrav
REALFAG