Peter B. Henderson

Inductive reasoning

We learned that valid deductive thinking begins with at least one universal premise and leads to a conclusion that is believed to be contained in the argument’s premises. Indeed, if the premises are true and the argument form is valid, the conclusion must be true. The universal statement in a syllogism allows us to move from a proposition about an entire class to a statement about some or all members of a class.

A Graph-Theoretic Characterization of the

Many of the process synchronization problems studied in the literature are of the form of a conjunction of finitely many conditions of the type “process

\text{PV}_{\text{chunk}}

p_i

Class of Synchronizing Primitives

blocks process

Teaching recursion as a problem-solving tool using standard ML

p_j

Discrete mathematics as a precursor to programming

”. Such problems may be expressed as directed graphs whose nodes represent the processes and where there is an edge from node i to node j if and only if process

Anatomy of an introductory computer science course

p_i

Has our curriculum become math-phobic? (an American perspective)

blocks process

Modern introductory computer science

p_j

On Transforming Control Structures

. We characterize the class of graphs which correspond to the system of synchronizing primitives of Vantilborgh and van Lamsweerde in terms of a normal form representation and present an efficient algorithm for determining whether an arbitrary graph is in this class.