Browse by Author: Matthias Felleisen

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 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.94%
Revised:	2008-01-29
Revisions:	20

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.85%
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.10%
Revised:	2009-03-09
Revisions:	21

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.05%
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.81%
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.50%
Revised:	2009-01-09
Revisions:	7

First-Order Logic: equivalences (m10729)

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

Keywords: boolean algebra, boolean identity, quantifier

Summary: Extend the laws of boolean algebra from propositional logic to first-order logic.

Subject:	Mathematics and Statistics
Language:	English
Popularity:	87.46%
Revised:	2009-01-09
Revisions:	27

First-Order Logic: inference rules (m10774)

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

Keywords: first-order inference rules

Summary: Using inference rules (formal proofs) for determining whether a first-order formula is true.

Subject:	Science and Technology
Language:	English
Popularity:	91.63%
Revised:	2009-01-09
Revisions:	28

First-Order Logic: normal forms revisited (m12082)

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

Summary: Using CNF and DNF with first-order-logic.

Subject:	Mathematics and Statistics, Science and Technology
Language:	English
Popularity:	71.01%
Revised:	2005-03-10
Revisions:	5

First-Order Logic: using quantifiers (m10728)

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

Keywords: exists, first-order, for all, quantifier

Summary: Introducting quantifiers, to upgrade from propositional logic to first-order logic.

Subject:	Mathematics and Statistics
Language:	English
Popularity:	95.90%
Revised:	2009-03-24
Revisions:	36

[1] 2 3 4 Next 10 »

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

Connexions

Sections

Browse by Author: Matthias Felleisen