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.