Logic & máy tính
Claude Shannon năm 1937: luận văn biến mạch rơ-le thành đại số Boole
Luận văn thạc sĩ MIT 1937 của Shannon chỉ ra mạch rơ-le tính được bằng đại số Boole: nối tiếp là "và", song song là "hoặc" — nền thiết kế mọi con chip.
Logic & máy tính
Logic thành mạch điện, phép cộng, mã lập trình và máy kiểm chứng: từ Shannon tới logic mờ.
Logic & máy tính
Logic & máy tính
Đèn cầu thang hai công tắc: phép XOR ngay trong nhà giải thích dễ hiểu
Đèn cầu thang bật tắt ở hai đầu vì trạng thái đèn là XOR (hoặc XNOR) của hai công tắc hai chiều: gạt bất kỳ công tắc nào, đèn cũng đổi trạng thái.
Logic & máy tính
Bộ cộng nhị phân: ghép cổng logic XOR, AND thành phép cộng như thế nào
Bộ cộng bán phần có tổng là A XOR B, số nhớ là A AND B; ghép hai bộ với một cổng OR được bộ cộng toàn phần, nối đuôi n bộ là cộng được hai số n bit.
Logic & máy tính
Cổng NAND và NOR: vì sao chỉ một loại cổng dựng được cả máy tính
NAND và NOR đầy đủ chức năng: chỉ dùng một loại là dựng được NOT, AND, OR nên dựng được mọi mạch. XOR cần 4 cổng NAND; AND với OR thì không bao giờ đủ.
Logic & máy tính
Bìa Karnaugh: cách rút gọn biểu thức logic bằng bảng ô vuông từng bước
Bìa Karnaugh xếp bảng chân trị thành ô vuông theo thứ tự 00, 01, 11, 10 để ô kề nhau chỉ khác một biến; khoanh nhóm 1, 2, 4, 8 ô số 1 là ra biểu thức gọn.
Logic & máy tính
Toán tử AND, OR trong lập trình: đánh giá tắt và những lỗi hay gặp
&& là "và", || là "hoặc", được đánh giá tắt: A sai thì A && B dừng, A đúng thì A || B dừng. Hiểu điều này để viết điều kiện bảo vệ và tránh lỗi ưu tiên.
Logic & máy tính
Bài toán SAT là gì: vì sao kiểm công thức logic thoả được lại khó
SAT hỏi một công thức logic có cách gán đúng sai để thành đúng không. Kiểm nghiệm nhanh, tìm nghiệm có thể phải thử 2ⁿ khả năng; năm 1971 Cook chứng minh nó NP-
Logic & máy tính
Logic mờ là gì: Lotfi Zadeh năm 1965 và chiếc nồi cơm điện fuzzy
Logic mờ cho câu đúng một phần, độ đúng từ 0 tới 1, do Lotfi Zadeh đặt nền năm 1965. Nhờ luật kiểu "hơi nóng thì giảm lửa", nồi cơm fuzzy tự chỉnh nhiệt mượt.
Logic & máy tính
Prolog là gì: ngôn ngữ lập trình bằng sự kiện và luật suy diễn logic
Prolog là ngôn ngữ lập trình logic ra đời năm 1972 ở Marseille: khai báo sự kiện và luật, đặt câu hỏi, máy tự suy diễn bằng hợp nhất và quay lui để trả lời.
Logic & máy tính
Kiểm chứng hình thức: dùng logic chứng minh chip và phần mềm không lỗi
Kiểm chứng hình thức dùng logic chứng minh chip, phần mềm đúng đặc tả với mọi đầu vào, thay vì chỉ thử. Sau lỗi chia Pentium 1994, ngành chip dùng nó cho phần c