Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Advisor Goheen, Harry Resource Type Masters Thesis Subject Algebra, Boolean

The mechanization of logic II

Creator:

Witcraft, Don A.

Resource Type:

Masters Thesis
Machine algorithms for Boolean matrices

Creator:

Comstock, Dale R.

Resource Type:

Masters Thesis

Full Text:

, Ser. Matematika 16:405 -426.. 1952. (Tr. by H.E. Goheen, Dept. of Mathematics, Oregon State
Circuit algebras and some of their properties

Creator:

Driessel, Kenneth Richard

Abstract:

It is well known that two-terminal switching circuits may be represented by boolean formulas. Thus the study of certain switching circuit problems leads to the study of free boolean algebras, in particular to the free boolean algebra on a countably infinite set of generators. An abstract characterization of this algebra...

Resource Type:

Masters Thesis
A mechanization of Quine's canonical form

Creator:

Laxdal, Albert Lee

Resource Type:

Masters Thesis
On systems of Boolean equations

Creator:

Toms, Ralph Marvin

Resource Type:

Masters Thesis

Full Text:

were known to have been steal ing apples . But who? Harry said, "Charlie and Georgen. James said
On the simplification of Boolean polynomials

Creator:

Dixon, Oren Wesley

Resource Type:

Masters Thesis

Full Text:

)LtDGjENT The author wishes to express his appreciation to Dr. H. E. Goheen for his encouragement and