User contributions for Gert
Jump to navigation
Jump to search
18 January 2021
- 12:5612:56, 18 January 2021 diff hist −2 Semantics →The language of first order logic
- 12:5612:56, 18 January 2021 diff hist 0 N File:Fpl1-gwJPG.JPG No edit summary current
- 11:1611:16, 18 January 2021 diff hist +109 Semantics →Parsing complex formulas
- 10:2110:21, 18 January 2021 diff hist −1 Semantics →Conjunctions
- 10:2010:20, 18 January 2021 diff hist 0 Semantics →Parsing complex formulas
- 10:1910:19, 18 January 2021 diff hist +668 Semantics →Parsing complex formulas
- 10:0710:07, 18 January 2021 diff hist +468 Semantics →Parsing complex formulas
- 10:0310:03, 18 January 2021 diff hist +546 Semantics →Parentheses
- 09:5509:55, 18 January 2021 diff hist +1 Semantics →Parentheses
- 09:5409:54, 18 January 2021 diff hist 0 Semantics →Parentheses
- 09:5309:53, 18 January 2021 diff hist 0 Semantics →Parentheses
- 09:5209:52, 18 January 2021 diff hist +79 Semantics →Parentheses
- 09:4909:49, 18 January 2021 diff hist +1 Semantics →= Examples
- 09:4809:48, 18 January 2021 diff hist +488 Semantics →Parentheses
- 09:4409:44, 18 January 2021 diff hist +871 Semantics →Disjunctions, Implications, and the Equivalence
- 09:3509:35, 18 January 2021 diff hist +321 Semantics →Disjunctions, Implications, and the Equivalence
- 09:3109:31, 18 January 2021 diff hist +127 Semantics →Disjunctions, Implications, and the Equivalence
- 09:2809:28, 18 January 2021 diff hist +11 Semantics →Disjunctions, Implications, and the Equivalence
- 09:2709:27, 18 January 2021 diff hist +211 Semantics →Conjunctions
- 09:2409:24, 18 January 2021 diff hist +350 Semantics →Conjunctions
- 09:2109:21, 18 January 2021 diff hist +608 Semantics →Conjunctions
- 09:1209:12, 18 January 2021 diff hist +57 Semantics →Conjunctions
- 09:1209:12, 18 January 2021 diff hist +4 Semantics →= Examples
- 09:1109:11, 18 January 2021 diff hist +284 Semantics →Negated formulas
- 09:0809:08, 18 January 2021 diff hist +130 Semantics →Negated formulas
- 09:0709:07, 18 January 2021 diff hist +347 Semantics →= Examples
- 09:0309:03, 18 January 2021 diff hist +5 Semantics →= Examples
- 09:0309:03, 18 January 2021 diff hist +198 Semantics →= Examples
- 09:0109:01, 18 January 2021 diff hist +295 Semantics →= Examples
- 08:5808:58, 18 January 2021 diff hist +2 Semantics →= Syntax
- 08:5708:57, 18 January 2021 diff hist 0 Semantics →Extending the language: Connectives
- 08:5708:57, 18 January 2021 diff hist 0 Semantics →Extending the language: Connectives
- 08:5708:57, 18 January 2021 diff hist +66 Semantics →Extending the language: Connectives
- 08:5608:56, 18 January 2021 diff hist 0 N File:Negation and connectivesJPG.JPG No edit summary current
- 08:5508:55, 18 January 2021 diff hist +56 Semantics →Extending the language: Connectives
- 08:5408:54, 18 January 2021 diff hist 0 N File:Atomic formulasJPG.JPG No edit summary current
- 08:5008:50, 18 January 2021 diff hist +1 Semantics →Extending the language: Connectives
- 08:5008:50, 18 January 2021 diff hist −1 Semantics →Extending the language: Connectives
- 08:4908:49, 18 January 2021 diff hist +370 Semantics →Extending the language: Connectives
- 08:4408:44, 18 January 2021 diff hist −149 Semantics →= Syntax
- 08:4408:44, 18 January 2021 diff hist +107 Semantics →Extending the language: Connectives
- 08:4308:43, 18 January 2021 diff hist 0 Semantics →Extending the language: Connectives
- 08:4208:42, 18 January 2021 diff hist 0 Semantics →Extending the language; Connectives
- 08:4208:42, 18 January 2021 diff hist +54 Semantics →Extending the language; Connectives
- 08:4208:42, 18 January 2021 diff hist 0 N File:Atomic formulas and connectives.JPG No edit summary current
- 08:3608:36, 18 January 2021 diff hist +207 Semantics →The language of first order logic
16 January 2021
- 13:2013:20, 16 January 2021 diff hist +64 Practical Grammar 8 →Complement Clauses
- 13:1813:18, 16 January 2021 diff hist −1 Practical Grammar 8 →The Difference between Defining Equations and Constraining Equations
- 13:1713:17, 16 January 2021 diff hist −1 Practical Grammar 8 →The Difference between Defining Equations and Constraining Equations
12 January 2021
- 10:2210:22, 12 January 2021 diff hist +32 Practical Grammar 8 →Homework