Teaching Logic and Set Theory with Dafny
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
Learn about the innovative use of Dafny in teaching Logic and Set Theory to second-year computer science students in this 21-minute conference talk presented at ACM SIGPLAN. Explore how Ran Ettinger and Hezi Daniel have incorporated this program verification language into their curriculum, potentially revolutionizing the way these fundamental concepts are taught and understood. Gain insights into the benefits and challenges of using Dafny as a teaching tool for abstract mathematical concepts, and discover how this approach may enhance students' understanding and practical application of logic and set theory in computer science.
Syllabus
[Dafny'24] Teaching Logic and Set Theory with Dafny
Taught by
ACM SIGPLAN
Related Courses
Human Computer InteractionIndependent Introduction à la logique informatique - Partie 2 : calcul des prédicats
Université Paris-Saclay via France Université Numerique System Validation (4): Modelling Software, Protocols, and other behaviour
EIT Digital via Coursera Formal Software Verification
University System of Maryland via edX Principles of Secure Coding
University of California, Davis via Coursera