Category: Progress
-
Making an Accessible Open Logic Textbook (for Dyslexics)
In the design and layout of the Open Logic Project texts as well as the Calgary Remix of the intro text forall x, we’ve tried to follow the recommendations of the BC Open Textbook Accessibility Toolkit already. Content is organized into sections, important concepts are highlighted (e.g., colored boxes around definitions and theorems), chapters have…
-
Fall 2016 edition of Sets, Logic, Computation
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 computability including the unsolvability of the halting and decision problems. The methods…
-
More Photos of Logicians
As previously mentioned, the Open Logic Project now has a separate repository for photos of logicians to illustrate your OLP-derived materials. They are automatically included in the biographies that live in content/history. I’ve just uploaded a whole bunch of photos that don’t have associated biographies (yet). Some of them are not well-known, even. For the…