Courses

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.

More information.

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.

More information.

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.

More information.

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.

More information.

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.

More information.

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.

More information.

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.

More information.

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.

More information.

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

More information.

PHIL 5311. Properties of Formal Systems

3.00 credits

Prerequisites: Open to graduate students in Philosophy, others with permission (RG799).
Grading Basis: Graded

More information.

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.

More information.