functions and relations as sets
Ordered pairs, relations, and functions can all be defined in terms of sets. This is part of why set theory is such a powerful framework in the foundations of mathematics.
This concept has the prerequisites:
- Define ordered pairs, functions, and relations in terms of sets
- Show that the definitions correspond with our intuitions for how these objects should behave
Core resources (read/watch one of the following)
→ Stanford CS103: Mathematical Foundations of Computing (2013)
Lecture notes for Stanford's introductory computer science theory course.
→ Elements of Set Theory
An introductory textbook on axiomatic set theory.
Location: Chapter 3, "Relations and functions," up through subsection "Functions," pages 35-54
-No Additional Notes-
- create concept: shift + click on graph
- change concept title: shift + click on existing concept
- link together concepts: shift + click drag from one concept to another
- remove concept from graph: click on concept then press delete/backspace
- add associated content to concept: click the small circle that appears on the node when hovering over it
- other actions: use the icons in the upper right corner to optimize the graph placement, preview the graph, or download a json representation