This course, to be cross-listed with PHIL 005, provides an introduction to some of the fundamental ideas of logic and computation. Topics will include truth functional logic, quantificational logic, and logical decision problems.
The first semester of a two-semester course designed to introduce students to a range of mathematical subjects useful in the analysis of information and computation. This course, to be cross-listed with MATH 340, will treat topics chosen from set theory, combinatorics, graph theory, and number theory.
The second semester of a two-semester course devoted to mathematical subjects useful in the analysis of information and computation. Topics will be drawn from automata theory, formal languages, computability and complexity, and information theory.
The first semester of a two-semester course on the fundamental results and techniques of mathematical logic. This course, to be cross-listed with MATH 570 and PHIL 006, will treat the basic metamathematics of first-order logic including the Completeness Theorem, Compactness Theorem, Löwenheim-Skolem Theorem, Gödel Incompleteness Theorems, and Church's Theorem. Connections between logic and algebra, analysis, combinatorics, computer science, and the foundations of mathematics will be emphasized.
The second semester of a two-semester course on the fundamental results and techniques of mathematical logic. Topics will be drawn from model theory, proof theory, recursion theory, and set theory. Connections between logic and algebra, analysis, combinatorics, computer science, and the foundations of mathematics will be emphasized.