The Principia Rewrite
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition
UCalgary version of forallx, an introduction to formal logic
An introductory workshop for binary math, basic electronics, logic gates, and basic computing operations. For kids as young as 9.
Resources covering algorithmic computer science, I created and gathered studying at Wroclaw University of Science and Technology.
Lectures for the "Problem Solving" Class at Nanjing University.
The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of universal algebra in dependent type theory using the Agda proof assistant language.
Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
A Crèche Course in Model Theory. Lecture notes for an introductory (under)graduate couse in model theory
some of the math in computer science
Syracuse edition of the forall x logic textbook
LaTeX PDF form of the Webpage "Master List of Logical Fallacies" -- http://utminers.utep.edu/omwilliamson/ENGL1311/fallacies.htm
This is the source material for the course "Inleiding Logica" (KI1V13001) as taught at Utrecht University for the BSc "Kunstmatige Intelligentie"
Add a description, image, and links to the logic topic page so that developers can more easily learn about it.
To associate your repository with the logic topic, visit your repo's landing page and select "manage topics."