เรียนคณิตศาสตร์ไปทำไม? ตรรกศาสตร์กับการเขียนโปรแกรมคอมพิวเตอร์
ทุกคนน่าจะเคยเรียนหรือเคยได้ยินกับว่า “ตรรกะ” หรือ “ตรรกศาสตร์” มาแล้วใช่ไหมครับ วันนี้เราจะมาพูดถึงเรื่องนี้กันว่ามีความสำคัญกับการเขียนโปรแกรมคอมพิวเตอร์อย่างไร ซึ่งจริงๆ แล้วเรื่องนี้คือเรื่องในชีวิตประจำวันของเราอยู่แล้ว เราทุกวันเราต้องตัดสินใจบทเงื่อนไขหลาย ๆ แบบด้วยกันใช่ไหมครับ แต่วันนี้ขออนุญาตพูดถึงตรรกศาสตร์กับการเขียนโปรแกรมคอมพิวเตอร์ก่อนนะ ตามนี้เลย… ตรรกศาสตร์ (Logic) เป็นสาขาหนึ่งของคณิตศาสตร์ที่ศึกษาหลักการให้เหตุผลและการคิดอย่างเป็นระบบ ตรรกศาสตร์ช่วยให้เราสามารถวิเคราะห์ข้อเท็จจริง แยกแยะความจริงและความเท็จ และสร้างข้อสรุปที่ถูกต้องตามหลักเหตุผล โดยในหลักสูตรระดับมัธยมศึกษาปีที่ 4 นักเรียนจะได้เรียนรู้เกี่ยวกับตัวเชื่อมตรรกศาสตร์ (Logical Connectors) เช่น และ (AND), หรือ (OR), ไม่ (NOT), การอ้างเหตุผลเชิงเงื่อนไข (Implication) และการให้เหตุผลเชิงตรรกะ (Logical Reasoning) รวมถึงตารางค่าความจริง (Truth Table) ซึ่งเป็นเครื่องมือที่สำคัญในการวิเคราะห์ประโยคทางตรรกศาสตร์ คราวนี้ ในสมัยที่ผมเรียนเรียนคณิตศาสตร์ โดยเฉพาะเรื่องตรรกศาสตร์ ผมจะได้ว่ามุ่งเน้นไปที่การจำสัญลักษณ์ การคำนวณ การทำโจทย์ และการท่องสูตรมากกว่าการเชื่อมโยงกับสถานการณ์จริง ทำให้การเรียนเรื่องนี้ของผมเองในสมัยนั้นไม่ค่อยเก็ตเท่าไหร่ว่าเรียนเรื่องนี้ไปทำไม สิ่งที่อยู่ในหัวผม ณ ขณะนั้นคือแก้โจทย์ตรรกศาสตร์ให้ได้เพื่อจะได้คะแนนดีๆ จริงๆ แล้วตรรกศาสตร์เป็นหัวใจสำคัญของการเขียนโปรแกรมคอมพิวเตอร์ด้วย เพราะคอมพิวเตอร์ทำงานโดยใช้ตรรกะในการตัดสินใจและดำเนินการตามคำสั่ง นักเขียนโปรแกรมต้องใช้ความรู้ทางตรรกศาสตร์ในการสร้างเงื่อนไข…
