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.(adsbygoogle = window.adsbygoogle || []).push({});

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:

What I find rather curious is that I simply cannot find an equivalent course at an American institution. It is also quite impossible to find supplementary information on the internet. For example, when I was confused about Shannon's expansion, all I could find online was stuff about decomposition by one variable, whereas my course covered the more general situation of decomposition by m variables.

- 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?

**Physics Forums - The Fusion of Science and Community**

# Boolean Algebra in the Context of Mathematics

Know someone interested in this topic? Share a link to this question via email,
Google+,
Twitter, or
Facebook

Have something to add?

- Similar discussions for: Boolean Algebra in the Context of Mathematics

Loading...

**Physics Forums - The Fusion of Science and Community**