15819K Logic Programming
Errata
The errors listed have been fixed in the posted PDF but
are wrong in the handout copies.
 Lecture 7.2, par 4: "FV(A) = for an A in Gamma"
=> "FV(A) = emptyset for all A in Gamma"
 Lecture 7.4, theorem 7.1: "FV((A/S)sigma') = emptyset"
=> "FV((A/S)theta sigma') = emptyset"
 Lecture 7.4, proof of theorem 7.1, linear 8: "rho theta1 theta2 sigma'"
=> "rho theta1 theta2 sigma''"
 Lecture 8.4, second rule for conjunction: premiss "B and S / F"
=> "B / S / F"
 Lecture 8.10, lemma 8.1: "G(s/x)" => "G(s/y)"
and "D(s/x)" => "D(s/y)"
 Lecture 10.1, par 3: "in general there is restriction"
=> "in general there is no restriction"
 Lecture 10.7, rules for types. The rule that
Delta  alpha type if alpha type in Delta was missing
 Lecture 15.3, rule tensor R: Conclusion should start
"DeltaI \ DeltaO "
[ Home
 Schedule
 Assignments
 Handouts
 Software
 Resources
]
fp@cs
Frank Pfenning
