‘Programming Formalisms’ course logo, by Jonas Söderberg and Lars Eklund
- Course Repository for programming formalisms course.
- Under this projects, notes, exercises and lecture slides will be stored.
- Please view the setup.md file for preparations
Schedule
| Day |
Time |
Teacher |
Topic |
Material |
| Mon |
9-12, 13-16 |
BC + JN (LE, RB) |
Introduction day, including a Reflection by JN from 15:30-16:00 |
HTML |
| Tue |
9-12 |
LE (RB) |
Paradigms, Introduction to formalised development |
PDF |
| Tue |
13-16 |
JN + RB (LE, RB) |
Social coding, pair programming as a tool for rapid development, including a Reflection by RB from 15:30-16:00 |
PDF and PDF |
| Wed |
9-12 |
RB (LE) |
TDD |
PDF |
| Wed |
13-16 |
RB + JN (LE) |
Testing, including a Reflection by JN from 15:30-16:00 |
PDF |
| Thu |
9-12 |
RB (LE) |
Data structures, including a Reflection by LE from 15:30-16:00 |
PDF |
| Thu |
13-16 |
RB + LE (LE) |
Algorithms |
PDF |
| Fri |
9-12 |
LE (RB) |
Modular programming |
PDF |
| Fri |
13-16 |
RB + ML + JN (LE,RB) |
Optimisation, including a Reflection by JN from 15:30-16:00 |
PDF |
([names]) means that [names] assist or observe- Regular course room is at the room sent around
Shared documents
Projects
Files
| Filename |
Descriptions |
| mlc_config.json |
Configuration of the link checker |
| .spellcheck.yml |
Configuration of the spell checker, use pyspelling -c .spellcheck.yml to do spellcheck locally |
| .wordlist.txt |
Whitelisted words for the spell checker, use pyspelling -c .spellcheck.yml to do spellcheck locally |
| .pylintrc |
Configuration file for pylint |
| pyproject.toml |
Configuration file of this package |
Links
