Personer med emneord «logikk»

Navn	Telefon	E-post	Emneord
Aanderaa, Stål Professor emeritus	228 55889	staal@math.uio.no	Matematikk, Logikk
Antonsen, Roger Førsteamanuensis	+47 22852482	rantonse@ifi.uio.no	Logikk, Bevisteori, Automatisk resonnering, Bevissøk, Modallogikk, Førsteordens logikk, Kompleksitetsteori, Automater, Cellulære automater, Generativ kunst, Algoritmer, Algoritmisk kunst, Matematisk kunst, Netlogo, Processing, Filosofi, Matematikkfilosofi, Formidling, Vitenskapsformidling
Giese, Martin Professor	+47 22852737	martingi@ifi.uio.no	Logikk, Big data, Semantic web, Automatisk resonnering, Bevissøk, Førsteordens logikk
Jervell, Herman Ruge		herman@ifi.uio.no	Logikk
Johnsen, Einar Broch Professor	+47 22852509	einarj@ifi.uio.no	informatikk, programmering og nettverk, logikk, sikkerhet, teoretisk databehandling, kvalitetssikring av programvaresystemer, software engineering, modellering av programvaresystemer, analyse av programvaresystemer, formelle metoder, objekt-orientering, parallelle og distribuerte systemer, Programmeringsspråk
Linnebo, Øystein Professor	+47 22856961 +47 46660036 (mob)	oystein.linnebo@ifikk.uio.no	Filosofi, Logikk, Metafysikk, Språkfilosofi, Frege
Murwanashyaka, Juvenal Stipendiat		juvenalm@math.uio.no	Matematikk, logikk
Normann, Dag	41250205	dnormann@math.uio.no	Matematikk, Logikk
Owe, Olaf Professor	+47 22852449	olaf@ifi.uio.no	informatikk, programmering og nettverk, logikk, sikkerhet, teoretisk databehandling, kvalitetssikring av programvaresystemer, software engineering, modellering av programvaresystemer, analyse av programvaresystemer, formelle metoder, objekt-orientering, parallelle og distribuerte systemer, Programmeringsspråk
Skjæveland, Martin Georg Forsker		martige@ifi.uio.no	ontologier, dataintegrasjon, logikk, datautveksling, Semantisk web, databaser