Video today
0 views
Skip to first unread message
Jay McCarthy
Mar 8, 2013, 1:15:15 PM3/8/13
to BYU CS 430 Winter 2013
http://faculty.cs.byu.edu/~jay/video/2013-Winter-430-8F.webm
Also, a note:
(* P \/ Q -> R *)
(* must prove P -> [*] R AND Q -> [*] R *)
(* if both [*] points use W *)
(* shows up in proof object...
match e with
| Case1 => let pr_W := exprW in expr1R
| Case2 => let pr_W := exprW in expr2R
end
vs.
let pr_W := exprW
match e with
| Case1 => expr1R
| Case2 => expr2R
end
*)
--
Jay McCarthy <j...@cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay
"The glory of God is Intelligence" - D&C 93
Also, a note:
(* P \/ Q -> R *)
(* must prove P -> [*] R AND Q -> [*] R *)
(* if both [*] points use W *)
(* shows up in proof object...
match e with
| Case1 => let pr_W := exprW in expr1R
| Case2 => let pr_W := exprW in expr2R
end
vs.
let pr_W := exprW
match e with
| Case1 => expr1R
| Case2 => expr2R
end
*)
--
Jay McCarthy <j...@cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay
"The glory of God is Intelligence" - D&C 93
Reply all
Reply to author
Forward
0 new messages