Hi all,
Welcome to my MAT243 blog for Fall 2013. There are more than 50 students in this course. This means that we will have to keep a fairly rigid schedule with the lectures (normally I like to slow down or speed up according to feedback from the students).
This week and next week we'll be concerned about propositional logic--more about this in class. This is the classical logic in which propositions take two values only--true and false--and in which the truth values of compound propositions are determined from precise rules involving the truth values of the components. Note that a binary valued variable also takes two values, zero and one. There is an important and useful connection between logic and binary arithmetic according to the rule True->1, False->0. This means that, although a major purpose of propositional logic is learning how to think, it also serves as the backdrop for many calculations involving binary numbers, that is with the inner workings of computers.
Welcome to my MAT243 blog for Fall 2013. There are more than 50 students in this course. This means that we will have to keep a fairly rigid schedule with the lectures (normally I like to slow down or speed up according to feedback from the students).
This week and next week we'll be concerned about propositional logic--more about this in class. This is the classical logic in which propositions take two values only--true and false--and in which the truth values of compound propositions are determined from precise rules involving the truth values of the components. Note that a binary valued variable also takes two values, zero and one. There is an important and useful connection between logic and binary arithmetic according to the rule True->1, False->0. This means that, although a major purpose of propositional logic is learning how to think, it also serves as the backdrop for many calculations involving binary numbers, that is with the inner workings of computers.
No comments:
Post a Comment