Bjørn Kjos-Hanssen

Search

Primary Menu

Skip to content
  • Bjørn Kjos-Hanssen
  • Posts
  • Publications
  • Software
    • Android
    • Plugin
    • Web
      • Autocomplete
      • Complexity guessing game
      • Complexity lookup
      • Complexity option game
      • Structure function calculator
  • Teaching
    • MATH 654 (Fall 2018)
    • Math 657 (Spring 2014)
    • Courses taught
      • Accelerated calculus 2016-2017
      • Math 242 (Fall 2014)
      • MATH 244 (Spring 2016)
      • MATH 253A
      • MATH 372
      • MATH 373 (Spring 2017)
      • MATH 471&472 (2014-2015)
      • MATH 472 (Spring 2016)
      • MATH 480 Senior Seminar (Spring 2015)
      • MATH 480 Spring 2018
      • Math 649B
      • Math 672 (Spring 2014)
  • Calendar

Calendar

  • Tags
    Calculus Logic seminar Upper division
Agenda
Agenda
Day
Month
Week
December 2024 Dec 2024
Collapse All Expand All
Dec
16
Mon
Math 215 final exam
Dec 16 @ 9:45 am – 11:45 am
Read more
Tags: Calculus
  • Add to Timely Calendar
  • Add to Google
  • Add to Outlook
  • Add to Apple Calendar
  • Add to other calendar

Links

  • Bjørn Kjos-Hanssen's articles on arXiv.org
  • Computability.org
  • CV
  • Deontic logic
  • Department of Mathematics

Professor of Mathematics, University of Hawaii at Manoa

Recent Posts

  • San Luis Obispo: Logic and Analysis Special Session
  • Coherent spaces in linear logic
  • Hilbert space model of linear logic
  • Phase semantics for linear logic
  • Mathlib contributions

Categories

  • calculations
  • computability
  • conferences
  • editorial board
  • LaTeX
  • modal logic
  • outreach
  • publications
  • research
  • service
  • students
  • teaching
  • TV
  • web design/development

Just for fun

  1. Loudspeaker

    Pronunciation

    May 8, 2014 admin
More audio →
Proudly powered by WordPress