As of May 31, 2023, we have updated our Code of Conduct.
Computer Science
Imago's user avatar
Imago's user avatar
Imago's user avatar
Imago
  • Member for 8 years, 2 months
  • Last seen more than a week ago
Profile Activity
Stats
425
reputation
14k
reached
1
answer
14
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
15
bronze badges
Top tags
View all tags
1
Score
3
Posts
20
Posts %
0
Score
4
Posts
27
Posts %
0
Score
4
Posts
27
Posts %
0
Score
2
Posts
13
Posts %
0
Score
1
Posts
7
Posts %
0
Score
1
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
13
Proving tautology with coq
Nov 26, 2016
question
6
What is a unifier?
Nov 6, 2016
question
4
Why are there only NOR and NAND flashes?
Sep 20, 2016
question
3
Exercise about First-order logic
Mar 19, 2017
question
3
What is random logic? Why is it needed?
Aug 26, 2017
question
2
Construct skolemform of: $\forall X.((\forall Y.\exists Z. R(X,Y,Z)) \land \forall S. \exists T. R(X, S,T))$
Mar 27, 2017
question
2
How can one flip a stream using corecursion
Feb 15, 2019
question
1
How are micro commands processed?
Jun 12, 2016
question
1
What are advantages / disadvantages of horizontal and vertical microprograms?
Jan 26, 2017
question
1
What is "time-slice multi-threading"?
Sep 10, 2017
Top network posts
View all network posts
45
Why does $ \int_0^1 \lceil { x\sin({1 \over x})} \rceil \,dx = 1 - \frac{\log(4)}{2\pi} $?
24
Infinitely many dwarves wearing hats of 2 colours
16
Cards in the darkness
13
Can you create a class structure that does not have Object as its base class
13
How does an embryo know where to grow limbs etc

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.