Skip to main content

Ctrl+K

Logical Foundations of Computing

Introduction

The Book Project
Big Ideas of Logic
Propositional Logic
Modal Logic

Logics and Tools

1. SAT solving with MiniSat
2. Logic Programming with Prolog
3. Constraints with MiniZinc
4. SMT Solving and Z3
5. Temporal Logic with Spin
6. Epistemic Logic with SMCDEL
7. Hoare Logic with Dafny
8. Higher-Order Logic with Isabelle
9. Type Theory with Lean

Appendices

Hoare Logic
Syllogistic Logics in Isabelle
Complexity Classes Overview
Resources on Puzzles

Style Guide

How to Cite References
How to Contribute

Repository
Open issue

Search

Ctrl+K

By CPSC 510

© Copyright 2022.