How difficult does this schedule sound?

[inknit]

3rd Semester Schedule

Introduction to Differential Geometry
Introduction to Real Analysis - using Rudin
Advanced Linear Algebra
Symbolic Logic (philosophy course)
Intro Programming (Java)

I have some experience with proofs in LA, read up on basic techniques of proof over summer (contradiction, induction, direct, functions,)

 

[micromass]

This sounds like a good schedule to me. Be prepared to work hard for Rudin though, even if you're acquainted with proofs.

 

[inknit]

^I certainly will. Do you know how proof heavy Diff. Geo will be at the level of Kreyszig?

 

[micromass]

^I certainly will. Do you know how proof heavy Diff. Geo will be at the level of Kreyszig?

I've never looked into Kreyszig But if it's anything like his superb functional analysis book, then it won't be too hard. Differential geometry shouldn't be any of your worries...