MAT 133Y TUTORIALS AND QUIZZES
September 16, 2016
Tutorials begin the week of Sept. 26.
Tutorial Registration: Most of you already have a tutorial, but several dozen do not.
Please register for a TUT
RSM100
Preparation Sheet
Session 4
Oct 4,5
Required reading: Chapter 3,16
Please review the Joe Martin chapter from our history session; specifically, remind
yourself of The Diamond.
After considering
MAT 133Y COURSE OUTLINE AND HOMEWORK PROBLEMS, 2016-2017
General remarks:
NEW THIS YEAR: The one and only calculator you will be permitted
to use on quizzes, tests, and exams is the TI-30XIIS. NO OTH
Definition of functions using conditionals
In this section we give a few examples of function definitions using conditionals. Example 3.5 Finding the
larger of two numbers. Let us define a function ma
Problems
GCD of two integers a, b > 0 is defined as maxcfw_x : x is an integer, x > 0, x | a, x | b, where the notation x
| a means x divides a. Consider the following algorithm for computing GCD usin
Relations and Functions
A binary relation from A to B is a subset of A B. It is a characterization of the intuitive notion that some
of the elements of A are related to some of the elements of B. Fami
Functions as inductively defined computational processes
All the examples we have presented so far are of functions which can be evaluated by substitutions or
by evaluation of conditions. In what foll
Asymptotic analysis and Orders of growth
You may have noticed that there was something unsatisfactory about our way of doing things
the calculation was tuned too closely to our machine. The figure of
Substitution using let
We often need local variables in our functions other than those defined as formal parameters. The ML
function let allows for definition and substitution of local variables. We i