User David Lewis

31 votes

Taking Seats on a Plane

answered Oct 1, 2010 at 17:03

14 votes

A challenge by R. P. Feynman: give counter-intuitive theorems that can be translated into everyday language

answered Jul 27, 2010 at 23:01

13 votes

A challenge by R. P. Feynman: give counter-intuitive theorems that can be translated into everyday language

answered Sep 18, 2010 at 16:50

10 votes

Intuitive understanding of the derivatives of $\sin x$ and $\cos x$

answered Jul 28, 2010 at 0:45

9 votes

Derivation of the formula for the vertex of a parabola

answered Aug 6, 2010 at 4:51

9 votes

Accepted

How to calculate reflected light angle?

answered Aug 8, 2010 at 16:14

8 votes

Math for computer science?

answered Jun 9, 2012 at 2:17

6 votes

Accepted

Reductions for regular languages?

answered Jun 8, 2012 at 22:28

6 votes

Accepted

How to expand and simplify $(p^y * (pq)^o) / (p^{(2y+o)} * q^{(o-2)})$?

answered Sep 7, 2010 at 13:46

5 votes

Accepted

Proof for formal languages

answered Apr 26, 2012 at 1:50

4 votes

Accepted

Modular exponentiation by repeated squaring (and peasant multiplication]

answered Mar 12, 2012 at 20:40

4 votes

Accepted

Where does binary arithmetic/manipulation enter the mathematics/engineering curriculum?

answered May 9, 2012 at 3:50

4 votes

How to Prove a Programming Language is Turing Complete?

answered Feb 22, 2012 at 15:33

3 votes

An analog of the Myhill-Nerode Theorem for context-free languages?

answered Mar 10, 2012 at 20:32

3 votes

How to calculate reflected light angle?

answered Aug 8, 2010 at 23:08

3 votes

Derivation of the formula for the vertex of a parabola

answered Aug 6, 2010 at 12:25

3 votes

give a counterexample of monoid

answered Apr 17, 2012 at 15:23

2 votes

two sides and angle between them triangle question.

answered Apr 19, 2012 at 17:25

2 votes

How to ensure the syntactic semigroup of $X$ is the smallest semigroup recognizing $X$

answered Apr 10, 2012 at 15:11

2 votes

Accepted

is the language of Turing machine encodings context-sensitive?

answered May 10, 2012 at 3:02

2 votes

Big O Notation reliability?

answered May 12, 2012 at 23:07

2 votes

Which automata recognise the algebraic numbers?

answered May 21, 2012 at 16:02

2 votes

Prove that [ContextFreeLanguage - RegularLanguage] is always a context free language, but the opposite is false

answered May 8, 2012 at 3:30

2 votes

Accepted

Terminology for a function computed by a finite-state transducer?

answered Jun 13, 2012 at 2:45

2 votes

Why this lemma is true?

answered Mar 1, 2012 at 22:57

2 votes

Accepted

Regular Expressions - Over the alphabet $(a, b, c)$

answered Feb 20, 2012 at 23:15

1 vote

How do I find if two triangles are adjacent, when they differ in size?

answered Sep 6, 2010 at 5:05

1 vote

Non-recursive subset which is recursively enumerable

answered Mar 4, 2012 at 16:59

1 vote

What is larger -- the set of all positive even numbers, or the set of all positive integers?

answered Aug 2, 2010 at 16:54

1 vote

Pushdown Automaton

answered May 30, 2012 at 17:03

Stack Exchange Network

33 Answers

Taking Seats on a Plane

A challenge by R. P. Feynman: give counter-intuitive theorems that can be translated into everyday language

A challenge by R. P. Feynman: give counter-intuitive theorems that can be translated into everyday language

Intuitive understanding of the derivatives of $\sin x$ and $\cos x$

Derivation of the formula for the vertex of a parabola

How to calculate reflected light angle?

Math for computer science?

Reductions for regular languages?

How to expand and simplify $(p^y * (pq)^o) / (p^{(2y+o)} * q^{(o-2)})$?

Proof for formal languages

Modular exponentiation by repeated squaring (and peasant multiplication]

Where does binary arithmetic/manipulation enter the mathematics/engineering curriculum?

How to Prove a Programming Language is Turing Complete?

An analog of the Myhill-Nerode Theorem for context-free languages?

How to calculate reflected light angle?

Derivation of the formula for the vertex of a parabola

give a counterexample of monoid

two sides and angle between them triangle question.

How to ensure the syntactic semigroup of $X$ is the smallest semigroup recognizing $X$

is the language of Turing machine encodings context-sensitive?

Big O Notation reliability?

Which automata recognise the algebraic numbers?

Prove that [ContextFreeLanguage - RegularLanguage] is always a context free language, but the opposite is false

Terminology for a function computed by a finite-state transducer?

Why this lemma is true?

Regular Expressions - Over the alphabet $(a, b, c)$

How do I find if two triangles are adjacent, when they differ in size?

Non-recursive subset which is recursively enumerable

What is larger -- the set of all positive even numbers, or the set of all positive integers?

Pushdown Automaton