Instructor & Text |

Instructor: | Kim Bruce |

Lectures: | MWF 10:00 - 10:50 a.m., Millikan 213 |

Lab: | Windows Lab, Andrews 253 |

Office: | 212B Millikan, x7-1866 |

E-mail: | kim@cs.pomona.edu |

Office Hours: | MThF 1:15-2:15 p.m., W 9:00 a.m. - 9:50 a.m. & by appointment |

Required Texts:
| Logic, Language, and Meaning. Volume 2:
Intensional Logic and Logical
Grammar by L. T. F. Gamut, University of Chicago
Press, 1991. |

Representation and Inference for Natural Language: A First
Course in Computational Semantics by
Patrick Blackburn and Johan Bos, CSLI
Publications, 2005. | |

Course web page: | www.cs.pomona.edu/classes/cs066/ |

Instructor's web page: | www.cs.pomona.edu/~kim/ |

*Logic, Language, and Meaning. Volume 1: Introduction to Logic*, by L. T. F. Gamut, University of Chicago Press, 1991

*ML for the Working Programmer, 2nd Edition*, by L. C. Paulson, Cambridge University Press, 1996.*Most relevant applications of ML for our course.**Elements of ML Programming, ML 97 Edition: 2nd edition*, by Jeffrey D. Ullman, Prentice Hall, 1998.*Relatively compact introduction for experienced programmers.**Introduction to Programming using SML*by by Michael Hansen, Hans Rischel, Addison-Wesley, 1999.*Written for novices. Out of print, but available used.*

*Mathematical Methods in Linguistics*, by Barbara H. Partee, Alice ter Meulen, and Robert E. Wall, Springer, 1991.*The classic text in the area, but somewhat out of date in material covered. Focuses on set theory, logic, grammars, and automata.*

Instructor & Text |