User contributions for Lphanvan
From ICO wiki
Jump to navigationJump to search
17 January 2016
- 03:1603:16, 17 January 2016 diff hist +842 Local Attacks →10. Proof techniques. Constructive and non-constructive proofs.
- 03:0103:01, 17 January 2016 diff hist +3 Local Attacks →10. Proof techniques. Constructive and non-constructive proofs.
- 03:0003:00, 17 January 2016 diff hist +1,214 Local Attacks →10. Proof techniques. Constructive and non-constructive proofs.: new section
- 03:0003:00, 17 January 2016 diff hist 0 N File:Example1.png No edit summary current
- 02:1302:13, 17 January 2016 diff hist −1,170 Local Attacks →9. Sequent predicate calculus LK.
- 02:1302:13, 17 January 2016 diff hist 0 N File:Inference.png No edit summary current
- 02:1102:11, 17 January 2016 diff hist +1,566 Local Attacks →9. Sequent predicate calculus LK.: new section
- 02:1102:11, 17 January 2016 diff hist +1,933 Local Attacks →8. Semantics of predicate calculus. Validity and satisfiability of predicate statements.: new section
- 02:0702:07, 17 January 2016 diff hist +180 Local Attacks →7. Propositional calculus PC. Derivation in classical logic.: new section
16 January 2016
- 22:2922:29, 16 January 2016 diff hist +8 Local Attacks →1. Propositions, logical operations and compound propositional statements
- 21:3421:34, 16 January 2016 diff hist +540 Local Attacks →6. Logical equivalences for quantifiers.: new section
- 21:3421:34, 16 January 2016 diff hist +2 Local Attacks →5. Predicates and quantifiers. Bound and free variables.
- 21:3421:34, 16 January 2016 diff hist +3 Local Attacks →5. Predicates and quantifiers. Bound and free variables.
- 21:3321:33, 16 January 2016 diff hist +1,533 Local Attacks →5. Predicates and quantifiers. Bound and free variables.: new section
- 21:3321:33, 16 January 2016 diff hist +1 Local Attacks →4. Conjunctive and Disjunctive Normal Form of propositional statements.
- 21:3321:33, 16 January 2016 diff hist +1 Local Attacks →4. Conjunctive and Disjunctive Normal Form of propositional statements.
- 21:3321:33, 16 January 2016 diff hist +742 Local Attacks →4. Conjunctive and Disjunctive Normal Form of propositional statements.: new section
- 21:3221:32, 16 January 2016 diff hist +10 Local Attacks →3. Algebra of propositions.
- 21:3221:32, 16 January 2016 diff hist +962 Local Attacks →3. Algebra of propositions.: new section
- 21:3121:31, 16 January 2016 diff hist +938 Local Attacks →2. Classification of compound propositions: tautology, contradiction, contingency, logical equivalence, contrapositive, converse.: new section
- 21:3121:31, 16 January 2016 diff hist +1,041 Local Attacks →1. Propositions, logical operations and compound propositional statements: new section
- 21:3121:31, 16 January 2016 diff hist −118,234 Local Attacks Blanked the page
13 January 2016
- 12:4712:47, 13 January 2016 diff hist +218 Local Attacks →SSH
- 12:4112:41, 13 January 2016 diff hist +415 Local Attacks →SSH: new section
12 January 2016
- 03:4003:40, 12 January 2016 diff hist +82 Local Attacks →Linux Command Line
- 03:3803:38, 12 January 2016 diff hist +5,568 Local Attacks →Linux Command Line: new section
- 02:5002:50, 12 January 2016 diff hist +6 Local Attacks →Hardware
- 02:4802:48, 12 January 2016 diff hist −4 Local Attacks →Hardware
- 02:4802:48, 12 January 2016 diff hist +3 Local Attacks →Hardware
- 02:0502:05, 12 January 2016 diff hist +41,058 Local Attacks →PS4: new section
- 01:4401:44, 12 January 2016 diff hist 0 Local Attacks →Hardware
- 01:4301:43, 12 January 2016 diff hist +18 Local Attacks →Hardware
- 01:4301:43, 12 January 2016 diff hist +1,088 Local Attacks →History: new section
- 01:4301:43, 12 January 2016 diff hist 0 N File:Color.PNG No edit summary current
- 01:3601:36, 12 January 2016 diff hist +998 Local Attacks →Algorithms and data structures: new section
- 01:3601:36, 12 January 2016 diff hist +6,276 Local Attacks →Publishing work: new section
- 00:5400:54, 12 January 2016 diff hist +6,871 Local Attacks →Hardware description language: new section
- 00:5300:53, 12 January 2016 diff hist +4,056 Local Attacks →Hardware
- 00:5000:50, 12 January 2016 diff hist −20 Local Attacks →Microcontrollers
- 00:5000:50, 12 January 2016 diff hist +2,799 Local Attacks →Microcontrollers: new section
- 00:4800:48, 12 January 2016 diff hist +1,689 Local Attacks →Data encoding
- 00:3600:36, 12 January 2016 diff hist +657 Local Attacks →Data encoding
- 00:3400:34, 12 January 2016 diff hist +2,804 Local Attacks →Data encoding
- 00:2700:27, 12 January 2016 diff hist +565 Local Attacks →Data encoding
- 00:2100:21, 12 January 2016 diff hist +1,422 Local Attacks →What is quantization in terms of signal processing?
- 00:0200:02, 12 January 2016 diff hist +891 Local Attacks →Data encoding
11 January 2016
- 23:5423:54, 11 January 2016 diff hist +1 Local Attacks →What is quantization in terms of signal processing?
- 23:5323:53, 11 January 2016 diff hist +2,069 Local Attacks →Data encoding
- 23:3723:37, 11 January 2016 diff hist +863 Local Attacks →Write 0xDEADBEEF in decimal?
- 23:3723:37, 11 January 2016 diff hist +2,531 Local Attacks →Data encoding: new section