HNRS: Formalization and mathematics

Proofs and programs

Syllabus

The syllabus can be found at the syllabus tab.

Calendar

At the calendar tab, you will find our topic schedule for each class along with the pre-reading, worksheets for that class, and due dates for assignments.

Notes

Notes can be found in their GitHub repository.

Homework

There are tabs for class homework.

Homework is turned in weekly and in groups of 3-4.

For more information, see the Syllabus.

Me

If you are interested in a bit about who I am and what I do, check out the staff tab or visit my website.