OCCC CS Courses

From

Revision as of 20:20, 29 October 2011

CS lower division transfer course descriptions

ACM Breadth-First course (OCCC CS160)

OCCC Currently approved description:

Explores the disciplines and professions of Computer Science and Software Engineering. Overviews computer hardware and software architecture, the study of algorithms, software design and development, data representation and organization, problem-solving strategies, ethics in the digital world, and the history of computing and its influences on society. Explores career options and begins the process of planning a program of study. Exposes students to both low-level and high-level programming languages.

CS160 draft outcomes: Paul Wilkins/Mitch Fry

University outcomes pages (current inventory):
EOU
OIT No CS160 equivalent course
OSU
PSU No CS160 equivalent course
SOU
UofO No CS160 equivalent course
WOU

ACM Programming Fundimentals (OCCC CS161/CS162)

Description: To be submitted

CS161-CS162 draft outcomes: Colin Goble, Warren Harrison

University outcomes pages (current inventory):
OCCC CS161 (may be other numbers at some schools)
EOU
OIT
OSU
PSU
SOU
UO
WOU


OCCC CS162 (may be other numbers at some schools)
EOU
OIT
OSU
PSU
SOU
UO
WOU

ACM CS2 Data Structures (CS260/CS261/CS163)

Description: To be submitted

Draft: Mitch Fry, Dodi Coreson, Jay Bockelman

University outcomes pages (current inventory):
OCCC CS260 (may be other numbers at some schools)
EOU
OIT
OSU
PSU
SOU
UO
WOU

ACM CS3 Computer Architecture (CS271 or CS201)

To be drafted

Bob Broeg, Paul Paulson

University outcomes pages (current inventory):
OCCC CS260 (may be other numbers at some schools)
EOU
OIT
OSU
PSU
SOU
UO
WOU

Discrete Math (Mth231/232 or CS250/251)

We will not do common outcomes or description for these classes as other than PSU they are taught under Math programs. These are here for reference and discussion.

University outcomes pages (current inventory):
OCCC Mth231/CS250
EOU
OIT
OSU
PSU
SOU
UO
WOU


OCCC Mth231/CS250
EOU
OIT
OSU
PSU
SOU
UO
WOU

[PSU CS251/Discrete Structures II] CS 251 is the second term of the two term sequence CS 250-251. The main goal of the sequence is that students obtain those skills in discrete mathematics and logic that are used in the study and practice of computer science.

Upon the successful completion of this course students will be able to:

• Apply the properties of propositional calculus to: determine whether a wff is a tautology, a contradiction, or a contingency by truth tables and by Quine's method; construct equivalence proofs; and transform truth functions and wffs into conjunctive or disjunctive normal form.
• Describe the basic inference rules and use them to write formal proofs in propositional calculus.
• Apply the properties of first-order predicate calculus to: determine whether a wff is valid, invalid, satisfiable, or unsatisfiable; construct equivalence proofs; and transform first-order wffs into prenex conjunctive or disjunctive normal form.
• Describe the rules of inference for quantifiers and use them along with the basic inference rules to write formal proofs in first-order predicate calculus.
• Write formal proofs in first-order predicate calculus with equality.
• Construct partial correctness proofs of simple imperative programs and construct termination proofs for simple loops.
• Transform first-order wffs into clausal form; and unify atoms from a set of clauses.
• Describe the resolution inference rule; use it to write formal proofs in first-order logic; and describe how resolution is used to execute a logic program.
• Transform simple English sentences into formal logic (propositional, first-order, or higher-order).
• Apply appropriate algebraic properties to: simplify Boolean expressions; simplify regular expressions; write recursive definitions for simple functions in terms of operations for abstract data types; write expressions to represent relations constructed in terms of operations for relational databases; and work with congruences.

{NOTE: everyone seems to agree that there is way too much stuff in these two classes}

Block transfers from math programs other than PSU/PCC