Search results

Jump to navigation Jump to search

  • AnswerEX1-d
    ''U = {Alice,Paul,Tom,Lisa,Walter''}<br/><br/> I ('''Lisa''') = ''Lisa''<br/><br/>
    2 KB (228 words) - 13:36, 29 January 2013
  • AnswerEX2-b1
    '''father-of-someone'''('''paul''','''lisa''') = ''true'', I('''lisa''') = <''Lisa''>
    288 bytes (31 words) - 12:29, 15 May 2013
  • ExerciseFOLSemantics-1c
    ...isa''>,<''Lisa, Paul''>,<''Paul, Tom''>,<''Tom, Paul''>,<''Tom, Lisa''>,<''Lisa, Tom''>}
    705 bytes (82 words) - 15:03, 22 May 2013
  • ExerciseFOModels-c
    ...''y''> | ''x'' is the father of ''y''} ={<''Paul'', ''Tom''>, <''Paul'',''Lisa''>} ...'x'', ''y''> | ''x'' is the daughter of ''y''} = {<''Lisa'', ''Paul''>, <''Lisa'', ''Alice''>}
    2 KB (167 words) - 20:58, 21 October 2013
  • ExerciseFOModels-d
    .... Both Lisa and her father are tall, while Alice and Tom are rather small. Lisa and her mom share the same hair color, which is blonde. The family enjoys w ''U'' = {''Alice,Paul,Tom,Lisa,Walter''}<br/><br/>
    3 KB (326 words) - 15:03, 22 May 2013
  • AnswerEX3-a
    Sentence: Alice is a dog and Lisa and Tom enjoy watching football together. <nowiki>[[</nowiki>'''dog (Alice) Ʌ enjoy-watching-football-together (Lisa,Tom)''']] = ''false''<br/>
    853 bytes (108 words) - 13:43, 29 January 2013
  • ExerciseFOModels-a
    Lisa<br/> ''U''= {''Alice, Paul, Lisa, Tom, Walter''}
    757 bytes (95 words) - 21:02, 21 October 2013
  • ExerciseFOLSemantics-1a
    '''father-of-someone'''('''paul''','''lisa''') = ''true'' iff<br /> < I('''paul'''), I('''lisa''') > &isin; I('''father-of-someone''') iff<br />
    515 bytes (61 words) - 14:38, 22 May 2013
  • Glossary: G-Function
    {{CreatedByStudents1213}} ''Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa Sentence with proper names: ''Alice likes watching footbal together with Lisa.''
    2 KB (192 words) - 15:56, 11 April 2013
  • ExerciseFOModels-b
    '''tall''': { <''x''> | ''x'' is tall} = {<''Paul''>, <''Lisa''>} '''blonde''':{ <''x''> | ''x'' is blonde} = {<''Alice''>, <''Lisa''>}
    1 KB (140 words) - 17:23, 15 October 2013
  • Glossary: I-Function
    {{CreatedByStudents1213}} ''Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa I('''lisa''')= ''lisa''
    1 KB (130 words) - 15:48, 11 April 2013
  • AnswerEX1-a
    Lisa<br/> ''U= {Alice,Paul,Lisa,Tom,Walter}''
    312 bytes (49 words) - 09:23, 29 January 2013
  • Exercise Semantics of Predicate Logic
    * '''father-of-someone'''('''paul''','''lisa''') <nowiki>[[</nowiki>'''father-of-someone'''('''paul''','''lisa''')]] = ''true'' iff<br />
    4 KB (534 words) - 08:01, 14 April 2015
  • Exercise First Order Models
    {{CreatedByStudents1213}}<br />''Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], and [[User .... Both Lisa and her father are tall, while Alice and Tom are rather small. Lisa and her mom share the same hair color, which is blonde. The family enjoys w
    5 KB (681 words) - 20:43, 6 January 2014
  • Creation of the World
    .... Both Lisa and her father are tall, while Alice and Tom are rather small. Lisa and her mom share the same hair color, which is blonde. The family enjoys w
    2 KB (290 words) - 10:25, 22 February 2013
  • Semantics 1, WiSe 2016/17, Week 4
    {{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa This is shown in the following podcast, created by [[User:Lisa|Lisa Günthner]].
    8 KB (1,033 words) - 23:58, 31 October 2016
  • Formulae and their interpretation
    '''*[[AnswerEX2-a3|father-of-someone(Alice,Lisa)]]''' '''* [[AnswerEX2-b1|father-of-someone(Paul,Lisa)]]'''
    1 KB (155 words) - 09:58, 29 January 2013
  • Exercise on Predicate Logic
    *[[AnswerEX2-a3|father of someone(Alice,Lisa)]] * [[AnswerEX2-b1|father of someone(Paul,Lisa)]]
    995 bytes (148 words) - 19:21, 24 January 2013
  • Glossary: Logical Connectives
    {{CreatedByStudents1213}} ''Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:Isa
    1 KB (168 words) - 15:45, 11 April 2013
  • Exercise Syntax of Predicate Logic
    {{CreatedByStudents1213}}<br />''Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], and [[User .... Both Lisa and her father are tall, while Alice and Tom are rather small. Lisa and her mom share the same hair color, which is blonde. The family enjoys w
    5 KB (663 words) - 15:49, 5 May 2013
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)
Retrieved from "http:///wiki/index.php/Special:Search"