Untitled

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (34)

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

Class hierarchies: pattern matching

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

Functional Programming: Concepts and Implementation

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

Cartesian Product and Induction

Introduces Cartesian product and induction for proofs using integers and sets.

Algorithms & Growth of Functions

Covers optimization algorithms, stable matching, and Big-O notation for algorithm efficiency.

Coq Workshop: Introduction to Interactive Theorem Proving

Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.

Functions: Reusability and Error Reduction

Covers functions in C programming, emphasizing reusability and error reduction through proper function structure.

Differential Forms Integration

Covers the integration of differential forms on smooth manifolds, including the concepts of closed and exact forms.

Mapping Functions and Surjections

Explores mapping functions, surjections, injective and surjective functions, and bijective functions.

Functions in Python

Introduces functions in Python, covering predefined and user-defined functions, formal and effective parameters, and the importance of docstrings.

Harmonic Forms: Main Theorem

Explores harmonic forms on Riemann surfaces and the uniqueness of solutions to harmonic equations.

The Languages of Isabelle: Isar, ML, and Scala

Explores the languages of Isabelle, focusing on Isar, ML, and Scala, covering proof schemes, Natural Deduction rules, inductive definitions, and the LCF approach.

Functions: Python Basics

Covers the basics of functions in Python, including their definition, purpose, and usage.

Differential Forms on Manifolds

Introduces differential forms on manifolds, covering tangent bundles and intersection pairings.

Functions: Definitions and Notations

Covers the generalities of functions, including the definition of an application between sets and the uniqueness of elements in the image set.

Python Basics: Functions and Types

Covers Python basics, including data types, loops, functions, classes, and GUI creation.

Foundations of Scala: Modelling and Type Systems

Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.

Untitled Log in to Mediaspace to watch this video

Python Programming: List Comprehensions and Higher Order Functions Log in to Mediaspace to watch this video

Explores advanced Python programming concepts, focusing on list comprehensions and higher order functions.

Page 1 of 2