Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lecture 08, Lecture 09 - Coggle Diagram
Lecture 08
Functions
A function f from S to T is a set of pairs(relation) containing pairs (x,y):S*T, where any x may only relate to one y
-
-
-
-
-
-
-
Sequencies
-
-
-
-
Prefixing
Prefixing an element e in s returns a sequence whose first element is e and the rest is the sequence s
-
-
-
-
-
-
-
-
-
-