User contributions for Elisabeth.krall

30 May 2018

• 16:2916:29, 30 May 2018 diff hist −799‎ User:Elisabeth.krall ‎ Blanked the page current

22 February 2013

• 10:2510:25, 22 February 2013 diff hist −2‎ Creation of the World ‎No edit summary current

6 February 2013

• 10:1710:17, 6 February 2013 diff hist +24‎ NMTS-Group9 ‎ →‎Our wiki pages

5 February 2013

• 22:2122:21, 5 February 2013 diff hist +838‎ N Glossary: Logical Connectives ‎ Created page with "{{MaterialUnderConstruction}} = Logical Connectives = == Definition == Logical connectives are the conjunction ''and'', the disjunction ''or'', and the implication ''if......"
• 22:0622:06, 5 February 2013 diff hist +10‎ Glossary: G-Function ‎ →‎Examples
• 22:0222:02, 5 February 2013 diff hist +929‎ N Glossary: G-Function ‎ Created page with "{{MaterialUnderConstruction}} = G-Function = == Definition == The G-Function in Predicate Logic maps variables to individuals from the universe. In natural, real-world lan..."
• 21:5221:52, 5 February 2013 diff hist +68‎ Glossary: I-Function ‎ →‎Examples
• 21:4821:48, 5 February 2013 diff hist +224‎ Glossary: I-Function ‎ →‎Examples
• 21:4321:43, 5 February 2013 diff hist +13‎ Glossary: I-Function ‎ →‎References
• 21:4321:43, 5 February 2013 diff hist +397‎ N Glossary: I-Function ‎ Created page with "{{MaterialUnderConstruction}} = I-Function = == Definition == The I-Function used in Predicate Logic maps each name of logical language to one individual from the universe..."
• 21:4021:40, 5 February 2013 diff hist +117‎ NMTS-Group9 ‎ →‎Our wiki pages

27 January 2013

• 18:0818:08, 27 January 2013 diff hist 0‎ AnswerEX2-a2 ‎ →‎blonde(Alice,Paul) is not a formula
• 18:0818:08, 27 January 2013 diff hist 0‎ AnswerEX2-a1 ‎ →‎family-dog is not a formula
• 18:0718:07, 27 January 2013 diff hist 0‎ Formulae and their interpretation ‎No edit summary
• 18:0518:05, 27 January 2013 diff hist +1‎ AnswerEX3-b ‎No edit summary
• 18:0518:05, 27 January 2013 diff hist +6‎ AnswerEX3-b ‎No edit summary
• 18:0518:05, 27 January 2013 diff hist +6‎ AnswerEX3-a ‎No edit summary
• 18:0418:04, 27 January 2013 diff hist +101‎ AnswerEX3-a ‎No edit summary
• 18:0218:02, 27 January 2013 diff hist +66‎ AnswerEX3-b ‎No edit summary
• 17:5417:54, 27 January 2013 diff hist −4‎ AnswerEX3-a ‎No edit summary
• 17:5417:54, 27 January 2013 diff hist −4‎ AnswerEX3-b ‎No edit summary
• 17:4617:46, 27 January 2013 diff hist +4‎ Interpretation of formulae with connectives ‎No edit summary
• 17:4617:46, 27 January 2013 diff hist +538‎ N AnswerEX3-b ‎ Created page with "Here the interpretation in predicate logic notation: dog (walter) Ʌ enjoy-watching-soccer-together (lisa,tom) = FALSE <br/> because dog (walter)= TRUE <br/> be..."
• 17:3817:38, 27 January 2013 diff hist −8‎ AnswerEX3-a ‎No edit summary
• 17:3217:32, 27 January 2013 diff hist +30‎ AnswerEX3-a ‎No edit summary
• 17:2517:25, 27 January 2013 diff hist −4‎ AnswerEX3-a ‎No edit summary
• 17:2417:24, 27 January 2013 diff hist +54‎ AnswerEX3-a ‎No edit summary
• 17:2317:23, 27 January 2013 diff hist +4‎ AnswerEX3-a ‎No edit summary
• 17:2217:22, 27 January 2013 diff hist +99‎ AnswerEX3-a ‎No edit summary
• 17:2017:20, 27 January 2013 diff hist −16‎ AnswerEX3-a ‎No edit summary
• 17:2017:20, 27 January 2013 diff hist +356‎ AnswerEX3-a ‎No edit summary
• 17:1417:14, 27 January 2013 diff hist +23‎ N AnswerEX3-a ‎ Created page with "<nowiki>dog(walter)"
• 17:1317:13, 27 January 2013 diff hist +98‎ Interpretation of formulae with connectives ‎No edit summary
• 17:1117:11, 27 January 2013 diff hist −24‎ Interpretation of formulae with connectives ‎No edit summary
• 17:1117:11, 27 January 2013 diff hist +89‎ Interpretation of formulae with connectives ‎No edit summary
• 17:0917:09, 27 January 2013 diff hist +317‎ N Interpretation of formulae with connectives ‎ Created page with "TASK: Consider those two natural language sentences. While keeping in the mind the scenario given in exercise 1, create comlex formula with logical connectives and compute the..."

25 January 2013

• 13:5013:50, 25 January 2013 diff hist −12‎ AnswerEX2-b1 ‎No edit summary
• 13:4813:48, 25 January 2013 diff hist +12‎ AnswerEX2-b1 ‎No edit summary
• 13:2513:25, 25 January 2013 diff hist 0‎ NMTS-Group9 ‎ →‎Our exercises
• 13:1413:14, 25 January 2013 diff hist +6‎ Creation of the World ‎No edit summary

19 January 2013

• 17:2717:27, 19 January 2013 diff hist −1‎ NMTS-Group9 ‎ →‎Our materials for an interactive whiteboard

2 December 2012

• 21:4021:40, 2 December 2012 diff hist +1,198‎ NMTS-InferencePage ‎No edit summary

5 November 2012

• 08:4908:49, 5 November 2012 diff hist +1‎ NMTS-Group9 ‎ →‎Our wiki pages
• 08:4908:49, 5 November 2012 diff hist 0‎ NMTS-Group9 ‎ →‎Our wiki pages
• 08:4708:47, 5 November 2012 diff hist −91‎ NMTS-Group9 ‎ →‎Our wiki pages
• 08:4708:47, 5 November 2012 diff hist +92‎ NMTS-Group9 ‎ →‎Our wiki pages
• 08:4408:44, 5 November 2012 diff hist +14‎ Glossary: Formulae ‎ →‎References

23 October 2012

• 13:4413:44, 23 October 2012 diff hist +7‎ Glossary: Formulae ‎No edit summary
• 13:4413:44, 23 October 2012 diff hist +350‎ N Glossary: Formulae ‎ Created page with "= formulae = == Definition == Formulae are expressions of logic that can be interpreted as false or true by applying the interpretation function ''I''. == Examples == ''p..."
• 13:3513:35, 23 October 2012 diff hist +68‎ Basic Glossary ‎ →‎F