举报反馈 - 徐洁磐《离散数学导论》1第一章绪论：1计算机与离散：图灵机，布尔代数；自动机形式语言，谓词演算程序正确性，代数编码，能行性可计算；2特征：能行性=问题存在性+有