เครือข่ายมหาวิทยาลัย

LAFF - กำลังเขียนโปรแกรมเพื่อความถูกต้อง

รายละเอียด

โปรแกรมของฉันถูกต้องหรือไม่? จะให้เอาต์พุตที่ถูกต้องสำหรับอินพุตที่อนุญาตทั้งหมดหรือไม่? ปัจจุบันคอมพิวเตอร์มีความจำเป็นในชีวิตประจำวัน โปรแกรมที่ไม่ถูกต้องนำไปสู่ความยุ่งยากในกรณีที่ดีที่สุดและภัยพิบัติที่เลวร้าย ดังนั้นการรู้วิธีสร้างโปรแกรมที่ถูกต้องจึงเป็นทักษะที่ทุกคนที่เขียนโปรแกรมคอมพิวเตอร์ต้องพยายามอย่างมาก ในหลักสูตรวิทยาการคอมพิวเตอร์นี้เราจะนำเสนอ“ การเขียนโปรแกรมเชิงเป้าหมาย” แบบที่ Edsger Dijkstra ซึ่งเป็นหนึ่งในนักวิทยาศาสตร์คอมพิวเตอร์ที่มีอิทธิพลมากที่สุดตั้งใจไว้ คุณจะได้เรียนรู้วิธีการได้มาซึ่งโปรแกรมควบคู่ไปกับการพิสูจน์ความถูกต้อง หลักสูตรนี้นำเสนอวิธีการที่แสดงให้เห็นถึงการเขียนโปรแกรมที่มุ่งเน้นเป้าหมายโดยเริ่มจากการทำให้เป็นทางการของสิ่งที่จะคำนวณจากนั้นจึงพัฒนาโปรแกรมควบคู่ไปกับการพิสูจน์ความถูกต้อง วิธีการนี้แสดงให้เห็นว่าสำหรับการดำเนินการเมทริกซ์ระดับกว้างการพัฒนาการนำไปใช้และการจัดตั้งความถูกต้องของโปรแกรมสามารถทำได้อย่างเป็นระบบ เนื่องจากเทคนิคนี้มุ่งเน้นไปที่ข้อกำหนดของโปรแกรมจึงมักนำไปสู่โปรแกรมที่ชัดเจนและถูกต้องโดยใช้เวลาน้อยลง วิธีการนี้ทำให้เกิดอัลกอริทึมตระกูลหนึ่งอย่างรวดเร็วจากนั้นคุณสามารถเลือกอัลกอริทึมที่มีคุณสมบัติที่ต้องการเช่นการได้รับประสิทธิภาพที่ดีขึ้นบนสถาปัตยกรรมที่กำหนด กลุ่มเป้าหมายของ MOOC นี้ครอบคลุมมากกว่านักเรียนและนักวิชาการที่สนใจในโดเมนของอัลกอริทึมพีชคณิตเชิงเส้นและการคำนวณทางวิทยาศาสตร์ หลักสูตรนี้จะแสดงวิธีทำให้อัลกอริทึมที่ได้มาอย่างเป็นทางการใช้งานได้จริงและจะทำให้คุณได้ไตร่ตรองว่าผลลัพธ์ของเราอาจขยายไปยังโดเมนอื่น จากการสนับสนุนจาก MathWorks ผู้เรียนจะได้รับสิทธิ์เข้าถึง MATLAB ตลอดระยะเวลาของหลักสูตร

ราคา: $ 49 - ฟรีเพื่อตรวจสอบ!

LAFF - ในการเขียนโปรแกรมเพื่อความถูกต้องผ่าน edX ซึ่งเป็นแพลตฟอร์มเพื่อการศึกษาที่ก่อตั้งโดย Harvard และ MIT

LAFF - กำลังเขียนโปรแกรมเพื่อความถูกต้อง - UTAustinX