Browse by Author: Moshe Vardi

View author profile

Return to Browsing Content | Search for Content

(What are modules and collections?)

Sort by: Results per page:

View: Detail | Compact | Statistics

[1] 2 3 4 5 Next 10 »

Intro to Logic (col10154)

Authors: Ian Barland, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen, John Greiner

Institution: Rice University

Keywords: boolean algebra, first order logic, inference rule, interpretation, logic, model, proof, proposition, propositional logic, quantifier, truth table

Summary: An introduction to reasoning with propositional and first-order logic, with applications to computer science. Part of the TeachLogic Project (www.teachlogic.org).

Subject:	Science and Technology
Language:	English
Popularity:	94.90%
Revised:	2008-01-29
Revisions:	20

Model Checking Concurrent Programs (col10294)

Authors: Ian Barland, Moshe Vardi, John Greiner

Institution: Rice University

Keywords: concurrency, concurrent, deadlock, livelock, LTL, model checking, model-checking, promela, spin, TeachLogic, temporal logic, verification

Summary: Introduction to the use of Promela and SPIN as a model-checker for verifying concurrent programs. The underlying transition system is used as a model for the interpretation of Linear Temporal Logic (LTL) formulas.

Subject:	Science and Technology
Language:	English
Popularity:	76.07%
Revised:	2005-10-27
Revisions:	3

90 = 100: A Proof (m12727)

Authors: Ian Barland, Moshe Vardi, Phokion Kolaitis, Matthias Felleisen, John Greiner

Keywords: 0 = 1, 90 = 100, false, geometry, paradox, proof

Summary: A (purported) geometric proof that 90=100.

Subject:	Science and Technology
Language:	English
Popularity:	89.84%
Revised:	2007-04-07
Revisions:	8

Conclusion (m10775)

Authors: Ian Barland, John Greiner, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen

Summary: A recap of where we've been, and why we traveled there.

Subject:	Science and Technology
Language:	English
Popularity:	81.13%
Revised:	2009-03-09
Revisions:	21

Concurrent Processes: Basic Issues (m12312)

Authors: Ian Barland, John Greiner, Moshe Vardi

Subject:	Mathematics and Statistics, Science and Technology
Language:	English
Popularity:	95.92%
Revised:	2005-10-06
Revisions:	16

Concurrent Processes: Basic Issues: Homework Exercises (m12938)

Authors: John Greiner, Ian Barland, Moshe Vardi

Subject:	Mathematics and Statistics, Science and Technology
Language:	English
Popularity:	44.56%
Revised:	2005-08-10
Revisions:	2

Concurrent Programming and Verification: Outline (m12311)

Authors: Ian Barland, John Greiner, Moshe Vardi

Keywords: Concurrency, Logic, Temporal Logic

Subject:	Mathematics and Statistics
Language:	English
Popularity:	75.70%
Revised:	2007-04-07
Revisions:	12

Exercises for Propositional Logic I (m10514)

Authors: Ian Barland, John Greiner, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen

Summary: Problems on propositional logic, including truth-tables, boolean algebra, and inference rules.

Subject:	Science and Technology
Language:	English
Popularity:	97.01%
Revised:	2009-03-31
Revisions:	58

Exercises for Propositional Logic II (m12352)

Authors: Ian Barland, John Greiner, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen

Subject:	Mathematics and Statistics
Language:	English
Popularity:	72.83%
Revised:	2009-03-18
Revisions:	20

First-Order Logic: bound variables, free variables (m12081)

Authors: Ian Barland, John Greiner, Phokion Kolaitis, Matthias Felleisen, Moshe Vardi

Subject:	Mathematics and Statistics
Language:	English
Popularity:	82.53%
Revised:	2009-01-09
Revisions:	7

[1] 2 3 4 5 Next 10 »

Popularity is measured as percentile rank of page views/day over all time

Connexions

Sections

Browse by Author: Moshe Vardi