493-测试试卷-离散数学试卷A.pdf

494-测试试卷-离散数学试卷A答案.pdf

495-测试试卷-离散数学试卷B.pdf

496-测试试卷-离散数学试卷B答案.pdf

497-测试试卷-离散数学试卷C.pdf

498-测试试卷-离散数学试卷C答案.pdf

499-测试试卷-离散数学试卷D.pdf

500-测试试卷-离散数学试卷D答案.pdf

501-测试试卷-离散数学试卷E.pdf

502-测试试卷-离散数学试卷E答案.pdf

425-其他资源-子群.pdf

426-其他资源-代数系统的概念.pdf

427-其他资源-等价关系.pdf

428-其他资源-帮助小学生学习四则运算的CAI系统的开发（08-09-1学期）.pdf

429-其他资源-迷宫问题求解(07-08-2学期）.pdf

430-其他资源-专题文献管理系统(09-10-1学期).pdf

431-其他资源-交互式关系运算系统(09-10-1学期).pdf

432-其他资源-自动绘图机(09-10-2学期).pdf

433-其他资源-数理逻辑辅助教学小软件(09-10-2学期).pdf

434-其他资源-用VC开发九宫格游戏(09-10-2学期）.pdf

435-其他资源-计算机网络布线问题(10-11-01学期）.pdf

436-其他资源-校园导游咨询(11-12-1学期）.pdf

437-其他资源-时钟模拟器(11-12-1学期）.pdf

438-其他资源-多功能计算器小软件开发（11-12-2学期）.pdf

439-其他资源-文曲星小游戏--猜数字的实现(11-12-2学期).pdf

440-其他资源-基于matlab的图论算法实践(12-13-1学期).pdf

441-其他资源-快递运输网最优路径选择算法的实现(12-13-1学期).pdf

442-其他资源-第四十讲 布尔代数.mp4

443-其他资源-代数结构、群的应用.pdf

444-其他资源-集合、映射、关系三个例题.pdf

445-其他资源-三个典型的谓词逻辑例题.pdf

446-其他资源-图的两个应用.pdf

447-其他资源-两个命题逻辑分析典型方法例题.pdf

448-其他资源-《离散数学》题库答案.pdf

449-其他资源-离散数学高教资源网组卷.pdf

450-其他资源-离散数学高教资源网组卷.pdf

451-其他资源-函数.pdf

452-其他资源-绪论.pdf

453-其他资源-集合.pdf

454-其他资源-命题逻辑.pdf

455-其他资源-数理逻辑习题部分答案.pdf

456-其他资源-命题与命题联结词.pdf

457-其他资源-命题公式及其真值表.pdf

458-其他资源-命题逻辑等值演算.pdf

459-其他资源-主析取范式与主合取范式.pdf

460-其他资源-联结词完备集.pdf

461-其他资源-命题逻辑基本概念小结.pdf

462-其他资源-顶点的着色.pdf

463-其他资源-色多项式.pdf

464-其他资源-集合的应用.pdf

465-其他资源-关系的应用.pdf

466-其他资源-函数的应用.pdf

467-其他资源-8.1.1 基本概念.pdf

468-其他资源-集合与关系.pdf

469-其他资源-4.2 命题逻辑公式.pdf

470-其他资源-5.1 谓词逻辑的基本概念.pdf

471-其他资源-集合论.pdf

472-其他资源-学生作品.pdf

1-教学录像-1讲-集合的概念及表示.mp4

10-教学录像-10讲-关系的运算(续2).mp4

100-学生作品-第1章 集合 (作业解答).pdf

101-名词术语-基本计数原理.pdf

102-名词术语-排列与组合.pdf

103-名词术语-容斥原理.pdf

104-演示文稿-容斥原理的证明思路.pdf

105-名词术语-计数问题-技能点.pdf

106-教学案例-容斥原理案例.pdf

107-演示文稿-6讲-关系的定义与表示.pdf

108-名词术语-序偶.pdf

109-名词术语-笛卡尔积.pdf

11-教学录像-11讲-特殊关系.mp4

110-名词术语-二元关系.pdf

111-名词术语-关系的定义与表示-技能点.pdf

112-演示文稿-7讲-关系的性质.pdf

113-名词术语-自反性与反自反性.pdf

114-名词术语-对称性与反对称性.pdf

115-名词术语-传递性.pdf

116-名词术语-关系的性质-技能点.pdf

117-名词术语-关系的基本运算.pdf

118-名词术语-关系运算的封闭性.pdf

119-名词术语-逆运算.pdf

12-教学录像-12讲-特殊关系（续1）.mp4

120-名词术语-复合运算.pdf

121-名词术语-幂运算.pdf

122-名词术语-自反闭包.pdf

123-名词术语-对称闭包.pdf

124-名词术语-传递闭包.pdf

125-演示文稿-关系的性质符合运算及闭包等的计算方法.pdf

126-名词术语-关系的运算-技能点（一）.pdf

127-名词术语-关系的运算-技能点（二）.pdf

128-名词术语-关系的运算-技能点（三）.pdf

129-演示文稿-8讲-关系的运算.pdf

13-教学录像-13讲-特殊关系（续2）.mp4

130-演示文稿-9讲-关系的运算（续1）.pdf

131-演示文稿-10讲-关系的运算（续2）.pdf

132-演示文稿-11讲-特殊关系.pdf

133-演示文稿-12讲-特殊关系（续1）.pdf

134-演示文稿-13讲-特殊关系（续2）.pdf

135-演示文稿-14讲-特殊关系（续3）.pdf

136-演示文稿-15讲-特殊关系（续4）.pdf

137-演示文稿-16讲-特殊关系（续5）.pdf

138-教学案例-关系的应用.pdf

139-学生作品-第2章 关系 (作业解答).pdf

14-教学录像-14讲-特殊关系(续3).mp4

140-名词术语-等价类.pdf

141-名词术语-商集.pdf

142-名词术语-等价关系与集合的划分之定理1.pdf

143-名词术语-集合的划分.pdf

144-名词术语-相容关系.pdf

145-名词术语-等价关系与集合的划分之定理2.pdf

146-名词术语-集合的覆盖.pdf

147-名词术语-相容类.pdf

148-名词术语-偏序关系.pdf

149-名词术语-哈斯图.pdf

15-教学录像-15讲-特殊关系（续4）.mp4

150-名词术语-可比元素.pdf

151-名词术语-上（下）界.pdf

152-名词术语-最大（小）元.pdf

153-名词术语-极大（小）元.pdf

154-名词术语-上（下）确界.pdf

155-名词术语-全序关系.pdf

156-名词术语-良序关系.pdf

157-名词术语-特殊关系-技能点（一）.pdf

158-名词术语-特殊关系-技能点（二）.pdf

159-名词术语-特殊关系-技能点（三）.pdf

16-教学录像-16讲-特殊关系(续5).mp4

160-演示文稿-偏序-全序-良序.pdf

161-演示文稿-17讲-函数的概念.pdf

162-名词术语-函数.pdf

163-名词术语-单射函数.pdf

164-名词术语-满射函数.pdf

165-名词术语-函数的概念-技能点.pdf

166-演示文稿-18讲-函数的运算.pdf

167-演示文稿-集合论习题课.pdf

168-教学案例-函数的应用.pdf

169-学生作品-第3章 函数 (作业解答).pdf

17-教学录像-17讲-函数的概念.mp4

170-名词术语-函数的复合.pdf

171-名词术语-逆函数.pdf

172-名词术语-函数的运算-技能点.pdf

173-媒体素材-有限代数结构上的运算性质.pdf

174-演示文稿-可数集.pdf

175-演示文稿-21讲-代数系统的基本概念.pdf

176-人物-伽罗华.pdf

177-文献资料-抽象代数发展简史.pdf

178-名词术语-代数运算.pdf

179-名词术语-代数系统.pdf

18-教学录像-18讲-函数的运算.mp4

180-媒体素材-方程求根.pdf

181-演示文稿-22讲-代数运算的性质.pdf

182-演示文稿-23讲-代数运算的性质（续1）.pdf

183-演示文稿-24讲-代数运算的性质（续2）.pdf

184-名词术语-交换律.pdf

185-名词术语-结合律.pdf

186-名词术语-分配律.pdf

187-名词术语-吸收律.pdf

188-名词术语-幂等律.pdf

189-名词术语-消去律.pdf

19-教学录像-21讲-代数系统的基本概念.mp4

190-名词术语-等幂元.pdf

191-名词术语-单位元.pdf

192-名词术语-零元.pdf

193-名词术语-逆元.pdf

194-名词术语-代数运算的性质-技能点.pdf

195-演示文稿-25讲-同构代数系统.pdf

196-演示文稿-26讲-同态代数系统.pdf

197-教学案例-代数系统的应用.pdf

198-学生作品-第4章 代数系统 (作业解答).pdf

199-文献资料-伽罗瓦群与高次代数方程的根.pdf

2-教学录像-2讲-特殊集合.mp4

20-教学录像-22讲-代数运算的性质.mp4

200-名词术语-同构.pdf

201-名词术语-同态.pdf

202-名词术语-自同构.pdf

203-名词术语-自同态.pdf

204-名词术语-相互联系的代数系统-技能点.pdf

205-演示文稿-27讲-半群.pdf

206-演示文稿-28讲-独异点.pdf

207-演示文稿-29讲-群.pdf

208-演示文稿-30讲-群（续）.pdf

209-演示文稿-31讲-子群.pdf

21-教学录像-23讲-代数运算的性质（续1）.mp4

210-演示文稿-32讲-陪集与拉格朗日定理.pdf

211-演示文稿-33讲-陪集与拉格朗日定理（续）.pdf

212-教学课件-纠错码.pdf

213-电子教材-半群与群的基本概念.pdf

214-名词术语-半群.pdf

215-名词术语-子半群.pdf

216-名词术语-独异点（含幺半群）.pdf

217-名词术语-子独异点.pdf

218-名词术语-群.pdf

219-名词术语-群的阶数.pdf

22-教学录像-24讲-代数运算的性质（续2）.mp4

220-名词术语-群中元素的阶数.pdf

221-名词术语-交换群（阿贝尔群）.pdf

222-名词术语-子群.pdf

223-名词术语-陪集.pdf

224-名词术语-拉格郎日定理.pdf

225-名词术语-半群和群-技能点.pdf

226-演示文稿-34讲-循环群与置换群.pdf

227-演示文稿-35讲-循环群与置换群（续）.pdf

228-教学案例-群的应用.pdf

229-电子教材-循环群和置换群.pdf

23-教学录像-25讲-同构代数系统.mp4

230-人物-阿贝尔.pdf

231-名词术语-循环群.pdf

232-名词术语-置换群.pdf

233-名词术语-循环群与置换群-技能点.pdf

234-演示文稿-36讲-正规子群.pdf

235-演示文稿-37讲-正规子群（续）.pdf

236-名词术语-同余关系.pdf

237-名词术语-商代数.pdf

238-名词术语-正规子群.pdf

239-名词术语-同态核.pdf

24-教学录像-26讲-同态代数系统.mp4

240-名词术语-正规子群-技能点.pdf

241-演示文稿-38讲-格.pdf

242-演示文稿-39讲-格（续）.pdf

243-教学案例-格的应用.pdf

244-名词术语-格.pdf

245-名词术语-有补格.pdf

246-名词术语-有界格.pdf

247-名词术语-分配格.pdf

248-名词术语-格-技能点.pdf

249-演示文稿-40讲-布尔代数.pdf

25-教学录像-27讲-半群.mp4

250-教学课件-抽象代数习题课.pdf

251-学生作品-第5章 典型的代数系统 (作业解答).pdf

252-名词术语-布尔代数.pdf

253-名词术语-原子.pdf

254-名词术语-布尔代数-技能点.pdf

255-演示文稿-43讲- 图的概念.pdf

256-演示文稿-44讲-图的概念(续1).pdf

257-演示文稿-45讲-图的概念(续2).pdf

258-演示文稿-46讲-图的概念(续3).pdf

259-演示文稿-47讲-图的连通性.pdf

26-教学录像-28讲-独异点.mp4

260-演示文稿-48讲-图的操作与表示.pdf

261-演示文稿-图的基础知识.pdf

262-文献资料-图论发展简史.pdf

263-名词术语-图.pdf

264-名词术语-简单图.pdf

265-名词术语-生成子图.pdf

266-名词术语-完全图.pdf

267-名词术语-结点的度数.pdf

268-名词术语-握手定理.pdf

269-名词术语-图的同构.pdf

27-教学录像-29讲-群.mp4

270-名词术语-通路.pdf

271-名词术语-可达.pdf

272-名词术语-简单通路.pdf

273-名词术语-初级通路.pdf

274-名词术语-简单回路.pdf

275-名词术语-回路.pdf

276-名词术语-初级回路.pdf

277-名词术语-连通图.pdf

278-名词术语-连通分支.pdf

279-名词术语-图的操作.pdf

28-教学录像-30讲-群（续）.mp4

280-名词术语-图的矩阵表示.pdf

281-名词术语-图的概念-技能点.pdf

282-教学案例-图综合应用_close_20150730211447721.pdf

283-例题-证明图G1和图G2同构.pdf

284-例题-求图G中结点个数.pdf

285-例题-证明七个人中任意两个都能交流.pdf

286-演示文稿-49讲-赋权图.pdf

287-名词术语-赋权图.pdf

288-名词术语-最短通路.pdf

289-名词术语-赋权图-技能点.pdf

29-教学录像-31讲-子群.mp4

290-演示文稿-50讲-欧拉图.pdf

291-教学案例-街道清扫车.pdf

292-人物-欧拉.pdf

293-名词术语-欧拉图.pdf

294-名词术语-欧拉图的判定.pdf

295-名词术语-欧拉图-技能点.pdf

296-演示文稿-51讲-哈密顿图.pdf

297-演示文稿-52讲-哈密顿图(续).pdf

298-教学案例-单词游戏.pdf

299-名词术语-哈密顿图.pdf

3-教学录像-3讲-集合的运算.mp4

30-教学录像-32讲-陪集与拉格朗日定理.mp4

300-名词术语-哈密顿图的必要条件.pdf

301-名词术语-哈密顿图的充分条件.pdf

302-名词术语-货郎担问题的求解.pdf

303-名词术语-哈密顿图-技能点.pdf

304-教学案例-综合应用.pdf

305-演示文稿-53讲-二部图.pdf

306-名词术语-二部图.pdf

307-名词术语-二部图的判定.pdf

308-名词术语-匹配.pdf

309-名词术语-霍尔定理.pdf

31-教学录像-33讲-陪集与拉格朗日定理（续）.mp4

310-名词术语-二部图-技能点.pdf

311-演示文稿-54讲-平面图.pdf

312-电子教材-平面图总结.pdf

313-电子教材-平面图.pdf

314-学生作品-第6章 图 (作业解答).pdf

315-名词术语-平面图.pdf

316-名词术语-库拉托夫斯基定理.pdf

317-名词术语-欧拉公式.pdf

318-名词术语-图的着色.pdf

319-名词术语-平面图-技能点.pdf

32-教学录像-34讲-循环群与置换群.mp4

320-演示文稿-55讲-树.pdf

321-演示文稿-56讲-树(续).pdf

322-名词术语-有向树.pdf

323-名词术语-树.pdf

324-名词术语-生成树.pdf

325-名词术语-生成树的求解方法.pdf

326-名词术语-最小生成树.pdf

327-名词术语-最小生成树的求解方法.pdf

328-名词术语-无向树-技能点.pdf

329-演示文稿-57讲-根树.pdf

33-教学录像-35讲-循环群与置换群（续）.mp4

330-演示文稿-58讲-根树(续).pdf

331-学生作品-第7章 树 (作业解答).pdf

332-名词术语-根树.pdf

333-名词术语-根树遍历.pdf

334-名词术语-(叶)带权树.pdf

335-名词术语-最优树.pdf

336-名词术语-Huffman算法.pdf

337-名词术语-有向树-技能点.pdf

338-演示文稿-最优树与huffman编码.pdf

339-演示文稿-61讲_命题逻辑的基本概念.pdf

34-教学录像-36讲-正规子群.mp4

340-教学课件-命题逻辑.pdf

341-教学课件-命题逻辑的基本概念.pdf

342-人物-布尔.pdf

343-人物-罗素.pdf

344-文献资料-浅谈数理逻辑.pdf

345-文献资料-数理逻辑发展简史.pdf

346-文献资料-From Aristotle to Pentium.pdf

347-文献资料-A Brief History of Logic.pdf

348-文献资料-On the Unusual Effectiveness of Logic in Computer Science.pdf

349-名词术语-联接词.pdf

35-教学录像-37讲-正规子群（续）.mp4

350-名词术语-命题逻辑的基本概念-技能点.pdf

351-演示文稿-62讲_命题公式及其解释.pdf

352-演示文稿-63讲_命题公式的等值式.pdf

353-演示文稿-64讲_命题公式的等值式（续）.pdf

354-演示文稿-65讲_命题公式的范式.pdf

355-演示文稿-66讲_命题公式的范式（续1）.pdf

356-演示文稿-67讲_命题公式的范式（续2）.pdf

357-名词术语-命题公式.pdf

358-名词术语-解释.pdf

359-名词术语-命题公式的类别.pdf

36-教学录像-38讲-格.mp4

360-名词术语-命题等值式.pdf

361-名词术语-基本等值式.pdf

362-名词术语-等值演算.pdf

363-名词术语-联接词的完备集.pdf

364-名词术语-主析取范式.pdf

365-名词术语-析取范式.pdf

366-名词术语-极小项.pdf

367-媒体素材-主析取范式的等值演算法.pdf

368-名词术语-主合取范式.pdf

369-名词术语-极大项.pdf

37-教学录像-39讲-格（续）.mp4

370-名词术语-命题逻辑公式-技能点.pdf

371-教学课件-命题公式及其解释、分类、等值式.pdf

372-教学课件-命题公式的范式.pdf

373-教学案例-命题公式的合法性判定.pdf

374-演示文稿-68讲_命题逻辑推理.pdf

375-演示文稿-69讲_命题逻辑推理（续1）.pdf

376-演示文稿-70讲_命题逻辑推理（续2）.pdf

377-教学课件-命题逻辑的应用.pdf

378-教学案例-命题逻辑的应用.pdf

379-教学案例-数理逻辑－案例设计.pdf

38-教学录像-40讲-布尔代数.mp4

380-学生作品-第8章 命题逻辑 (作业解答).pdf

381-名词术语-永真蕴含式.pdf

382-名词术语-命题逻辑推理方法.pdf

383-名词术语-真值表逻辑推理方法.pdf

384-名词术语-等值演算逻辑推理方法.pdf

385-名词术语-主析取范式逻辑推理方法.pdf

386-名词术语-命题逻辑推理-技能点.pdf

387-演示文稿-命题逻辑归结推理.pdf

388-教学课件-命题逻辑的推理.pdf

389-演示文稿-71讲_谓词逻辑的基本概念.pdf

39-教学录像-43讲- 图的概念.mp4

390-名词术语-个体词.pdf

391-名词术语-谓词.pdf

392-名词术语-函词.pdf

393-名词术语-量词.pdf

394-名词术语-谓词逻辑的基本概念-技能点.pdf

395-教学课件-谓词逻辑的基本概念.pdf

396-演示文稿-72讲_谓词公式及其解释.pdf

397-演示文稿-73讲_谓词公式及其解释（续）.pdf

398-演示文稿-74讲_谓词等值式.pdf

399-演示文稿-75讲_谓词公式范式.pdf

4-教学录像-4讲-集合的运算（续）.mp4

40-教学录像-44讲-图的概念(续1).mp4

400-教学案例-谓词逻辑的应用.pdf

401-名词术语-谓词公式.pdf

402-名词术语-约束（自由）变元.pdf

403-名词术语-谓词公式的解释.pdf

404-名词术语-谓词公式的分类.pdf

405-名词术语-谓词等值公式.pdf

406-名词术语-基本谓词等值式.pdf

407-名词术语-前束范式.pdf

408-名词术语-斯柯伦范式（Skolem normal form）.pdf

409-名词术语-谓词逻辑公式-技能点.pdf

41-教学录像-45讲-图的概念(续2).mp4

410-演示文稿-谓词逻辑基本知识.pdf

411-教学课件-谓词公式及其解释、分类.pdf

412-教学课件-谓词公式的等值式、范式.pdf

413-演示文稿-76讲_谓词逻辑推理.pdf

414-教学课件-谓词逻辑推理.pdf

415-教学课件-数理逻辑习题课.pdf

416-教学课件-谓词逻辑的应用.pdf

417-学生作品-第9章 谓词逻辑 (作业解答).pdf

418-文献资料-On computable numbers with an application to the entscheidungsproblem.pdf

419-名词术语-谓词逻辑的永真蕴含式.pdf

42-教学录像-46讲-图的概念(续3).mp4

420-名词术语-谓词逻辑推理.pdf

421-名词术语-谓词逻辑推理-技能点.pdf

422-演示文稿-命题逻辑.pdf

423-文献资料-定理机器证明.pdf

424-教学课件-复习课.pdf

43-教学录像-47讲-图的连通性.mp4

44-教学录像-48讲-图的操作与表示.mp4

45-教学录像-49讲-赋权图.mp4

46-教学录像-50讲-欧拉图.mp4

47-教学录像-51讲-哈密顿图.mp4

48-教学录像-52讲-哈密顿图(续).mp4

49-教学录像-53讲-二部图.mp4

5-教学录像-5讲-集合的计数.mp4

50-教学录像-54讲-平面图.mp4

51-教学录像-55讲-树.mp4

52-教学录像-56讲-树(续).mp4

53-教学录像-57讲-根树.mp4

54-教学录像-58讲-根树(续).mp4

55-教学录像-61讲_命题逻辑的基本概念.mp4

56-教学录像-62讲_命题公式及其解释.mp4

57-教学录像-63讲_命题公式的等值式.mp4

58-教学录像-64讲_命题公式的等值式（续）.mp4

59-教学录像-65讲_命题公式的范式.mp4

6-教学录像-6讲-关系的定义与表示.mp4

60-教学录像-66讲_命题公式的范式（续1）.mp4

61-教学录像-67讲_命题公式的范式（续2）.mp4

62-教学录像-68讲_命题逻辑推理.mp4

63-教学录像-69讲_命题逻辑推理（续1）.mp4

64-教学录像-70讲_命题逻辑推理（续2）.mp4

65-教学录像-71讲_谓词逻辑的基本概念.mp4

66-教学录像-72讲_谓词公式及其解释.mp4

67-教学录像-73讲_谓词公式及其解释（续）.mp4

68-教学录像-74讲_谓词等值式.mp4

69-教学录像-75讲_谓词公式范式.mp4

7-教学录像-7讲-关系的性质.mp4

70-教学录像-76讲_谓词逻辑推理.mp4

71-演示文稿-1讲-集合的概念及表示.pdf

72-人物-康托尔.pdf

73-人物-德摩根.pdf

74-文献资料-Historical Projects in Discrete Mathematics and Computer Science.pdf

75-文献资料-集合论发展历史.pdf

76-名词术语-集合.pdf

77-名词术语-集合的基数.pdf

78-名词术语-集合的相等.pdf

79-名词术语-集合的表示方法.pdf

8-教学录像-8讲-关系的运算.mp4

80-名词术语-集合的概念及表示-技能点.pdf

81-媒体素材-罗素悖论.pdf

82-媒体素材-第三次数学危机.pdf

83-演示文稿-2讲-特殊集合.pdf

84-名词术语-子集合.pdf

85-名词术语-补集合.pdf

86-名词术语-幂集合.pdf

87-名词术语-特殊集合-技能点.pdf

88-演示文稿-3讲-集合的运算.pdf

89-演示文稿-4讲-集合的运算（续）.pdf

9-教学录像-9讲-关系的运算(续1).mp4

90-教学案例-集合的应用.pdf

91-名词术语-并.pdf

92-名词术语-交.pdf

93-名词术语-补.pdf

94-名词术语-差.pdf

95-名词术语-环和.pdf

96-名词术语-集合的运算-技能点（一）.pdf

97-名词术语-集合的运算-技能点（二）.pdf

98-演示文稿-5讲-计数问题.pdf

99-教学案例-容斥原理案例一.pdf

473-习题作业-第1章 集合.pdf

474-习题作业-集合.pdf

475-习题作业-第2章 关系.pdf

476-习题作业-习题答案-关系.pdf

477-习题作业-第3章 函数.pdf

478-习题作业-集合作业.pdf

479-习题作业-第4章 代数系统.pdf

480-习题作业-代数系统-选择题.pdf

481-习题作业-代数系统-填空题.pdf

482-习题作业-代数系统.pdf

483-习题作业-群-选择题.pdf

484-习题作业-群-填空题.pdf

485-习题作业-第5章 典型的代数系统.pdf

486-习题作业-第6章 图.pdf

487-习题作业-第7章 树.pdf

488-习题作业-第8章 命题逻辑.pdf

489-习题作业-命题逻辑题目.pdf

490-习题作业-命题逻辑题目2.pdf

491-习题作业-第9章 谓词逻辑.pdf

492-习题作业-谓词逻辑题目.pdf