Logic, Information and Computation (LGIC)
LGIC 010 Formal Logic I
This course provides an introduction to some of the fundamental ideas of logic. Topics will include truth functional logic, quantificational logic, and logical decision problems.
Taught by: Singer
One-term course offered either term
Also Offered As: PHIL 005, PHIL 505
Activity: Lecture
1.0 Course Unit
Notes: This is a Formal Reasoning course.
LGIC 210 Discrete Mathmatics I
Topics will be drawn from some subjects in combinatorial analysis with applications to many other branches of math and science: graphs and networks, generating functions, permutationsm posets, asymptotics.
Course not offered every year
Also Offered As: MATH 340
Prerequisite: MATH 114 OR MATH 115 OR MATH 116
Activity: Lecture
1.0 Course Unit
LGIC 220 Discrete Mathematics II
Topics will be drawn from some subjects useful in the analysis of information and computation: logic, set theory, theory of computation, number theory, probability, and basic cryptography.
Also Offered As: MATH 341
Prerequisite: MATH 340 OR LGIC 210
Activity: Lecture
1.0 Course Unit
LGIC 310 Logic I
Propositional logic: semantics, formal deductions, resolution method. First order logic: validity, models, formal deductions; Godel's completeness theorem, Lowenheim-Skolem theorem: cut-elimination, Herbrand's theorem, resolution method. Computability: finite automata, Turing machines, Godel's incompleteness theorems. Algorithmically unsolvable problems in mathematics.
Taught by: Scedrov, Towsner, Weinstein
Course not offered every year
Also Offered As: MATH 570, PHIL 410
Prerequisite: MATH 371 OR MATH 503
Activity: Lecture
1.0 Course Unit
LGIC 320 Logic II
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.
Taught by: Scedrov, Towsner, Weinstein
Course not offered every year
Also Offered As: MATH 571, PHIL 413
Prerequisite: PHIL 410 OR MATH 570
Activity: Seminar
1.0 Course Unit