FREGE (Fundamentals of Reasoning for the Electronic Age) is a pair of introductory "courses":

• Reasoning (Logic)
• Discrete Mathematics (Sets, Relations and Functions)

FREGE's target audience is beginning computer science students, but the Reasoning course is also appropriate for students in other disciplines who want to learn the art of clear thinking.

Course materials include:

• An online "book", i.e., a collection of slides that present all the course material. No supplementary book is required.
• A large collection of problems that are integrated into the slides. These courses are sandboxes. Students don't just read; they practice and experiment continuously.
• A collection of short videos.
• A collection of plugin apps that enable students to explore specific topics in a highly interactive way. See the menu at the left for links to those that can be accessed as standalone environments.

The current implementation of these courses uses the Quest platform, designed and hosted at The University of Texas at Austin. Interactive proof construction and evaluation are provided by Querium.

Email us if you would like more information about FREGE.