CSC165H1 Lecture Notes - Set Notation
cherryberry1035 and 38883 others unlocked
3
CSC165H1 Full Course Notes
Verified Note
3 documents
Document Summary
P represent the set of all programs (our universe or domain ), j represent the set of all java programs, and t represent the set of all correct programs. Recall that in class, we saw how set notation like x t can be expressed in predicate notation as t (x) , and how this can be used to write di erent sentences symbolically. Keep in mind that these do not constitute all possible correct answers. (a) some incorrect program is written in java. Non-standard: x t , j(x) or x j, t (x) (b) no java program is correct. Standard: x p, j(x) t (x) Non-standard: x j, t (x) or x p, j(x) t (x) or x t, j(x) (c) only programs written in python are incorrect. Non-standard: x t , j(x) or x p, t (x) j(x) or x j, t (x) (d) the program is correct and is written in python.