269 reputation
213
bio website
location Czech Republic
age 23
visits member for 1 year, 6 months
seen Mar 28 at 10:44

student of Czech technical university in Prague


Jan
10
accepted Lambda calculus - function reduction
Jan
10
comment Lambda calculus - function reduction
One last question: If I understand it clearly... so Normal reduction terminates and it gives the output $\lambda x.x$, while applicative gets stuck in infinite loop? Is it so?
Jan
10
revised Lambda calculus - function reduction
deleted 638 characters in body
Jan
10
comment Lambda calculus - function reduction
Thanks, I think I understand it more claerly now...
Jan
10
comment Lambda calculus - function reduction
It is described here: cs.stackexchange.com/questions/7702/…
Jan
10
asked Lambda calculus - function reduction
Oct
6
awarded  Yearling
May
11
accepted Limit with variable: non-defined expression
May
11
comment Limit with variable: non-defined expression
It didnt occur to me that it works like this.. thanks!
May
11
comment Limit with variable: non-defined expression
@fgp I mean the situation where $a = 0$ AND $x \rightarrow \infty$
May
11
asked Limit with variable: non-defined expression
Feb
15
accepted Term-document vs document-term matrix
Feb
15
comment Term-document vs document-term matrix
Fair enough, there is probably no deeper reason, thx.
Feb
15
asked Term-document vs document-term matrix
Jan
8
asked VC dimension of an oriented hyperplane
Jan
5
accepted Are these sets convex polyhedrons?
Jan
5
revised Are these sets convex polyhedrons?
edited title
Jan
5
asked Are these sets convex polyhedrons?
Jan
3
comment Is this subspace linear or affine?
$a^Tx \in R^{n \times n}$
Jan
3
accepted Is this subspace linear or affine?