24.244 | Spring 2015 | Undergraduate

Modal Logic

Lecture Notes

24.244s15 Testing Decidable & Undecidable Systems

Description:

This is a file that contains information regarding modal logic testing decidable & undecidable systems.

Resource Type:
Lecture Notes
pdf
580 kB
24.244s15 Testing Decidable & Undecidable Systems
Download File
DOWNLOAD

Course Info

Instructor
Departments
As Taught In
Spring 2015
Level
Undergraduate
Topics
Learning Resource Types
Problem Sets
Lecture Notes
Written Assignments
Download Course
MIT Open Learning
Over 2,500 courses & materials
Freely sharing knowledge with learners and educators around the world. Learn more
© 2001–2024 Massachusetts Institute of Technology
Accessibility
Creative Commons License
Terms and Conditions
Proud member of:
© 2001–2024 Massachusetts Institute of Technology