Tom

### Questions (13)

 4 Is it possible to derive $N= \left\lceil R \right\rceil$ from $R\leq N < R+1$ when $R$ positive real number and N is positive integer? 3 How to classify recurrence equations? 3 Induction over real number 2 Finding a closed form for recurrence relations $a_n=na_{n-1}+1$ and $a_n=na_{n-1}+n$ 2 Propositional logic question for designing new proof system

### Reputation (281)

 +40 Is it possible to derive $N= \left\lceil R \right\rceil$ from $R\leq N < R+1$ when $R$ positive real number and N is positive integer? +10 Propositional logic question for designing new proof system +20 Finding a closed form for recurrence relations $a_n=na_{n-1}+1$ and $a_n=na_{n-1}+n$ +10 How to solve the quantified equation?

This user has not answered any questions

### Tags (17)

 0 first-order-logic × 4 0 closed-form 0 recurrence-relations × 4 0 sequences-and-series 0 recursion × 2 0 induction 0 ceiling-and-floor-functions × 2 0 inequality 0 real-numbers × 2 0 integers

### Bookmarks (0)

This user has no bookmarked questions.