Logic, Information and Computation (LGIC)

LGIC 1710 Introduction to Logic

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.

Fall or Spring

Also Offered As: PHIL 1710

1 Course Unit

LGIC 2100 Discrete Mathematics 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, permutations, posets, asymptotics.

Not Offered Every Year

Also Offered As: MATH 3400

1 Course Unit

LGIC 2200 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 3410

1 Course Unit

LGIC 3100 Logic and Computability 1

This graduate course focuses on topics drawn from the central areas of mathematical logic: model theory, proof theory, set theory, and computability theory.

Not Offered Every Year

Also Offered As: PHIL 4721

1 Course Unit

LGIC 3200 Logic and Computability 2

The course is a continuation of PHIL 4721. Cross-list with MATH5710 and LGIC3200.

Not Offered Every Year

Also Offered As: PHIL 4722

1 Course Unit

LGIC 4960 Topics in Mathematical Logic

The course focuses on topics drawn from the central areas of mathematical logic: model theory, proof theory, set theory, and computability theory.

Not Offered Every Year

Also Offered As: PHIL 4720

1 Course Unit

LGIC 4999 Independent Study

Student arranges with a faculty member to pursue an independent research project on a suitable topic.

1 Course Unit