User Code-Guru

6 votes

1 answer

2k views

Lexicographical order - posets vs preorders

asked Jul 1, 2012 at 20:00

6 votes

2 answers

1k views

Induction without integers (aka Structural Induction)

asked Aug 5, 2012 at 0:04

4 votes

2 answers

264 views

$<$ in a preorder

asked Jul 13, 2012 at 22:39

4 votes

1 answer

10k views

Is standard deviation additive?

asked Nov 4, 2012 at 22:11

4 votes

4 answers

11k views

Solving a trigonometric system of equations

asked Oct 14, 2013 at 16:29

3 votes

1 answer

733 views

Pointwise order of the Cartesian product of two preordered chains

asked Jul 24, 2012 at 23:44

3 votes

3 answers

613 views

Proving that the theorems of one logistic system are also theorems of another logistic system

asked Dec 11, 2012 at 4:21

3 votes

2 answers

3k views

Graham scan convex hull algorithm - include all points on boundary

asked Jan 15, 2013 at 23:03

3 votes

1 answer

577 views

Preorders, chains, cartesian products, and lexicographical order

asked Jul 15, 2012 at 21:52

3 votes

1 answer

520 views

Examples of preorders in which meets and joins do not exist

asked Jul 23, 2012 at 17:24

3 votes

2 answers

4k views

Formation sequence for a logic formula

asked Aug 6, 2012 at 18:02

3 votes

2 answers

5k views

What is a "canonical function"?

asked Nov 26, 2013 at 2:48

2 votes

3 answers

357 views

Equal elements vs isomorphic elements in a preoder

asked Jul 12, 2012 at 21:15

2 votes

2 answers

258 views

Structural Induction: Base case leads to a contradiction

asked Mar 26, 2013 at 1:04

2 votes

0 answers

117 views

Proving that an effective procedure is correct

asked Aug 31, 2012 at 1:33

2 votes

0 answers

66 views

Prove that there are no theorems in which there are no occurrences of disjunction

asked Nov 26, 2013 at 2:23

1 vote

1 answer

594 views

Uniqueness of meets and joins in posets

asked Jul 23, 2012 at 17:29

1 vote

1 answer

677 views

Prove that the disjunctions of all conjucts is a disjunctive normal form

asked Jun 19, 2014 at 21:33

1 vote

2 answers

322 views

Heuristics for solving first order, nonhomogenous, linear differential equations

asked Sep 15, 2014 at 23:10

1 vote

1 answer

135 views

Permuting orbits

asked Jun 25, 2017 at 18:14

1 vote

1 answer

64 views

Equivalence of pointwise stabalizer and centralizer

asked Jul 1, 2017 at 19:43

0 votes

2 answers

74 views

Let $X$ be a set and ${\rm Sym}(X)$, the symmetric group on $X$. If $x,y\in X$, is there guaranteed to be an $f\in{\rm Sym}(X)$ such that $f(x)=y$? [closed]

asked Jul 27, 2020 at 18:29

0 votes

1 answer

474 views

$<$ on a preorder is a strict partial order

asked Jul 23, 2012 at 18:52

0 votes

4 answers

436 views

Identifying which "plain text" is in English

asked Aug 9, 2012 at 21:35

Stack Exchange Network

24 Questions

Lexicographical order - posets vs preorders

Induction without integers (aka Structural Induction)

$<$ in a preorder

Is standard deviation additive?

Solving a trigonometric system of equations

Pointwise order of the Cartesian product of two preordered chains

Proving that the theorems of one logistic system are also theorems of another logistic system

Graham scan convex hull algorithm - include all points on boundary

Preorders, chains, cartesian products, and lexicographical order

Examples of preorders in which meets and joins do not exist

Formation sequence for a logic formula

What is a "canonical function"?

Equal elements vs isomorphic elements in a preoder

Structural Induction: Base case leads to a contradiction

Proving that an effective procedure is correct

Prove that there are no theorems in which there are no occurrences of disjunction

Uniqueness of meets and joins in posets

Prove that the disjunctions of all conjucts is a disjunctive normal form

Heuristics for solving first order, nonhomogenous, linear differential equations

Permuting orbits

Equivalence of pointwise stabalizer and centralizer

Let $X$ be a set and ${\rm Sym}(X)$, the symmetric group on $X$. If $x,y\in X$, is there guaranteed to be an $f\in{\rm Sym}(X)$ such that $f(x)=y$? [closed]

$<$ on a preorder is a strict partial order

Identifying which "plain text" is in English