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