SDU軟件17級大一下離散期末真題（回憶版）

（17級老學姐回憶離散考題 試卷構成： 總共十個大題，每道10分，無選擇、填空之類的全是證明和計算 數理邏輯40分 4道大題 集合、二元關係30分 3道大題（包含一道英文題目：第六題 圖論30分 3道大題（包含一道英文題目：第八題   下面開始敲黑板了： 第一題：關於系統規範證明，讓你將它所給的四個命題先符號化，用PQRS之類的符號表示出來，然後分析或者論證這些系統規範說明在什麼條件下是全部正確的

>>阅读原文<<