Computer Science
Guy Coder
  • Member for 9 years, 10 months
  • Last seen this week
Profile Activity
Stats
4,921
reputation
334k
reached
24
answers
31
questions
Communities
View all
Badges
View all badges
1
gold badge
25
silver badges
61
bronze badges
Top tags
View all tags
36
Score
11
Posts
20
Posts %
36
Score
7
Posts
13
Posts %
34
Score
11
Posts
20
Posts %
32
Score
10
Posts
18
Posts %
8
Score
6
Posts
11
Posts %
0
Score
7
Posts
13
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
46
Learning Automated Theorem Proving
Mar 27 '12
31
How are programming languages and foundations of mathematics related?
Feb 14 '13
26
What is the relation between functors in SML and Category theory?
Feb 14 '13
24
How to implement a Prolog interpreter in a purely functional language?
Nov 11 '12
22
Reason to learn propositional & predicate logic
May 2 '12
22
What is meant by Category theory doesn't yet know how to deal with higher-order functions?
Feb 15 '13
20
Fixed point, what does it mean in the world of computer science
Sep 8 '12
20
Types of Automated Theorem Provers
Mar 29 '12
17
Why is unification so important to inference engines?
Mar 29 '12
16
Why do some inference engines need human assistance while others don't?
Mar 29 '12
Top Meta posts
11
5
10
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
Why did this "check my result question" not get close votes?
5
Closed question: Is The following predicate logic formula is valid: Reasons to open
4
Ideas for promoting the site
Top network posts
View all network posts
136
What is the difference between a token and a lexeme?
108
What's the difference between parse trees and abstract syntax trees (ASTs)?
70
How to find a folder on my server with a certain name?
68
How to install TensorFlow on Windows?
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.