# User contributions

From CS2800 wiki

For {{GENDER:Js2665|

'"2)(newest | oldest) View (<math>1 {{int:pipe-separator}} </math>2) (20 | 50 | 100 | 250 | 500)

- 19:07, 17 January 2019 (diff | hist) . . (+68) . . N Semantics (Created page with "{{Placeholder|SP19:Lecture 39 Propositional formulas and semantics}}") (current)
- 19:07, 17 January 2019 (diff | hist) . . (+45) . . N Elimination rule (Created page with "{{Placeholder|SP19:Lecture 40 Proofs|Proofs}}") (current)
- 19:06, 17 January 2019 (diff | hist) . . (+45) . . N Introduction rule (Created page with "{{Placeholder|SP19:Lecture 40 Proofs|Proofs}}") (current)
- 19:06, 17 January 2019 (diff | hist) . . (+45) . . N Natural deduction rule (Created page with "{{Placeholder|SP19:Lecture 40 Proofs|Proofs}}") (current)
- 19:06, 17 January 2019 (diff | hist) . . (+45) . . N Natural deduction (Created page with "{{Placeholder|SP19:Lecture 40 Proofs|Proofs}}") (current)
- 19:05, 17 January 2019 (diff | hist) . . (+85) . . N Completeness (Created page with "{{Placeholder|SP19:Lecture 41 Soundness and completeness|Soundness and completeness}}") (current)
- 19:05, 17 January 2019 (diff | hist) . . (+85) . . N Soundness (Created page with "{{Placeholder|SP19:Lecture 41 Soundness and completeness|Soundness and completeness}}") (current)
- 19:04, 17 January 2019 (diff | hist) . . (+38) . . N Proof tree (Created page with "{{Placeholder|SP19:Lecture 40 Proofs}}") (current)
- 19:03, 17 January 2019 (diff | hist) . . (+68) . . N Entails (Created page with "{{Placeholder|SP19:Lecture 39 Propositional formulas and semantics}}") (current)
- 19:03, 17 January 2019 (diff | hist) . . (+68) . . N Valid (Created page with "{{Placeholder|SP19:Lecture 39 Propositional formulas and semantics}}") (current)
- 19:02, 17 January 2019 (diff | hist) . . (+68) . . N Tautology (Created page with "{{Placeholder|SP19:Lecture 39 Propositional formulas and semantics}}") (current)
- 19:01, 17 January 2019 (diff | hist) . . (+30) . . Satisfies (current)
- 19:01, 17 January 2019 (diff | hist) . . (+30) . . Evaluation function (current)
- 19:01, 17 January 2019 (diff | hist) . . (+30) . . Interpretation (current)
- 19:00, 17 January 2019 (diff | hist) . . (+38) . . N Satisfies (Created page with "{{Placeholder|SP19:Lecture 40 Proofs}}")
- 18:59, 17 January 2019 (diff | hist) . . (+38) . . N Evaluation function (Created page with "{{Placeholder|SP19:Lecture 40 Proofs}}")
- 18:59, 17 January 2019 (diff | hist) . . (+38) . . N Interpretation (Created page with "{{Placeholder|SP19:Lecture 40 Proofs}}")
- 18:59, 17 January 2019 (diff | hist) . . (+38) . . N Truth table (Created page with "{{Placeholder|SP19:Lecture 40 Proofs}}") (current)
- 18:58, 17 January 2019 (diff | hist) . . (+68) . . N Propositional formula (Created page with "{{Placeholder|SP19:Lecture 39 Propositional formulas and semantics}}") (current)
- 18:57, 17 January 2019 (diff | hist) . . (+39) . . N Hash function (Created page with "{{Placeholder|SP19:Lecture 38 Hashing}}") (current)
- 18:57, 17 January 2019 (diff | hist) . . (+91) . . N Weak law of large numbers (Created page with "{{Placeholder|SP19:Lecture 37 Markov's/Chebychev's/Weak law|Markov's/Chebychev's/Weak law}}") (current)
- 18:57, 17 January 2019 (diff | hist) . . (+91) . . N Chebychev's inequality (Created page with "{{Placeholder|SP19:Lecture 37 Markov's/Chebychev's/Weak law|Markov's/Chebychev's/Weak law}}") (current)
- 18:56, 17 January 2019 (diff | hist) . . (+91) . . N Markov's inequality (Created page with "{{Placeholder|SP19:Lecture 37 Markov's/Chebychev's/Weak law|Markov's/Chebychev's/Weak law}}") (current)
- 18:55, 17 January 2019 (diff | hist) . . (+40) . . N Sum of variance of independent random variables (Created page with "{{Placeholder|SP19:Lecture 36 Variance}}") (current)
- 18:55, 17 January 2019 (diff | hist) . . (+43) . . N Linearity of expectation (Created page with "{{Placeholder|SP19:Lecture 35 Expectation}}") (current)
- 18:54, 17 January 2019 (diff | hist) . . (+48) . . N Independent random variable (Created page with "{{Placeholder|SP19:Lecture 34 Random variables}}") (current)
- 18:53, 17 January 2019 (diff | hist) . . (-3) . . Variance (current)
- 18:53, 17 January 2019 (diff | hist) . . (+43) . . N Variance (Created page with "{{Placeholder|SP19:Lecture 35 Expectation}}")
- 18:52, 17 January 2019 (diff | hist) . . (+43) . . N Expectation (Created page with "{{Placeholder|SP19:Lecture 35 Expectation}}") (current)
- 18:50, 17 January 2019 (diff | hist) . . (+48) . . N Indicator variable (Created page with "{{Placeholder|SP19:Lecture 34 Random variables}}") (current)
- 18:49, 17 January 2019 (diff | hist) . . (+48) . . N Comparing random variables (Created page with "{{Placeholder|SP19:Lecture 34 Random variables}}") (current)
- 18:49, 17 January 2019 (diff | hist) . . (+48) . . N Sum of random variables (Created page with "{{Placeholder|SP19:Lecture 34 Random variables}}") (current)
- 18:48, 17 January 2019 (diff | hist) . . (+48) . . N Constant random variable (Created page with "{{Placeholder|SP19:Lecture 34 Random variables}}") (current)
- 18:47, 17 January 2019 (diff | hist) . . (+48) . . N PMF (Created page with "{{Placeholder|SP19:Lecture 34 Random variables}}") (current)
- 18:47, 17 January 2019 (diff | hist) . . (-28) . . SP19:Lecture 34 Random variables (Redirected page to FA17 Lecture 8) (current)
- 18:41, 17 January 2019 (diff | hist) . . (-9) . . Product rule (current)
- 18:41, 17 January 2019 (diff | hist) . . (-9) . . Sum rule (current)
- 18:40, 17 January 2019 (diff | hist) . . (+52) . . N Combinatoric proof (Created page with "{{Placeholder|SP19:Lecture 31 Combinatorial proofs}}") (current)
- 18:39, 17 January 2019 (diff | hist) . . (+61) . . N Permutation (Created page with "{{Placeholder|SP19:Lecture 30 Permutations and combinations}}") (current)
- 18:39, 17 January 2019 (diff | hist) . . (+61) . . N Quotient rule (Created page with "{{Placeholder|SP19:Lecture 30 Permutations and combinations}}") (current)
- 18:39, 17 January 2019 (diff | hist) . . (+61) . . N Product rule (Created page with "{{Placeholder|SP19:Lecture 30 Permutations and combinations}}")
- 18:39, 17 January 2019 (diff | hist) . . (+61) . . N Sum rule (Created page with "{{Placeholder|SP19:Lecture 30 Permutations and combinations}}")
- 18:38, 17 January 2019 (diff | hist) . . (+61) . . N Category:Combinatorics (Created page with "{{Placeholder|SP19:Lecture 30 Permutations and combinations}}") (current)
- 18:35, 17 January 2019 (diff | hist) . . (+7) . . L(M)
- 18:34, 17 January 2019 (diff | hist) . . (+7) . . Accept (current)
- 18:34, 17 January 2019 (diff | hist) . . (+61) . . N Transition function (Created page with "{{Placeholder|SP19:Lecture 22 Deterministic Finite Automata}}") (current)
- 18:33, 17 January 2019 (diff | hist) . . (+61) . . N State (Created page with "{{Placeholder|SP19:Lecture 22 Deterministic Finite Automata}}") (current)
- 18:33, 17 January 2019 (diff | hist) . . (+54) . . N Recognize (Created page with "{{Placeholder|SP19:Lecture 23 Automata constructions}}") (current)
- 18:32, 17 January 2019 (diff | hist) . . (+54) . . N L(M) (Created page with "{{Placeholder|SP19:Lecture 23 Automata constructions}}")
- 18:32, 17 January 2019 (diff | hist) . . (+54) . . N Accept (Created page with "{{Placeholder|SP19:Lecture 23 Automata constructions}}")

(newest | oldest) View (<math>1 {{int:pipe-separator}} </math>2) (20 | 50 | 100 | 250 | 500)