Skip to main content

Ctrl+K

Logical Foundations of Computing

Introduction

Logics and Their Software Tools

Introduction to Logic
Propositional Logic
SAT solving with MiniSat
Logic Programming with Prolog
Constraint Programming with MiniZinc
SMT Solving and Z3
Modal Logic
Temporal Logic with Spin
Epistemic Logic with SMCDEL
Hoare Logic with Dafny
Higher-Order Logic with Isabelle/HOL
Dependent Type Theory with Lean

Appendices

Resources on Puzzles
Hoare Logic
Syllogistic Logics in Isabelle

Appendix: On Jupyter Books

How to Create a Jupyter Book
Markdown Files
Content with notebooks
Notebooks with MyST Markdown

Repository
Open issue

Search

Ctrl+K

By CPSC 510

© Copyright 2023.