命题逻辑及形式系统 | 0 to 0 | Download files with FileMood

离散数学 Discrete Mathematics		2.5 GB	DOWNLOAD

/第2周：数理逻辑：命题逻辑及形式系统/2 - 1 - 13-重言式(6-11).mp4	14.9 MB
/第2周：数理逻辑：命题逻辑及形式系统/2 - 10 - 22-命题演算形式系统PC(9-06).mp4	22.7 MB
/第2周：数理逻辑：命题逻辑及形式系统/2 - 11 - 23-PC中的定理证明(7-52).mp4	13.6 MB
/第2周：数理逻辑：命题逻辑及形式系统/2 - 12 - 24-三个元定理(15-30).mp4	43.1 MB
/第2周：数理逻辑：命题逻辑及形式系统/2 - 13 - 25-定理判定问题(15-38).mp4	37.6 MB
Showing first 5 matched files of 121 total files

«« « Back Next » »»