Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
An unambiguous formal language, akin to a programming language
Syntax: Vocabulary for expressing concepts without ambiguity
Semantics: Connection to what we're reasoning about
- what the syntax means
Reasoning: How to prove things
What steps are allowed
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License