都有接触，离散数学是学计算机的必修课，理论性比较强，你说到的那些东西在离散数学这本书里都有涉及。算法导论里用到的数学知识基本上都是出自离散数学的，所以学好离散吧