Course

CS-214: Software construction

Lectures in this course (32)

Covers the basics of functional programming in Scala, including evaluation strategies, conditionals, and value definitions, with a focus on computing square roots with Newton's method.

Functional Programming: Concepts and Implementation

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

Git Basics: Version Control Systems and Software Development

Introduces git basics, version control systems, and software development, emphasizing the importance of VCS and distributed backups.

Class hierarchies: pattern matching

Covers class hierarchies, pattern matching, function values, and function calls in Scala.

Software Debugging: Techniques and Best Practices

Covers software debugging techniques, emphasizing effective issue diagnosis, information gathering, and structured debugging processes.

Untitled

Polymorphism and Proofs

Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.

Software Testing: Avoiding and Fixing Bugs

Emphasizes the critical role of software testing in preventing and resolving bugs during development.

Untitled

Variance and Combinatorial Search

Covers subtyping, generics, variance, type bounds, covariance, contravariance, and combinatorial search.

Untitled

Combinatorial Search: For-Expressions

Explores the use of for-expressions in Scala to simplify computations and solve problems like combinatorial search and N-Queens.

Untitled

From Tests to Proof

Explores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.

Principles of Parallelism

Covers the basics of parallelism, including physical examples, historical context, multicore era, and parallel collections in Scala.

Untitled

Functional Data Structures: Collections and Operations

Covers functional data structures and their relationships, implementations, and efficiency.

Lazy Evaluation: Lazy Lists

Explores lazy evaluation and lazy lists in Scala, emphasizing their benefits and implementation.

Infinite Sequences: Laziness

Covers lazy lists, infinite sequences, prime numbers, and list processing challenges.