User contributions for Manfred
Jump to navigation
Jump to search
28 June 2013
- 20:1720:17, 28 June 2013 diff hist +94 Example solution for ambiguous sentences in the context of ''Jane Eyre'' No edit summary current
- 20:1520:15, 28 June 2013 diff hist +228 Example solution for ambiguous sentences in the context of ''Jane Eyre'' →Second example
- 20:1220:12, 28 June 2013 diff hist +364 Example solution for ambiguous sentences in the context of ''Jane Eyre'' No edit summary
- 20:0320:03, 28 June 2013 diff hist +168 Example solution for ambiguous sentences in the context of ''Jane Eyre'' No edit summary
- 19:4619:46, 28 June 2013 diff hist +707 N Example solution for ambiguous sentences in the context of ''Jane Eyre'' Created page with "Task 1. Write down two ambiguous sentences with respect to the book’s content. 2. For each of these, provide an unambiguous paraphrase for the possible readings. 3. Class..."
- 19:2919:29, 28 June 2013 diff hist +79 Assignmentsheet Logic Summer Term 2013 →Task 1: Ambiguous sentences (8 points)
- 19:2619:26, 28 June 2013 diff hist +1,652 Assignmentsheet Logic Summer Term 2013 →Task 1: Ambiguous sentences (8 points)
- 19:2419:24, 28 June 2013 diff hist +3 Assignmentsheet Logic Summer Term 2013 →Task 1: Ambiguous sentences (8 points)
- 19:2319:23, 28 June 2013 diff hist +343 Assignmentsheet Logic Summer Term 2013 No edit summary
- 19:2219:22, 28 June 2013 diff hist −2 Assignmentsheet Logic Summer Term 2013 No edit summary
- 19:2119:21, 28 June 2013 diff hist +2 Assignmentsheet Logic Summer Term 2013 No edit summary
- 19:2119:21, 28 June 2013 diff hist +15 Assignmentsheet Logic Summer Term 2013 No edit summary
- 19:2019:20, 28 June 2013 diff hist −13 Assignmentsheet Logic Summer Term 2013 No edit summary
- 19:2019:20, 28 June 2013 diff hist +136 Assignmentsheet Logic Summer Term 2013 No edit summary
- 19:1619:16, 28 June 2013 diff hist +74 Assignmentsheet Logic Summer Term 2013 No edit summary
- 19:1319:13, 28 June 2013 diff hist +185 N Assignmentsheet Logic Summer Term 2013 Created page with "Choose one book from [http://www.bbc.co.uk/arts/bigread/top100.shtml|Britain’s top 100 most loved books in 2003]. This book will be the basis for your answers to the assignm..."
- 19:1219:12, 28 June 2013 diff hist +211 Exercise-ch2 No edit summary current
21 June 2013
- 08:1308:13, 21 June 2013 diff hist +72 Teaching →Courses
- 08:1208:12, 21 June 2013 diff hist +31 Teaching →Upcoming courses
11 June 2013
- 23:4423:44, 11 June 2013 diff hist −35 Exercise Relations between sentences →Relations between sentences
- 00:1500:15, 11 June 2013 diff hist −5 Exercise-ch1 →Exercises
- 00:1500:15, 11 June 2013 diff hist 0 Exercise-ch1 →Exercises for Chapter 1: Introduction
30 May 2013
- 18:2718:27, 30 May 2013 diff hist 0 Exercise Truth Tables No edit summary current
- 18:2418:24, 30 May 2013 diff hist +6 Exercise Truth Tables No edit summary
22 May 2013
- 15:0315:03, 22 May 2013 diff hist +241 ExerciseFOLSemantics-1c →Navigation current
- 15:0315:03, 22 May 2013 diff hist −6 ExerciseFOModels-d →Relations current
- 15:0215:02, 22 May 2013 diff hist +464 N ExerciseFOLSemantics-1c Created page with "'''enjoy-watching-football-togehter(alice,tom)''' = ''true'' iff<br /> < I('''alice'''), I('''tom''') > ∈ I('''enjoy-watching-football-together''') iff<br /> < ''Alice'',..."
- 14:4514:45, 22 May 2013 diff hist −466 ExerciseFOLSemantics-b Blanked the page current
- 14:4514:45, 22 May 2013 diff hist +466 N ExerciseFOLSemantics-1b Created page with "'''blonde(walter)''' = ''true'' iff<br /> < I('''walter''') > ∈ I('''blonde''') iff <br /> < ''Walter'' > ∈ {< ''Alice'' >,< ''Lisa'' >}. Since this is not the case..." current
- 14:4514:45, 22 May 2013 diff hist +13 Exercise Semantics of Predicate Logic →Interpretation of atomic formulae
- 14:4414:44, 22 May 2013 diff hist +260 ExerciseFOLSemantics-b No edit summary
- 14:4414:44, 22 May 2013 diff hist +3 ExerciseFOModels-d →Navigation
- 14:4314:43, 22 May 2013 diff hist +206 N ExerciseFOLSemantics-b Created page with "'''blonde(walter)''' = ''true'' iff<br /> < I('''walter''') > ∈ I('''blonde''') iff <br /> < ''Walter'' > ∈ {< ''Alice'' >,< ''Lisa'' >}. Since this is not the case..."
- 14:4314:43, 22 May 2013 diff hist +1 ExerciseFOModels-d →Navigation
- 14:3914:39, 22 May 2013 diff hist +11 Exercise Semantics of Predicate Logic No edit summary
- 14:3814:38, 22 May 2013 diff hist +1 ExerciseFOLSemantics-1a No edit summary current
- 14:3814:38, 22 May 2013 diff hist +210 ExerciseFOLSemantics-1a No edit summary
- 14:3414:34, 22 May 2013 diff hist +20 ExerciseFOLSemantics-1a No edit summary
- 14:3314:33, 22 May 2013 diff hist +284 N ExerciseFOLSemantics-1a Created page with "'''father-of-someone'''('''paul''','''lisa''') = ''true'' iff < I('''paul'''), I('''lisa''') > ∈ I('''father-of-someone''') iff < ''Paul'', ''Lisa''> I('''Paul''') = <''..."
- 14:3114:31, 22 May 2013 diff hist +11 Exercise Semantics of Predicate Logic →Interpretation of atomic formulae
- 14:3014:30, 22 May 2013 diff hist −4 Exercise Semantics of Predicate Logic →Interpretation of atomic formulae
- 14:2914:29, 22 May 2013 diff hist +80 Exercise Semantics of Predicate Logic No edit summary
- 14:2814:28, 22 May 2013 diff hist +588 ExerciseFOModels-d No edit summary
- 14:2714:27, 22 May 2013 diff hist −8 Exercise Semantics of Predicate Logic No edit summary
- 14:2614:26, 22 May 2013 diff hist +5 Exercise Semantics of Predicate Logic No edit summary
- 14:2414:24, 22 May 2013 diff hist +256 ExerciseFOModels-c No edit summary
- 14:2314:23, 22 May 2013 diff hist +921 N ExerciseFOModels-c Created page with "Here are examples of some relations: ''son-of-someone: {<x,y>|x is the son of y} = {<Tom,Paul>,<Tom,Alice>}'' ''father-of-someone: {<x,y>|x is the father of y} ={<Paul,Tom>..."
- 14:2214:22, 22 May 2013 diff hist +7 Exercise First Order Models No edit summary
- 14:2114:21, 22 May 2013 diff hist +1,169 N ExerciseFOModels-b Created page with "These are some possible answers: ''rather-small: {x|x is rather small} = {<Tom>,<Alice>}'' ''tall: {x|x is tall} = {<Paul>, <Lisa>}'' ''blonde:{ <x>| x is blonde} = {<Alic..."
- 14:1714:17, 22 May 2013 diff hist +7 Exercise First Order Models No edit summary