### 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?

### Answers (0)

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.

### Accounts (12)

 Stack Overflow 864 rep 66 silver badges1818 bronze badges Mathematics 281 rep 11 silver badge1010 bronze badges Mathematica 125 rep 55 bronze badges Computer Science 125 rep 44 bronze badges Cross Validated 113 rep 33 bronze badges

### Badges (10)

 Custodian Critic Caucus × 2 Scholar Curious Supporter Yearling Student Commentator Editor

### Active bounties (0)

This user has no active bounties

### Votes cast (16)

all time   by type   month
14 up 3 question 1
2 down 13 answer