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,

2 questions with no upvoted or accepted answers
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
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