|
Oct 31, 2024
|
|
|
|
CSCI 384 - Programming Language Design and Implementation A study of the organization and structure of modern programming languages. This course will survey key programming language paradigms, including functional, object-oriented, and logic-based languages, with particular focus on the fundamental concepts underlying them, including their syntax, semantics, and type systems. It will take a mathematical approach, examining several strong ties with formal logic and the mechanization of proof, especially logics and proof methods related to the properties of programs.
Unit(s): 1 Group Distribution Requirement(s): Distribution Group III Prerequisite(s): CSCI 221 and MATH 112 or MATH 113 Instructional Method: Lecture-conference Grading Mode: Letter grading (A-F) Not offered: 2024-25 Group Distribution Learning Outcome(s):
- Use and evaluate quantitative data or modeling, or use logical/mathematical reasoning to evaluate, test or prove statements.
- Given a problem or question, formulate a hypothesis or conjecture, and design an experiment, collect data, or use mathematical reasoning to test or validate it.
Add to Portfolio (opens a new window)
|
|