Elaine Rich

Alan Cline

The University of Texas at Austin



FREGE (Fundamentals of Reasoning for the Electronic Age) is a pair of introductory "courses": 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:

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.