Teaching and Scientific Profile
The department offers the following undergraduate and graduate courses: algebra, number theory, discrete mathematics, combinatorics, graph theory, topology, set theory and mathematical logic, computer algebra.

Research topics
Universal algebra, lattice theory, number theory, computer algebra, category theory, real functions, algebraic and differential topology, mathematical logic, nonstandard analysis, graph theory, didactic of mathematics, philosophy of mathematics.

Organizational Activities
The department is one of the founders and a long-term co-organizer of the traditional international Summer School on Universal Algebra and Partially Ordered Sets.

Equipment facilities
standard (7 PC's, network connection to local mainframe computers and Internet)

Recent most important publications

• J. ČINČURA: Coreflections versus regular epimorphisms in categories of topological spaces, Applied Caterogical Structures 6, (1998), pp. 527–530
• H. DRAŠKOVIČOVÁ, T. KATRIŇÁK, M. KOLIBIAR: Distributive lattices, booloean algebras and related lattices, in: Ordered sets and lattices II, Amer. Math. Soc. Transl. 2 (1992) pp. 1–61
• T. KATRIŇÁK: Free distributive p-algebras: A new Approach, Glasgow Math J. 40 (1998), pp. 332–342
• J. HEDLÍKOVÁ, T. KATRIŇÁK: Lattice betweenness relation and a generalization of König’s Lemma, Math. Slovaca, 46 (1996) No. 4, pp. 343–354 
• J. KORBAŠ, A. SZÜCS: The Lyusternik-Shnireľman category, vector bundles and immersions of manifolds. Manuscripta Math. 95 (1998), pp. 289–294 
• J. KORBAŠ, P. ZVENGROWSKI: On sectioning tangent bundles and other vector bundles. Rendiconti del Circolo Matematico di Palermo, Serie II – Suppl. 39 (1996), pp. 85–104
• A. SCHINZEL, T. ŠALÁT: On maximum and minimum exponents in factoring, Math. Slov. 44 (1994), 505–514.
• Š. DRAHOVSKÝ, T. ŠALÁT, V. TOMA: Points of uniform convergence and oscillation of sequences of functions, Real Anal. Exchange 20 (1994–95), 753–767.
• C. W. HENSON, N. J. KALTON, N. T. PECK, I. TEREŠCÁK, P. ZLATOŠ: Some Ramsey type theorems for normed and quassinormed spaces, Studia Mathematica 124 (1997), pp. 81–100
• P. ZLATOŠ: Fuzzifications of concrete categories and homomorphy degrees of mappings between universal algebras, Fuzzy Sets and Systems 82 (1996), pp. 73–96
• P. ZLATOŠ: Even mathematics cannot be certain about itself – Essays on sets, infinity, paradoxes and Gödel theorems, IRIS, Bratislava, 1995 (in Slovak).