อาจมีการขออภัยในการถามคำถามอื่นเกี่ยวกับข้อกำหนดเบื้องต้น แต่ฉันสับสนเกี่ยวกับจุดเริ่มต้น ฉันเจอคำศัพท์ต่าง ๆ เช่น "Modal Logic", "Temporal logic", "First-order Logic", "ตรรกะลำดับที่สอง" และ "ตรรกะลำดับที่สูงกว่า"
"ลอจิก" มีความหมายอะไรในบริบทนี้ เราจะนิยามคำว่า "ลอจิก" อย่างจริงจังได้อย่างไร?
หลังจากผ่านหน้าเริ่มต้นของหนังสือสองสามเล่มฉันสามารถสรุปได้อย่างคร่าว ๆ ว่า "ลอจิกคือวิธีการตัดสินใจสิ่งที่ตามมาจากสิ่งที่มีความสำคัญในการออกแบบภาษาการเขียนโปรแกรมตามที่กำหนดและอำนวยความสะดวกในการออกแบบโปรแกรม เพื่อทำความเข้าใจเกี่ยวกับจุดที่สองในลักษณะที่ละเอียด
ตอนนี้มาถึง logics เหล่านี้
Logics เหล่านี้ทั้งหมด "temporal Logic", "Modal Logic", "First order Logic", "ตรรกะลำดับที่สูงกว่า" เป็นอิสระจากกันหรือเราจำเป็นต้องเข้าใจตรรกะเหล่านี้เล็กน้อยเพื่อทำความเข้าใจกับคนอื่น ๆ ในกลุ่มนี้? สรุปสิ่งที่จำเป็นสำหรับพวกเขาคืออะไร? (มันจะดีมากถ้าฉันจะได้รับคำแนะนำเกี่ยวกับวัสดุบางอย่างด้วย)
PS: ขอบคุณมากสำหรับความมีน้ำใจของคุณ