Semantics 1, WiSe 2016/17 (Sailer): Difference between revisions
| Line 12: | Line 12: | ||
* Read: Levine et al., Chapter 2, Section 2 | * Read: Levine et al., Chapter 2, Section 2 | ||
* Complex formulae: | * Complex formulae: | ||
:* Give 2 complex formulae with one logical | :* Give 2 complex formulae with one logical connective each. (Use different connectives) | ||
:* Provide the step-by-step computation of the truth value of your two formulae. | :* Provide the step-by-step computation of the truth value of your two formulae. | ||
* For the compuation, watch | * For the compuation, watch the videos below. | ||
== Video == | == Video == | ||
| Line 35: | Line 35: | ||
<embedvideo service="youtube" dimensions="400">http://youtu.be/C1rjU104R54</embedvideo> | <embedvideo service="youtube" dimensions="400">http://youtu.be/C1rjU104R54</embedvideo> | ||
= Material for week 4 = | = Material for week 4 = | ||
Revision as of 21:08, 8 November 2016
General information
- Course hours: Tuesday, 8.15-9.45 am
- Room: New! IG 3.201
- Olat course: https://olat-ce.server.uni-frankfurt.de/olat/auth/RepositoryEntry/4208361498
Material for week 5
Homework
- Work through this wiki page.
- Read: Levine et al., Chapter 2, Section 2
- Complex formulae:
- Give 2 complex formulae with one logical connective each. (Use different connectives)
- Provide the step-by-step computation of the truth value of your two formulae.
- For the compuation, watch the videos below.
Video
The following video presents the step-by-step computation of the truth value of two formulae with connectives. The example uses a model based on Shakespeare's play Macbeth. The two formulae are:
- ¬ king(lady-macbeth)
- king(duncan) ∨ king(lady-macbeth)
The next video shows how the truth value of a more complex formula can be computed. The example contains two connectives:
kill(malcom,lady-macbeth) ∨ ¬thane(macbeth)
The video shows two different methods: top down and bottom up.
Material for week 4
Slides
Slides of meeting 4: File:WS1617-Sem1-slides04-final.pdf
Homework
- Work through this wiki page.
- Atomic formulae: Using your model from this week's homework,
- Give 2 atomic formulae (one true, one false)
- Provide the step-by-step computation of the truth value of your 2 atomic formulae.
- For the computation, watch the videos on the wiki page.
Additional material
Check the material on this page: additional material for week 4
Material for week 3
Slides
Slides: File:WiSe1617-Sem1-slides03-final.pdf
Homework
- Work through this wiki page.
- Read Levine et al. (in prep.), Chapter 2, Section 1 [available on olat].
- Define a model and introduce the necessary name symbols and predicate symbols for our scenario with
- three individuals
- two relations
- two properties
- Use your model and your symbols and write down
- one formula that is true in your model and
- two formulae that are false in your model.
Additional material
Check the material on this page: additional material for week 3
Material for week 2
Slides of the meeting: File:Sem1-slides02-final.pdf
Homework
- Read chapter 1 of Levine et al. (in prep.). -> available on Olat
- Find or construct one example sentence per type of ambiguity.
- Get information on our literary scenario Waiting for Godot:
- On wikipedia: https://en.wikipedia.org/wiki/Waiting_for_Godot
- Full text: Act 1, Act 2
- Full play on youtube: https://www.youtube.com/watch?v=Wifcyo64n-w
Material for week 1
Wiki material on ambiguity: Exercise-ch1#Types_of_Ambiguity