Register to reply

Boolean Algebra in the Context of Mathematics

by PhotonTrail
Tags: algebra, boolean, context, mathematics
Share this thread:
PhotonTrail
#1
Mar11-13, 03:15 PM
P: 13
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:
  • 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
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.

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?
Phys.Org News Partner Mathematics news on Phys.org
Heat distributions help researchers to understand curved space
Professor quantifies how 'one thing leads to another'
Team announces construction of a formal computer-verified proof of the Kepler conjecture
Square1
#2
Mar11-13, 11:22 PM
P: 115
I took a ring theory class and the text book was on intro abstract algebra. There was a chapter (maybe even two) that talked about it but we never did it. And yea funny because I was looking around too for a course about it too but couldn't find one. I haven't looked for textbooks in our library though.

Weird title by the way o_0
PhotonTrail
#3
Mar12-13, 12:00 AM
P: 13
Quote Quote by Square1 View Post
I took a ring theory class and the text book was on intro abstract algebra. There was a chapter (maybe even two) that talked about it but we never did it. And yea funny because I was looking around too for a course about it too but couldn't find one. I haven't looked for textbooks in our library though.

Weird title by the way o_0
Haha my thread title? I was trying to get across the idea that I'm curious about what's happening on the mathematical side of the pond. I'm quite sure computer scientists do deal with it on a regular basis in some form or another. The most helpful resources I've found on the internet so far came from computer science departments, and largely dealt with logic gates if I remember correctly.

Square1
#4
Mar12-13, 01:23 AM
P: 115
Boolean Algebra in the Context of Mathematics

I see I see. Yeah try looking in abstraact algebra books I guess.


Register to reply

Related Discussions
Boolean Algebra Set Theory, Logic, Probability, Statistics 1
Simplifying Boolean Expressions using the Laws of Boolean Algebra Calculus & Beyond Homework 15
Simplifying Boolean Expressions using the Laws of Boolean Algebra Engineering, Comp Sci, & Technology Homework 1
Boolean Algebra Linear & Abstract Algebra 3
Boolean Algebra Engineering, Comp Sci, & Technology Homework 1