projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
5f8b7b6
)
(no commit message)
author
chris
<chris@web>
Sat, 11 Apr 2015 19:40:40 +0000
(15:40 -0400)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Sat, 11 Apr 2015 19:40:40 +0000
(15:40 -0400)
topics/_week10_gsv.mdwn
patch
|
blob
|
history
diff --git
a/topics/_week10_gsv.mdwn
b/topics/_week10_gsv.mdwn
index
8c2f527
..
58f1bab
100644
(file)
--- a/
topics/_week10_gsv.mdwn
+++ b/
topics/_week10_gsv.mdwn
@@
-92,7
+92,8
@@
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 of each possibility so as to map the variable x to a.
Then update s' with φ. Finally, take the union over the results of
from the domain of discourse. Construct a modified infostate s' by
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.
+doing this for every object a in the domain of discourse. If you're
+unsure about this, examine the [[code|code/gsv.ml]].
Negation is natural enough:
Negation is natural enough: