LICS web tutor

A selection of multiple-choice questions with answers have been prepared for each chapter of the book. Each of the following chapters presents a series of questions, each with five possible answers. At least one of these answers will be correct. The link of answer, wether correct or in-correct, will lead to a detailed explanation; if your browser cannot follow these links, you may be using a version of internet explorer that cannot link to items within an html list environment.

If you use Internet Explorer version 3.0 and higher, you may not be able to access the active links to answers. In that case, you may want to use a competing browser.

Chapter 1: Propositional logic.
Chapter 2: Predicate logic.
Chapter 3: Verification by model checking
Chapter 4: Program verification.
Chapter 5: Modal logics and agents.
Chapter 6: Binary decision diagrams.
Back to main index.