Computer Science
Guy Coder's user avatar
Guy Coder's user avatar
Guy Coder's user avatar
Guy Coder
  • Member for 11 years
  • Last seen more than a week ago
Profile Activity
Stats
5,081
reputation
349k
reached
28
answers
28
questions
Communities
View all
Badges
View all badges
2
gold badges
28
silver badges
63
bronze badges
Top tags
View all tags
37
Score
11
Posts
20
Posts %
37
Score
7
Posts
12
Posts %
35
Score
10
Posts
18
Posts %
32
Score
9
Posts
16
Posts %
11
Score
10
Posts
18
Posts %
0
Score
7
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
47
Learning Automated Theorem Proving
Mar 27, 2012
question
31
How are programming languages and foundations of mathematics related?
Feb 14, 2013
question
27
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
question
22
What is meant by Category theory doesn't yet know how to deal with higher-order functions?
Feb 15, 2013
answer
22
Reason to learn propositional & predicate logic
May 2, 2012
question
20
Types of Automated Theorem Provers
Mar 29, 2012
question
20
Fixed point, what does it mean in the world of computer science
Sep 8, 2012
question
18
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
146
What is the difference between a token and a lexeme?
117
What's the difference between parse trees and abstract syntax trees (ASTs)?
73
How to find a folder on my server with a certain name?
71
How to install TensorFlow on Windows?
53
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.