Skip to content
Programming Formalisms
Home
Initializing search
GitHub
Home
Pre-requirements
About the course
Project
Monday
Tuesday
Wednesday
Thursday
Friday
Reading material
More about
Misc
'Programming Formalisms' course logo, by Jonas Söderberg and Lars Eklund
Welcome to the Programming Formalisms course!
¶
Course mottos
Turning scripters into computer scientists
Add theory to bolster already present practical skills
Pre-requirements
Intro
Programming Formalisms
GitHub
Home
Pre-requirements
About the course
Project
Project
Intro
Using GitHub Issues and Project
Team roles
Create class list
Create structs
Dream design
Monday
Monday
Intro
Introduction
SDLC tools
Get started with a project
Software Development Lifecycle
Project start with analysis and design
Summary of day
Tuesday
Tuesday
Intro
Class design
Pair programming
Test-driven development
Summary of day
Wednesday
Wednesday
Intro
Branching and local merging
Branching in practice
Merging and git pull request with code review
Merging in practice
Testing overview
Using a formal testing framework
Testing indeterminate functions
Continuous integration
Testing in a team
Summary of day
Thursday
Thursday
Intro
Data structures
Data structures, expressive data types
Data structures, a 'has-a' relation
Data structures, class design
Algorithms
Algorithms, function design
Algorithms, assert
Algorithms, recursive algorithms
Optimisation
Optimisation, misconceptions
Optimisation, big-O
Optimisation, runtime speed profiles
Summary of day
Friday
Friday
Intro
Modular programming
Deploy
Documentation
Summary of day
Summary of week
Reading material
Reading material
Reading material
More about
More about
Extra material (Earlier Intro day materials)
Misc
Misc
FAQ
Exercise procedure
Functions to practice TDD
git workflow
GitHub workflow
Projects
Retrospective
Richèl