- #1
PhotonTrail
- 13
- 0
I'm currently taking a course on Boolean algebra. It's officially named "Mathematical Logic", but I really don't see much resemblance between what I'm doing and other courses of mathematical logic that are taught in the US.
It has only been a couple of weeks, but to let you have an inkling of the syllabus, so far we've covered roughly the following content:
So, what's the deal? Is it simply taught under a different guise with completely different terminology in the States? A quick search on the forums brought up an ancient thread that mentioned a textbook by a certain Dr Monk published in the late 1980s, but it seems to be out of print. It probably approaches the subject with way more depth and breadth than I require, too.
Is the topic even being taught today, as a mathematical course? Or are people only concerned about the applied aspects of it in computer science?
It has only been a couple of weeks, but to let you have an inkling of the syllabus, so far we've covered roughly the following content:
- Boolean functions and formulae
- Identities of Boolean algebra
- Representation by schemes of functional elements
- Disjunctive and conjunctive normal forms
- Shannon's expansion - simply referred to as the decomposition theorem in my course
- Algebraic normal form
- Essential and fictitious variables
So, what's the deal? Is it simply taught under a different guise with completely different terminology in the States? A quick search on the forums brought up an ancient thread that mentioned a textbook by a certain Dr Monk published in the late 1980s, but it seems to be out of print. It probably approaches the subject with way more depth and breadth than I require, too.
Is the topic even being taught today, as a mathematical course? Or are people only concerned about the applied aspects of it in computer science?