โครงสร้างและการตีความโปรแกรมคอมพิวเตอร์ (SICP)

ปกของฉบับพิมพ์ครั้งที่สอง
ผู้เขียน	แฮโรลด์ แอเบลสัน , เจอรัลด์ เจย์ ซัสส์แมน , จูลี่ ซัสส์แมน
เรื่อง	วิทยาการคอมพิวเตอร์
ประเภท	ตำราเรียน
สำนักพิมพ์	สำนักพิมพ์ MIT
วันที่เผยแพร่	1984 (ฉบับพิมพ์ครั้งที่ 1), 1996 (ฉบับพิมพ์ครั้งที่ 2), 2022 ( ฉบับ JavaScript )
หน้า	657
ISBN	0-262-51087-1(ฉบับพิมพ์ครั้งที่ 2)
คลาส LC	QA76.6 .A255 1996
เว็บไซต์	mitp-content-server .mit .edu /books /content /sectbyfn /books _pres _0 /6515 /sicp .zip /index .html

โครงสร้างและการตีความโปรแกรมคอมพิวเตอร์ ( SICP ) เป็น ตำรา วิทยาศาสตร์คอมพิวเตอร์ที่เขียนโดยศาสตราจารย์ Harold Abelsonและ Gerald Jay Sussman จาก สถาบันเทคโนโลยีแมสซาชู เซตส์ ร่วมกับ Julie Sussman เป็นที่รู้จักกันในชื่อ "หนังสือพ่อมด" ในวัฒนธรรมแฮกเกอร์ [ ^{1 ] ตำรา} เล่ม นี้สอนหลักการพื้นฐานของการเขียนโปรแกรมคอมพิวเตอร์รวมถึงการเรียกซ้ำการนามธรรมความเป็นโมดูลและการออกแบบและการใช้งานภาษาโปรแกรม

สำนักพิมพ์ MIT Pressได้ตีพิมพ์ฉบับพิมพ์ครั้งแรกในปี 1984 และฉบับพิมพ์ครั้งที่สองในปี 1996 หนังสือเล่มนี้ถูกใช้เป็นตำราเรียนสำหรับหลักสูตรเบื้องต้นด้านวิทยาการคอมพิวเตอร์ ของ MIT ตั้งแต่ปี 1984 ถึง 2007 SICP มุ่งเน้นไปที่การค้นหารูปแบบ ทั่วไป สำหรับการแก้ปัญหาเฉพาะ และการสร้างระบบซอฟต์แวร์ที่ใช้รูปแบบเหล่านั้น^{[ 2 ]}

MIT Press ได้เผยแพร่หนังสือเวอร์ชันJavaScript ในปี 2022 ^{[ 3 ]}

หนังสือเล่มนี้อธิบายแนวคิดทางวิทยาศาสตร์คอมพิวเตอร์โดยใช้ภาษา Schemeซึ่งเป็นภาษาถิ่นของLispนอกจากนี้ยังใช้เครื่องรีจิสเตอร์เสมือน และแอสเซมเบลอร์ในการสร้างตัวแปลภาษาและคอมไพเลอร์ของ Lisp อีกด้วย

หัวข้อในหนังสือมีดังนี้:

1. องค์ประกอบของการเขียนโปรแกรม
2. ขั้นตอนและ กระบวนการที่เกิดขึ้นจาก ขั้นตอนเหล่านั้น
3. การกำหนดรูปแบบนามธรรมด้วยกระบวนการลำดับสูง

1. บทนำสู่การนามธรรมของข้อมูล
2. ข้อมูลเชิงลำดับชั้นและคุณสมบัติการปิด
3. ข้อมูลเชิงสัญลักษณ์
4. การนำเสนอข้อมูลนามธรรมหลายรูปแบบ
5. ระบบที่มีการดำเนินการทั่วไป

1. การมอบหมายและรัฐท้องถิ่น
2. แบบจำลองการประเมินด้านสิ่งแวดล้อม
3. การสร้างแบบจำลองด้วยข้อมูลที่เปลี่ยนแปลงได้
4. การทำงานพร้อมกัน : เวลาเป็นสิ่งสำคัญ
5. สตรีม

1. ผู้ประเมินเมตาเซอร์คูลาร์
2. รูปแบบต่างๆ ของแผนงาน – การประเมินแบบง่ายๆ
3. รูปแบบต่างๆ ของแผนการ – การคำนวณแบบไม่กำหนด
4. การเขียนโปรแกรมเชิงตรรกะ

1. การออกแบบเครื่องลงทะเบียน
2. โปรแกรมจำลองเครื่องลงทะเบียน
3. การจัดสรร พื้นที่จัดเก็บและการเก็บขยะ
4. ตัวประเมินการควบคุมแบบชัดเจน
5. การรวบรวม

