User contributions for Manfred
Jump to navigation
Jump to search
31 January 2013
- 23:4223:42, 31 January 2013 diff hist +433 NMTS Meeting 14 →Exercise 8: Sorts and types
- 23:2823:28, 31 January 2013 diff hist +57 NMTS Meeting 14 →Exercise 8: Sorts and types
- 23:2323:23, 31 January 2013 diff hist +21 NMTS Meeting 14 →Exercise 9: Predicate logic
- 23:2023:20, 31 January 2013 diff hist +23 NMTS Meeting 14 →Formal encoding
- 23:1723:17, 31 January 2013 diff hist +57 NMTS Meeting 14 →Exercise 1: Ambiguity
30 January 2013
- 02:1402:14, 30 January 2013 diff hist −145 NMTS Meeting 14 →Practice
- 02:1302:13, 30 January 2013 diff hist −144 NMTS Meeting 14 →Exercises
- 02:1302:13, 30 January 2013 diff hist +62 NMTS Meeting 14 →Exercises
- 02:1102:11, 30 January 2013 diff hist +119 NMTS Meeting 14 →Exercise 9: Predicate logic
- 02:1002:10, 30 January 2013 diff hist +321 NMTS Meeting 14 →Exercise 9: Predicate logic
- 02:0702:07, 30 January 2013 diff hist +1 NMTS Meeting 14 →Exercise 9: Predicate logic
- 02:0702:07, 30 January 2013 diff hist −12 NMTS Meeting 14 →Exercise 9: Predicate logic
- 02:0502:05, 30 January 2013 diff hist +4 NMTS Meeting 14 →Exercise 9: Predicate logic
- 02:0502:05, 30 January 2013 diff hist +490 NMTS Meeting 14 →Exercise 9: Predicate logic
- 02:0002:00, 30 January 2013 diff hist +143 NMTS Meeting 14 →Exercise 2: Basic semantic relations
- 01:5701:57, 30 January 2013 diff hist +1 NMTS Meeting 14 →Exercise 2: Basic semantic relations
- 01:5701:57, 30 January 2013 diff hist +12 NMTS Meeting 14 →Exercise 8: Sorts and types
- 01:5701:57, 30 January 2013 diff hist +21 NMTS Meeting 14 →Exercise 8: Sorts and types
- 01:5601:56, 30 January 2013 diff hist −3 NMTS Meeting 14 →Exercise 8: Sorts and types
- 01:5601:56, 30 January 2013 diff hist 0 NMTS Meeting 14 →Exercise 8: Sorts and types
- 01:5501:55, 30 January 2013 diff hist 0 NMTS Meeting 14 →Exercise 8: Sorts and types
- 01:5201:52, 30 January 2013 diff hist +132 NMTS Meeting 14 →Exercise 9: Predicate logic
- 01:5001:50, 30 January 2013 diff hist +154 NMTS Meeting 14 →Exercise 4: Implicature
- 01:4901:49, 30 January 2013 diff hist +89 NMTS Meeting 14 →Exercise 3: Presuppositions
- 01:1101:11, 30 January 2013 diff hist +2 NMTS Meeting 13 →Group 8: Sorts and types current
- 01:1001:10, 30 January 2013 diff hist −2 NMTS Meeting 13 →Group 8: Sorts and types
- 01:1001:10, 30 January 2013 diff hist −2 NMTS Meeting 13 →Group 8: Sorts and types
- 01:0901:09, 30 January 2013 diff hist +2 NMTS Meeting 13 →Group 8: Sorts and types
- 01:0101:01, 30 January 2013 diff hist +214 N File:Slides-SortsAndTypes.pdf Slides produced by Group 8 for the presentation on January 29, 2013. This pdf version contains the notes made during the seminar meeting. current
- 00:5900:59, 30 January 2013 diff hist +5 NMTS Meeting 13 →Group 8: Sorts and types
- 00:5800:58, 30 January 2013 diff hist +1 NMTS Meeting 13 →Group 8: Sorts and types
- 00:5800:58, 30 January 2013 diff hist +87 NMTS Meeting 13 →Group 8: Sorts and types
29 January 2013
- 10:3210:32, 29 January 2013 diff hist +52 Group1-Ex2-c-Solutions No edit summary
- 10:3110:31, 29 January 2013 diff hist −13 Group1-Ex2-c-Solutions No edit summary
- 10:3110:31, 29 January 2013 diff hist −16 Group1-Ex2-c-Solutions No edit summary
- 10:1710:17, 29 January 2013 diff hist −495 NMTS-Group8 →Exercise I (Types)
- 10:1710:17, 29 January 2013 diff hist +495 NMTS-Group8 →Exercise I (Types)
- 08:0908:09, 29 January 2013 diff hist +119 NMTS Meeting 13 No edit summary
- 08:0808:08, 29 January 2013 diff hist +147 NMTS Meeting 14 →Practice
- 08:0708:07, 29 January 2013 diff hist 0 NMTS Meeting 14 →Practice
- 08:0708:07, 29 January 2013 diff hist +148 NMTS Meeting 14 No edit summary
- 08:0508:05, 29 January 2013 diff hist +93 NMTS Meeting 13 →Homework
- 08:0408:04, 29 January 2013 diff hist +84 NMTS Meeting 13 →Homework
- 03:1003:10, 29 January 2013 diff hist +62 NMTS Meeting 14 →Exercise 9: Predicate logic
- 03:1003:10, 29 January 2013 diff hist +56 NMTS Meeting 14 →Exercise 5: Quantifiers
- 03:0903:09, 29 January 2013 diff hist +150 NMTS Meeting 14 →Exercise 3: Presuppositions
- 03:0703:07, 29 January 2013 diff hist +141 NMTS Meeting 14 →Exercise 8: Sorts and types
- 03:0503:05, 29 January 2013 diff hist −31 NMTS Meeting 14 →Exercise 7: Ambiguity
- 03:0403:04, 29 January 2013 diff hist +163 NMTS Meeting 14 →Exercise 5: Quantifiers
- 03:0303:03, 29 January 2013 diff hist +205 NMTS Meeting 14 →Exercise 4: Implicature