[caption id="" align="alignnone" width="268" caption="Logic in Computer Science , Modelling and Reasoning about Systems"]
[/caption]Instructor: Dave Richardson
Textbook: Logic in Computer Science , Modelling and Reasoning about Systems
Download Slides from here
Course Overview (ppt, pdf, ps) - Propositional Logic Notes (pdf, ps)
Lecture Outline (ppt, pdf, ps) - contains an outline of the lecture with the major ideas and notation.
Lecture Outline (ppt, pdf, ps) - contains an outline of the lecture with the major ideas and notation.
Lecture Outline (ppt, pdf, ps) - contains an outline of the lecture with the major ideas and notation.
Lecture Outline (ppt, pdf, ps) - contains an outline of the lecture with the major ideas and notation.
Lecture Outline (ppt, pdf, ps) - contains an outline of the lecture with the major ideas and notation. Also, you'll need this Promela Language Manual for discussing the SPIN model checker's input language, Promela in lecture. I will bring along hard copies of this manual to lecture.
No comments:
Post a Comment