User contributions for Manfred
Jump to navigation
Jump to search
8 September 2013
- 23:2123:21, 8 September 2013 diff hist +3 Exercise Presuppositions →Presuppositions
- 23:2123:21, 8 September 2013 diff hist 0 Exercise Presuppositions →Presuppositions
- 23:2023:20, 8 September 2013 diff hist −2 Exercise Presuppositions →Presuppositions
- 23:2023:20, 8 September 2013 diff hist −1 Exercise Presuppositions →Presuppositions
- 23:1923:19, 8 September 2013 diff hist +67 Exercise Presuppositions →Presuppositions
- 23:1823:18, 8 September 2013 diff hist −28 Exercise Presuppositions →Presuppositions
- 23:1723:17, 8 September 2013 diff hist +82 Exercise Presuppositions →Presuppositions
- 23:1523:15, 8 September 2013 diff hist −224 Exercise Presuppositions →Presuppositions
- 23:1223:12, 8 September 2013 diff hist +267 Exercise Presupposition or entailment →Presupposition or entailment? current
- 23:0923:09, 8 September 2013 diff hist −270 Exercise Presupposition or entailment →Presupposition or entailment?
- 23:0423:04, 8 September 2013 diff hist +145 Exercise Presupposition or entailment →Presupposition or entailment?
- 23:0023:00, 8 September 2013 diff hist +45 Exercise Presupposition or entailment →Presupposition or entailment?
5 September 2013
- 00:2500:25, 5 September 2013 diff hist −1 Activities →2003
- 00:2300:23, 5 September 2013 diff hist +1 Activities →2003
- 00:0700:07, 5 September 2013 diff hist −60 E-LRS →Presentations
- 00:0700:07, 5 September 2013 diff hist 0 E-LRS →Presentations
- 00:0700:07, 5 September 2013 diff hist +1 E-LRS →Presentations
- 00:0600:06, 5 September 2013 diff hist +4 E-LRS →Presentations
- 00:0200:02, 5 September 2013 diff hist +55 E-LRS →Presentations
- 00:0000:00, 5 September 2013 diff hist +139 N File:GMW13-Poster.pdf Manfred Sailer and Suzanne Smith, poster at GMW 2013, September 4, 2013, Frankfurt a.M. current
4 September 2013
- 23:5523:55, 4 September 2013 diff hist +80 Publications →2013
- 23:5523:55, 4 September 2013 diff hist +80 E-LRS →Publications
- 23:5423:54, 4 September 2013 diff hist −94 User:Manfred No edit summary
- 23:5223:52, 4 September 2013 diff hist +81 E-LRS →Presentations
- 23:4923:49, 4 September 2013 diff hist +30 Activities →2013
- 23:3923:39, 4 September 2013 diff hist +24 File:GMW13.jpg →Licensing
- 23:3823:38, 4 September 2013 diff hist +177 N File:GMW13.jpg Manfred Sailer in front of the poster by Sailer/Smith at GMW 2013, September 5, 2013, Frankfurt a.M.
- 23:3623:36, 4 September 2013 diff hist −10 Activities →Chronology of all past events
- 23:3523:35, 4 September 2013 diff hist +84 Activities →Chronology of all past events
- 00:0000:00, 4 September 2013 diff hist +302 Material on Antonymy →Video on typical uses of antonym pairs
3 September 2013
- 23:4223:42, 3 September 2013 diff hist +126 Material on Antonymy →Videos
- 23:3923:39, 3 September 2013 diff hist +155 Material on Antonymy →Podcasts
- 23:3723:37, 3 September 2013 diff hist +1 Material on Antonymy →Podcasts
- 23:2423:24, 3 September 2013 diff hist +149 Material on Antonymy →Podcasts
- 23:2223:22, 3 September 2013 diff hist +252 Material on Antonymy →Podcasts
- 23:1823:18, 3 September 2013 diff hist +71 N Material on Antonymy Created page with "== Podcasts == <mediaplayer>http://youtu.be/eUQ2IaBtt4s</mediaplayer>"
- 23:1723:17, 3 September 2013 diff hist +69 Wiki-ch1 →Semantic relations between words
2 September 2013
- 23:0223:02, 2 September 2013 diff hist +115 Activities →2013
- 23:0123:01, 2 September 2013 diff hist +2 Activities →2013
- 23:0023:00, 2 September 2013 diff hist +102 Activities No edit summary
- 22:5822:58, 2 September 2013 diff hist +131 Publications →Forthcoming
- 22:1222:12, 2 September 2013 diff hist +101 E-LRS →Presentations
- 22:0822:08, 2 September 2013 diff hist +68 E-LRS →Publications
- 22:0622:06, 2 September 2013 diff hist +139 E-LRS →Oberseminar Syntax-Semantics Interface
- 22:0422:04, 2 September 2013 diff hist −3 E-LRS →Oberseminar Syntax-Semantics Interface
- 22:0322:03, 2 September 2013 diff hist +48 E-LRS →Proseminar Introduction to Semantics
- 22:0222:02, 2 September 2013 diff hist +348 E-LRS No edit summary
1 September 2013
- 16:2116:21, 1 September 2013 diff hist +254 Wiki-ch1 →Implicature
- 16:1716:17, 1 September 2013 diff hist +154 Wiki-ch1 →Implicature
- 16:1416:14, 1 September 2013 diff hist +535 Wiki-ch1 Undo revision 4901 by Manfred (talk)
- 16:0416:04, 1 September 2013 diff hist −1 NMTS-Group4 →Our Podcast
- 16:0316:03, 1 September 2013 diff hist +235 NMTS-Group4 →Our Podcast
- 16:0116:01, 1 September 2013 diff hist −535 Wiki-ch1 →Implicature
- 14:1514:15, 1 September 2013 diff hist +69 Wiki-ch1 →Presupposition
- 14:1514:15, 1 September 2013 diff hist +114 Wiki-ch1 →Presupposition
- 14:1314:13, 1 September 2013 diff hist +98 Wiki-ch1 →Presupposition
- 14:1214:12, 1 September 2013 diff hist +39 Wiki-ch1 →Implicature
- 14:1114:11, 1 September 2013 diff hist −20 Wiki-ch1 →Implicature
- 14:1014:10, 1 September 2013 diff hist +32 Wiki-ch1 →Implicature
- 14:0814:08, 1 September 2013 diff hist +2 Wiki-ch1 →Implicature
- 14:0714:07, 1 September 2013 diff hist +135 Wiki-ch1 →Implicature
- 14:0414:04, 1 September 2013 diff hist +536 Wiki-ch1 →Implicature
- 14:0214:02, 1 September 2013 diff hist +6 Wiki-ch2 →Models
- 14:0214:02, 1 September 2013 diff hist +49 Wiki-ch2 →Models
- 14:0114:01, 1 September 2013 diff hist +168 Wiki-ch2 →Models
- 13:5913:59, 1 September 2013 diff hist +99 Wiki-ch2 →Models
- 13:5813:58, 1 September 2013 diff hist +106 Wiki-ch2 →Models
- 13:5713:57, 1 September 2013 diff hist +132 Wiki-ch2 →Models
- 00:1300:13, 1 September 2013 diff hist +184 NMTS-Group3 →Entailments
31 August 2013
- 21:1621:16, 31 August 2013 diff hist +1 Syllogism →Intresting current
25 August 2013
- 16:0616:06, 25 August 2013 diff hist 0 Publications →Forthcoming
- 16:0616:06, 25 August 2013 diff hist +2 Publications →Forthcoming
- 16:0516:05, 25 August 2013 diff hist +192 Publications →Forthcoming
- 16:0316:03, 25 August 2013 diff hist −1 Teaching →Forthcoming textbook: Formal Semantics: An Empirically-grounded Approach
- 16:0216:02, 25 August 2013 diff hist +5 Teaching →Upcoming courses
- 16:0216:02, 25 August 2013 diff hist +81 Teaching →Upcoming courses
- 16:0116:01, 25 August 2013 diff hist −1 Teaching →Previous courses
- 16:0016:00, 25 August 2013 diff hist +2 Teaching No edit summary
22 August 2013
- 02:0002:00, 22 August 2013 diff hist +1 E-LRS2 →Overview
2 August 2013
- 23:4123:41, 2 August 2013 diff hist +28 Exercise-ch1 →Exercises for Chapter 1: Introduction
- 23:3923:39, 2 August 2013 diff hist 0 Exercise Antonyms and Synonyms No edit summary
26 July 2013
- 12:4112:41, 26 July 2013 diff hist +52 Syllogism →Intresting
- 12:3512:35, 26 July 2013 diff hist +120 Activities No edit summary
- 12:3312:33, 26 July 2013 diff hist +168 Activities →2013
- 12:3112:31, 26 July 2013 diff hist +103 Wiki-ch1 →Links
- 12:2812:28, 26 July 2013 diff hist +27 Wiki-ch1 →Links
- 12:2712:27, 26 July 2013 diff hist +171 Wiki-ch1 →Semantics relations between sentences
- 12:1312:13, 26 July 2013 diff hist 0 Textbook-chapters →Material
- 12:1212:12, 26 July 2013 diff hist +111 Textbook-chapters →Material
20 July 2013
- 19:0719:07, 20 July 2013 diff hist +14 Publications →2001
9 July 2013
- 22:0122:01, 9 July 2013 diff hist −792 E-LRS2 →Summary
- 22:0022:00, 9 July 2013 diff hist +8 E-LRS2 →Overview
- 21:5921:59, 9 July 2013 diff hist +1,804 N E-LRS2 Created page with "= e-Learning Resources for Semantics 2 (e-LRS 2) = == Overview == {| |- |Link: | http://www.lexical-resource-semantics.de/wiki/index.php/E-LRS |- |Duration: | October 201..."
- 21:5621:56, 9 July 2013 diff hist +166 E-LRS No edit summary
- 21:5321:53, 9 July 2013 diff hist +233 Projects No edit summary
2 July 2013
- 20:4220:42, 2 July 2013 diff hist +196 E-LRS →Activities and publications
- 20:4020:40, 2 July 2013 diff hist +585 E-LRS →Modules of the project
- 20:3520:35, 2 July 2013 diff hist −9 E-LRS →Modules of the project
- 20:1520:15, 2 July 2013 diff hist +1 Links →Semantics
- 20:1520:15, 2 July 2013 diff hist +7 Links →Semantics
- 20:1420:14, 2 July 2013 diff hist −1 Links →Semantics
- 20:1220:12, 2 July 2013 diff hist +148 Links →Semantics
30 June 2013
- 19:5419:54, 30 June 2013 diff hist +114 Wiki-ch1 →Links
- 19:5019:50, 30 June 2013 diff hist +61 Wiki-ch1 →Links
- 19:5019:50, 30 June 2013 diff hist +73 Wiki-ch1 →Links
- 19:4819:48, 30 June 2013 diff hist +392 Wiki-ch1 No edit summary
- 19:4119:41, 30 June 2013 diff hist +43 Wiki-ch2 →Links
- 19:4019:40, 30 June 2013 diff hist +111 Wiki-ch2 →Links
- 19:3919:39, 30 June 2013 diff hist +457 Wiki-ch2 →Links
- 19:3519:35, 30 June 2013 diff hist +7 Wiki-ch2 →Links
- 19:3419:34, 30 June 2013 diff hist +479 Wiki-ch2 No edit summary
29 June 2013
- 21:3421:34, 29 June 2013 diff hist 0 Truth tables for the formulae from the assignment sheet →(p ∨ q) ⊃ ¬(q ∧ ¬r) current
- 21:3321:33, 29 June 2013 diff hist +105 Truth tables for the formulae from the assignment sheet →(p ∨ q) ⊃ ¬(q ∧ ¬r)
- 21:3221:32, 29 June 2013 diff hist +30 Truth tables for the formulae from the assignment sheet →(p ∨ q) ⊃ ¬(q ∧ ¬r)
- 21:3121:31, 29 June 2013 diff hist +24 Truth tables for the formulae from the assignment sheet →(p ∨ q) ⊃ ¬(q ∧ ¬r)
- 21:3021:30, 29 June 2013 diff hist +29 Truth tables for the formulae from the assignment sheet →(p ∨ q) ⊃ ¬(q ∧ ¬r)
- 21:2821:28, 29 June 2013 diff hist +27 Truth tables for the formulae from the assignment sheet →(p ∨ q) ⊃ ¬(q ∧ ¬r)
- 21:2721:27, 29 June 2013 diff hist +150 Truth tables for the formulae from the assignment sheet →(p ∨ q) ⊃ ¬(q ∧ ¬r)
- 21:2521:25, 29 June 2013 diff hist +30 Truth tables for the formulae from the assignment sheet →p ∧ (p ∧ q)
- 21:2421:24, 29 June 2013 diff hist +30 Truth tables for the formulae from the assignment sheet →p ∧ (p ∧ q)
- 21:2321:23, 29 June 2013 diff hist +15 Example with a quantifier for the ''Jane Eyre'' context →2. Evaluation of restrictor and scope by individual current
- 21:2221:22, 29 June 2013 diff hist +14 Truth tables for the formulae from the assignment sheet →p ∧ (p ∧ q)
- 21:2221:22, 29 June 2013 diff hist +59 Truth tables for the formulae from the assignment sheet No edit summary
- 21:2121:21, 29 June 2013 diff hist +314 N Truth tables for the formulae from the assignment sheet Created page with "== Task 7: Truth tables == Compute the truth table for the following formulæ: 1. p ∧ (p ∧ q) 2. (p ∨ q) ⊃ ¬(q ∧ ¬r) == p ∧ (p ∧ q) == ..."
- 21:1921:19, 29 June 2013 diff hist +61 Assignmentsheet Logic Summer Term 2013 →Task 7: Truth tables (6 points) current
- 21:1721:17, 29 June 2013 diff hist +11 Example with a quantifier for the ''Jane Eyre'' context →2. Evaluation of restrictor and scope by individual
- 21:1621:16, 29 June 2013 diff hist +183 Example with a quantifier for the ''Jane Eyre'' context →1. Formula with a quantifier
- 21:1321:13, 29 June 2013 diff hist −1 Example with a quantifier for the ''Jane Eyre'' context →1. Formula with a quantifier
- 21:1221:12, 29 June 2013 diff hist +1 Example with a quantifier for the ''Jane Eyre'' context →1. Formula with a quantifier
- 21:1221:12, 29 June 2013 diff hist +311 Example with a quantifier for the ''Jane Eyre'' context →4. Change the model
- 21:0621:06, 29 June 2013 diff hist +134 Example with a quantifier for the ''Jane Eyre'' context →3. Truth of the formula
- 21:0321:03, 29 June 2013 diff hist +101 Example with a quantifier for the ''Jane Eyre'' context →2. Evaluation of restrictor and scope by individual
- 21:0121:01, 29 June 2013 diff hist +98 Example with a quantifier for the ''Jane Eyre'' context No edit summary
- 20:5820:58, 29 June 2013 diff hist 0 Example with a quantifier for the ''Jane Eyre'' context →1. Formula with a quantifier
- 20:5720:57, 29 June 2013 diff hist +149 Example with a quantifier for the ''Jane Eyre'' context No edit summary
28 June 2013
- 23:0123:01, 28 June 2013 diff hist +95 Example with a quantifier for the ''Jane Eyre'' context →Task 6
- 23:0023:00, 28 June 2013 diff hist +543 N Example with a quantifier for the ''Jane Eyre'' context Created page with "= Task 6 = 1. Write down one formula with a quantifier. 2. For each individual in your universe, indicate whether the restrictor and the scope are true for that individual. ..."
- 22:5722:57, 28 June 2013 diff hist +62 Assignmentsheet Logic Summer Term 2013 →Task 6: Quantifiers (6 points)
- 22:5622:56, 28 June 2013 diff hist +5 Example solution based on the novel ''Jane Eyre'' No edit summary current
- 22:5422:54, 28 June 2013 diff hist +52 Example solution based on the novel ''Jane Eyre'' →Interpretation of the formula
- 22:5322:53, 28 June 2013 diff hist +106 Example solution based on the novel ''Jane Eyre'' →Interpretation of the formula
- 22:5222:52, 28 June 2013 diff hist +125 Example solution based on the novel ''Jane Eyre'' No edit summary
- 22:4922:49, 28 June 2013 diff hist +3 Example solution based on the novel ''Jane Eyre'' →Interpretation of the formula
- 22:4722:47, 28 June 2013 diff hist +189 Example solution based on the novel ''Jane Eyre'' →Interpretation of the formula
- 22:4522:45, 28 June 2013 diff hist +78 Example solution based on the novel ''Jane Eyre'' No edit summary
- 22:4122:41, 28 June 2013 diff hist +12 Example solution based on the novel ''Jane Eyre'' →One formulae with two occurrences of variables
- 22:4022:40, 28 June 2013 diff hist +203 Example solution based on the novel ''Jane Eyre'' →One formulae with two occurrences of variables
- 22:3822:38, 28 June 2013 diff hist +116 Example solution based on the novel ''Jane Eyre'' →Variable assignment function
- 22:3422:34, 28 June 2013 diff hist +94 Example solution based on the novel ''Jane Eyre'' →Variable assignment function
- 22:3322:33, 28 June 2013 diff hist +322 Example solution based on the novel ''Jane Eyre'' →Variable assignment function
- 22:3022:30, 28 June 2013 diff hist +388 N Example solution based on the novel ''Jane Eyre'' Created page with "== Task 5: Variables == 1. Provide a variable assignment function g which maps the variables ''x<sub>1</sub>, ..., x<sub>10</sub>'' to members of your universe. 2. Provide ..."
- 22:2922:29, 28 June 2013 diff hist +56 Assignmentsheet Logic Summer Term 2013 →Task 5: Variables (5 points)
- 22:2722:27, 28 June 2013 diff hist +290 Example solution for the ''Jane Eyre'' context →First example formula current
- 22:2522:25, 28 June 2013 diff hist +238 Example solution for the ''Jane Eyre'' context →First example formula
- 22:2322:23, 28 June 2013 diff hist +388 N Example solution for the ''Jane Eyre'' context Created page with "= Task 4 = 1. Combine your two formulæ from Task 3 into two complex formulæ. Use the connectives “¬”, “∧”, and “⊃” 2. Compute the truth value of th..."
- 22:2122:21, 28 June 2013 diff hist +53 Assignmentsheet Logic Summer Term 2013 →Task 4: Complex formulae (8 points)
- 22:2022:20, 28 June 2013 diff hist +25 Assignmentsheet Logic Summer Term 2013 →Task 7: Truth tables (6 points)
- 22:1922:19, 28 June 2013 diff hist −3 Assignmentsheet Logic Summer Term 2013 →Task 4: Complex formulae (8 points)
- 22:1922:19, 28 June 2013 diff hist +12 Assignmentsheet Logic Summer Term 2013 →Task 4: Complex formulae (8 points)
- 22:1822:18, 28 June 2013 diff hist +11 Assignmentsheet Logic Summer Term 2013 →Task 5: Variables (5 points)
- 22:1722:17, 28 June 2013 diff hist +14 Assignmentsheet Logic Summer Term 2013 →Task 5: Variables (5 points)
- 21:1221:12, 28 June 2013 diff hist +59 Examples for atomic formulae in the context of ''Jane Eyre'' →Second example current
- 21:0921:09, 28 June 2013 diff hist +1 Examples for atomic formulae in the context of ''Jane Eyre'' →Second example
- 21:0921:09, 28 June 2013 diff hist +2 Examples for atomic formulae in the context of ''Jane Eyre'' →First example
- 21:0521:05, 28 June 2013 diff hist +387 Examples for atomic formulae in the context of ''Jane Eyre'' →Task 3
- 21:0021:00, 28 June 2013 diff hist +195 Examples for atomic formulae in the context of ''Jane Eyre'' →First example
- 20:5320:53, 28 June 2013 diff hist +17 Template:DenR No edit summary current
- 20:5220:52, 28 June 2013 diff hist +17 Template:DenL No edit summary current
- 20:5120:51, 28 June 2013 diff hist +2 N Template:DenR Created page with "]]"
- 20:5020:50, 28 June 2013 diff hist +2 N Template:DenL Created page with "[["
- 20:5020:50, 28 June 2013 diff hist +10 Examples for atomic formulae in the context of ''Jane Eyre'' →First example
- 20:4920:49, 28 June 2013 diff hist 0 Examples for atomic formulae in the context of ''Jane Eyre'' →First example
- 20:4820:48, 28 June 2013 diff hist +219 N Examples for atomic formulae in the context of ''Jane Eyre'' Created page with "= Task 3 = Write down two atomic formulæ and compute their truth value with respect to your model. == First example == Formula: '''female(edward)''' Interpretation: [ ['..."
- 20:4520:45, 28 June 2013 diff hist 0 Assignmentsheet Logic Summer Term 2013 →Task 3: Atomic formulae (8 points)
- 20:4520:45, 28 June 2013 diff hist +67 Assignmentsheet Logic Summer Term 2013 →Task 3: Atomic formulae (8 points)
- 20:4320:43, 28 June 2013 diff hist 0 Example solution for defining a model in the context of ''Jane Eyre'' No edit summary current
- 20:4220:42, 28 June 2013 diff hist +117 Example solution for defining a model in the context of ''Jane Eyre'' →4. Relations
- 20:4020:40, 28 June 2013 diff hist +187 Example solution for defining a model in the context of ''Jane Eyre'' →3. Properties
- 20:3320:33, 28 June 2013 diff hist +199 Example solution for defining a model in the context of ''Jane Eyre'' →3. Properties
- 20:3120:31, 28 June 2013 diff hist +165 Example solution for defining a model in the context of ''Jane Eyre'' →Task 2
- 20:2820:28, 28 June 2013 diff hist +21 Example solution for defining a model in the context of ''Jane Eyre'' →2. Names
- 20:2720:27, 28 June 2013 diff hist 0 Example solution for defining a model in the context of ''Jane Eyre'' →2. Names
- 20:2720:27, 28 June 2013 diff hist +243 Example solution for defining a model in the context of ''Jane Eyre'' →1. Universe
- 20:2220:22, 28 June 2013 diff hist 0 Example solution for defining a model in the context of ''Jane Eyre'' →1. Universe
- 20:2220:22, 28 June 2013 diff hist +77 Example solution for defining a model in the context of ''Jane Eyre'' →Task 2
- 20:2020:20, 28 June 2013 diff hist +444 N Example solution for defining a model in the context of ''Jane Eyre'' Created page with "= Task 2 = 1. Define a universe consisting of four main characters from your book. 2. Introduce names for your characters and provide their interpretations. 3. Introduce th..."
- 20:1820:18, 28 June 2013 diff hist +76 Assignmentsheet Logic Summer Term 2013 →Task 2: Model (12 points)
- 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
- 14:1714:17, 22 May 2013 diff hist +455 N ExerciseFOModels-a Created page with "These are the '''individuals''' of the story:<br/> Alice<br/> Paul<br/> Lisa<br/> Tom<br/> Walter<br/> This is how is this is stated in predicate logic: ''U= {Alice,Paul,Li..."
- 14:1414:14, 22 May 2013 diff hist +7 Exercise First Order Models No edit summary
- 14:1314:13, 22 May 2013 diff hist −2 ExerciseFOModels-d →Properties
16 May 2013
- 20:1020:10, 16 May 2013 diff hist +61 Exercise-ch2 →The semantics of predicate logic
- 20:0420:04, 16 May 2013 diff hist +197 Exercise Truth Tables No edit summary
- 20:0020:00, 16 May 2013 diff hist −1 Exercise Truth Tables No edit summary
- 20:0020:00, 16 May 2013 diff hist +13 Exercise Truth Tables No edit summary
- 19:5819:58, 16 May 2013 diff hist +219 Exercise Truth Tables No edit summary
- 19:5519:55, 16 May 2013 diff hist +6 Exercise Truth Tables No edit summary
- 19:5319:53, 16 May 2013 diff hist +366 Exercise Truth Tables No edit summary
- 19:4719:47, 16 May 2013 diff hist +5 Exercise Truth Tables No edit summary
- 19:4619:46, 16 May 2013 diff hist −27 Exercise Truth Tables No edit summary
- 19:4619:46, 16 May 2013 diff hist +37 N Template:Zwischen Created page with "<span style="color:white">1234</span>" current
- 19:4319:43, 16 May 2013 diff hist −35 Exercise Truth Tables No edit summary
- 19:4219:42, 16 May 2013 diff hist −10 Glossary:contradiction No edit summary current
- 19:4019:40, 16 May 2013 diff hist +13 Exercise Truth Tables No edit summary
- 19:3919:39, 16 May 2013 diff hist +184 Exercise Truth Tables No edit summary
- 19:3819:38, 16 May 2013 diff hist −7 Exercise Truth Tables No edit summary
- 19:3819:38, 16 May 2013 diff hist +12 Exercise Truth Tables No edit summary
- 19:3219:32, 16 May 2013 diff hist +6 Exercise Truth Tables No edit summary
- 19:3119:31, 16 May 2013 diff hist +25 Exercise Truth Tables No edit summary
- 17:2617:26, 16 May 2013 diff hist +20 Exercise Truth Tables No edit summary
- 17:2517:25, 16 May 2013 diff hist +17 Exercise Truth Tables No edit summary
- 17:2417:24, 16 May 2013 diff hist +18 Exercise Truth Tables No edit summary
- 17:2317:23, 16 May 2013 diff hist +6 Exercise Truth Tables No edit summary
- 17:2117:21, 16 May 2013 diff hist −17 Exercise Truth Tables No edit summary
- 15:4415:44, 16 May 2013 diff hist −119 Exercise Truth Tables No edit summary
- 15:4415:44, 16 May 2013 diff hist +20 Exercise Truth Tables No edit summary
- 15:4315:43, 16 May 2013 diff hist +2 Exercise Truth Tables No edit summary
- 15:4315:43, 16 May 2013 diff hist +16 Exercise Truth Tables No edit summary
- 15:4115:41, 16 May 2013 diff hist −21 Exercise Truth Tables No edit summary
- 15:4015:40, 16 May 2013 diff hist +8 Exercise Truth Tables No edit summary
- 15:3915:39, 16 May 2013 diff hist +5 Exercise Truth Tables No edit summary
- 15:3815:38, 16 May 2013 diff hist +55 Exercise Truth Tables No edit summary
- 15:3715:37, 16 May 2013 diff hist +36 Exercise Truth Tables No edit summary
- 15:3615:36, 16 May 2013 diff hist +26 Exercise Truth Tables No edit summary
- 15:3515:35, 16 May 2013 diff hist +114 Exercise Truth Tables No edit summary
- 15:3415:34, 16 May 2013 diff hist +8 Exercise Truth Tables No edit summary
- 15:3415:34, 16 May 2013 diff hist +160 Exercise Truth Tables No edit summary
- 15:3015:30, 16 May 2013 diff hist +2 Exercise Truth Tables No edit summary
- 15:2915:29, 16 May 2013 diff hist +36 Exercise Truth Tables No edit summary
- 15:2715:27, 16 May 2013 diff hist +1 Exercise Truth Tables No edit summary
- 15:2715:27, 16 May 2013 diff hist −2 Exercise Truth Tables No edit summary
- 15:2715:27, 16 May 2013 diff hist +1 Exercise Truth Tables No edit summary
- 15:2615:26, 16 May 2013 diff hist 0 Exercise Truth Tables No edit summary
- 15:2615:26, 16 May 2013 diff hist −15 Exercise Truth Tables No edit summary
- 15:2515:25, 16 May 2013 diff hist −2 Exercise Truth Tables No edit summary
- 15:2515:25, 16 May 2013 diff hist +1 Exercise Truth Tables No edit summary
- 15:2515:25, 16 May 2013 diff hist 0 Exercise Truth Tables No edit summary
- 15:2515:25, 16 May 2013 diff hist +12 Exercise Truth Tables No edit summary
- 15:2415:24, 16 May 2013 diff hist +14 Exercise Truth Tables No edit summary
- 15:2215:22, 16 May 2013 diff hist −19 Exercise Truth Tables No edit summary
- 15:2215:22, 16 May 2013 diff hist +5 Exercise Truth Tables No edit summary
- 15:1715:17, 16 May 2013 diff hist +8 Exercise Truth Tables No edit summary
- 15:1715:17, 16 May 2013 diff hist +18 Exercise Truth Tables No edit summary
- 15:1615:16, 16 May 2013 diff hist −87 Exercise Truth Tables No edit summary
- 15:1515:15, 16 May 2013 diff hist +27 Exercise Truth Tables No edit summary
- 15:1415:14, 16 May 2013 diff hist +25 Exercise Truth Tables No edit summary
- 15:1415:14, 16 May 2013 diff hist +1 Exercise Truth Tables No edit summary
- 15:1315:13, 16 May 2013 diff hist +26 Exercise Truth Tables No edit summary
- 15:1215:12, 16 May 2013 diff hist +4 Exercise Truth Tables No edit summary
- 15:1215:12, 16 May 2013 diff hist +6 Exercise Truth Tables No edit summary
- 15:1115:11, 16 May 2013 diff hist +6 Exercise Truth Tables No edit summary
- 15:1115:11, 16 May 2013 diff hist +51 Exercise Truth Tables No edit summary
- 15:1015:10, 16 May 2013 diff hist +4 Exercise Truth Tables No edit summary
- 15:0915:09, 16 May 2013 diff hist +126 Exercise Truth Tables No edit summary
- 15:0815:08, 16 May 2013 diff hist +26 Exercise Truth Tables No edit summary
- 15:0615:06, 16 May 2013 diff hist −1 Exercise Truth Tables No edit summary
- 15:0515:05, 16 May 2013 diff hist +99 N Exercise Truth Tables Created page with "<quiz display="simple"> {Complete the truth tables} |'''p'''|'''q'''|'''p''' &land; '''q''' </quiz>"
- 15:0115:01, 16 May 2013 diff hist +42 Textbook-chapters →Material
15 May 2013
- 13:5613:56, 15 May 2013 diff hist +6 ExerciseFOModels-d →Relations
- 13:5513:55, 15 May 2013 diff hist −121 ExerciseFOModels-d →Properties
- 13:5413:54, 15 May 2013 diff hist +84 ExerciseFOModels-d No edit summary
- 13:4913:49, 15 May 2013 diff hist +115 ExerciseFOModels-d →Navigation
- 13:4113:41, 15 May 2013 diff hist +2,214 N ExerciseFOModels-d Created page with " ''U'' = {''Alice,Paul,Tom,Lisa,Walter''}<br/><br/> '''Names:'''<br/><br/> I ('''alice''') = ''Alice''<br/><br/> I ('''paul''') = ''Paul''<br/><br/> I ('''tom''') = ''Tom..."
- 13:3913:39, 15 May 2013 diff hist +7 Exercise First Order Models No edit summary
- 12:4412:44, 15 May 2013 diff hist +30 Exercise Semantics of Predicate Logic No edit summary
- 12:3112:31, 15 May 2013 diff hist 0 Exercise Semantics of Predicate Logic No edit summary
- 12:2912:29, 15 May 2013 diff hist +12 AnswerEX2-b1 No edit summary current
- 11:2511:25, 15 May 2013 diff hist +199 N Lara's Term Paper Created page with "= Glossary entries = Links to additionally created glossary entries = Wiki pages = Links to additionally created wiki pages = Online excercises = Links to additionally ..."
- 11:2311:23, 15 May 2013 diff hist +22 NMTS-Group5 →Members
5 May 2013
- 16:1516:15, 5 May 2013 diff hist −4 NMTS-Group1 →Exercise III
- 15:4915:49, 5 May 2013 diff hist +8 Exercise Syntax of Predicate Logic →Exercise 1 current
- 15:4915:49, 5 May 2013 diff hist +10 Exercise Syntax of Predicate Logic →Exercise 1
- 15:4815:48, 5 May 2013 diff hist −58 Exercise Syntax of Predicate Logic →Exercise 1
- 15:4515:45, 5 May 2013 diff hist −1 Exercise Syntax of Predicate Logic →Exercise 1
- 15:4515:45, 5 May 2013 diff hist +1 Exercise Syntax of Predicate Logic →Exercise 1
- 15:4415:44, 5 May 2013 diff hist −39 Exercise Syntax of Predicate Logic →Exercise 1
- 15:1715:17, 5 May 2013 diff hist +33 Exercise Syntax of Predicate Logic No edit summary
- 15:1615:16, 5 May 2013 diff hist +2 Exercise Syntax of Predicate Logic →Formulae without variables
- 15:1415:14, 5 May 2013 diff hist +654 Exercise Syntax of Predicate Logic →Formulae without variables
- 15:1115:11, 5 May 2013 diff hist +191 Exercise Syntax of Predicate Logic No edit summary
- 15:1015:10, 5 May 2013 diff hist +23 Exercise Syntax of Predicate Logic →Formulae without variables
- 15:0915:09, 5 May 2013 diff hist −24 Exercise Syntax of Predicate Logic →Formulae without variables
- 15:0715:07, 5 May 2013 diff hist −13 Exercise Syntax of Predicate Logic →Formulae without variables
- 15:0615:06, 5 May 2013 diff hist +202 Exercise Syntax of Predicate Logic No edit summary
- 15:0415:04, 5 May 2013 diff hist +196 Exercise Syntax of Predicate Logic No edit summary
2 May 2013
- 15:1115:11, 2 May 2013 diff hist −1 Teaching →Previous courses
- 15:1115:11, 2 May 2013 diff hist +100 Teaching →Courses
23 April 2013
- 23:2523:25, 23 April 2013 diff hist +5 Exercise-ch1 →Exercises
- 23:2523:25, 23 April 2013 diff hist −5 Exercise-ch1 →Exercises
- 23:2523:25, 23 April 2013 diff hist +13 Exercise-ch1 →Exercises
- 23:1823:18, 23 April 2013 diff hist +4 Exercise-ch1 →Exercises
- 23:1223:12, 23 April 2013 diff hist −5 Exercise-ch1 →Exercises
- 23:1123:11, 23 April 2013 diff hist +1 Exercise-ch1 →Exercises
- 23:1123:11, 23 April 2013 diff hist +13 Exercise-ch1 →Exercises
- 23:1123:11, 23 April 2013 diff hist 0 Exercise-ch1 →Exercises
- 23:1023:10, 23 April 2013 diff hist +122 N File:Exercise-sheet-ambiguity.pdf Introductory exercises on types of ambiguity. current
- 23:0323:03, 23 April 2013 diff hist +134 Exercise-ch1 →Exercises
- 23:0023:00, 23 April 2013 diff hist −676 Exercise-ch1 →Links
- 23:0023:00, 23 April 2013 diff hist +662 Types of ambiguity →Links
12 April 2013
- 21:2921:29, 12 April 2013 diff hist +153 Types of ambiguity →Scope ambiguity
11 April 2013
- 18:2118:21, 11 April 2013 diff hist +3 Types of ambiguity →References
- 18:2018:20, 11 April 2013 diff hist +434 Types of ambiguity →References
- 18:1618:16, 11 April 2013 diff hist +63 Types of ambiguity →References
- 18:1518:15, 11 April 2013 diff hist 0 Types of ambiguity →References
- 18:1518:15, 11 April 2013 diff hist +334 Types of ambiguity →References
- 16:3116:31, 11 April 2013 diff hist +73 Types of ambiguity →Scope ambiguity
- 16:3016:30, 11 April 2013 diff hist +6 Glossary:Scope Ambiguity →Definition current
- 16:2916:29, 11 April 2013 diff hist +2 Glossary:Scope Ambiguity →Definition
- 16:2816:28, 11 April 2013 diff hist +183 Glossary:Scope Ambiguity No edit summary
- 16:2616:26, 11 April 2013 diff hist +166 Types of ambiguity →Lexical ambiguity
- 16:2416:24, 11 April 2013 diff hist −1 Types of ambiguity →Lexical ambiguity
- 16:2316:23, 11 April 2013 diff hist +340 Types of ambiguity →Lexical ambiguity
- 16:2116:21, 11 April 2013 diff hist +33 Glossary:Ambiguity →Ambiguity current
- 16:2016:20, 11 April 2013 diff hist +68 Glossary:Ambiguity →Ambiguity
- 16:1916:19, 11 April 2013 diff hist +183 Glossary:Ambiguity No edit summary
- 16:1816:18, 11 April 2013 diff hist +5 Glossary:Lexical Ambiguity No edit summary current
- 16:1716:17, 11 April 2013 diff hist +2 Glossary:Lexical Ambiguity No edit summary
- 16:1716:17, 11 April 2013 diff hist +179 Glossary:Lexical Ambiguity No edit summary
- 16:1116:11, 11 April 2013 diff hist +1 Types of ambiguity →Navigation
- 16:1016:10, 11 April 2013 diff hist +30 Types of ambiguity →Ambiguity vs. vagueness
- 16:1016:10, 11 April 2013 diff hist +19 Wiki-ch1 →Ambiguity
- 16:0916:09, 11 April 2013 diff hist +78 Wiki-ch1 →Ambiguity
- 16:0716:07, 11 April 2013 diff hist +404 N Wiki-ch1 Created page with "= Basic notions in semantics = == Semantics relations == === Semantic relations between words === === Semantics relations between sentences === == Ambiguity == == Inferen..."
- 16:0716:07, 11 April 2013 diff hist −6 Wiki-ch2 →Truth tables for complex formulae
- 16:0316:03, 11 April 2013 diff hist +13 Textbook-chapters →Material
- 16:0316:03, 11 April 2013 diff hist +50 Textbook-chapters →Material
- 16:0316:03, 11 April 2013 diff hist 0 Textbook-chapters →Short summary
- 16:0216:02, 11 April 2013 diff hist +413 Textbook-chapters →Short summary
- 15:5915:59, 11 April 2013 diff hist +149 Textbook-chapters →Short summary
- 15:5615:56, 11 April 2013 diff hist +85 Glossary: G-Function →Examples current
- 15:5615:56, 11 April 2013 diff hist +212 Glossary: G-Function →G-Function
- 15:4915:49, 11 April 2013 diff hist +160 Glossary: G-Function No edit summary
- 15:4815:48, 11 April 2013 diff hist +1 Glossary: I-Function →Literature current
- 15:4815:48, 11 April 2013 diff hist +48 Glossary: I-Function →Literature
- 15:4715:47, 11 April 2013 diff hist 0 Glossary: I-Function →Examples
- 15:4715:47, 11 April 2013 diff hist +161 Glossary: I-Function No edit summary
- 15:4715:47, 11 April 2013 diff hist +31 Glossary: I-Function →Examples
- 15:4615:46, 11 April 2013 diff hist −4 Glossary: I-Function →Examples
- 15:4515:45, 11 April 2013 diff hist −3 Glossary: Logical Connectives No edit summary current
- 15:4415:44, 11 April 2013 diff hist +164 Glossary: Logical Connectives No edit summary
- 15:4415:44, 11 April 2013 diff hist −1 Glossary: Logical Connectives →Literature
- 15:4415:44, 11 April 2013 diff hist +50 Glossary: Logical Connectives →Literature
- 15:4315:43, 11 April 2013 diff hist +36 Glossary: Logical Connectives →Examples
- 15:4215:42, 11 April 2013 diff hist −5 Glossary: Logical Connectives →Examples
- 15:4115:41, 11 April 2013 diff hist +76 Glossary: Logical Connectives →Examples
- 15:3915:39, 11 April 2013 diff hist +41 Glossary: Logical Connectives →Definition
- 15:3615:36, 11 April 2013 diff hist −56 Glossary: Logical Connectives →References
- 15:3615:36, 11 April 2013 diff hist +73 Glossary: Logical Connectives →References
- 15:3415:34, 11 April 2013 diff hist −1 Basic Glossary →F
- 15:3315:33, 11 April 2013 diff hist −1 Glossary: Formulae No edit summary current
- 15:2515:25, 11 April 2013 diff hist +156 Wiki-ch2 No edit summary
- 15:2315:23, 11 April 2013 diff hist +9 Glossary: Predicate →Literature current
- 15:2215:22, 11 April 2013 diff hist +7 Glossary: Predicate →Literature
- 15:2215:22, 11 April 2013 diff hist +33 Glossary: Predicate →Literature
- 15:2115:21, 11 April 2013 diff hist +31 Glossary: Predicate No edit summary
- 15:2115:21, 11 April 2013 diff hist +37 Glossary: Predicate →Examples
- 15:1915:19, 11 April 2013 diff hist +43 Glossary: Predicate →Examples
- 15:1915:19, 11 April 2013 diff hist −9 Glossary: Predicate →Examples
- 15:1815:18, 11 April 2013 diff hist +125 Glossary: Predicate No edit summary
- 15:1715:17, 11 April 2013 diff hist −1 Glossary: Predicate →Examples
- 15:1515:15, 11 April 2013 diff hist −1 Wiki-ch2 →NOT (¬)
- 15:1515:15, 11 April 2013 diff hist −2 Wiki-ch2 →NOT (¬)
- 15:1515:15, 11 April 2013 diff hist −7 Wiki-ch2 →NOT (¬)
- 15:1415:14, 11 April 2013 diff hist +4 Wiki-ch2 →IF/THEN (⊃, →)
- 15:1415:14, 11 April 2013 diff hist +223 Wiki-ch2 →IF/THEN (⊃, →)
- 15:1215:12, 11 April 2013 diff hist +96 Wiki-ch2 →OR (∨)
- 15:1115:11, 11 April 2013 diff hist +88 Wiki-ch2 →AND (∧)
- 15:1015:10, 11 April 2013 diff hist +157 Wiki-ch2 →Additional Wiki pages for Chapter 2
- 15:0915:09, 11 April 2013 diff hist +129 Wiki-ch2 →Additional Wiki pages for Chapter 2
- 15:0715:07, 11 April 2013 diff hist +130 Wiki-ch2 →Truth tables
- 15:0615:06, 11 April 2013 diff hist −2 Wiki-ch2 →Truth tables
- 15:0015:00, 11 April 2013 diff hist 0 Wiki-ch2 →Truth tables for complex formulae
- 15:0015:00, 11 April 2013 diff hist +273 Wiki-ch2 →Truth tables
- 14:5714:57, 11 April 2013 diff hist +2 Wiki-ch2 →Truth tables
- 14:5614:56, 11 April 2013 diff hist −2 Wiki-ch2 →NOT (¬)
- 14:5614:56, 11 April 2013 diff hist −3 Wiki-ch2 →IF/THEN (⊃ →)
- 14:5414:54, 11 April 2013 diff hist +90 Wiki-ch2 →IF/THEN (&imp;, ⊃)
- 14:4914:49, 11 April 2013 diff hist +20 Wiki-ch2 →OR
- 14:4914:49, 11 April 2013 diff hist −30 Wiki-ch2 →Additional Wiki pages for Chapter 2
- 14:4714:47, 11 April 2013 diff hist +1,251 N Wiki-ch2 Created page with "= Additional Wiki pages for Chapter 2 = == Truth tables == {{CreatedByStudentsWS1213}} === Truth tables for connectives === ==== AND (∧) ==== Symbol: Ʌ <br /> Sente..."
9 April 2013
- 18:3918:39, 9 April 2013 diff hist −2 Publications →2004
- 18:3918:39, 9 April 2013 diff hist 0 Publications →2004
- 18:3918:39, 9 April 2013 diff hist +19 Publications →2004
- 18:3618:36, 9 April 2013 diff hist +229 Publications →2004
8 April 2013
- 22:5422:54, 8 April 2013 diff hist +182 Hauptseminar: ''New Media in Teaching Semantics'' →Collections
- 20:1320:13, 8 April 2013 diff hist +16 Hauptseminar: ''New Media in Teaching Semantics'' →Collections
- 20:1220:12, 8 April 2013 diff hist +101 Hauptseminar: ''New Media in Teaching Semantics'' →Collections
5 April 2013
- 18:3118:31, 5 April 2013 diff hist −4 Exercise First Order Models No edit summary
- 18:3018:30, 5 April 2013 diff hist −3 Exercise First Order Models No edit summary
- 18:2518:25, 5 April 2013 diff hist +23 Exercise First Order Models No edit summary
- 18:2518:25, 5 April 2013 diff hist +1 Exercise First Order Models No edit summary
- 18:2418:24, 5 April 2013 diff hist +8 Exercise First Order Models No edit summary
- 18:2318:23, 5 April 2013 diff hist −17 Exercise First Order Models No edit summary
- 18:1218:12, 5 April 2013 diff hist +2 Exercise Syntax of Predicate Logic →Formulae without variables
- 18:1118:11, 5 April 2013 diff hist +585 Exercise Syntax of Predicate Logic No edit summary
- 18:1018:10, 5 April 2013 diff hist −730 Exercise Semantics of Predicate Logic No edit summary
- 18:0818:08, 5 April 2013 diff hist +736 Exercise Syntax of Predicate Logic No edit summary
- 18:0618:06, 5 April 2013 diff hist +265 Exercise Syntax of Predicate Logic No edit summary
- 17:5517:55, 5 April 2013 diff hist +10 Exercise Semantics of Predicate Logic No edit summary
- 16:0916:09, 5 April 2013 diff hist +1,433 Exercise Semantics of Predicate Logic No edit summary
- 16:0816:08, 5 April 2013 diff hist +197 Exercise Semantics of Predicate Logic No edit summary
- 16:0816:08, 5 April 2013 diff hist +196 Exercise First Order Models No edit summary
- 16:0716:07, 5 April 2013 diff hist +163 N Exercise Semantics of Predicate Logic Created page with "{{CreatedByStudents1213}} ''Involved participants: Lisa, Marthe, Elisabeth, and Isabelle.''"
- 16:0516:05, 5 April 2013 diff hist +22 Template:CreatedByStudents1213 No edit summary current
- 16:0416:04, 5 April 2013 diff hist +12 Exercise First Order Models No edit summary
- 16:0316:03, 5 April 2013 diff hist −31 Template:CreatedByStudents1213 No edit summary
- 15:5915:59, 5 April 2013 diff hist −1 Exercise First Order Models No edit summary
- 15:5815:58, 5 April 2013 diff hist +25 Exercise First Order Models No edit summary
- 15:5415:54, 5 April 2013 diff hist +10 Exercise First Order Models No edit summary
- 15:5415:54, 5 April 2013 diff hist −16 Exercise First Order Models No edit summary
- 10:1910:19, 5 April 2013 diff hist +127 Exercise First Order Models No edit summary
- 10:1710:17, 5 April 2013 diff hist 0 Exercise-ch2 →First order models
- 10:1410:14, 5 April 2013 diff hist −8 Template:CreatedByStudents1213 No edit summary
- 10:1410:14, 5 April 2013 diff hist −12 Template:CreatedByStudents1213 No edit summary
- 10:1310:13, 5 April 2013 diff hist −2 Template:CreatedByStudents1213 No edit summary
- 10:1310:13, 5 April 2013 diff hist +5 Template:CreatedByStudents1213 No edit summary
- 10:1210:12, 5 April 2013 diff hist +10 Template:CreatedByStudents1213 No edit summary
- 10:1210:12, 5 April 2013 diff hist −6 Template:CreatedByStudents1213 No edit summary
- 10:1110:11, 5 April 2013 diff hist +5 Template:CreatedByStudents1213 No edit summary
- 10:1010:10, 5 April 2013 diff hist +7 Template:CreatedByStudents1213 No edit summary
- 10:0910:09, 5 April 2013 diff hist +10 Template:CreatedByStudents1213 No edit summary
- 10:0810:08, 5 April 2013 diff hist +162 N Template:CreatedByStudents1213 Created page with "<span color="blue">The following exercise has been created by student participants of the project ''e-Learning Resources for Semantics'' (e-LRS).</span>"
- 10:0510:05, 5 April 2013 diff hist +1,649 N Exercise First Order Models Created page with "{{CreatedByStudents1213}} '''The real world''' At the time Alice, Paul, Tom and Lisa live in Berlin, but they rather want to live in Munich. Alice is married to Paul. They a..."
- 10:0310:03, 5 April 2013 diff hist 0 Textbook-chapters →Material
- 10:0210:02, 5 April 2013 diff hist +196 Textbook-chapters →Material
- 10:0010:00, 5 April 2013 diff hist −1,634 Exercise-ch2 →The syntax of predicate logic
- 09:5809:58, 5 April 2013 diff hist +2,005 N Exercise Syntax of Predicate Logic Created page with " <!-- ∀ ∃ ∧ ∨ ⊂ ⊃ ¬ --> For the following exercises we use names and properties from the ''The Lord of the Rings'' novels. Names: '''frodo'''..."
- 09:4809:48, 5 April 2013 diff hist +119 Exercise-ch2 →The syntax of predicate logic
- 09:4609:46, 5 April 2013 diff hist +37 Textbook-chapters →Material
15 March 2013
- 23:3623:36, 15 March 2013 diff hist +8 Exercise-ch6 →Quantifier denotation
- 23:3523:35, 15 March 2013 diff hist +1 Exercise-ch6 →Quantifier denotation
- 23:3423:34, 15 March 2013 diff hist +78 Exercise-ch6 →Quantifier denotation
- 23:3123:31, 15 March 2013 diff hist −6 Exercise-ch6 →Quantifier denotation
- 23:3023:30, 15 March 2013 diff hist +234 N Exercise-ch6 Created page with "= Exercises for chapter 6: Quantifiers = == Quantifier denotation == <quiz display="simple"> {Provide the meaning of the following quantifiers.<br /> Example: ''(at least) t..."
- 23:2323:23, 15 March 2013 diff hist +48 Exercise-ch5 No edit summary
- 23:2123:21, 15 March 2013 diff hist +101 Exercise-ch5 →Semantic types
- 23:2023:20, 15 March 2013 diff hist +7 Exercise-ch5 →New notation
- 23:1023:10, 15 March 2013 diff hist +2 Exercise-ch5 →Semantic types
- 23:1023:10, 15 March 2013 diff hist +1 Exercise-ch5 →Semantic types
- 23:1023:10, 15 March 2013 diff hist 0 Exercise-ch5 →Semantic types
- 23:0923:09, 15 March 2013 diff hist +94 Exercise-ch5 →Semantic types
- 23:0623:06, 15 March 2013 diff hist −73 Exercise-ch5 →Semantic types
- 23:0623:06, 15 March 2013 diff hist −2 Exercise-ch5 →Semantic types
- 23:0523:05, 15 March 2013 diff hist +31 Exercise-ch5 →Semantic types
- 23:0523:05, 15 March 2013 diff hist +8 Exercise-ch5 →Semantic types
- 23:0523:05, 15 March 2013 diff hist +33 Exercise-ch5 →Semantic types
- 23:0323:03, 15 March 2013 diff hist +1 Exercise-ch5 →Semantic types
- 23:0323:03, 15 March 2013 diff hist +1 Exercise-ch5 →Semantic types
- 23:0223:02, 15 March 2013 diff hist +52 Exercise-ch5 →Semantic types
- 23:0123:01, 15 March 2013 diff hist +1 Exercise-ch5 →Semantic types
- 23:0123:01, 15 March 2013 diff hist +111 Exercise-ch5 →Semantic types