diff --git a/courses/comsem.md b/courses/comsem.md index 4783b0610a235ad8ad34a380ffa91e2a84a6e7d0..48ac51880954b73165d31a8510d1f070f0787509 100644 --- a/courses/comsem.md +++ b/courses/comsem.md @@ -14,8 +14,8 @@ semesters: - Spring14 - Spring15 --- -Logic-based theories for the semantics of natural language. We use Montague's "method of -fragments" to create a series of language models of increasing coverage (of English). + +This course introduces logic-based methods for computing and representing for the semantics of natural language. We use Montague's "method of fragments" to create a series of language models of increasing coverage (of English). A language model is a triple of @@ -23,9 +23,7 @@ A language model is a triple of * a logical system *L* that acts as the meaning representation, and * a translation from syntax trees induced by *G* to formulae in *L*. -The course resources (course notes, literature, assignments) can be found -[here](http://kwarc.info/teaching/ComSem). +The course resources (course notes, literature, assignments) can be found [here](http://kwarc.info/teaching/ComSem). -Having heard the course ["Computational Logic](http://kwarc.info/teaching/CompLog)" is very -helpful, but not a prerequisite. +Having heard the course ["Computational Logic](http://kwarc.info/teaching/CompLog)" is very helpful, but not a prerequisite.