Questions tagged [mathematics]

Use this tag for questions about the teaching of mathematics as it applies to computer science, or mathematics concepts in the context of computer science. DO NOT use for questions about pure mathematics or deriving equations or such matters; those questions belong on Mathematics.SE (or graduate-level questions on MathOverflow). Instead,

Filter by
Sorted by
Tagged with
4 votes
0 answers
43 views

How to teach Godel's incompleteness Theorems?

I'm taking a class on Logic in Computer Science, and we've covered propositional logic, predicate logic and second-order logic. Students are familiar with model theory. They are also acquainted with ...
spatial's user avatar
  • 41
1 vote
1 answer
39 views

Can one prove a part of the program to be correct rather than test it? [closed]

When testing software, does people prove some part of the program to work as they want like mathematicians prove their methods to be correct?
guest's user avatar
  • 11
2 votes
2 answers
520 views

How to get into Computer Science from Mathematics background for opening job opportunities?

The title uses the phrase “get into”, though it have broad connotations yet all I meant by that was simply entering into the field of CS for formal job opportunities. I have a decent knowledge of ...
ConGovDeIn's user avatar
3 votes
0 answers
64 views

Doing basically a CS MSc under a mathematics MSc program?

I have recently been reminded again (through lots of pain) why I wanted to do my masters in CS instead of mathematics. Its not that I can't do an MSc in mathematics, its just that I don't enjoy ...
user12227's user avatar
3 votes
3 answers
390 views

why programming languages does not have factorial function?

While searching on the internet I found almost every programming language said implement your own factorial function, rather than giving built-in function for it. Some of stackoverflow answers ...
shoaib sabir's user avatar
4 votes
5 answers
527 views

Is it possible to prove software to be bugless?

I have seen that programmers test their programs often to find out if there are bugs. But is there a way to prove mathematically that a software has no bugs? If it is possible, why it is used so ...
guest's user avatar
  • 51
1 vote
1 answer
63 views

How to learn asymptotic notations rigorously?

Is there any good tutorial about how to make asymptotic notations rigorously? I think the way from Turing machines to the analysis of pseudocode is quite a big. Or is the situation that there are some ...
guest's user avatar
  • 13
1 vote
1 answer
388 views

Cormen's "Algorithms" pre-requisites

What to recommend as a pre-requisite reading before Cormen's "Algorithms" to make this book easier to get through for 10-12th graders? Any courseware available for kids, books, courses, etc.?...
paus's user avatar
  • 233
3 votes
3 answers
149 views

How useful it is for math student to learn programming to find proofs or counterexamples?

I study mathematics and sometimes I have difficulties to find proofs or counterexamples to some problems. Is it useful to learn programming to find counterexamples or proofs? How useful it is for ...
mathlearner's user avatar
5 votes
3 answers
211 views

Software development vs universities and scientific papers

In short: Does learning how to make software, have its place inside universities? If so which parts of it? I was studying in a university in Russia. I don't want to name its name and location. I ...
Gherman's user avatar
  • 153
5 votes
5 answers
210 views

Discrete function is also a math function?

Here is a table of the Staten Island subway: ...
147pm's user avatar
  • 151
58 votes
18 answers
26k views

Why do computer-science majors learn calculus?

I am curious why computer-science majors have to learn calculus to receive their bachelor’s degrees. My father worked as a software engineer for twenty years and never used it. It seems to have little ...
LuminousNutria's user avatar
8 votes
2 answers
187 views

How to teach sums and asymptotics to students who don’t know limits

I am to teach sums and asymptotics to first year CS undergraduates who have only high school math. I thought it would be attractive to follow chapter 14 of https://courses.csail.mit.edu/6.042/...
Simd's user avatar
  • 233
5 votes
2 answers
215 views

How far do you take modular expressions?

I'm sure that basically every introductory course involves teaching about the ubiquitous mod operation. In my experience, and I'm sure I'm not alone in this, I've found that teaching my students that ...
Ben I.'s user avatar
  • 32.9k
7 votes
3 answers
340 views

How to explain combinatorical principles like the rule of product to students who "just don't get it"?

I assist in courses that provide mathematical background to computing science students. Every year, there are some who "just don't get" (in their words) concepts like the rule of product or the ...
user avatar
6 votes
4 answers
721 views

Should students be taught to be first and foremost: scientists or mathematicians?

It's undeniable that Computer Science is a mixture of disciplines including science (the scientific method, some physics needed to truly understand how computers work at all levels, testing ...
Eujinks's user avatar
  • 163
7 votes
4 answers
545 views

Avoiding confusion about precedence

When mentioning operator precedence for AND / OR, I explained it wrongly. I re-explained it properly using the idea of binding: the operator "binds tightly" to the two expressions immediately on ...
user avatar
5 votes
1 answer
444 views

Tips for self-study with just a textbook and google

I'm going to be working through a textbook on discrete mathematics that has a special focus on computer science. My only resources are the textbook (which, in its defense, has answers to the odd ...
auden's user avatar
  • 4,674
7 votes
3 answers
665 views

Teaching "CS integer" vs. "math integer"

The concept of an integer data type is not equivalent to the math concept of the set of integers. For example, in many programming languages the expressions 3. and $...
Bennett Brown's user avatar
28 votes
13 answers
6k views

How do I teach "math equality" vs. "CS assignment" vs. "CS equality logic operator"?

Consider the following three uses of equality: In mathematics, the statement $x = x^2$ In Python, the statement x = x**2 In Python, the expression, ...
Bennett Brown's user avatar
9 votes
5 answers
2k views

Teaching "math function" vs. "CS function"

The word function has different meanings in math and computer science. For example, f(x) = rand(1) is a valid (pseudocoded) CS ...
Bennett Brown's user avatar