Ta上传的资源 (0)

离散数学（左孝凌）-教材《离散数学》上海科学技术文献出版社。目录第一篇数理逻辑第一章命题逻辑1-1命题及其表示法1-2联结词1-3命题公式与翻译1-4真值表与等价公式1-5重言式与蕴含式1-6其他联结词1-7对偶与范式1-8推理理论1-9应用第二章谓词逻辑2-1谓词的概念与表示2-2命题函数与量词2