7 ความสัมพันธ์: ชนิดข้อมูลแบบบูลพีชคณิตแบบบูลกฎเดอมอร์แกนจอห์น เวนน์คล็อด แชนนอนคณิตตรรกศาสตร์เส้นเวลาของคณิตศาสตร์
ชนิดข้อมูลแบบบูล
ในวิทยาการคอมพิวเตอร์ ชนิดข้อมูลแบบบูล (Boolean data type) หรือ ชนิดข้อมูลแบบตรรกะ เป็นชนิดข้อมูลแบบหนึ่ง เก็บค่าได้เพียง 2 ค่าคือ ค่าจริงและค่าเท็จ ใช้ในการเก็บค่าความจริงและดำเนินการแบบพีชคณิตบูลีน ชื่อบูลนี้มาจากจอร์จ บูลซึ่งได้นิยามระบบพีชคณิตบูลีนขึ้น.
ใหม่!!: จอร์จ บูลและชนิดข้อมูลแบบบูล · ดูเพิ่มเติม »
พีชคณิตแบบบูล
ในคณิตศาสตร์และวิทยาการคอมพิวเตอร์ พีชคณิตแบบบูล, พีชคณิตบูลีน หรือ แลตทิซแบบบูล (Boolean algebra) คือโครงสร้างเชิงพีชคณิตซึ่งเป็นการรวบรวมแก่นความหมายของการดำเนินการทางตรรกศาสตร์และทฤษฎีเซต โดยชื่อพีชคณิตแบบบูลนั้นตั้งตามจอร์จ บูล ผู้พัฒนาพีชคณิตแบบนี้.
ใหม่!!: จอร์จ บูลและพีชคณิตแบบบูล · ดูเพิ่มเติม »
กฎเดอมอร์แกน
กฎเดอมอร์แกนหรือกฎของเดอมอร์กอง(อ่านตามภาษาฝรั่งเศส) (De Morgan's laws) หรือ ทฤษฎีบทเดอมอร์แกน (De Morgan's theorem) เป็นกฎในวิชาตรรกศาสตร์ คือ ชุดของกฎในสาขาตรรกศาสตร์รูปนัยซึ่งแสดงความสัมพันธ์อย่างเป็นระบบระหว่างคู่ของตัวดำเนินการเชิงตรรกที่คู่กัน โดยแสดงในรูปนิเสธ ความสัมพันธ์เช่นนี้เรียกว่าภาวะคู่กันเดอมอร์แกน (De Morgan duality) กฎนี้แสดงว่าประพจน์ทางซ้ายมือต่อไปนี้แต่ละตัวสมมูลเชิงตรรกกับประพจน์ทางขวามือที่คู่กัน และเราสามารถแปลงประพจน์จากข้างหนึ่งไปเป็นอีกข้างหนึ่งได้ ไม่ว่าในทิศทางใดก็ตาม.
ใหม่!!: จอร์จ บูลและกฎเดอมอร์แกน · ดูเพิ่มเติม »
จอห์น เวนน์
อห์น เวนน์ (John Venn; 4 สิงหาคม ค.ศ. 1834 – 4 เมษายน ค.ศ. 1923) เป็นนักคณิตศาสตร์, นักปรัชญา และนักตรรกศาสตร์ชาวอังกฤษ.
ใหม่!!: จอร์จ บูลและจอห์น เวนน์ · ดูเพิ่มเติม »
คล็อด แชนนอน
ล็อด แชนนอน (Claude Elwood Shannon) วิศวกรไฟฟ้าและนักคณิตศาสตร์ชาวอเมริกัน ได้รับการยกย่องว่าเป็นบิดาแห่งทฤษฎีสารสนเทศ และเป็นผู้วิจัยและออกแบบวงจรดิจิตอล โดยแสดงให้เห็นว่าวงจรดิจิตอลตามพีชคณิตแบบบูลสามารถคำนวณตรรกศาสตร์และพีชคณิตทุกชนิดได้.
ใหม่!!: จอร์จ บูลและคล็อด แชนนอน · ดูเพิ่มเติม »
คณิตตรรกศาสตร์
ณิตตรรกศาสตร์ (Mathematical logic) คือสาขาหนึ่งในคณิตศาสตร์ที่ศึกษาระบบรูปนัย และคุณลักษณะที่ระบบดังกล่าวจะสามารถใช้เพื่อแสดงมโนทัศน์ของบทพิสูจน์ และการคำนวณในส่วนที่เป็นรากฐานของคณิตศาสตร์ แม้ว่าคนทั่วไปมักมีความเข้าใจว่า คณิตตรรกศาสตร์คือ ตรรกศาสตร์ของคณิตศาสตร์ แต่ความจริงแล้วสาขานี้ใกล้เคียงกับ คณิตศาสตร์ของตรรกศาสตร์ มากกว่า เนื้อหาวิชาในสาขานี้ครอบคลุมส่วนของตรรกศาสตร์ที่สามารถโมเดลในรูปของคณิตศาสตร์ได้ เมื่อก่อนสาขานี้ถูกเรียกว่า ตรรกศาสตร์สัญลักษณ์ (ในลักษณะที่ตรงข้ามกับตรรกศาสตร์เชิงปรัชญา) และอภิคณิตศาสตร์ ซึ่งในปัจจุบันเป็นเพียงคำที่ใช้ในบางสาขาของทฤษฎีบทพิสูจน.
ใหม่!!: จอร์จ บูลและคณิตตรรกศาสตร์ · ดูเพิ่มเติม »
เส้นเวลาของคณิตศาสตร์
้นเวลาของคณิตศาสตร์บริสุทธิ์และคณิตศาสตร์ประยุกต์ (timeline of mathematics).