User contributions for Manfred
Jump to navigation
Jump to search
28 June 2013
- 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)