Regular Graduate Course Offerings
CSE 5102. Advanced Programming Languages
3.00 credits
Prerequisites: Recommended Preparation: CSE 4102 and 3502 or the equivalent. Open to graduate students in the CSE program, others with permission.(RG 5397)
Grading Basis: Graded
The theory and pragmatics of modern programming languages. Topics include syntax, semantics, type systems and control mechanisms. Key contributions from Functional and Logic Programming including first-order functions, closures, continuations, non-determinism and unification are studied. Study of declarative and operational semantics of recent entries in the field like Constraint Programming and Aspect Oriented Programming.
CSE 5506. Computational Complexity
3.00 credits
Prerequisites: Open to graduate students in the CSE program, others with permission. Recommended preparation: CSE 3502 and 3500; MATH 3160 or the equivalent. (RG5908)
Grading Basis: Graded
Systematic study of resource-bounded computation, including time and space complexity, hierarchy theorems, nondeterministic and randomized computation, and reduction and completeness. Advanced topics may be introduced such as relativized computation, derandomization, communication complexity, lower bounds on circuit complexity, and probabilistically checkable proofs.
LING 5410. Semantics I
3.00 credits
Prerequisites: Open to graduate students in Linguistics, others with permission (RG793).
Grading Basis: Graded
The bases of formal models of syntax and semantics. Compositionality; quantification; Logical Form.
LING 5420. Semantics II
3.00 credits
Prerequisites: LING 5410 (RG367).
Grading Basis: Graded
Theories of meaning and reference. Formal treatment of meaning in a generative grammar.
LING 6410. Semantics Seminar
3.00 credits | May be repeated for a total of 12 credits.
Prerequisites: Prerequisite: LING 5420 (RG368).
Grading Basis: Graded
Classical and recent literature and current research in semantics.
LING 6420. Topics in Semantics
3.00 credits | May be repeated for a total of 12 credits.
Prerequisites: LING 5420 (RG368).
Grading Basis: Graded
Current topics in semantic research.
MATH 5026. Topics in Mathematical Logic
3.00 credits | May be repeated for credit.
Prerequisites: Prerequisite: MATH 5260 (RG 386)
Grading Basis: Graded
Topics include, but are not restricted to Computability Theory, Model Theory, and Set Theory.
MATH 5260. Mathematical Logic I
3.00 credits
Prerequisites: MATH 5210 (RG380).
Grading Basis: Graded
Predicate calculus, completeness, compactness, Lowenheim-Skolem theorems, formal theories with applications to algebra, Godel's incompleteness theorem. Further topics chosen from: axiomatic set theory, model theory, recursion theory, computational complexity, automata theory and formal languages.
PHIL 5307. Logic
3.00 credits | May be repeated for a total of 9 credits.
Prerequisites: Open to graduate students in Philosophy, others with permission (RG799).
Grading Basis: Graded
PHIL 5311. Properties of Formal Systems
3.00 credits
Prerequisites: Open to graduate students in Philosophy, others with permission (RG799).
Grading Basis: Graded
PHIL 5344. Seminar in Philosophical Logic
3.00 credits | May be repeated for a total of 6 credits.
Prerequisites: Philosophy Grad only
Grading Basis: Graded
Topics in the philosophies of logic and mathematics. May include completeness results for non-classical logics, higher-order languages and logics, diagonalization, limitative theorems (Tarski, Godel), paradoxes, and formal theories of truth.