Universitetet i Oslo · Institutt for informatikk
IN4070 — Logikk
IN4070 er klart. Du får mestringsscore per tema og oppgaver til hvert tema i pensum. Kom i gang på under et minutt.
Kom i gang med IN4070
Gratis full tilgang ut semesteret.
Temaer i emnet
UtsagnslogikkOppfyllbarhet, gyldighet og følgeKalkyler for utsagnslogikkFørsteordens logikkKalkyler for førsteordens logikkSunnhet, kompletthet og anvendelser