Modeling
Materials about informal to formal and modeling are published here.
Introduction
Introduction to the Course
The ropes. Notes: this is a link to website itself. Nothing to download.
Slides: Introduction to the Course.pdf
The Case for Formal Reasoning
Why we need formal reasoning. Notes: this is a link to other pages on this website (to be precise: a HTML presentation in Reveal.js generated from an Org Mode file).
Modeling Representations
1.1.1-Modeling-representation-mentalRepresentation
Mental Representation
1.1.2-Modeling-representation-representation
Representation
Video: 1.1.2-Modeling-representation-representation.mp4
1.1.3-Modeling-representation-modeling
Modeling
Modeling Mental Models
1.2.1-Modeling-mentalModel-knowledgeSemantics
Giving meaning
1.2.2-Modeling-mentalModel-languageSemantics
Giving meaning to language
1.2.3-Modeling-mentalModel-modelModel
What's on your mind?
Informal to Formal
1.3.1-Modeling-formalMentalModel-informalLanguage
Can you tell me what's on your mind?
1.3.2-Modeling-formalMentalModel-semiFormal&FormalLanguage
Hold on, hold on, can't you be a bit more precise?
1.3.3-Modeling-formalMentalModel-formalLanguage
Yes, I can be more formal
1.3.4-ModelingformalMentalModel-formalMentalModel
It's all in my head.
Modeling Exercises
1.3.5-Exercises-Modeling
... but, in practice? In theory, theory are practice are the same, in practice, they are not.
Set Theory
1.4.1-Modeling-setTheory-sets
Sets
1.4.2-Modeling-setTheory-relations
Relations
1.4.3-Modeling-setTheory-functions
Functions
1.4.4-Modeling-setTheory-usingSetTheory
Using set theory
Set Theory and Modeling Exercises
1.4.5-Modeling-setTheory-and-modeling-Exercises
Exercises
Formal Reasoning
1.5.1-Modeling-formalReasoning-logic(s)
1.5.2-Modeling-formalReasoning-reasoning
1.5.3-Modeling-formalReasoning-choosingALogic
I told it was the wrong one.
1.6.1-Modeling-usingFormalModels-levelsOfFormalization
Thou shalt use a formal logic.