คณิตตรรกศาสตร์และคณิตศาสตร์

ทางลัด: ความแตกต่างความคล้ายคลึงกันค่าสัมประสิทธิ์การเปรียบเทียบ Jaccardการอ้างอิง

ความแตกต่างระหว่าง คณิตตรรกศาสตร์และคณิตศาสตร์

คณิตตรรกศาสตร์ vs. คณิตศาสตร์

ณิตตรรกศาสตร์ (Mathematical logic) คือสาขาหนึ่งในคณิตศาสตร์ที่ศึกษาระบบรูปนัย และคุณลักษณะที่ระบบดังกล่าวจะสามารถใช้เพื่อแสดงมโนทัศน์ของบทพิสูจน์ และการคำนวณในส่วนที่เป็นรากฐานของคณิตศาสตร์ แม้ว่าคนทั่วไปมักมีความเข้าใจว่า คณิตตรรกศาสตร์คือ ตรรกศาสตร์ของคณิตศาสตร์ แต่ความจริงแล้วสาขานี้ใกล้เคียงกับ คณิตศาสตร์ของตรรกศาสตร์ มากกว่า เนื้อหาวิชาในสาขานี้ครอบคลุมส่วนของตรรกศาสตร์ที่สามารถโมเดลในรูปของคณิตศาสตร์ได้ เมื่อก่อนสาขานี้ถูกเรียกว่า ตรรกศาสตร์สัญลักษณ์ (ในลักษณะที่ตรงข้ามกับตรรกศาสตร์เชิงปรัชญา) และอภิคณิตศาสตร์ ซึ่งในปัจจุบันเป็นเพียงคำที่ใช้ในบางสาขาของทฤษฎีบทพิสูจน. ยูคลิด (กำลังถือคาลิเปอร์) นักคณิตศาสตร์ชาวกรีก ในสมัย 300 ปีก่อนคริสตกาล ภาพวาดของราฟาเอลในชื่อ ''โรงเรียนแห่งเอเธนส์''No likeness or description of Euclid's physical appearance made during his lifetime survived antiquity. Therefore, Euclid's depiction in works of art depends on the artist's imagination (see ''Euclid''). คณิตศาสตร์ เป็นศาสตร์ที่มุ่งค้นคว้าเกี่ยวกับ โครงสร้างนามธรรมที่ถูกกำหนดขึ้นผ่านทางกลุ่มของสัจพจน์ซึ่งมีการให้เหตุผลที่แน่นอนโดยใช้ตรรกศาสตร์สัญลักษณ์ และสัญกรณ์คณิตศาสตร์ เรามักนิยามโดยทั่วไปว่าคณิตศาสตร์เป็นสาขาวิชาที่ศึกษาเกี่ยวกับรูปแบบและโครงสร้าง, การเปลี่ยนแปลง และปริภูมิ กล่าวคร่าว ๆ ได้ว่าคณิตศาสตร์นั้นสนใจ "รูปร่างและจำนวน" เนื่องจากคณิตศาสตร์มิได้สร้างความรู้ผ่านกระบวนการทดลอง บางคนจึงไม่จัดว่าคณิตศาสตร์เป็นสาขาของวิทยาศาสตร์ ในอดีตผู้คนจะใช้สิ่งของแทนจำนวนที่จะนับยิ่งนานเข้าจำนวนประชากรยิ่งมีมากขึ้น ทำให้ผู้คนเริ่มคิดที่จะประดิษฐ์ตัวเลขขึ้นมาแทนการนับที่ใช้สิ่งของนับแทนจากนั้นก็มีการบวก ลบคูณ และหาร จากนั้นก็ก่อให้เกิดคณิตศาสตร์ คำว่า "คณิตศาสตร์" (คำอ่าน: คะ-นิด-ตะ-สาด) มาจากคำว่า คณิต (การนับ หรือ คำนวณ) และ ศาสตร์ (ความรู้ หรือ การศึกษา) ซึ่งรวมกันมีความหมายโดยทั่วไปว่า การศึกษาเกี่ยวกับการคำนวณ หรือ วิชาที่เกี่ยวกับการคำนวณ.

พีชคณิตนามธรรม

ีชคณิตนามธรรม (อังกฤษ: abstract algebra) คือสาขาหนึ่งของคณิตศาสตร์ที่ศึกษาเกี่ยวกับโครงสร้างเชิงพีชคณิต เช่น กรุป, ริง และฟิล.

คณิตตรรกศาสตร์และพีชคณิตนามธรรม · คณิตศาสตร์และพีชคณิตนามธรรม · ดูเพิ่มเติม »

การคำนวณ

การคำนวณ หรือ การคณนา สามารถนิยามได้ว่าเป็นการหาคำตอบของปัญหาจากข้อมูลป้อนเข้าโดยการใช้ขั้นตอนวิธี ศาสตร์ที่ศึกษาเกี่ยวกับเรื่องนี้คือ ทฤษฎีการคำนวณ ซึ่งเป็นสาขาย่อยของวิทยาการคอมพิวเตอร์และคณิตศาสตร์ เป็นเวลากว่าพันปีที่การคำนวณนั้นกระทำด้วยปากกาและกระดาษ หรือชอล์กและกระดานชนวน หรือด้วยการใช้สมอง โดยบางครั้งมีการใช้ตารางประกอบด้วย หมวดหมู่:วิทยาการคอมพิวเตอร์เชิงทฤษฎี หมวดหมู่:ทฤษฎีการคำนวณได้.

การคำนวณและคณิตตรรกศาสตร์ · การคำนวณและคณิตศาสตร์ · ดูเพิ่มเติม »

ตรรกศาสตร์

ตรรกศาสตร์ (logic - มีรากศัพท์จากภาษากรีกคือ λόγος, logos) โดยทั่วไปประกอบด้วยการศึกษารูปแบบของข้อโต้แย้งอย่างเป็นระบบ ข้อโต้แย้งที่สมเหตุสมผลคือข้อโต้แย้งที่มีความสัมพันธ์ของการสนับสนุนเชิงตรรกะที่เฉพาะเจาะจงระหว่างข้อสมมุติพื้นฐานของข้อโต้แย้งและข้อสรุป ตรรกศาสตร์เป็นการศึกษาเชิงปรัชญาว่าด้วยการให้เหตุผล โดยมักจะเป็นส่วนสำคัญของวิชาปรัชญา คณิตศาสตร์ คอมพิวเตอร์ รวมถึงภาษาศาสตร์ ตรรกศาสตร์เป็นการตรวจสอบข้อโต้แย้งที่สมเหตุสมผล (valid argument) หรือการให้เหตุผลแบบผิดๆ (fallacies) ตรรกศาสตร์ เป็นการศึกษาที่มีมานานโดยมนุษยชาติที่เจริญแล้ว เช่น กรีก จีน หรืออินเดีย และถูกยกขึ้นเป็นสาขาวิชาหนึ่งโดย อริสโตเติล.

คณิตตรรกศาสตร์และตรรกศาสตร์ · คณิตศาสตร์และตรรกศาสตร์ · ดูเพิ่มเติม »