ในหนังสือเล่มนี้มีตัวละครสมมุติหลายตัวที่มีชื่อเรียกชวนขำ:

• อลิสสา พี. แฮ็กเกอร์แฮ็กเกอร์ ภาษาลิสป์
• เบน บิตดิดเดิล
• ไซ ดี. เฟคท์อดีตโปรแกรมเมอร์ภาษาซีที่กลับตัวกลับใจ
• อีวา ลู อาเตอร์
• เลม อี. ทวีคิท
• หลุยส์ รีโซเนอร์ นักคิดเชิงตรรกะที่ไม่เคร่งครัดนัก

หนังสือเล่มนี้ได้รับอนุญาตภายใต้ ใบอนุญาต Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) ^{[ 4 ]}

หนังสือเล่มนี้ถูกใช้เป็นตำราเรียนสำหรับหลักสูตรการเขียนโปรแกรมเบื้องต้น 6.001 ของ MIT ^{[ 5 ]}ตั้งแต่ฤดูใบไม้ร่วงปี 1984 จนถึงภาคการศึกษาสุดท้ายในฤดูใบไม้ร่วงปี 2007 ^{[ 6 ]}โรงเรียนอื่นๆ ก็ใช้หนังสือเล่มนี้เป็นตำราเรียนเช่นกัน^{[ 7 ]}

นิตยสาร Byteแนะนำ SICP ในปี 1986 "สำหรับโปรแกรมเมอร์มืออาชีพที่สนใจในวิชาชีพของตนอย่างแท้จริง" นิตยสารกล่าวว่าหนังสือเล่มนี้อ่านยาก แต่จะช่วยให้โปรแกรมเมอร์ที่มีประสบการณ์ได้เรียนรู้ทั้งหัวข้อเก่าและใหม่ ^{[ 8 ]}

บทวิจารณ์ SICP ในฐานะตำราเรียนระดับปริญญาตรีโดยPhilip Wadlerระบุถึงจุดอ่อนของภาษา Scheme ในฐานะภาษาเบื้องต้นสำหรับหลักสูตรวิทยาการคอมพิวเตอร์^{[ 9 ]} Wadler วิพากษ์วิจารณ์โดยเฉพาะอย่างยิ่งการขาดการจับคู่รูปแบบซึ่งทำให้การให้เหตุผลเชิงสมการคลุมเครือและทำให้การสอนการพิสูจน์ยากขึ้น การขาดประเภทข้อมูลเชิงพีชคณิตใน Scheme และการพึ่งพา คู่ cons มากเกินไป สำหรับทั้งโค้ดและการแสดงข้อมูล ซึ่งอาจทำให้นักเรียนเริ่มต้นสับสน และการเลือกใช้ การประเมิน แบบเข้มงวดแทนการประเมินแบบขี้เกียจเป็นกลยุทธ์การประเมินมาตรฐาน

SICP มีอิทธิพลต่อการศึกษาด้านวิทยาการคอมพิวเตอร์ และหนังสือหลายเล่มในภายหลังได้รับแรงบันดาลใจจากรูปแบบการเขียนของ SICP

• หนังสืออีกเล่มที่ใช้ Scheme เป็นองค์ประกอบในการสอนคือ " Structure and Interpretation of Classical Mechanics (SICM)" เขียนโดย Gerald Jay Sussman และ Jack Wisdom
• การออกแบบซอฟต์แวร์เพื่อความยืดหยุ่นโดย คริส แฮนสัน และ เจอรัลด์ เจย์ ซัสส์แมน
• หนังสือ "วิธีออกแบบโปรแกรม" (How to Design Programs - HtDP)มีจุดประสงค์เพื่อให้เป็นหนังสือที่เข้าถึงได้ง่ายขึ้นสำหรับวิชาวิทยาการคอมพิวเตอร์เบื้องต้น และเพื่อแก้ไขข้อบกพร่องที่พบใน SICP
• หนังสือ Essentials of Programming Languages ​​(EoPL) สำหรับใช้ในหลักสูตรภาษาโปรแกรม

• คอมไพเลอร์: หลักการ เทคนิค และเครื่องมือ  – หรือที่รู้จักกันในชื่อหนังสือมังกร

• เว็บไซต์อย่างเป็นทางการ
• วิดีโอการบรรยาย
• หนังสือเล่มนี้เรียบเรียงจากแหล่งข้อมูล TeX
• โครงสร้างและการตีความโปรแกรมคอมพิวเตอร์ เวอร์ชันเชิงโต้ตอบ