Strategies for Tackling Proofs in Spivak Calculus

  • Context: Undergrad 
  • Thread starter Thread starter mendem03
  • Start date Start date
  • Tags Tags
    Calculus Spivak
Click For Summary

Discussion Overview

The discussion revolves around strategies for tackling proofs in Spivak's Calculus, particularly focusing on the challenges faced by a first-year university student in a computer science program. Participants explore various approaches to understanding and constructing mathematical proofs, as well as the appropriateness of Spivak's text for the student's background and course requirements.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Homework-related

Main Points Raised

  • One participant expresses difficulty in understanding and constructing proofs, seeking strategies to improve.
  • Another participant questions the relevance of Spivak's Calculus for a computer science student, suggesting it is more suited for those pursuing pure mathematics.
  • Some participants recommend alternative texts, such as "Concrete Mathematics" and "Discrete Mathematics with Applications," which may better align with the student's program.
  • A participant emphasizes the importance of persistence and understanding what information is missing in order to solve proof problems.
  • The student shares a specific proof attempt regarding inequalities, asking for feedback on their approach.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the appropriateness of Spivak's Calculus for the student's studies, with some advocating for its rigor while others suggest it may not be the best fit for a computer science curriculum. The discussion remains unresolved regarding the best strategies for approaching proofs.

Contextual Notes

Participants highlight the student's lack of prior exposure to similar mathematical concepts, which may contribute to their difficulties. There is also mention of the varying focus of mathematics courses in computer science compared to pure mathematics.

Who May Find This Useful

Students in computer science or related fields who are encountering challenges with mathematical proofs, particularly those using Spivak's Calculus or similar texts.

mendem03
Messages
14
Reaction score
0
I am having a really difficult time doing these proofs and want to know how i need to confront them and if there is a good strategy to solving these.
I am in first year university. I understood the problem the prof went over but when i try to do on my own, I am just not able to prove them. I don't know how to even start with some of them
 
Physics news on Phys.org
Difficult to know what to suggest without quite a bit more background information.

What are you studying for instance?

What part of Spivak is causing difficulty?

What is your maths background - have you ever seen anything like this before, perhaps high school calculus?
 
We are studying chapter one and I have never done this kind of math before
 
You don't go long on replies do you?

So why are you studying Spivak? What is your course now?

Spivak is one of the most thorough books of its kind but it is intended for those starting a serious pure maths course. It contains much unecessary detail for those who only need to use maths (eg engineers).

Are you aware of the second book which goes with it?

Supplement to the Calculus

(also by Spivak)
 
I am in the computer science program and this is a recommended course.
I don't know about the second book but I'm going to guess we will be using that one for calculus 2 in 2nd semester
 
I can't imagine why a computer scientist (engineer?) would use Spivak to study calculus.
I suggest you get hold of a second year and ask for pointers as to the relevance.

The second book (Supplement to the Calculus) is not part2 it is just what is says on the tin. Further explanation including solutions to all the problems not explicitly solved in the main book.

Since I still don't have any idea if this is your first exposure to any form of calculus it is hard to make further recommendations.

Concrete Mathematics by Graham, Knuth and Patashink
(A foundation for computer science)
Probably contains your needs and would be a valuable reference in times to come.

Discrete Mathematics by Biggs

Covers similar ground but is more formal.

There are many good calculus books out there, designed for all sorts of purposes.

Stewart's various books are very popular at the moment

An Introduction to Infinitesimal Calculus by Gaunt
is old but also good.

go well
 
Hmm, CS, that explains the brevity of responses, then, doesn't it? You make it sort of tough to help you. Which problems, specifically, are giving you trouble?

There is a Spivak Online Study Group around here, somewhere.
 
Ive also spent some time with spivak, but having studied mathematical physics, i honestly cannot imagine why you would be using it. Most CS math courses tend to deal with discrete mathematics, and mandatory undergraduate math courses usually begin with building into multivariable calculus and linear algebra. Spivak is very good at what it does, which is give a solid groundwork into real analysis.

May i also suggest stewart (the body of material covered by this text is very broad, and also surprisingly well explained), alternatively there is Kreyzsig (Advanced Engineering Mathematics) might be better for later understanding.
Also check out Discrete Mathematics with Applications Susanna Epp, very good first year text for introductions to logic and understanding how to construct a proof
 
mendem03 said:
I am having a really difficult time doing these proofs and want to know how i need to confront them and if there is a good strategy to solving these.
I am in first year university. I understood the problem the prof went over but when i try to do on my own, I am just not able to prove them. I don't know how to even start with some of them

If you just don't give up and try to figure out what you don't understand and what information you are missing in order to solve the problem, it will suddenly come to you. The more you do this the better you will get.
 
  • #10
Ok let me explain everything
I am currently going to University of Toronto in first year
I am in the computer science program and the courses we are recommended to take are:
mata31h3 calculus 1, mata37h3 calculus 2, mata27h3 linear algebra 1, csca08h3, csca65h3 and another computer science course.
And I am having trouble approaching this questions.

here is one proof i tried can someone tell me if I am no the right track

Question
if a < b, then -b < -a

proof
if a < b then a-b<0 and b-a>0
so a-b<0<b-a
so -b<-a
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
5K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 17 ·
Replies
17
Views
11K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 17 ·
Replies
17
Views
2K