Documents tagged Documentation
Filter by Tag: Documentation forall x Montague The Logic Book
Publicly Shared
- Title
- carnap-derivations.pandoc
- Description
- This document covers the syntax for creating derivation problem sets in custom assignments. Make sure to read the carnap-pandoc documentation first.
- Creator
- Graham Leach-Krouse
- Created on
- 2019-05-27 19:21 UTC
- Tags
- Documentation
- Title
- carnap-translation.pandoc
- Description
- This document covers the syntax for creating translation problem sets in custom assignments. Make sure to read the carnap-pandoc documentation first.
- Creator
- Graham Leach-Krouse
- Created on
- 2019-05-27 19:23 UTC
- Tags
- Documentation
- Title
- carnap-truth-tables.pandoc
- Description
- This document covers the syntax for creating truth-table problem sets in custom assignments. Make sure to read the carnap-pandoc documentation first.
- Creator
- Graham Leach-Krouse
- Created on
- 2019-05-27 19:23 UTC
- Tags
- Documentation
- Title
- carnap-syntax-check.pandoc
- Description
- This document covers the syntax for creating syntax-check problem sets in custom assignments. Make sure to read the carnap-pandoc documentation first.
- Creator
- Graham Leach-Krouse
- Created on
- 2019-05-27 19:24 UTC
- Tags
- Documentation
- Title
- carnap-forallx.pandoc
- Description
- This document describes proof systems for Carnap based on P.D. Magnus' "Forall x" textbook, and the Calgary remix of that text.
- Creator
- Graham Leach-Krouse
- Created on
- 2018-06-07 14:43 UTC
- Tags
- Documentation forall x
- Title
- carnap-montague.pandoc
- Description
- This document describes the Montague-style system of deduction used in the Carnap book.
- Creator
- Graham Leach-Krouse
- Created on
- 2018-06-07 14:43 UTC
- Tags
- Documentation Montague
- Title
- carnap-logicbook.pandoc
- Description
- This document describes proof systems for Carnap based on Bergmann Moor and Nelson's Logic Book.
- Creator
- Graham Leach-Krouse
- Created on
- 2018-11-23 20:15 UTC
- Tags
- Documentation The Logic Book
- Title
- carnap-pandoc.pandoc
- Description
- This document describes the markup language (an extension of John MacFarlane's pandoc markup) used in the creation of custom interactive assignments and problem sets.
- Creator
- Graham Leach-Krouse
- Created on
- 2018-06-07 14:44 UTC
- Tags
- Documentation
- Title
- carnap-dashboard.pandoc
- Description
- This document provides a tutorial introduction to Carnap's course-management dashboard. It includes instructions on how to access the dashboard, how to create courses, and how to manage and automatically grade assignments.
- Creator
- Graham Leach-Krouse
- Created on
- 2018-06-07 14:43 UTC
- Tags
- Documentation