Mathematical and Computational Logic

The mathematical and computational logic group at BGU conducts research in set theory, model theory, general topology, Boolean algebras and, in theoretical computer science, concurrency, logic programming and lambda calculus.

Combinatorics and Discrete Mathematics

The members of the research group in Combinatorics and Discrete Mathematics (CDM, for short) conduct research in the areas of graph theory, algebraic combinatorics, discrete geometry, combinatorial optimization and other fields of discrete mathematics.

A seminar in Algebraic Combinatorics is working since Fall 1995 with a special emphasis on promoting students' interests in CDM.

The CDM group includes people whose interests permanently lie in the area as well as those whose combinatorial activities are sporadic.