Computer Science
user avatar
user avatar
user avatar
Guy Coder
  • Member for 10 years, 3 months
  • Last seen this week
Profile Activity
Stats
5,032
reputation
341k
reached
28
answers
28
questions
Communities
View all
Badges
View all badges
2
gold badges
27
silver badges
62
bronze badges
Top tags
View all tags
37
Score
11
Posts
20
Posts %
37
Score
7
Posts
12
Posts %
34
Score
10
Posts
18
Posts %
32
Score
9
Posts
16
Posts %
10
Score
10
Posts
18
Posts %
0
Score
7
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
46
Learning Automated Theorem Proving
Mar 27, 2012
question
31
How are programming languages and foundations of mathematics related?
Feb 14, 2013
question
26
What is the relation between functors in SML and Category theory?
Feb 14, 2013
answer
25
How to implement a Prolog interpreter in a purely functional language?
Nov 11, 2012
answer
22
Reason to learn propositional & predicate logic
May 2, 2012
question
22
What is meant by Category theory doesn't yet know how to deal with higher-order functions?
Feb 15, 2013
question
20
Fixed point, what does it mean in the world of computer science
Sep 8, 2012
question
20
Types of Automated Theorem Provers
Mar 29, 2012
question
17
Why is unification so important to inference engines?
Mar 29, 2012
question
16
Why do some inference engines need human assistance while others don't?
Mar 29, 2012
Top Meta posts
11
5
11
What is the history of the Computer Science site?
6
For those of us who have trouble with theorems, where should we ask questions?
5
Closed question: Is The following predicate logic formula is valid: Reasons to open
5
Why did this "check my result question" not get close votes?
4
Ideas for promoting the site
Top network posts
View all network posts
141
What is the difference between a token and a lexeme?
114
What's the difference between parse trees and abstract syntax trees (ASTs)?
71
How to install TensorFlow on Windows?
71
How to find a folder on my server with a certain name?
52
Texmaker (Windows version) - first use - Error: Log file not found!

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.