Course introduction

Learning outcomes

Learners have...

• heard to course goal
• Identify the main topics and objectives for the week's lessons.
• Evaluate the importance of engaging with course content and identify strategies to maintain interest and motivation throughout the week.

For teachers

Prior:

• What does 'Programming Formalisms' mean?
• What is the goal of the course?
• What is software development?
• What is formal software development?
• What are some examples of evidence-based best practices?

Course goal summarized

Summarized from the goals of the 'Programming Formalisms' course, is to teach formal and evidence-based best practices principles of software development.

Course approach

• Discuss the phases in software development, from planning to maintenance
• Work on a project to experience this

Exercise 1: where is what?

Explore the website of the course. Where you can you find the things below?

• The schedule
• A description of the course project
• Earlier evaluation results
• The literature used by this course
• Form for anonymous feedback
• The FAQ how to run Python code from VS Code

Exercise 2: what do you think will be your favorite session?

There are a lot of sessions in the schedule. Take a sneak peak at some that you think you will like. What do you think will be your favorite session?