Function Definition by Cases and Recursion

Innehållsförteckning

Function Definition by Cases and Recursion

Definitions Revisited

Quiz

Quiz

Computing with Definitions

Evaluation Order

Sharing Evaluation

Sharing Evaluation

Definition by Cases

The Type of Booleans

Some Operators Producing Booleans

Functions Returning Booleans

Using Booleans to Define Functions by Cases

Evaluation with Guards

Is max Correct?

Choosing Test Data

Dijkstra on Testing

Specifications

Why Formulate Specifications?

Specifications and Testing

Testing with QuickCheck

Testing with QuickCheck (2)

Specifications and Proofs

Formal Methods

Quiz

Quiz Answer

Recursion

A Table of Factorials

A Recursive Definition of Factorial

Evaluating Factorials

There is No Magic!

Primitive Recursion

Quiz

Quiz

General Recursion

Power Using General Recursion

Comparing the Versions

A More Difficult Example

Generalise the Problem!

Recursive Decomposition

Recursive Solution

What is Getting Smaller?

Lessons

E-post: rjmh@cs.chalmers.se

Hemsida: www.cs.chalmers.se/~rjmh

Visas bäst med

Starta genom att klicka här.