COSC 4331 Structure of Programming Languages

Cr. 3
Semester Credit Hours: 3
Class Hours Per Week: 3
Additional Laboratory or Activity Hours Per Week: 0
Course Level: Upper Division

Prerequisite(s): COSC 3331 .
Description, classification and analysis of programming languages and their associated processes. Propositional and predicate logic. Resolution and theorem proving.