1 / 23

Functions, Powersets , Languages

Mathematically speaking…. Functions, Powersets , Languages. by Pavel Gladyshev. Tuple. Ordered sequence of objects Same object can appear in a tuple several times Elements of a tuple are referred to with subscripts:. Relation. A collection of links between elements of two or more sets:.

aurora
Download Presentation

Functions, Powersets , Languages

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Mathematically speaking… Functions, Powersets, Languages by Pavel Gladyshev

  2. Tuple • Ordered sequence of objects • Same object can appear in a tuple several times • Elements of a tuple are referred to with subscripts:

  3. Relation A collection of links between elements of two or more sets: A R B a 1 b 2 c 3

  4. Inverse Relation A A R-1 R B B a a 1 1 b b 2 2 c c 3 3

  5. Relation • Formally defined as a set of tuples • The inverse relation

  6. Relation as a predicate • Relation can be viewed as predicate:

  7. Some classes of relations • Relation is reflexive if and only if • For all x in X it holds that xRx • Relation is transitiveif and only if • For all x,y, and zin Xif xRyand yRzthenxRz • Relation is symmetricif and only if • For all x,yin Xif xRythen yRx

  8. Cartesian product of two sets A and B • Set of all pairs whose first element is from A and second element is from B

  9. Example

  10. Observe that any relation between A and B is a subset of A R B a 1 b 2 c 3

  11. Function Special kind of relation Set B (Range of the function) a 1 b 2 c 3 Set A (Domain of the function) Each object in the domain is linked to at most one object in the Range!

  12. Function declaration Function Domain Range

  13. Function Application

  14. Total vs. Partial function Total – defined on every element of X Partial – defined for some elements of X

  15. Injective function Each element in X is linked to a distinct element in Y

  16. Inverse function If the original function is injective, then its inverse is also function. X X Y Y a a 1 1 b b 2 2 c c 3 3

  17. Powerset – set of all subsets

  18. Inverse of non-injective function • For a non-injective function it is possible to define a kind of “inverse” that maps every element y of Y into a subset of elements of X for which f(x) = y

  19. “Inverse” of non-injective function

  20. Language • Suppose that we have a set • The set of all tuples of length 2 is • The set of all tuples of length 3 is • The set of all tuples of length n is

  21. Language (contd.) • Set of all tuples made of elements of • Set A is called Alpabeth • Language L is a subset of tuples from A*

  22. Set Paradoxes and Constructivism

  23. Assignment • Formally define the notion of hard disk drive. • Specifically try to define the following concepts: • Set of all bytes on HDD • Set of all sectors on HDD • Set of all keywords made from bytes on HDD

More Related