đại số Boole – Mathematics

“A Symbolic Analysis of Relay and Switching Circuits”, đó là tên của luận văn thạc sĩ về Khoa học máy tính của Claude E. Shannon bảo vệ tại MIT (Massachusetts Institute of Technology) năm 1937.

Ảnh: Bìa cuốn luận văn của C. Shannon (nguồn: Internet).

Montreal telephone exchange (Wikipedia.org)

Trong luận văn này, Shannon đã chứng tỏ rằng Đại số Boole có thể sử dụng để rút gọn hay đơn giản hóa sự sắp xếp của các rơ le trong các khối của các thiết bị viễn thông cơ điện tự động trong mạng điện thoại (building blocks of the electromechanical automatic telephone exchanges). Ông cũng chứng minh rằng sự sắp xếp các rơ le cũng có thể áp dụng để giải các bài toán của Đại số Boole…

Claude E. Shannon (nguồn: Wikipedia.org)

Nhà tâm lý học Gardner đã miêu tả luận văn của Shannon như một “luận văn thạc sĩ quan trọng nhất, và cũng nổi tiếng nhất hết mức có thể, và là luận văn của thế kỷ”. Ngày nay, Shannon được xem như cha đẻ của lý thuyết thông tin (information theory).

Lược dịch từ: https://en.wikipedia.org/wiki/A_Symbolic_Analysis_of_Relay_and_Switching_Circuits

Xem thêm về tiểu sử của Shannon: https://en.wikipedia.org/wiki/Claude_Shannon

Ta đã được làm quen trong giáo trình về ĐS Boole, sau đây là một định nghĩa khác của Đại số Boole trong đó phép toán AND ký hiệu là phép nhân $\cdot$ , phép OR ký hiệu là $+$ .

Định nghĩa: Một tập hợp khác rỗng $B = (a, b, c, \dots)$ với hai phép toán nhị phân OR ký hiệu là $+$ và AND ký hiệu là $\cdot$ và phép lấy phần bù $'$ là một Đại số Boole nếu các phần tử đều thỏa mãn tính chất như sau: