logic
Here are 58 public repositories matching this topic...
Ph.D. thesis of Jared Corduan - Coloring Posets and Reverse Mathematics
-
Updated
May 10, 2017 - TeX
Some notes and solutions to exercises from the lecture notes 'Introduction to Categories and Categorical Logic' by Sam Abramsky and Nikos Tzevelekos.
-
Updated
Jun 3, 2017 - TeX
Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten
-
Updated
Jul 22, 2017 - TeX
Seminar paper about the foundations of mathematics and the foundational crisis of mathematics ("Grundlagenkrise")
-
Updated
Aug 2, 2017 - TeX
Overview of logic tableau rules for Advanced Logic
-
Updated
Oct 13, 2017 - TeX
TPTP problems and TSTP solutions of problems in classical propositional logic.
-
Updated
Oct 16, 2017 - TeX
📝 Solutions to the exercise sessions
-
Updated
Dec 5, 2018 - TeX
Lectures for the "Problem Solving" Class at Nanjing University.
-
Updated
Jun 29, 2020 - TeX
🎈 Formalized operational and denotational semantics for TESL
-
Updated
Jul 31, 2020 - TeX
Improve this page
Add a description, image, and links to the logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the logic topic, visit your repo's landing page and select "manage topics."