Re:Notes on Discrete Mathematics (2017) [pdf]
by markhkim on Monday June 25, 2018 @09:26AM
(#17392208)
You can't have calculus without the real numbers, and you can't have asymptotic analysis and probability theory without calculus. There goes the whole field of the analysis of algorithms.
Re:Notes on Discrete Mathematics (2017) [pdf]
by fjsolwmv on Monday June 25, 2018 @11:10AM
(#17392989)
You can do discrete math
(including analysis of algorithms) without reals.
Reals are only needed for calculus on infintesimals, which are not relevant to much of CS. Everything you can do with formal Taylor expansions doesn't need reals. In fact knowing calculus on the reals often causes confusion in students learning formal expansions for CS.
Re:Notes on Discrete Mathematics (2017) [pdf]
by Ar-Curunir on Monday June 25, 2018 @12:22PM
(#17393609)
All of optimization, stats and theoretical ML involves solid grasp of calculus over the reals
Re:Notes on Discrete Mathematics (2017) [pdf]
by noelwelsh on Monday June 25, 2018 @09:30AM
(#17392235)
Doing numerical computation is definitely something that comes up in CS, as well as in applied maths. For example, deep learning is all about basic calculus, and algorithms to do this. Many discrete problems can be posed as a continuous problem, which is usually called a relaxation, and more easily (approximately) solved in the continuous domain.
Re:Notes on Discrete Mathematics (2017) [pdf]
by fjsolwmv on Monday June 25, 2018 @11:12AM
(#17393014)
You only need reals for exact solutions. Once you are approximating with smooth functions, you can approximate with rationals/decimal paramters on polynomials.
Re:Notes on Discrete Mathematics (2017) [pdf]
by semigroupoid on Monday June 25, 2018 @11:58AM
(#17393402)
How do you work with smooth functions without using reals?
Re:Notes on Discrete Mathematics (2017) [pdf]
by Eire_Banshee on Monday June 25, 2018 @09:14AM
(#17392112)
Yeah, but you got to get that PhD somehow and there are only so many unique topics for your dissertation. Eventually you gotta start reaching!
> [Basic mathematics on the real numbers] Why: You need to be able to understand, write, and prove equations and inequalities involving real numbers
If logic is the assembly, real numbers must be the Enterprise Java frameworks :)
But really, aren't they from non-discrete (continuous?) mathematics? How are they useful for computer science? Like, sure we have approximations of them on computers (floats, rationals) but aren't they mostly used for those pesky boring real-world-ish calculations? Isn't CS mostly about integers?