In some engineering schools, Mathematical Logic has been taught as an independent subject, in other cases, as a topic in another subject, almost always Discrete Mathematics.
Based on your experience or simply your opinion: which is the best option?
Personally I would not teach it with discrete maths. The way I was first taught it was alongside number theory, which fits well with the methods used in Godel's Theorem,
James Tuite In the first case, when combining Mathematical Logic and Number Theory, having in mind including the Godel's Theorems as one aims, it looks like there could be present explicitly the concept of formal system: did you included, or consider its inclusion pertinent?
In the second case, the "duet" Mathematical Logic - Set Theory is probably the most classical approach.... I was thinking to write "particularly when the subject aims are practical oriented (applied mathematics)", but I realize that in both, pure and applied cases they are strongly related, even historically, not just because they can interchange representations and being the each other foundation. And precisely for that again here the introduction of formal system concept look to be appropriated.
It depends on how profoundly you want to discuss. It can added with discrete maths or number theory.
Leonid Bedratyuk Can elaborate your point of view? It would be interesting to know why.
A separate course in Mathematical Logic would require the inclusion of topics that would likely be excessively complex for engineering students to grasp. Therefore, it's more practical to limit the coverage to logical operations in the Discrete Mathematics .
- Badges
- Science topic
- Similar topics
- Mathematics