logic : (N) ; ตรรกศาสตร์ ; Related:ตรรกวิทยา

ตรรกศาสตร์ : (N) ; logic ; Syn:ตรรกวิทยา ; Def:ปรัชญาสาขาหนึ่งว่าด้วยการคิดหาเหตุผลว่าจะสมเหตุสมผลหรือไม่ ; Samp:การวิเคราะห์อย่างมีเหตุผลแบบใดก็ตามต้องอาศัยการสอบสวนตามหลักตรรกศาสตร์

คอมพิวเตอร์ : (N) ; computer ; Syn:สมองกล ; Def:เครื่องอิเล็กทรอนิกส์แบบอัตโนมัติ ทำหน้าที่รับข้อมูล ประมวลผลด้วยหลักการทางคณิตศาสตร์และตรรกศาสตร์ด้วยความเร็วสูง และแสดงผลผ่านอุปกรณ์ประกอบต่างๆ ; Samp:ผู้ที่เขียนโปรแกรมภาษาเครื่องส่วนมากมักจะมองคอมพิวเตอร์ในแง่ที่ประกอบด้วยส่วนสำคัญ 3 ส่วน คือ ซีพียู หน่วยความจำ และพอร์ต ; Unit:เครื่อง

เรขาคณิตบริสุทธิ์ : (N) ; pure geometry ; Def:เรขาคณิตที่ใช้กฎเกณฑ์ของระบบตรรกศาสตร์โดยเริ่มต้นจากบทนิยามและสัจพจน์ที่เกี่ยวกับรูปทรงมาเรียบเรียงให้เป็นทฤษฎีบท แล้วอนุมานผลลัพธ์จากทฤษฎีบท

สมองกล : (N) ; computer ; Syn:คอมพิวเตอร์ ; Def:เครื่องอิเล็กทรอนิกส์แบบอัตโนมัติ ทำหน้าที่รับข้อมูล ประมวลผลด้วยหลักการทางคณิตศาสตร์และตรรกศาสตร์ด้วยความเร็วสูง และแสดงผลผ่านอุปกรณ์ประกอบต่างๆ ; Samp:สมัยหนึ่งคอมพิวเตอร์เคยถูกเรียกว่าสมองกลหรือปัญญาประดิษฐ์เพราะนำคอมพิวเตอร์ไปเปรียบเทียบกับสมองมนุษย์ ; Unit:เครื่อง

ความน่าจะเป็น : (N) ; probability ; Def:สิ่งที่อาจจะเป็น หรือน่าที่จะเป็นเช่นนั้น, สภาพของความเป็นไปได้ ; Samp:ฟัสซีลอจิกเป็นตรรกศาสตร์ ที่อาศัยทฤษฎีของเซตมาใช้ในการประมาณการค่าของความน่าจะเป็นของความจริง ที่มีลักษณะกำกวมไม่แน่นอนไม่ชัดเจน

ตรรกศาสตร์ : น. ปรัชญาสาขาหนึ่งว่าด้วยการคิดหาเหตุผลว่าจะสมเหตุ สมผลหรือไม่, ใช้ว่า ตรรกวิทยา ก็มี. (อ. logic).

ตรรกวิทยา : น. ตรรกศาสตร์.

เรขาคณิตบริสุทธิ์ : (คณิต) น. เรขาคณิตที่ใช้กฎเกณฑ์ของระบบ ตรรกศาสตร์โดยเริ่มต้นจากบทนิยามและสัจพจน์ที่เกี่ยวกับรูปทรง มาเรียบเรียงให้เป็นทฤษฎีบทแล้วอนุมานผลลัพธ์จากทฤษฎีบท. เรขาคณิตวิเคราะห์ (คณิต) น. เรขาคณิตที่ใช้สมการมาควบคุมเซต ของจุดที่เรียงกันเป็นรูปทรงต่าง ๆ แล้วอนุมานผลลัพธ์จากการแก้ สมการนั้น ๆ พร้อมทั้งการแปลความหมายด้วย.