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
Course Info
Instructor
Departments
As Taught In
Spring
2015
Level
Course Info
Instructor
Departments
As Taught In
Spring
2015
Level
Topics
Learning Resource Types
notes
Lecture Notes
assignment
Problem Sets
assignment
Written Assignments
