คณิตตรรกศาสตร์ |
หนังสือ | ||||||||||||||||
เนื้อหาโดยย่อ คณิตตรรกศาสตร์ เป็นวิชาว่าด้วยการใช้สัญลักษณ์แทนภาษาธรรมชาติ ซึ่งทำให้กำหนดรูปแบบของภาษาได้แน่นอน คณิตตรรกศาสตร์แบ่งออกเป็น 2 ภาค คือ ตรรกศาสตร์เชิงประพจน์และตรรกศาสตร์ภาคแสดงหรือตรรกศาสตร์บ่งปริมาณ คณิตตรรกศาสตร์มีบทบาทมากในการพัฒนาวิชาการด้านปัญญาประดิษฐ์ ซึ่งได้เสนอในท้ายบทที่ 3 และบทที่ 4
สำนักพิมพ์ มก. (ไม่มีจำหน่ายแล้ว) |