Logiske metoder i informatikk

Forskerlinjen presenterer: I dette foredraget fokuserer Arild Waaler og Einar Broch Johnsen på logikk som metode for forskningen.

SIRIUS-senteret identifiserer og håndterer problemer knyttet til enorme datamengder ("big data") innen olje- og gassindustrien. SIRIUS er et senter for forskningsdrevet innovasjon der forskere fra IFI samarbeider tett med næringslivet.

Arild og Einar ønsker å formidle hvorfor logikk er spennende ved å se på noen “store problemer” som ble formulert og studert innenfor et logisk rammeverk, hvorfor logikk som metode er interessant, og se noen eksempler på hvordan logikk brukes i dag ved SIRIUS-senteret.

Foredraget passer for all som har vært borti logikk (f.eks IN1150).

Publisert 8. feb. 2019 11:16 - Sist endret 8. feb. 2019 11:16