University Mathematical Logic (Grades 9-12)

Students take University Mathematical Logic courses in the following sequence:

Logic for Mathematics I: An introduction to propositional logic, a branch of modern mathematics that provides the foundation for formal and rigorous mathematical proofs.

Logic for Mathematics II: An introduction to predicate logic, a so-called “first-order logic” sufficient to formalize all of set theory, which provides the basic language in which most mathematical texts are written.

Logic for Mathematics III: An introduction to axiomatic set theory, which plays a central role in modern mathematics and is fundamental to understanding math at its most sophisticated levels.

Students who complete this curriculum have developed superior abstract reasoning abilities that make all future classes requiring critical thinking significantly easier.

Because of the ease with which former students handle mathematical reasoning, some go on to complete PhD’s in mathematics. But whatever path they choose — and alums include not just mathematicians but computer scientists, engineers, philosophers, doctors and lawyers — it is smoothed by the advanced logic and analytical skill covered by the University Mathematical Logic course.

Students must take an aptitude test before enrolling in one of these classes.

Almost certainly No. This is a unique curriculum and students must start from the beginning. However, because it is self-paced, stronger students may find that they’re moving rather quickly.

Many students enroll in our university-level courses because, regardless of age, they are ready for an academic challenge suited to their advanced abilities. Traditional schools often lack the resources or flexibility to meet the intellectual needs of these talented, young children.

IMACS university-level courses provide an academic challenge worthy of the brightest students. Your child will truly take pride in his or her ability to solve advanced computer science, logic, and math problems.

When a student completes a course, an official transcript is provided that reports the student’s final grade, along with a detailed description of the course content. For those who do well in our program, we provide strong, individually tailored letters of recommendations for college applications.

The educational foundations students build through our program help them outperform the expectations of their parents, teachers and professors.

For the rest of their lives, whether in school, at work or at play, IMACS graduates simply think better.

All students who are interested in the university mathematical logic class must take and pass the free IMACS Aptitude Test. Once enrolled, students have access to the course material 24/7 during the enrollment period. The class is self-paced with an experienced instructor available to assist students as needed. New students are accepted at all times throughout the year.

This class is offered as a part of both our school-year and summer programs. During the school year, classes meet for 2 hours once per week. The tuition is $615 per session. There are four eight-week sessions that meet from September through May. Auto-enroll, sibling, and multi-class discounts are available.

During the summer, these classes meet daily in one-week sessions, Monday through Friday. Tuition is $299 per session. Early enrollment, sibling, and multi-class discounts are available.

At all times of the year, IMACS offers a referral credit to current families who refer their friends & family.