This course will discuss fundamental concepts and tools in discrete mathematics with emphasis on their applications to computer science. Example topics include logic and Boolean circuits; sets, ...

The Department of Mathematics and Computer Science offers major programs leading to the bachelor of science in mathematics or the bachelor of science in computer science, as well as required and ...

Familiarity with linear algebra is expected. In addition, students should have taken a proof-based course such as CS 212 or Math 300. Tensors, or multiindexed arrays, generalize matrices (two ...

Ultrafinitism, a philosophy that rejects the infinite, has long been dismissed as mathematical heresy. But it is also producing new insights in math and beyond. His two theorems destroyed the search ...