From 2db5cb82279440c2b1f01596085782d0734f1a4a Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Fri, 25 Aug 2017 12:04:08 +0200
Subject: [PATCH] more
---
courses/comsem.md | 10 ++++------
1 file changed, 4 insertions(+), 6 deletions(-)
diff --git a/courses/comsem.md b/courses/comsem.md
index 4783b06..48ac518 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.
--
GitLab