Assignment 1 Submission
The correct command for this should be
submit msc propm 1
Apologies that this is past the deadline - if you have not already submitted (or wish to resubmit) please do so by 0900 tomorrow 7th March.
Sunday, March 06, 2005
About Me
-
- Name:Michael Fourman
- Location:Edinburgh, Scotland, United Kingdom
I am Head of the School of Informatics, and Professor of Computer Systems, at The University of Edinburgh.
My research interests are centred around applications of logics in Computer Science, Artificial Intelligence, and Cognitive Science.
Links
Previous Posts
- mu-calculus and CTL
- mu-calculus and CTL
- Assignment 1 released
- NuSMV
- Temporal Logic: CTL
- Finite State Machines
- STRIPS planning
- k-SAT => 3-SAT; intro to ML
- Binary Decision Diagrams/SAT Phase Transition
- CNF: Davis Putnam and variations
Propositional Methods is an MSc course given at the University of Edinburgh
0 Comments:
Post a Comment
<< Home