YoVDO

Teaching Logic and Set Theory with Dafny

Offered By: ACM SIGPLAN via YouTube

Tags

Logic Courses Set Theory Courses Formal Methods Courses Dafny Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

CLOVER: Closed-Loop Verifiable Code Generation - Dafny'24
ACM SIGPLAN via YouTube Colouring Flags with Dafny and Idris - Dafny'24
ACM SIGPLAN via YouTube Dafny Test Generation - Automated Testing for Verified Programs
ACM SIGPLAN via YouTube Domesticating Automation for Large-Scale Verification Systems - Dafny'24
ACM SIGPLAN via YouTube Generation of Verified Assembly Code Using Dafny and Reinforcement Learning
ACM SIGPLAN via YouTube