projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
5853236
)
(no commit message)
author
chris
<chris@web>
Sat, 11 Apr 2015 19:38:40 +0000
(15:38 -0400)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Sat, 11 Apr 2015 19:38:40 +0000
(15:38 -0400)
topics/_week10_gsv.mdwn
patch
|
blob
|
history
diff --git
a/topics/_week10_gsv.mdwn
b/topics/_week10_gsv.mdwn
index
39c715d
..
8c2f527
100644
(file)
--- a/
topics/_week10_gsv.mdwn
+++ b/
topics/_week10_gsv.mdwn
@@
-90,7
+90,7
@@
Existential quantification is somewhat intricate.
Here's the recipe: given a starting infostate s, choose an object a
from the domain of discourse. Construct a modified infostate s' by
-adjusting the assignment function
in order
to map the variable x to a.
+adjusting the assignment function
of each possibility so as
to map the variable x to a.
Then update s' with φ. Finally, take the union over the results of
doing this for every object a in the domain of discourse.