Mirzhan Irkegulov
Reputation
229
Next privilege 250 Rep.
5 16
Impact
~23k people reached

Questions (8)

 6 Express logic puzzles with proposition calculus notation 4 What is the name of the logical puzzle, where one always lies and another always tells the truth? 4 Is there notation for “some two of the three statements are true”? 3 Prove that ≿ is transitive iff ≻ and ∼ are transitive 3 How to prove that nth differences of a sequence of nth powers would be a sequence of n!

Reputation (229)

 +5 Nash equilibrium in first price auction +5 Base-n arithmetic and multi-dimensional matrices +5 How to prove that nth differences of a sequence of nth powers would be a sequence of n! +5 How to call a tree with a single branch?

 5 Learning Lambda Calculus 0 How to do homework for a class in Symbolic Logic on my computer?

Tags (20)

 0 logic × 5 0 sequences-and-series 0 propositional-calculus × 4 0 terminology 0 puzzle × 2 0 trees 0 recurrence-relations 0 type-theory 0 relations 0 arithmetic

Accounts (62)

 Stack Overflow 5,943 rep 13280 Unix & Linux 1,569 rep 31932 Super User 607 rep 525 Code Review 389 rep 210 Philosophy 361 rep 323