User contributions for Lisa
Jump to navigation
Jump to search
27 February 2013
- 20:0120:01, 27 February 2013 diff hist +79 NMTS-Group9 →Our pictures
- 20:0020:00, 27 February 2013 diff hist 0 NMTS-Group9 →NOT
- 20:0020:00, 27 February 2013 diff hist 0 NMTS-Group9 →NOT
- 19:5919:59, 27 February 2013 diff hist +35 N File:Truthtable NOT.png No edit summary current
- 19:5819:58, 27 February 2013 diff hist +57 NMTS-Group9 →NOT
- 19:4519:45, 27 February 2013 diff hist +145 Glossary: Logical Connectives →Literature
- 19:4519:45, 27 February 2013 diff hist +146 Glossary: G-Function →Literature
- 19:4419:44, 27 February 2013 diff hist +146 Glossary: I-Function →Literature
- 19:4419:44, 27 February 2013 diff hist +145 Glossary: Formulae →Literature
- 19:4319:43, 27 February 2013 diff hist +145 Glossary: Predicate →Literature
25 February 2013
- 07:4407:44, 25 February 2013 diff hist −102 NMTS Meeting 10 →Group 9
- 07:4307:43, 25 February 2013 diff hist 0 NMTS-Group9 →Our podcast
22 February 2013
- 12:1212:12, 22 February 2013 diff hist +3 NMTS-Group9 No edit summary
- 12:1112:11, 22 February 2013 diff hist −1 NMTS-Group9 →Short description of the topic
- 12:1012:10, 22 February 2013 diff hist +18 NMTS-Group9 →Short description of the topic
- 12:0912:09, 22 February 2013 diff hist +3 NMTS-Group9 →Short description of the topic
- 12:0912:09, 22 February 2013 diff hist 0 NMTS-Group9 →Short description of the topic
- 12:0812:08, 22 February 2013 diff hist +48 NMTS-Group9 →Short description of the topic
12 February 2013
- 13:0213:02, 12 February 2013 diff hist −1 NMTS-Group9 →Our podcasts
- 12:5612:56, 12 February 2013 diff hist 0 NMTS-Group9 →Our pictures
- 12:5512:55, 12 February 2013 diff hist +35 N File:Truthtable IF THEN2.png No edit summary current
- 12:5512:55, 12 February 2013 diff hist +1 NMTS-Group9 →IF/THEN
- 12:5412:54, 12 February 2013 diff hist −1 NMTS-Group9 →IF/THEN
- 12:5112:51, 12 February 2013 diff hist +4 NMTS-Group9 →Our pictures
- 12:5112:51, 12 February 2013 diff hist +4 NMTS-Group9 →Our pictures
- 12:5112:51, 12 February 2013 diff hist +2 NMTS-Group9 →Our pictures
- 12:5012:50, 12 February 2013 diff hist +163 NMTS-Group9 →Our pictures
- 12:4912:49, 12 February 2013 diff hist +29 NMTS-Group9 →Our pictures
- 12:4812:48, 12 February 2013 diff hist +4 NMTS-Group9 →Our pictures
- 12:4712:47, 12 February 2013 diff hist +11 NMTS-Group9 →Our pictures
- 12:4712:47, 12 February 2013 diff hist 0 NMTS-Group9 →Our pictures
- 12:4612:46, 12 February 2013 diff hist +2 NMTS-Group9 →Our pictures
- 12:4612:46, 12 February 2013 diff hist +35 NMTS-Group9 →Our pictures
- 12:4512:45, 12 February 2013 diff hist −160 NMTS-Group9 →Wikipage of Group 9
- 12:4512:45, 12 February 2013 diff hist +35 N File:Truthtable IF THEN1.png No edit summary current
- 12:4412:44, 12 February 2013 diff hist +1 NMTS-Group9 →IF/THEN
- 12:4412:44, 12 February 2013 diff hist +35 N File:Truthtable OR1.png No edit summary current
- 12:4412:44, 12 February 2013 diff hist 0 NMTS-Group9 →OR
- 12:4312:43, 12 February 2013 diff hist +6 NMTS-Group9 →AND
- 12:4212:42, 12 February 2013 diff hist +35 N File:Truthtable AND1.png No edit summary current
- 12:4112:41, 12 February 2013 diff hist +8 NMTS-Group9 →AND
- 12:3912:39, 12 February 2013 diff hist −14 NMTS-Group9 →AND
10 February 2013
- 17:4917:49, 10 February 2013 diff hist +250 NMTS-Group9 →Our material for an interactive whiteboard
6 February 2013
- 10:2910:29, 6 February 2013 diff hist −8 Glossary: Logical Connectives →Examples
- 10:2810:28, 6 February 2013 diff hist +16 Glossary: G-Function →Examples
- 10:2710:27, 6 February 2013 diff hist +10 Glossary: G-Function →Examples
- 10:2710:27, 6 February 2013 diff hist 0 Glossary: G-Function →Examples
- 10:2610:26, 6 February 2013 diff hist +63 Glossary: G-Function →Examples
- 10:2310:23, 6 February 2013 diff hist −3 Glossary: G-Function →Examples
- 10:2210:22, 6 February 2013 diff hist +12 Glossary: I-Function →Examples
- 10:2010:20, 6 February 2013 diff hist +4 Glossary: I-Function →Examples
- 10:1710:17, 6 February 2013 diff hist +2 NMTS-Group9 →Difficulties
- 10:1610:16, 6 February 2013 diff hist +16 NMTS-Group9 →NOT
- 10:1610:16, 6 February 2013 diff hist 0 NMTS-Group9 →IF/THEN
- 10:1410:14, 6 February 2013 diff hist +2 NMTS-Group9 →Difficulties
- 10:1310:13, 6 February 2013 diff hist +14 Glossary: Formulae →Examples
1 February 2013
- 09:2209:22, 1 February 2013 diff hist +1 NMTS-Group9 →NOT
- 09:2209:22, 1 February 2013 diff hist +6 NMTS-Group9 →IF/THEN
- 09:2209:22, 1 February 2013 diff hist +22 NMTS-Group9 →IF/THEN
- 09:2109:21, 1 February 2013 diff hist +1 NMTS-Group9 →OR
- 09:2109:21, 1 February 2013 diff hist +1 NMTS-Group9 →OR
- 09:2109:21, 1 February 2013 diff hist +21 NMTS-Group9 →OR
- 09:2009:20, 1 February 2013 diff hist +1 NMTS-Group9 →NOT
- 09:2009:20, 1 February 2013 diff hist +2 NMTS-Group9 →Difficulties
- 09:1909:19, 1 February 2013 diff hist +6 NMTS-Group9 →NOT
- 09:1909:19, 1 February 2013 diff hist +147 NMTS-Group9 →NOT
- 09:1509:15, 1 February 2013 diff hist +35 N File:Truthtable IF THEN.png No edit summary current
- 09:1409:14, 1 February 2013 diff hist +35 N File:Truthtable OR.png No edit summary current
- 09:1409:14, 1 February 2013 diff hist +64 NMTS-Group9 →Examples
- 09:1209:12, 1 February 2013 diff hist −2 NMTS-Group9 →Examples
- 09:1109:11, 1 February 2013 diff hist −2 NMTS-Group9 →Examples
- 09:1109:11, 1 February 2013 diff hist +28 NMTS-Group9 →Examples
- 09:1009:10, 1 February 2013 diff hist 0 NMTS-Group9 →and
- 09:1009:10, 1 February 2013 diff hist −6 NMTS-Group9 →and
- 09:0909:09, 1 February 2013 diff hist 0 NMTS-Group9 →and
- 09:0909:09, 1 February 2013 diff hist +28 NMTS-Group9 →and
- 09:0409:04, 1 February 2013 diff hist +35 N File:Truthtable AND.png No edit summary current
- 08:5908:59, 1 February 2013 diff hist +27 NMTS-Group9 →Examples
- 08:5808:58, 1 February 2013 diff hist −24 NMTS-Group9 →Short description of the topic
- 08:5708:57, 1 February 2013 diff hist −63 NMTS-Group9 →Examples
- 08:5508:55, 1 February 2013 diff hist +97 NMTS-Group9 →Examples
- 08:3608:36, 1 February 2013 diff hist +56 NMTS-Group9 →Our podcasts
29 January 2013
- 13:4413:44, 29 January 2013 diff hist −1 Interpretation of formulae with connectives No edit summary current
- 13:4313:43, 29 January 2013 diff hist 0 AnswerEX3-a No edit summary current
- 13:3913:39, 29 January 2013 diff hist 0 AnswerEX3-a No edit summary
- 13:3913:39, 29 January 2013 diff hist +5 AnswerEX3-a No edit summary
- 13:3713:37, 29 January 2013 diff hist +2 Interpretation of formulae with connectives No edit summary
- 13:3713:37, 29 January 2013 diff hist −198 Interpretation of formulae with connectives No edit summary
- 13:3613:36, 29 January 2013 diff hist 0 AnswerEX1-d No edit summary current
- 13:3513:35, 29 January 2013 diff hist −126 AnswerEX1-d No edit summary
- 13:3213:32, 29 January 2013 diff hist −1 AnswerEX1-b No edit summary current
- 13:3113:31, 29 January 2013 diff hist +21 AnswerEX1-c No edit summary current
- 13:3013:30, 29 January 2013 diff hist +2 AnswerEX1-b No edit summary
- 13:2813:28, 29 January 2013 diff hist +9 AnswerEX-b3 No edit summary current
- 13:2713:27, 29 January 2013 diff hist 0 AnswerEX1-d →Navigation
- 13:2713:27, 29 January 2013 diff hist +63 AnswerEX1-d No edit summary
- 13:2613:26, 29 January 2013 diff hist 0 AnswerEX2-a2 →blonde(Alice,Paul) is not a formula current
- 13:2513:25, 29 January 2013 diff hist −1 AnswerEX2-a1 No edit summary current
- 13:2513:25, 29 January 2013 diff hist +2 AnswerEX2-a5 No edit summary current
- 13:2413:24, 29 January 2013 diff hist +2 AnswerEX2-a2 No edit summary
- 10:0010:00, 29 January 2013 diff hist +2 AnswerEX2-a1 No edit summary
- 09:5909:59, 29 January 2013 diff hist 0 AnswerEX2-a5 No edit summary
- 09:5809:58, 29 January 2013 diff hist 0 AnswerEX2-a3 No edit summary current
- 09:5809:58, 29 January 2013 diff hist 0 Formulae and their interpretation No edit summary current
- 09:5709:57, 29 January 2013 diff hist +83 AnswerEX1-d No edit summary
- 09:5309:53, 29 January 2013 diff hist 0 AnswerEX1-c No edit summary
- 09:5209:52, 29 January 2013 diff hist +75 AnswerEX1-b No edit summary
- 09:5009:50, 29 January 2013 diff hist −194 Interpretation of formulae with connectives No edit summary
- 09:4909:49, 29 January 2013 diff hist +73 AnswerEX1-d →Navigation
- 09:4709:47, 29 January 2013 diff hist +5 AnswerEX3-b No edit summary current
- 09:4509:45, 29 January 2013 diff hist +5 AnswerEX3-a No edit summary
- 09:4309:43, 29 January 2013 diff hist +5 AnswerEX-b3 No edit summary
- 09:4209:42, 29 January 2013 diff hist 0 AnswerEX-b2 No edit summary current
- 09:4109:41, 29 January 2013 diff hist −258 AnswerEX2-b1 No edit summary
- 09:3909:39, 29 January 2013 diff hist +2 AnswerEX2-a5 No edit summary
- 09:3909:39, 29 January 2013 diff hist +2 AnswerEX2-a4 No edit summary current
- 09:3909:39, 29 January 2013 diff hist +2 AnswerEX2-a3 No edit summary
- 09:3909:39, 29 January 2013 diff hist +2 AnswerEX2-a2 No edit summary
- 09:3809:38, 29 January 2013 diff hist +2 AnswerEX2-a1 No edit summary
- 09:3809:38, 29 January 2013 diff hist −203 Formulae and their interpretation No edit summary
- 09:3709:37, 29 January 2013 diff hist +6 Formulae and their interpretation No edit summary
- 09:3609:36, 29 January 2013 diff hist −208 Formulae and their interpretation No edit summary
- 09:3309:33, 29 January 2013 diff hist −504 AnswerEX1-d No edit summary
- 09:2509:25, 29 January 2013 diff hist −18 AnswerEX1-c No edit summary
- 09:2509:25, 29 January 2013 diff hist −84 AnswerEX1-b No edit summary
- 09:2409:24, 29 January 2013 diff hist −24 AnswerEX1-b No edit summary
- 09:2309:23, 29 January 2013 diff hist −161 AnswerEX1-a No edit summary current
- 09:2209:22, 29 January 2013 diff hist −134 Creation of the World No edit summary
- 09:2009:20, 29 January 2013 diff hist −649 Creation of the World No edit summary
28 January 2013
- 18:1318:13, 28 January 2013 diff hist +8 AnswerEX3-b No edit summary
- 18:1318:13, 28 January 2013 diff hist +9 AnswerEX3-a No edit summary
- 18:1218:12, 28 January 2013 diff hist 0 Interpretation of formulae with connectives No edit summary
- 11:4611:46, 28 January 2013 diff hist +18 Interpretation of formulae with connectives No edit summary
- 11:4511:45, 28 January 2013 diff hist 0 Formulae and their interpretation No edit summary
- 11:4511:45, 28 January 2013 diff hist +107 Formulae and their interpretation No edit summary
- 11:4311:43, 28 January 2013 diff hist +7 Formulae and their interpretation No edit summary
- 11:4211:42, 28 January 2013 diff hist −1 Creation of the World No edit summary
- 11:4211:42, 28 January 2013 diff hist +4 Formulae and their interpretation No edit summary
- 11:4111:41, 28 January 2013 diff hist +27 Interpretation of formulae with connectives No edit summary
- 11:3911:39, 28 January 2013 diff hist +179 AnswerEX3-b No edit summary
- 11:3611:36, 28 January 2013 diff hist +17 AnswerEX3-a No edit summary
- 11:3511:35, 28 January 2013 diff hist +83 AnswerEX3-a No edit summary
- 11:3111:31, 28 January 2013 diff hist +8 AnswerEX3-a No edit summary
- 11:3011:30, 28 January 2013 diff hist −8 AnswerEX3-a No edit summary
- 11:3011:30, 28 January 2013 diff hist +93 AnswerEX3-a No edit summary
- 11:2911:29, 28 January 2013 diff hist −15 Interpretation of formulae with connectives No edit summary
25 January 2013
- 20:5920:59, 25 January 2013 diff hist +12 AnswerEX1-d No edit summary
- 20:5820:58, 25 January 2013 diff hist −1 AnswerEX1-c No edit summary
- 20:5720:57, 25 January 2013 diff hist +2 Formulae and their interpretation No edit summary
- 20:5720:57, 25 January 2013 diff hist −4 Formulae and their interpretation No edit summary
- 20:5520:55, 25 January 2013 diff hist +1 AnswerEX1-d No edit summary
- 20:5420:54, 25 January 2013 diff hist +48 AnswerEX1-d No edit summary
- 20:5220:52, 25 January 2013 diff hist +8 Formulae and their interpretation No edit summary
- 20:5220:52, 25 January 2013 diff hist +40 AnswerEX-b3 No edit summary
- 20:5120:51, 25 January 2013 diff hist +30 AnswerEX-b2 No edit summary
- 20:5020:50, 25 January 2013 diff hist −2 AnswerEX2-a5 No edit summary
- 20:5020:50, 25 January 2013 diff hist −2 AnswerEX2-a4 No edit summary
- 20:5020:50, 25 January 2013 diff hist −2 AnswerEX2-a3 No edit summary
- 20:5020:50, 25 January 2013 diff hist −2 AnswerEX2-a2 No edit summary
- 20:4920:49, 25 January 2013 diff hist +32 Formulae and their interpretation No edit summary
- 20:4820:48, 25 January 2013 diff hist −2 AnswerEX2-a1 No edit summary
- 20:4820:48, 25 January 2013 diff hist +1 AnswerEX2-b1 No edit summary
- 20:4820:48, 25 January 2013 diff hist +39 AnswerEX2-b1 No edit summary
- 20:4620:46, 25 January 2013 diff hist +6 AnswerEX2-a5 No edit summary
- 20:4620:46, 25 January 2013 diff hist +6 AnswerEX2-a4 No edit summary
- 20:4620:46, 25 January 2013 diff hist +6 AnswerEX2-a3 No edit summary
- 20:4520:45, 25 January 2013 diff hist +6 AnswerEX2-a2 No edit summary
- 20:4520:45, 25 January 2013 diff hist +6 AnswerEX2-a1 No edit summary
- 20:4420:44, 25 January 2013 diff hist +596 AnswerEX1-d No edit summary
- 20:3820:38, 25 January 2013 diff hist +3 AnswerEX1-c No edit summary
- 20:3720:37, 25 January 2013 diff hist +351 AnswerEX1-c No edit summary
- 20:3020:30, 25 January 2013 diff hist −5 AnswerEX1-d No edit summary
- 20:3020:30, 25 January 2013 diff hist −45 AnswerEX1-d No edit summary
- 20:2720:27, 25 January 2013 diff hist +1 AnswerEX1-c No edit summary
- 20:2620:26, 25 January 2013 diff hist −92 AnswerEX1-c No edit summary
- 20:2320:23, 25 January 2013 diff hist +12 AnswerEX1-c No edit summary
- 20:2220:22, 25 January 2013 diff hist −15 AnswerEX1-c No edit summary
- 20:1820:18, 25 January 2013 diff hist −6 AnswerEX1-c No edit summary
- 20:1720:17, 25 January 2013 diff hist 0 AnswerEX1-b No edit summary
- 20:1620:16, 25 January 2013 diff hist +64 AnswerEX1-b No edit summary
- 20:1520:15, 25 January 2013 diff hist +17 AnswerEX1-b No edit summary
- 20:1420:14, 25 January 2013 diff hist 0 AnswerEX1-b No edit summary
- 20:1420:14, 25 January 2013 diff hist −121 AnswerEX1-b No edit summary
- 20:1320:13, 25 January 2013 diff hist +6 AnswerEX1-b No edit summary
- 20:1220:12, 25 January 2013 diff hist −5 Creation of the World No edit summary
- 20:1120:11, 25 January 2013 diff hist −2 Creation of the World No edit summary
- 20:1120:11, 25 January 2013 diff hist +2 Creation of the World No edit summary
- 20:1020:10, 25 January 2013 diff hist +270 Creation of the World No edit summary
- 20:0620:06, 25 January 2013 diff hist +4 AnswerEX1-d No edit summary
- 20:0620:06, 25 January 2013 diff hist +14 AnswerEX1-d No edit summary
- 20:0020:00, 25 January 2013 diff hist 0 AnswerEX1-c No edit summary
- 19:5919:59, 25 January 2013 diff hist +3 AnswerEX1-b No edit summary
- 19:5719:57, 25 January 2013 diff hist −10 Creation of the World No edit summary
- 19:5519:55, 25 January 2013 diff hist −1 Creation of the World No edit summary
- 19:5519:55, 25 January 2013 diff hist −4 AnswerEX1-a No edit summary
- 19:5419:54, 25 January 2013 diff hist −9 AnswerEX1-a No edit summary
- 19:5419:54, 25 January 2013 diff hist +5 AnswerEX1-a No edit summary
24 January 2013
- 19:4519:45, 24 January 2013 diff hist −52 NMTS-Group9 →Our exercises
- 19:4419:44, 24 January 2013 diff hist +76 N Interpretation of formulea with connectives Created page with "Lissi´s Aufgabe ====Navigation==== *Link to the Wiki Page" current
- 19:4419:44, 24 January 2013 diff hist +32 NMTS-Group9 →Our exercises
- 19:4319:43, 24 January 2013 diff hist +126 N Connectives Created page with "==Interpretation of formulae with connectives== Lissi´s Aufgabe ====Navigation==== *Link to the Wiki Page" current
- 19:4119:41, 24 January 2013 diff hist +9 AnswerEX-b3 No edit summary
- 19:4019:40, 24 January 2013 diff hist −5 AnswerEX-b3 No edit summary
- 19:3919:39, 24 January 2013 diff hist +6 AnswerEX2-b1 No edit summary
- 19:3919:39, 24 January 2013 diff hist +246 N AnswerEX-b3 Created page with "enjoy football togehter(Alice,Tom) = true, because I(Alice) = {Alice}, I(Tom) = {Tom} and <Alice,Tom> '''is''' an element of I(enjoy footbal together). ====Navigation==..."
- 19:3719:37, 24 January 2013 diff hist +196 N AnswerEX-b2 Created page with "blonde(Walter) = false, because I(Walter) = {Walter} and <Walter> is '''not''' an element of I(blonde). ====Navigation==== *[[Formulae_and_their_interpretation|Link to t..."
- 19:3619:36, 24 January 2013 diff hist −2 NMTS-Group9 →Our exercises
- 19:3519:35, 24 January 2013 diff hist +2 NMTS-Group9 →Our exercises
- 19:3419:34, 24 January 2013 diff hist +1 Formulae and their interpretation No edit summary
- 19:3419:34, 24 January 2013 diff hist +6 AnswerEX2-b1 →Navigation
- 19:3419:34, 24 January 2013 diff hist +6 General Explanation Formulae →Navigation current
- 19:3419:34, 24 January 2013 diff hist +6 AnswerEX2-a5 →Navigation
- 19:3319:33, 24 January 2013 diff hist +6 AnswerEX2-a4 →Navigation
- 19:3319:33, 24 January 2013 diff hist +6 AnswerEX2-a3 →Navigation
- 19:3319:33, 24 January 2013 diff hist +4 Formulae and their interpretation →Navigation
- 19:3219:32, 24 January 2013 diff hist +6 AnswerEX2-a2 →Navigation
- 19:3219:32, 24 January 2013 diff hist −17 AnswerEX2-a1 →Navigation
- 19:3219:32, 24 January 2013 diff hist +23 AnswerEX2-a1 →Navigation
- 19:3119:31, 24 January 2013 diff hist +4 Creation of the World →Navigation
- 19:3019:30, 24 January 2013 diff hist +4 General Explanation Formulae →Navigation
- 19:3019:30, 24 January 2013 diff hist +35 General Explanation Formulae →Navigation
- 19:2919:29, 24 January 2013 diff hist +959 N Formulae and their interpretation Created page with "a) Which of the following expressions of predicate logic are formulae? Give an explanation for your decision. If the expression is not a formula try to change it into one. To ..."
- 19:2819:28, 24 January 2013 diff hist −23 Creation of the World No edit summary
- 19:2819:28, 24 January 2013 diff hist +18 Creation of the World →Navigation
- 19:2719:27, 24 January 2013 diff hist +77 N Creation of the World Created page with "==2. Formulae and their interpretation== ====Navigation==== NMTS-Group9"
- 19:2619:26, 24 January 2013 diff hist −3 NMTS-Group9 →Our exercises
- 19:2519:25, 24 January 2013 diff hist +226 NMTS-Group9 →Our exercises
- 19:2119:21, 24 January 2013 diff hist +3 Exercise on Predicate Logic →Creation of the World current
- 19:2119:21, 24 January 2013 diff hist +7 Exercise on Predicate Logic →Create a World
- 19:1919:19, 24 January 2013 diff hist −8 Exercise on Predicate Logic →a) Which of the following expressions of predicate logic are formulae? Give an explanation for your decision. If the expression is not a formula try to change it into one. To check your answer click on the single expressions.
- 19:1919:19, 24 January 2013 diff hist +2 Exercise on Predicate Logic →a) Which of the following expressions of predicate logic are formulae? Give an explanation for your decision. If the expression is not a formula try to change it into one. To check your answer click on the single expressions.
- 19:1819:18, 24 January 2013 diff hist +6 Exercise on Predicate Logic →2. Formulae and their interpretation
- 19:1819:18, 24 January 2013 diff hist 0 AnswerEX2-b1 No edit summary
- 19:1719:17, 24 January 2013 diff hist −1 AnswerEX2-b1 No edit summary
- 19:1619:16, 24 January 2013 diff hist +3 Exercise on Predicate Logic →Formulae and their interpretation
- 19:1619:16, 24 January 2013 diff hist +219 N AnswerEX2-b1 Created page with "father of someone (Paul,Lisa) = true because, I(Paul) = {Paul}, I(Lisa) } {Lisa} and <Paul,Lisa> is a set of I(father of someone). ====Navigation==== *[[Exercise_on_Pr..."
- 19:1419:14, 24 January 2013 diff hist +1 Exercise on Predicate Logic →Formulae and their interpretation
- 19:1319:13, 24 January 2013 diff hist +4 Exercise on Predicate Logic →Formulae and their interpretation
- 19:1219:12, 24 January 2013 diff hist +391 Exercise on Predicate Logic →Formulae and their interpretation
- 19:0219:02, 24 January 2013 diff hist +81 General Explanation Formulae No edit summary
- 19:0119:01, 24 January 2013 diff hist −20 General Explanation Formulae →=Navigation
- 19:0019:00, 24 January 2013 diff hist +790 N General Explanation Formulae Created page with "Formulae are expressions of predicate logic that can be interpreted as true or false according to the defined World. Properties are characteristics of single individuals. Ther..."
- 18:5818:58, 24 January 2013 diff hist +12 Exercise on Predicate Logic →Formulae and their interpretation
- 18:5818:58, 24 January 2013 diff hist +71 Exercise on Predicate Logic →Formulae and their interpretation
- 18:5718:57, 24 January 2013 diff hist 0 AnswerEX2-a5 →enjoy watching football together(Walter) is not a formula
- 18:5618:56, 24 January 2013 diff hist +1 AnswerEX2-a5 →enjoy watching football together(Walter)is not a formula
- 18:5618:56, 24 January 2013 diff hist +20 AnswerEX2-a4 →tall(Alice) is a formula
- 18:5518:55, 24 January 2013 diff hist −1 AnswerEX2-a2 →blonde(Alice,Paul) is not a formula
- 18:5418:54, 24 January 2013 diff hist +357 N AnswerEX2-a5 Created page with "==enjoy watching football together(Walter)'''is not''' a formula== It cannot be interpreted as true or false. As “enjoy watching football together is a relation two individ..."
- 18:5218:52, 24 January 2013 diff hist +237 N AnswerEX2-a4 Created page with "==tall(Alice) '''is''' a formula== As “tall” is a property it requires one individual in brackets. Therefore, it can be interpreted as true or false. ====Navigation==== ..."
- 18:5118:51, 24 January 2013 diff hist 0 Exercise on Predicate Logic →Formulae and their interpretation
- 18:5118:51, 24 January 2013 diff hist 0 AnswerEX2-a3 →Father of someone(Alice,Lisa) is a formula
- 18:5118:51, 24 January 2013 diff hist 0 AnswerEX2-a2 →Blonde(Alice,Paul) is not a formula
- 18:5118:51, 24 January 2013 diff hist 0 AnswerEX2-a1 →Family-dog is not a formula
- 18:5018:50, 24 January 2013 diff hist 0 AnswerEX2-a3 →father of someone(Alice,Lisa) is a formula
- 18:5018:50, 24 January 2013 diff hist +20 AnswerEX2-a2 →This is not a formula
- 18:4918:49, 24 January 2013 diff hist +12 AnswerEX2-a1 →This is not a formula
- 18:4818:48, 24 January 2013 diff hist +430 N AnswerEX2-a3 Created page with "==father of someone(Alice,Lisa) '''is''' a formula== “Father of someone” is a relation and therefore requires two individuals in brackets. Of course, this formula is not ..."
- 18:4618:46, 24 January 2013 diff hist +83 AnswerEX2-a2 →This is not a formula
- 18:4518:45, 24 January 2013 diff hist +1 AnswerEX2-a1 →Navigation
- 18:4518:45, 24 January 2013 diff hist +222 N AnswerEX2-a2 Created page with "==This is not a formula== It cannot be interpreted as true or false. As “blonde” is a property and not a relation it can therefore only have one individual in brackets. ..."
- 18:4318:43, 24 January 2013 diff hist +2 AnswerEX2-a1 →This is not a formula
- 18:4318:43, 24 January 2013 diff hist +81 AnswerEX2-a1 →This is not a formula
- 18:4118:41, 24 January 2013 diff hist +127 AnswerEX2-a1 →This is not a formula
- 18:3918:39, 24 January 2013 diff hist +23 N AnswerEX2-a1 Created page with "=This is not a formula="
- 18:3818:38, 24 January 2013 diff hist +53 Exercise on Predicate Logic →Formulae and their interpretation
- 18:3818:38, 24 January 2013 diff hist −80 Exercise on Predicate Logic →Formulae and their interpretation
- 18:3718:37, 24 January 2013 diff hist −18 Exercise on Predicate Logic →Formulae and their interpretation
- 18:3618:36, 24 January 2013 diff hist +175 Exercise on Predicate Logic →Formulae and their interpretation
- 18:3318:33, 24 January 2013 diff hist +287 Exercise on Predicate Logic →Formulae and their interpretation
- 18:3118:31, 24 January 2013 diff hist −3 Exercise on Predicate Logic →Which
- 18:3118:31, 24 January 2013 diff hist −4 Exercise on Predicate Logic →a) Which
- 18:3118:31, 24 January 2013 diff hist +4 Exercise on Predicate Logic →Formulae and their interpretation
- 18:3018:30, 24 January 2013 diff hist −163 Exercise on Predicate Logic →Which of the following expressions of predicate logic are formulae? Give an explanation for your decision. If the expression is not a formula try to change it into one.
- 18:3018:30, 24 January 2013 diff hist −9 Exercise on Predicate Logic →a) Which of the following expressions of predicate logic are formulae? Give an explanation for your decision. If the expression is not a formula try to change it into one.
- 18:3018:30, 24 January 2013 diff hist +6 Exercise on Predicate Logic →a) Which of the following expressions of predicate logic are formulae? Give an explanation for your decision. If the expression is not a formula try to change it into one.
- 18:2918:29, 24 January 2013 diff hist +181 Exercise on Predicate Logic →Formulae and their interpretation
- 18:2818:28, 24 January 2013 diff hist +2 Exercise on Predicate Logic →Create a World
- 18:2818:28, 24 January 2013 diff hist +72 N Exercise on Predicate Logic Created page with "=Create a World= Marthe´s Aufgabe =Formulae and their interpretation="
- 18:2518:25, 24 January 2013 diff hist +92 NMTS-Group9 →Our exercises
- 18:1618:16, 24 January 2013 diff hist −26 NMTS Meeting 2 →Groups
8 December 2012
- 06:4506:45, 8 December 2012 diff hist −31 NMTS-Group9 →Members
- 06:4406:44, 8 December 2012 diff hist −17 NMTS-Group9 →Our pictures
29 November 2012
- 08:5208:52, 29 November 2012 diff hist +5 NMTS-InferencePage →Dialogue by User:Lisa
- 08:5108:51, 29 November 2012 diff hist 0 NMTS-InferencePage →Dialogue by User:Lisa
- 08:5108:51, 29 November 2012 diff hist −7 NMTS-InferencePage →Dialogue by User:Lisa
- 08:5108:51, 29 November 2012 diff hist −6 NMTS-InferencePage →Dialogue by User:Lisa
- 08:5008:50, 29 November 2012 diff hist +1,152 NMTS-InferencePage →Add your dialogues here
30 October 2012
- 19:0619:06, 30 October 2012 diff hist 0 NMTS-Group9 →Wikipage of Group 5
- 19:0319:03, 30 October 2012 diff hist −2 NMTS-Group9 →Our wiki pages
- 19:0319:03, 30 October 2012 diff hist +51 NMTS-Group9 →Short description of the topic
- 19:0019:00, 30 October 2012 diff hist +88 File:Lisa.jpg →Licensing current
26 October 2012
- 19:3419:34, 26 October 2012 diff hist −4 NMTS-Group9 →Links
- 19:3119:31, 26 October 2012 diff hist +2 NMTS-Group9 →Links
- 19:3019:30, 26 October 2012 diff hist −2 NMTS-Group9 →Links
- 19:3019:30, 26 October 2012 diff hist +4 NMTS-Group9 →Links
- 19:2819:28, 26 October 2012 diff hist 0 NMTS-Group9 →Links
- 19:2719:27, 26 October 2012 diff hist +8 NMTS-Group9 →Links
- 17:1017:10, 26 October 2012 diff hist +24 NMTS Meeting 2 →Groups
- 17:0317:03, 26 October 2012 diff hist +77 NMTS-Group9 →Our pictures
- 17:0317:03, 26 October 2012 diff hist +30 NMTS-Group9 →Wikipage of Group 5
- 16:0116:01, 26 October 2012 diff hist +64 NMTS-Group9 →References
- 16:0016:00, 26 October 2012 diff hist +280 NMTS-Group9 →Our pictures
- 15:5915:59, 26 October 2012 diff hist −38 NMTS-Group0 →Our pictures
- 15:5715:57, 26 October 2012 diff hist +67 NMTS-Group0 →Our pictures
- 15:5615:56, 26 October 2012 diff hist +69 NMTS-Group0 →Our pictures
- 15:5415:54, 26 October 2012 diff hist −91 NMTS-Group0 →Our pictures
- 15:5215:52, 26 October 2012 diff hist −4 NMTS-Group9 →Links
- 09:5409:54, 26 October 2012 diff hist +31 NMTS-Group9 →Wikipage of Group 5
- 09:5309:53, 26 October 2012 diff hist −235 NMTS-Group9 →Our e-learning objects
- 09:5109:51, 26 October 2012 diff hist +796 NMTS-Group9 →Links
- 09:4509:45, 26 October 2012 diff hist −206 NMTS-Group9 →Difficulties
- 09:4409:44, 26 October 2012 diff hist +212 NMTS-Group9 →Examples
- 09:4309:43, 26 October 2012 diff hist +30 NMTS-Group9 →Examples
- 09:4209:42, 26 October 2012 diff hist −588 NMTS-Group9 →Examples
- 09:4109:41, 26 October 2012 diff hist +588 NMTS-Group9 →Short description of the topic
- 09:3709:37, 26 October 2012 diff hist +408 NMTS-Group9 →Topic
- 09:3009:30, 26 October 2012 diff hist −1 NMTS-Group9 →Examples
- 09:2909:29, 26 October 2012 diff hist +206 NMTS-Group9 →Examples
- 09:2209:22, 26 October 2012 diff hist −4 NMTS-Group9 →Examples
- 09:2109:21, 26 October 2012 diff hist +77 NMTS-Group9 →Topic
- 09:1809:18, 26 October 2012 diff hist +28 NMTS-Group9 →Examples
- 09:1709:17, 26 October 2012 diff hist +514 NMTS-Group9 →And
- 09:0609:06, 26 October 2012 diff hist +7 NMTS-Group9 →Topic
- 09:0609:06, 26 October 2012 diff hist +314 N NMTS-Group9 Created page with "= Topic = Predicate logic - logical connectives The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connect..."
- 08:3908:39, 26 October 2012 diff hist 0 NMTS Meeting 2 →Groups
- 08:3808:38, 26 October 2012 diff hist +136 NMTS Meeting 2 →Groups
24 October 2012
- 17:4917:49, 24 October 2012 diff hist +31 Glossary: Formulae →formulae
- 17:4817:48, 24 October 2012 diff hist +32 Glossary:Hyponym →Hyponym current
- 17:3717:37, 24 October 2012 diff hist 0 Glossary:Hyponym →Related terms
- 17:3517:35, 24 October 2012 diff hist +492 N Glossary:Hyponym Created page with "= Hyponym = /ˈhʌɪpə(ʊ)nɪm/ == Definiton == A hyponym is a specific term used to designate a member of a class. == Examples == * blue is a hyponym of the class color *..."
23 October 2012
- 12:2112:21, 23 October 2012 diff hist +27 Basic Glossary →H
- 12:2012:20, 23 October 2012 diff hist +27 Basic Glossary →H
18 October 2012
- 11:5811:58, 18 October 2012 diff hist +47 User:Lisa →Interesting Links
- 11:5511:55, 18 October 2012 diff hist +84 User:Lisa →Personal information
16 October 2012
- 16:3316:33, 16 October 2012 diff hist 0 User:Lisa →Lisa´s User Page
- 16:3116:31, 16 October 2012 diff hist −57 User:Lisa No edit summary
- 16:2816:28, 16 October 2012 diff hist +35 N File:Lisa.jpg No edit summary
- 16:2616:26, 16 October 2012 diff hist −48 User:Lisa →Licensing
- 16:2516:25, 16 October 2012 diff hist +57 User:Lisa →Licensing
- 16:2416:24, 16 October 2012 diff hist −6 User:Lisa →Licensing
- 16:2416:24, 16 October 2012 diff hist −1 User:Lisa →Licensing
- 16:2116:21, 16 October 2012 diff hist +72 User:Lisa →Lisa´s User Page
- 16:2016:20, 16 October 2012 diff hist +150 User:Lisa →Lisa´s User Page
- 16:1816:18, 16 October 2012 diff hist −137 User:Lisa →Licensing
- 16:1816:18, 16 October 2012 diff hist −44 User:Lisa →Lisa´s User Page
- 16:1716:17, 16 October 2012 diff hist +192 User:Lisa →Lisa´s User Page
- 16:0516:05, 16 October 2012 diff hist +19 User:Lisa →Personal Information
- 16:0116:01, 16 October 2012 diff hist +7 User:Lisa →Interesting Links
- 16:0016:00, 16 October 2012 diff hist +1 User:Lisa →Interesting Links
- 16:0016:00, 16 October 2012 diff hist +77 User:Lisa →Personal Information
- 15:5715:57, 16 October 2012 diff hist +385 N User:Lisa Created page with "=Lisa´s User Page= == Personal Information == '''Lisa''' comes from Bamberg and is 24 years old. She is studying in the masters program "Wirtschaftspädagogik" at the Goethe ..."