Are There Proofs for Floor and Ceiling Properties in Computer Science?

  • Thread starter jack1234
  • Start date
  • Tags
    Book Proof
In summary, a "book that introduces the proof" is a type of book that explains the fundamentals of mathematical proof techniques and is intended for students or individuals who are new to proof-based mathematics. It differs from other math books by focusing specifically on teaching proof techniques. There are different levels of these books for different levels of math proficiency, and while it is not necessary to read one before studying more advanced topics, it can greatly aid in understanding and solving complex problems.
  • #1
jack1234
133
0
Some floor and ceiling properties like
ceil(lg(n+1))=floor(lg(n)+1)
and "Some properties of ceiling function" section under "http://en.wikipedia.org/wiki/Floor_function"

and summation properties like
"Identities" section under "http://en.wikipedia.org/wiki/Sum"
prove to me very useful for computer science study.

But I am interesting of their proof. Does any mathematics book or computer science book has provide proofs for the properties mentioned above?
 
Last edited by a moderator:
Physics news on Phys.org
  • #2
Your question was asked here.
 

1. What is a "book that introduces the proof"?

A "book that introduces the proof" is a type of book that explains the fundamentals of mathematical proof techniques. It may cover topics such as logic, set theory, and methods of proof.

2. Who is a "book that introduces the proof" intended for?

A "book that introduces the proof" is typically intended for students or individuals who are new to proof-based mathematics, such as high school or college students.

3. What makes a "book that introduces the proof" different from other math books?

A "book that introduces the proof" is different from other math books because it focuses specifically on teaching the foundations of proof techniques rather than covering a wide range of mathematical topics.

4. Are there different levels of "book that introduces the proof" for different levels of math proficiency?

Yes, there are different levels of "book that introduces the proof" for different levels of math proficiency. Some books may be geared towards beginners, while others may be more advanced and cover more complex proof techniques.

5. Is it necessary to read a "book that introduces the proof" before studying more advanced math topics?

While it is not necessary to read a "book that introduces the proof" before studying more advanced math topics, having a strong understanding of proof techniques can greatly aid in understanding and solving more complex problems in mathematics.

Similar threads

Is ceil(n/k) equal to floor((n-1)/k) + 1 for positive integer values of n and k?
    • Precalculus Mathematics Homework Help
Replies
2
Views
2K
External Direct Sums & Direct Products .... Bland Ex. 1b, 2.1
    • Calculus and Beyond Homework Help
Replies
7
Views
1K
Is this computability theory proof correct?
    • Programming and Computer Science
Replies
1
Views
1K
Connes Embedding Problem: MIP* = RE"
    • Programming and Computer Science
Replies
2
Views
749
Some Properties of the Rationals .... Bloch Ex. 1.5.9 (3)
    • Calculus and Beyond Homework Help
2
Replies
45
Views
3K
The Weak Nullstellensatz .... aspects of proof by Cox et al
    • Calculus and Beyond Homework Help
Replies
2
Views
2K
Understanding Existence and Uniqueness
    • Calculus and Beyond Homework Help
Replies
1
Views
1K
What books should I read to start learning computer science?
    • Programming and Computer Science
Replies
7
Views
1K
Divisibility Proof Writing: Exploring the Cancellation Property in Z
    • Calculus and Beyond Homework Help
Replies
1
Views
1K
MHB Understanding Lemma 4.3.12 in Paul E. Bland's Book: "Rings and Their Modules"
    • Linear and Abstract Algebra
Replies
2
Views
1K

Hot Threads

Recent Insights

Back
Top