Category Archives: Courses posts

standardpart

Graduate & Undergraduate programs in mathematical logic

The Department of Mathematics at University of Hawaii at Manoa has long had an informal graduate program in logic, lattice theory, and universal algebra (People, Courses, Description) going back to Alfred Tarski’s 1963 student William Hanf.

During Fall 2022 the logic seminar had talks by three outside speakers from Chiba, Yamaguchi and Wisconsin.

See also: the international online seminar Computability Theory and Applications.

We are offering the following course rotation (courses mostly repeating after two years):

Graduate courses

Past offerings
Semester Course number Course title Instructor
Spring 2016 MATH 649 Applied Model Theory Ross
Fall 2016 MATH 654 Graduate Introduction to Logic Beros
Spring 2017 MATH 657 Computability and Complexity Khan
Spring 2018 MATH 649 Applied Model Theory Ross
Fall 2018 MATH 654 Graduate Introduction to Logic Kjos-Hanssen
Spring 2019 MATH 655 Set theory Williams
Spring 2020 MATH 657 Computability and Complexity Kjos-Hanssen
Fall 2020 MATH 654 Graduate Introduction to Logic Kjos-Hanssen
Spring 2021 MATH 649 Applied model theory Ross
Spring 2022 MATH 657 Computability and Complexity Kjos-Hanssen
Fall 2022 MATH 654 Graduate Introduction to Logic Kjos-Hanssen

Future offerings:

Semester Course number Course title Instructor
Spring 2023 MATH 649B Applied model theory Ross
Spring 2024 MATH 657 Computability and Complexity Kjos-Hanssen

It is also recommended that students familiarize themselves with undergraduate level logic, which is offered on the following schedule:

Undergraduate courses

Past offerings
Semester Course number Course title Instructor
Fall 2012 MATH 454 Axiomatic Set Theory Kjos-Hanssen
Spring 2013 MATH 455 Mathematical Logic Kjos-Hanssen
Fall 2014 MATH 454 Axiomatic Set Theory Ross
Spring 2015 MATH 455 Mathematical Logic Khan
Spring 2016 MATH 454 Axiomatic Set Theory Khan
Spring 2017 MATH 455 Mathematical Logic Ross
Spring 2018 MATH 455 Mathematical Logic Khan
Fall 2019 MATH 454 Axiomatic Set Theory Williams
Spring 2020 MATH 455 Mathematical Logic Williams
Fall 2021 MATH 454 Axiomatic Set Theory Kjos-Hanssen
Spring 2022 MATH 455 Mathematical Logic Ross

Future offerings:

Semester Course number Course title Instructor
Fall 2023 MATH 454 Axiomatic Set Theory Kjos-Hanssen

Faculty teaching in the program

David A. Ross, Professor
Bjørn Kjos-Hanssen, Professor

KONICA MINOLTA DIGITAL CAMERA

Placement Exam

The Math Department requires an exam for placement in many courses. Based on your exam results, the department will enter a BMAT score into your Banner student record. Your BMAT score
determines the classes in which you are allowed to register and stays valid for one year. The exam is given in two parts, each with a 30 minute time limit, and your combined results on each part
determine your BMAT score. Both parts of the exam must be taken in the same session, and you must pass Part 1 in order to take Part 2. You may only take the exam one time per exam window – see the Repeat Policy below for additional details. Taking our Practice Exams to prepare is strongly encouraged. The exam may be taken
on campus or remotely either through proctorU or an NCTA
approved testing center
.

Continue reading

Academic Minor in Mathematics

Math Minor Requirements (in general):

  • MATH 243 or 253A
  • 12 credit hours in mathematics courses numbered above 300, including:
    • 3 credit hours in a writing-intensive mathematics course
    • 6 credit hours in courses numbered above 400

More specific Math Minor requirements:

  • If Math 243 is a requirement for your major but you did not take Math 253A, you must:
    • complete Math 244
    • complete 12  credits in mathematics courses numbered above 300 that include:
      • 3 credit hours in writing-intensive mathematics courses
      • 6 credit hours in courses 400 and above (excluding Math 480)
  • If both Math 243 and Math 244 are requirements for your major, or if you took Math 253A for your major requirement, you must:
    • complete 15 credits in mathematics courses numbered above 300 that include:
      • 3 credit hours in writing-intensive mathematics courses
      • 6 credit hours in courses 400 and above (excluding Math 480)

All required courses must be completed with a grade of “C” or better. Courses used to fulfill core or major requirements cannot be counted for the minor. Exceptions are:

  • At most one mathematics course at the 300+ level can be counted towards both a minor in Mathematics and a BEng from the College of Engineering.
  • BA Physics, BS Physics, and BS Astrophysics students may count their Math 307 or 311 major requirement towards a minor in mathematics.

ADDITIONAL INFORMATION

  • The requirements include work at the senior level and allow the choice of specific courses which best complement work in the student’s major field.
  • Students who are interested in minoring in mathematics are urged to consult a departmental advisor early in their academic career and schedule a Minor Declaration Appointment.
  • Prior to graduation (at least one semester in advance), a Certification of Academic Minor form should be completed in consultation with a departmental advisor.