Stainless Tutorial: Demo.scala Basics

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (28)

Page 2 of 3

Function Prototyping

Covers the importance of prototyping functions before using them, providing examples and best practices to follow.

Absolute Value: Definition and Properties

Covers the definition and basic properties of the absolute value function for real numbers.

Motivation: Limit of a Function

Explains the motivation behind the limit of a function and convergence criteria.

Data-Parallel Operations: Scala Programming

Covers data-parallel operations in Scala programming, focusing on fold operations and aggregate operation.

Functions: Anonymous

Covers the concept of anonymous functions in MATLAB and Octave.

Data Abstraction: Rational Numbers

Covers data abstraction in rational numbers, including client's view, self-reference, preconditions, assertions, constructors, and end markers.

Uniform Convergence: Series of Functions

Explores uniform convergence of series of functions and its significance in complex analysis.

Functions Composition: Continuity & Elements

Covers the composition of functions, continuity, and elementary functions, explaining the concept of continuity and the construction of elementary functions.

Geometric Series: Basic Example

Covers the basic example of a geometric series and its convergence properties.

Functions: User Defined Functions

Introduces built-in and user-defined functions in MATLAB and Octave.