Sergeyev, Yaroslav D. and Garro, Alfredo 2013. Single-tape and multi-tape Turing machines through the lens of the Grossone methodology. The Journal of Supercomputing, Vol. 65, Issue. 2, p. 645.

Students taking this course should already have taken a year-long introductory course in logic in a Philosophy Department, or a mathematical course that covers the basics of set theory and logic. If ...

Galois theory; Homological algebra; Semisimple algebra. The MATH 8808-8809 sequence will cover the following topics: Point-set topology, fundamental group and covering spaces, smooth manifolds, smooth ...