An accelerated treatment of topics from COSC 239 Assembly and Machine Language Programming and COSC 338 Computer Organization. Logic design and computer architecture. No credit for COSC 239 Assembly and Machine Language Programming, COSC 338 Computer Organization or their equivalents. Principles of logical reasoning and their application to the development of reliable software, propositional and predicate logic, mathematical induction, semantics of control and data structures are studied. Examples are drawn from various applications areas.
Emphasis is on the use of formal methods as practical tools that aid in software development.
Calculus II and MATH 122 Elementary Linear Algebra. A survey of the principal mathematical models of computation and formal languages. 334 Data Structures or COSC 504 . This course introduces the student to basic concepts and techniques of artificial intelligence. Students with no prior knowledge of LISP should take COSC 502 concurrently.