Skip to main content
Computer Science
Hunan Rostomyan's user avatar
Hunan Rostomyan's user avatar
Hunan Rostomyan's user avatar
Hunan Rostomyan
  • Member for 11 years, 1 month
  • Last seen more than a month ago
Profile Activity
Stats
356
reputation
3k
reached
4
answers
0
questions
Communities
View all
About

Student

Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
12
bronze badges
Top tags
View all tags
12
Score
2
Posts
50
Posts %
9
Score
2
Posts
50
Posts %
9
Score
2
Posts
50
Posts %
9
Score
1
Posts
25
Posts %
7
Score
1
Posts
25
Posts %
7
Score
1
Posts
25
Posts %
Top posts
answer
9
lambda calculus as a type theory
Aug 12, 2013
answer
7
Differences between basic, complex and terminological facts in a Knowledge Base using First-Order Logic
Aug 14, 2013
answer
3
Relation between Russellian type theory and type systems
Aug 15, 2013
answer
2
FOL substitution - is it possible to substitute two variables with each other? e.g. $\theta=\{x/y,y/x\}$?
Apr 21, 2014
Top network posts
View all network posts
30
What is the difference between a statement and a proposition?
24
Why does Carnap say 'Caesar is a prime number' is meaningless?
23
Difference between implication/conditional and logical entailment?
23
How do you get a list of the names of all files present in a directory in Node.js?
22
Semantic vs syntactic consequence