Semantics of FOL
04/02/10 21:38
Notes for the semantics of first-order logic have been posted. Also, I’ve posted the first in my notes on the lambda calculus. We’ll try to get to the notion of characteristic function on Friday and then the computational model for application of a characteristic function to an individual.