Documents tagged Documentation

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