Personer med emneord «kompleksitetsteori»
Navn | Telefon | E-post | Emneord |
---|---|---|---|
Kristiansen, Lars Professor II | +47 922 10 527 | larsk@math.uio.no | matematisk logikk, beregnbarhetsteori, kompleksitetsteori, beregnbar analyse |
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 |