Computer Science
CuriousKid7's user avatar
CuriousKid7's user avatar
CuriousKid7's user avatar
CuriousKid7
  • Member for 5 years, 3 months
  • Last seen more than a month ago
Profile Activity
Stats
229
reputation
627
reached
0
answers
6
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
View all tags
0
Score
2
Posts
33
Posts %
0
Score
2
Posts
33
Posts %
0
Score
2
Posts
33
Posts %
0
Score
2
Posts
33
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
Top posts
All Questions Answers
Score Newest
question
3
Showing that an equivalence relation on programs need not be a congruence
Oct 20, 2018
question
3
An instance when you can eliminate propositional double negation in coq
Oct 30, 2018
question
3
Constructing a reduction between two languages about pairs of Turing machines
Mar 19, 2019
question
2
Substituting a term for a variable in a context
Jun 14, 2019
question
1
Reading elements of a countable set with Turing machine
Mar 3, 2019
question
0
Constructing a DFA $M$ such that $L(M) = L(A) \bigtriangleup L(B)$ with a kind of log-space TM
Apr 9, 2019
Top network posts
View all network posts
12
If $f(x) \in \mathbb{Q}[x]$ is irreducible, then is $f(x^2)$irreducible?
12
Are all paths with the same endpoints homotopic in a simply connected region?
9
Use of Lagrange multipliers in pure math problems
7
Equivalent statements to the GCH
7
Finding representatives of conjugacy classes in $\text{Mat}_2(\mathbb{Q})$

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.