User contributions for Lphanvan
From ICO wiki
Jump to navigationJump to search
17 January 2016
- 01:1301:13, 17 January 2016 diff hist −1,170 Local Attacks →9. Sequent predicate calculus LK.
- 01:1301:13, 17 January 2016 diff hist 0 N File:Inference.png No edit summary current
- 01:1101:11, 17 January 2016 diff hist +1,566 Local Attacks →9. Sequent predicate calculus LK.: new section
- 01:1101:11, 17 January 2016 diff hist +1,933 Local Attacks →8. Semantics of predicate calculus. Validity and satisfiability of predicate statements.: new section
- 01:0701:07, 17 January 2016 diff hist +180 Local Attacks →7. Propositional calculus PC. Derivation in classical logic.: new section
16 January 2016
- 21:2921:29, 16 January 2016 diff hist +8 Local Attacks →1. Propositions, logical operations and compound propositional statements
- 20:3420:34, 16 January 2016 diff hist +540 Local Attacks →6. Logical equivalences for quantifiers.: new section
- 20:3420:34, 16 January 2016 diff hist +2 Local Attacks →5. Predicates and quantifiers. Bound and free variables.
- 20:3420:34, 16 January 2016 diff hist +3 Local Attacks →5. Predicates and quantifiers. Bound and free variables.
- 20:3320:33, 16 January 2016 diff hist +1,533 Local Attacks →5. Predicates and quantifiers. Bound and free variables.: new section
- 20:3320:33, 16 January 2016 diff hist +1 Local Attacks →4. Conjunctive and Disjunctive Normal Form of propositional statements.
- 20:3320:33, 16 January 2016 diff hist +1 Local Attacks →4. Conjunctive and Disjunctive Normal Form of propositional statements.
- 20:3320:33, 16 January 2016 diff hist +742 Local Attacks →4. Conjunctive and Disjunctive Normal Form of propositional statements.: new section
- 20:3220:32, 16 January 2016 diff hist +10 Local Attacks →3. Algebra of propositions.
- 20:3220:32, 16 January 2016 diff hist +962 Local Attacks →3. Algebra of propositions.: new section
- 20:3120:31, 16 January 2016 diff hist +938 Local Attacks →2. Classification of compound propositions: tautology, contradiction, contingency, logical equivalence, contrapositive, converse.: new section
- 20:3120:31, 16 January 2016 diff hist +1,041 Local Attacks →1. Propositions, logical operations and compound propositional statements: new section
- 20:3120:31, 16 January 2016 diff hist −118,234 Local Attacks Blanked the page
13 January 2016
- 11:4711:47, 13 January 2016 diff hist +218 Local Attacks →SSH
- 11:4111:41, 13 January 2016 diff hist +415 Local Attacks →SSH: new section
12 January 2016
- 02:4002:40, 12 January 2016 diff hist +82 Local Attacks →Linux Command Line
- 02:3802:38, 12 January 2016 diff hist +5,568 Local Attacks →Linux Command Line: new section
- 01:5001:50, 12 January 2016 diff hist +6 Local Attacks →Hardware
- 01:4801:48, 12 January 2016 diff hist −4 Local Attacks →Hardware
- 01:4801:48, 12 January 2016 diff hist +3 Local Attacks →Hardware
- 01:0501:05, 12 January 2016 diff hist +41,058 Local Attacks →PS4: new section
- 00:4400:44, 12 January 2016 diff hist 0 Local Attacks →Hardware
- 00:4300:43, 12 January 2016 diff hist +18 Local Attacks →Hardware
- 00:4300:43, 12 January 2016 diff hist +1,088 Local Attacks →History: new section
- 00:4300:43, 12 January 2016 diff hist 0 N File:Color.PNG No edit summary current
- 00:3600:36, 12 January 2016 diff hist +998 Local Attacks →Algorithms and data structures: new section
- 00:3600:36, 12 January 2016 diff hist +6,276 Local Attacks →Publishing work: new section
11 January 2016
- 23:5423:54, 11 January 2016 diff hist +6,871 Local Attacks →Hardware description language: new section
- 23:5323:53, 11 January 2016 diff hist +4,056 Local Attacks →Hardware
- 23:5023:50, 11 January 2016 diff hist −20 Local Attacks →Microcontrollers
- 23:5023:50, 11 January 2016 diff hist +2,799 Local Attacks →Microcontrollers: new section
- 23:4823:48, 11 January 2016 diff hist +1,689 Local Attacks →Data encoding
- 23:3623:36, 11 January 2016 diff hist +657 Local Attacks →Data encoding
- 23:3423:34, 11 January 2016 diff hist +2,804 Local Attacks →Data encoding
- 23:2723:27, 11 January 2016 diff hist +565 Local Attacks →Data encoding
- 23:2123:21, 11 January 2016 diff hist +1,422 Local Attacks →What is quantization in terms of signal processing?
- 23:0223:02, 11 January 2016 diff hist +891 Local Attacks →Data encoding
- 22:5422:54, 11 January 2016 diff hist +1 Local Attacks →What is quantization in terms of signal processing?
- 22:5322:53, 11 January 2016 diff hist +2,069 Local Attacks →Data encoding
- 22:3722:37, 11 January 2016 diff hist +863 Local Attacks →Write 0xDEADBEEF in decimal?
- 22:3722:37, 11 January 2016 diff hist +2,531 Local Attacks →Data encoding: new section
- 22:3622:36, 11 January 2016 diff hist +30 Local Attacks →Storage abstractions
- 22:3522:35, 11 January 2016 diff hist +22 Local Attacks →Hardware
- 22:3422:34, 11 January 2016 diff hist +2,278 Local Attacks →Hardware
- 22:3022:30, 11 January 2016 diff hist +6 Local Attacks →Hardware
