คณิตตรรกศาสตร์และโปรแกรมคอมพิวเตอร์

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

ความแตกต่างระหว่าง คณิตตรรกศาสตร์และโปรแกรมคอมพิวเตอร์

คณิตตรรกศาสตร์ vs. โปรแกรมคอมพิวเตอร์

ณิตตรรกศาสตร์ (Mathematical logic) คือสาขาหนึ่งในคณิตศาสตร์ที่ศึกษาระบบรูปนัย และคุณลักษณะที่ระบบดังกล่าวจะสามารถใช้เพื่อแสดงมโนทัศน์ของบทพิสูจน์ และการคำนวณในส่วนที่เป็นรากฐานของคณิตศาสตร์ แม้ว่าคนทั่วไปมักมีความเข้าใจว่า คณิตตรรกศาสตร์คือ ตรรกศาสตร์ของคณิตศาสตร์ แต่ความจริงแล้วสาขานี้ใกล้เคียงกับ คณิตศาสตร์ของตรรกศาสตร์ มากกว่า เนื้อหาวิชาในสาขานี้ครอบคลุมส่วนของตรรกศาสตร์ที่สามารถโมเดลในรูปของคณิตศาสตร์ได้ เมื่อก่อนสาขานี้ถูกเรียกว่า ตรรกศาสตร์สัญลักษณ์ (ในลักษณะที่ตรงข้ามกับตรรกศาสตร์เชิงปรัชญา) และอภิคณิตศาสตร์ ซึ่งในปัจจุบันเป็นเพียงคำที่ใช้ในบางสาขาของทฤษฎีบทพิสูจน. รหัสต้นฉบับ "Hello, World" ในภาษาซี สนิปเพตที่รู้จักกันครั้งแรกในหนังสือ ''เดอะซีโปรแกรมมิงแลงกวิจ'' เขียนโดยไบรอัน เคอร์เนแฮน และเดนนิส ริตชี ในปี ค.ศ. 1974 โปรแกรมคอมพิวเตอร์ (computer program) เป็นชุดคำสั่ง ที่ปฏิบัติงานเฉพาะเมื่อคอมพิวเตอร์สั่งกระทำการ (execute) คอมพิวเตอร์เครื่องหนึ่งต้องการใช้โปรแกรมในการสั่งงาน และกระทำตามชุดคำสั่งในหน่วยประมวลผลกลาง โปรแกรมคอมพิวเตอร์มักเขียนโดยนักเขียนโปรแกรมโดยใช้ภาษาโปรแกรม คอมไพเลอร์สามารถแปลงรหัสเครื่อง (machine code) ที่ประกอบด้วยชุดคำสั่งที่คอมพิวเตอร์สามารถกระทำการได้โดยตรงได้จากรหัสต้นฉบับ (source code) แบบมนุษย์อ่านได้ หรืออีกทางหนึ่ง โปรแกรมคอมพิวเตอร์สามารถกระทำการได้ด้วยอินเทอร์พรีเตอร์ วนหนึ่งของโปรแกรมคอมพิวเตอร์ที่กระทำงานงานหนึ่งที่นิยามไว้อย่างดี เรียกว่าขั้นตอนวิธี (algorithm) ชุดของโปรแกรมคอมพิวเตอร์ คลัง (library) และข้อมูลที่เกี่ยวข้องเรียกว่าซอฟต์แวร์ โปรแกรมคอมพิวเตอร์อาจจัดประเภทได้จากฟังก์ชันยาวหลายบรรทัด เช่น โปรแกรมประยุกต์ หรือซอฟต์แวร์ร.

คอมไพเลอร์

คอมไพเลอร์ (compiler) หรือ โปรแกรมแปลโปรแกรม, ตัวแปลโปรแกรม เป็น โปรแกรมคอมพิวเตอร์ที่ทำหน้าแปลงชุดคำสั่งภาษาคอมพิวเตอร์หนึ่ง ไปเป็นชุดคำสั่งที่มีความหมายเดียวกัน ในภาษาคอมพิวเตอร์อื่น คอมไพเลอร์ส่วนใหญ่ จะทำการแปล รหัสต้นฉบับ (source code) ที่เขียนในภาษาระดับสูง เป็น ภาษาระดับต่ำ หรือภาษาเครื่อง ซึ่งคอมพิวเตอร์สามารถที่จะทำงานได้โดยตรง อย่างไรก็ตาม การแปลจากภาษาระดับต่ำเป็นภาษาระดับสูง ก็เป็นไปได้ โดยใช้ตัวแปลโปรแกรมย้อนกลับ (decompiler) รูปแสดงขั้นตอนการทำงานของตัวแปลโปรแกรม ผลลัพธ์ของการแปลโปรแกรม (คอมไพล์) โดยทั่วไป ที่เรียกว่า ออบเจกต์โค้ด จะประกอบด้วยภาษาเครื่อง (Machine code) ที่เต็มไปด้วยข้อมูลเกี่ยวกับชื่อและสถานที่ของแต่ละจุด และการเรียกใช้วัตถุภายนอก (Link object) (สำหรับฟังก์ชันที่ไม่ได้อยู่ใน อ็อบเจกต์) สำหรับเครื่องมือที่เราใช้รวม อ็อบเจกต์เข้าด้วยกัน จะเรียกว่าโปรแกรมเชื่อมโยงเพื่อที่ผลลัพธ์ที่ออกมาในขั้นสุดท้าย เป็นไฟล์ที่ผู้ใช้งานทั่วไปสามารถใช้งานได้สะดวก คอมไพเลอร์ที่สมบูรณ์ตัวแรก คือ ภาษาฟอร์แทรน (FORTRAN) ของ ไอบีเอ็ม ในปี ค.ศ. 1957 และ ภาษาโคบอล (COBOL) ก็เป็นคอมไพเลอร์ตัวแรก ๆ ที่สามารถทำงานได้บนหลาย ๆ สถาปัตยกรรมทางคอมพิวเตอร์ การพัฒนาตัวแปลภาษารุดหน้าอย่างรวดเร็ว และเริ่มมีรูปแบบที่ชัดเจนยิ่งขึ้นต่อมา ในช่วงทศวรรษ 1960.

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