'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
| 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 | |
| Tue | 13-16 | RB + JN (LE) | TDD, including a Reflection by JN from 15:15-15:45 | |
| Wed | 9-12 | JN (LE, RB) | Social coding, pair programming as a tool for rapid development | |
| Wed | 13-16 | RB + JN (LE) | Testing, including a Reflection by JN from 15:15-15:45 | |
| Thu | 9-12 | RB | Algorithms | |
| Thu | 13-16 | RB + JN | Data structures, including a Reflection by JN from 15:15-15:45 | |
| Fri | 9-12 | LE (RB) | Modular programming | |
| Fri | 13-16 | RB + JN (LE) | Optimisation, including a Reflection by JN from 15:15-15:45 |
([names])means that[names]assist or observe- Regular course room is at the room sent around
| Link | Result |
|---|---|
| Day 1 retro | |
| Day 2 retro | |
| Day 3 retro | |
| Day 4 retro | |
| Day 5 retro | . |
| Filename | Descriptions |
|---|---|
| mlc_config.json | Link checker configuration file |
| .spellcheck.yml | Spell checker configuration file, use pyspelling -c .spellcheck.yml to do spellcheck locally |
| .wordlist.txt | Whitelist for spell checker |
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent