Lecture

Evaluation and Operators

Related lectures (29)

Class hierarchies: pattern matching

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

Improper integrals: Techniques and Examples

Covers examples of integration by substitution and rational functions.

Inheritance in Object-Oriented Programming: Concepts and Implementation

Covers inheritance in object-oriented programming, focusing on class hierarchies and practical implementation examples.

Object-Oriented Programming in C++

Covers the use of static class attributes and methods in C++ to avoid global variables and emphasizes best practices for static method implementation.

Untitled

Integration by Substitution

Explores integration by substitution with proofs and examples on anti-derivatives and function equivalence.

Generic Programming: Templates

Covers generic programming in C++ through templates for classes and functions, showcasing examples and discussing specialization and separate compilation.

Integration: more examples and rational functions

Covers antiderivatives, fundamental theorems, integration techniques, and rational functions.

Type-Directed Programming: Using Clauses

Covers using clauses, context bounds, given instances, and implicit parameter resolution in Scala.

Fundamental theorems of calculus and computing techniques

Explores fundamental theorems of calculus and techniques for computation, including integration by parts and substitution.

Fundamental Theorem of Calculus

Covers the fundamental theorem of calculus, immediate integration, and properties of derivatives, with examples of integration by substitution.

Generics and Subtyping

Covers advanced concepts in generics and subtyping in Java, focusing on LinkedList implementation and List interface.

Abstract Interpretation in Stainless

Explores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.

Haloalkanes Reactivity: Substitution vs. Elimination

Explores haloalkanes reactivity towards nucleophiles and elimination mechanisms, including natural product synthesis and Hofmann rule applications.

Polymorphism and Proofs

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

Type Classes: Basics and Implementation

Covers the basics of type classes in Scala, implementation examples, and advantages over class extension.

Polynomial Applications: Combinatorial Computations

Delves into using polynomials for combinatorial computations and explores operations and identities with binomial coefficients.

Avoiding Variable Capture

Explores variable capture in higher-order functions and the importance of variable renaming.

Integration Techniques: Change of Variable and Integration by Parts

Explores advanced integration techniques such as change of variable and integration by parts to simplify complex integrals and solve challenging integration problems.

Limits and Continuity

Introduces limits, continuity, and infinite limits in mathematics, emphasizing their significance in mathematical analysis.