The Full Form of MFCS is‍ Mathematical Foundations of Computer Science.

725-310-0 Mathematical Foundations of Computer Science

Fundamental concepts and tools in discreet mathematics with emphasis on their applications to computer science. Topics include logic and Boolean circuits; sets, functions, relations, databases, and finite automata: deterministic algorithms, randomized algorithms, and analysis techniques based on counting methods and recurrence equations; trees and more general graphs. Prerequisites: 725-110 or 725-111 and 435-214-3. Prerequisite for: 725-322, 725-332, 725-339, 725-343, 725-351.

Learning Goals

At the end of the course, the student should be able to formulate logic expressions for a variety of applications; convert a logic expression into a Boolean circuit, and vice versa; design relational databases; design finite automata to recognize string patterns; apply, adapt, and design elementary deterministic and randomized algorithms to solve computational problems; analyze the running time of non-recursive algorithms with loops by means of counting; analyze the running time of divide-and-conquer recursive algorithms by means of recurrence equations; and use trees and graphs to formulate computational problems.