You are here: Home » Content

The content in OpenStax-CNX comes in two formats: modules, which are like small "knowledge chunks," and collections, groups of modules structured into books or course notes, or for other uses. Our open license allows for free use and reuse of all our content.

Search for Content

Browse Content

2. Refine


Note: Includes Editors & Translators
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Other


3. View

Ian Barland

« Previous 18 Next 18 » [1] 2
Type Title
Intro to Logic
Model Checking Concurrent Programs
(testing ground)
90 = 100: A Proof
Browser support
Comp280 Hw02
Comp280 hw02 solution
comp280 hw03 solution
Comp280 hw03: First-order logic
Concurrent Processes: Basic Issues
Concurrent Processes: Basic Issues: Homework Exercises
Concurrent Programming and Verification: Outline
Exercises for First-Order Logic
Exercises for Propositional Logic I
Exercises for Propositional Logic II
first-order equivalances (tmp)
First-order Logic
First-Order Logic: bound variables, free variables
First-Order Logic: equivalences
First-Order Logic: inference rules
First-Order Logic: normal forms revisited
First-Order Logic: using quantifiers
homework A solution
homework A solutions
homework B solution
homework C solution
hwB solution
Inference Rules (tmp)
Introduction to Proofs
Introduction: logic definition
Introduction: logic motivation
Introduction: outline
Modeling Concurrent Processes
Modeling Concurrent Processes: Homework Exercises
nontrivial waterworld proof
Promela and SPIN Reference
Propositional Logic
Propositional Logic: conclusions
Propositional Logic: equivalences
Propositional Logic: formulas
Propositional Logic: inference rules
Propositional Logic: limitations of truth tables
Propositional Logic: normal forms
Propositional Logic: partIIm
Propositional Logic: partIIn
Propositional Logic: partIIo
Propositional Logic: propositions
My Account
Total Collections: 1507
Total Modules: 24637