Note: Some of the early videos mention the coursera platform which was used in previous years for this course. You can ignore these segments as coursera is no longer used.

Video playlist

All slides: annotated blank

• 1-1 Programming Paradigms annotated blank
• 1-2 Elements of Programming annotated blank
• 1-3 Evaluation Strategies and Termination annotated blank
• 1-4 Conditionals and Value Definitions annotated blank
• 1-5 Example: square roots Newton's method annotated blank
• 1-6 Blocks and Lexical Scope annotated blank

Video playlist

all slides: annotated blank

• 2-1 Tail Recursion annotated blank
• 2-2 Higher-Order Functions annotated blank
• 2-3 Currying annotated blank
• 2-4 Example: Finding Fixed Points annotated blank
• 2-5 Scala Syntax Summary annotated blank

Video playlist

all slides: annotated blank

• 3-1 Functions and Data annotated blank
• 3-2 More Fun With Rationals annotated blank
• 3-3 Evaluation and Operators annotated blank
• 3-4 Class Hierarchies annotated blank
• 3-5 How Classes Are Organized annotated blank

Video playlist

all slides: annotated blank

• 4-1 Polymorphism annotated blank
• 4-2 Objects Everywhere annotated blank
• 4-3 Functions as Objects annotated blank
• 4-4 Subtyping and Generics annotated blank
• 4-5 Variance annotated blank
• 4-6 Decomposition annotated blank
• 4-7 Pattern Matching annotated blank

Video playlist

all slides: annotated blank

• 5-1 Lists annotated blank
• 5-2 More Functions on Lists annotated blank
• 5-3 Pairs and Tuples annotated blank
• 5-4 Implicit Parameters annotated blank
• 5-5 Higher-Order List Functions annotated blank
• 5-6 Reduction of Lists annotated blank
• 5-7 Reasoning About Concat annotated blank
• 5-8 A Larger Equational Proof on Lists annotated blank

Video playlist

Resources:

• Books example code
• N-Queens example code
• Maps example code
• Polynomials example code
• Mnemonics example code

all slides: annotated blank

• 6-1 Other Collections annotated blank
• 6-2 Combinatorial Search and For-Expressions annotated blank
• 6-3 Combinatorial Search Example annotated blank
• 6-4 Maps annotated blank
• 6-5 Putting the Pieces Together annotated blank

Video playlist

Resources:

• Glass Pouring Example Code

all slides: annotated blank

• 7-1 Structural Induction on Trees annotated blank
• 7-2 Streams annotated blank
• 7-3 Lazy Evaluation annotated blank
• 7-4 Computing with Infinite Sequences annotated blank
• 7-5 Case Study: the Water Pouring Problem annotated blank
• 7-6 Course Conclusion annotated blank

Video playlist (please ignore videos 0.1, 0.2, 0.3, 0.4)

Resources:

• ScalaCheck Tutorial
• Intro to Finagle
• Generators Example Code

all slides

Video playlist

Resources:

• BankAcct Example Code
• Simulations Example Code

all slides

No more video lectures! Please go to class instead :).

Resources:

• Constraints Example Code

all slides

Slides:

• 11-1 Lambda Calculus and LISP slides
• 11-2 Lisp slides

Resources:

• Lisp.scala
• testInterpreter.sc

Slides:

• 12-1 Growing an Interpreter slides
• 12-2 Interpreting Scheme– slides

Resources:

• append.pl
• database.pl
• Prolog.scala
• PrologTest.sc

all slides (Updated 14.12.17, 2pm)

No lecture! Instead, we'll do a recitation session on last year exam, see the Moodle announcement

For historical purposes, here is link to a previous edition of the course