離散数学(有限数学も)は、論理、集合論、情報理論、部分的に順序付けられた集合、証明、関係、および他の多くのトピックなどのトピックを扱います。
数学の他の分野では、プログラミングをサポートするツールがあります。統計には、多くの便利な統計関数が組み込まれているRとSがあります。数値解析の場合、 Octaveは言語として使用することも、C++に統合することもできます。
離散数学を具体的に扱う言語やパッケージを知りません(離散数学で使用されるアルゴリズムの実装にはほぼすべての言語を使用できますが、これらのアプリケーション用に特別に設計されたライブラリまたは環境が存在するはずです)。