Cristin-person-ID: 14920
Person

Roger Antonsen

  • Stilling:
    Førsteamanuensis
    ved PROG Programmering ved Universitetet i Oslo

Klassifisering

Vitenskapsdisipliner

Matematikk • Logikk

Emneord

Modallogikk • Bevisteori • Automatisk resonnering • Logikk • Informatikk • Databehandling • Bevissystemer • Teoretisk databehandling

Kontaktinformasjon

Resultater Resultater

Keltiska knutar.

Antonsen, Roger. 2021, Nämnaren : tidskrift för matematikundervisning. UIOPopulærvitenskapelig artikkel

Kræsjkurs i algoritmer.

Antonsen, Roger. 2017, Disrupsjon 2017. UIOFaglig foredrag

Matematiske opplevelser og hvordan vi bruker språk til å formidle matematikk.

Antonsen, Roger. 2017, @pi-konferansen 2017. UIOPopulærvitenskapelig foredrag

Making Juggling Patterns.

Antonsen, Roger. 2017, Maker Faire Bay Area. UIOPopulærvitenskapelig foredrag

Metaphors, Perspectives, and Thinking Differently.

Antonsen, Roger. 2017, P(our) Symposium 2017. UIOFaglig foredrag
1 - 5 av 90 | Neste | Siste »