A teenage boy ready to write something down as he looks intently at a laptop screen.


A High School Course For Mathematicians

The IMACS University Mathematical Logic Course is based on the Elements of Mathematics series of textbooks. These were initially developed in the 1960’s and 70’s by an international team of eminent mathematicians to be both rigorous and engaging for talented high school students, and mathematicians at IMACS have refined them in light of several decades teaching experience.

The curriculum begins with topics covered in the logic courses typically required of a college major in mathematics, engineering, computer science or philosophy. It then goes on to introduce more advanced techniques in mathematical logic and reasoning.

Program Details

  • Enrollment requires recommendation from an IMACS instructor or success in an aptitude test .
  • Students work at their own pace and meet with an instructor in weekly classes.
  • Classes have at most 12 students.
  • Classes are 120 minutes in duration.
  • It is expected that students work independently between classes.
  • Classes are split into four 8-week sessions per year. New enrollments are accepted throughout the year, spaces pending.
  • Students access live classes and the IMACS Store via their personal Student Portal .
  • Students who miss a class may schedule a make-up class in any week of the same session.
  • Parents use the Parent Portal to enroll students; arrange make-up classes; review student IMACS points; access credit card profiles, accounts, invoices and calendars; and contact IMACS instructors and administrators.

Tell Me More

We have answered the most common questions that parents have in the FAQ section below. The program is not for every student, not even for every student of precocious talent. But for some students, the University Mathematical Logic experience is life changing. Please contact us if you are interested in this program for your child.

University Mathematical Logic

A University-level Logic Course

Providing an advanced introduction to formal logic and mathematical proof, but designed for the most talented secondary school students, it is the envy of university mathematics courses everywhere!

Logic for Mathematicians

Proposition, Predicate and Axiomatic Logic

Three advanced courses cover propositional logic, a predicate logic sufficient to formalize all basic set theory, and an introduction to axiomatic set theory. To learn more, study the FAQs below, or contact us today .

Frequently Asked Questions

友情链: IM体育软件~im体育 im体育平台_im国际体育app在线下载 | IM体育专家-im体育科技 - im国际体育手机登陆v4.1.27 Android 版 | im体育电竞足球_im体育下载苹果 _ im国际体育真人 | im电竞体育靠谱,im体育在线app官网-im国际体育代理网 | IM体育足球下载~im体育平台开户~im国际体育手机appv1.3.6 vivo版 | im体育App一百度百科 im体育app应用_im 体育手机登陆 | IM体育手机官网下载 im体育在线官网-im 体育平台总代理 |