LGIC 2100-401 |
Discrete Mathematics I |
Andre Scedrov |
|
TR 10:15 AM-11:44 AM |
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. |
MATH3400401 |
|
|
|
|
|
LGIC 3100-401 |
Logic and Computability 1 |
Henry Piers Towsner |
|
TR 3:30 PM-4:59 PM |
This graduate course focuses on topics drawn from the central areas of mathematical logic: model theory, proof theory, set theory, and computability theory. |
MATH5700401, PHIL4721401, PHIL6721401 |
|
|
|
|
|
LGIC 4960-401 |
Topics in Mathematical Logic |
Scott Weinstein |
|
TR 12:00 PM-1:29 PM |
The course focuses on topics drawn from the central areas of mathematical logic: model theory, proof theory, set theory, and computability theory. |
MATH6770401, PHIL4720401, PHIL6720401 |
|
|
|
|
|
LGIC 4999-001 |
Independent Study |
Scott Weinstein |
|
|
Student arranges with a faculty member to pursue an independent research project on a suitable topic. |
|
|
|
|
|
|