Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Teaching Logic and Set Theory with Dafny

ACM SIGPLAN via YouTube

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

Reviews

Start your review of Teaching Logic and Set Theory with Dafny

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.