EProg 2025 – HG D 5.3

Welcome to the EProg 2025 page of group G-12. Files and updates will be posted here.

Week 1

• Slides
• Kahoot EBNF 1
• EBNF Verification (by Thomas Gassmann)

Week 2

• Slides
• Kahoot EBNF 2

Week 3

• Slides
• Kahoot Arithmetische Operationen einfach
• Kahoot Arithmetische Operationen schwierig

Week 4

• Slides
• My (personal) Exercise Ratings 4
• Mixed Kahoot (Methods, Loops, Strings) by kzuercher and Jakub

Week 5

• Slides
• My (personal) Exercise Ratings 5
• Kahoot Value vs Reference

Week 6

• Slides
• My (personal) Exercise Ratings 6
• Mixed Kahoot References and Hoare Logic by Joran and Jakub

Week 7

• Slides
• My (personal) Exercise Ratings 7
• Kahoot zu Rekursion und Hoare Logic by kzuercher und Benjamin

Week 8

• Slides
• My (personal) Exercise Ratings 8
• Kahoot