User contributions for Manfred
Jump to navigation
Jump to search
9 July 2013
- 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