Open Logic Project's posts

Post has attachment

Public

Kevin Klement has done up a prototype of his online natural deduction proof builder/checker that works with the natural deduction system of the Cambridge and Calgary versions of forall x. The system was originally written for UMass’s Intro Logic course,…

Post has attachment

Public

I’m teaching the incompleteness theorems (and related material) this term, and of course I’m using the Open Logic Project as a text. The relevant sections are based on Jeremy Avigad’s notes, which originally were meant as a supplement to Epstein &…

Post has attachment

Public

Aaron is teaching our intro logic course (“Logic I”) this term, and as part of a pilot project to redesign that course (which also includes partially “flipping” it), we’ve also adapted P. D. Magnus’s open textbook forall x. To be more precise, we’ve…

Post has attachment

Public

Fresh from the Archives of American Mathematics at UT Austin, the photos repository now includes Henkin, Huntington, Rosser, and von Neumann.

Post has attachment

Public

As per issues 107 and 109, the material in sets-relations-functions/sizes-of-sets needs to be cleaned up. It was inconsistent in its assumption about whether functions are always total (they are, according to the definition in the preceding chapter), it…

Post has attachment

Public

I will be teaching our Logic I course beginning in January 2017, and we have decided to modify an existing free and open logic text for use in that and (hopefully) future sections of Logic I here in Calgary. We have decided to take Tim Button’s Cambridge…

Post has attachment

Public

Julia Bowman Robinson was an American mathematician. She is known mainly for her work on decision problems, and most famously for her contributions to the solution of Hilbert’s tenth problem. Robinson was born in St. Louis, Missouri on December 8, 1919.…

Post has attachment

Public

Have you used material from the Open Logic Project in your courses? We’d like to hear from you; please fill out this form: Loading….

Post has attachment

Public

How to Get (Printed) Open Textbooks to Your Students

One problem open textbooks (and instructors adopting open textbooks) face is how to make the texts available to their students. Of course, it’s easy to distribute electronic OERs. But if you want to provide your students a nice, printed version they can…

One problem open textbooks (and instructors adopting open textbooks) face is how to make the texts available to their students. Of course, it’s easy to distribute electronic OERs. But if you want to provide your students a nice, printed version they can…

Post has attachment

Public

The Fall 2016 edition of the OLP remix Sets, Logic, Computation is ready. As before, it includes the OLP part on sets, relations, and functions; the part on first-order logic (with natural deduction chosen as the proof system); and the part on Turing…

Wait while more posts are being loaded