谓词逻辑及形式系统 | 0 to 0 | Download files with FileMood

离散数学 Discrete Mathematics		2.5 GB	DOWNLOAD

/第3周：数理逻辑：谓词逻辑及形式系统/3 - 1 - 26-数理逻辑-个体、谓词和量词(14-30).mp4	28.0 MB
/第3周：数理逻辑：谓词逻辑及形式系统/3 - 2 - 27-数理逻辑-谓词公式(9-52).mp4	17.1 MB
/第3周：数理逻辑：谓词逻辑及形式系统/3 - 3 - 28-数理逻辑-谓词公式永真式(13-58).mp4	31.2 MB
/第3周：数理逻辑：谓词逻辑及形式系统/3 - 4 - 29-数理逻辑-谓词演算形式系统FC(9-38).mp4	20.5 MB
/第3周：数理逻辑：谓词逻辑及形式系统/3 - 5 - 30-数理逻辑-全称引入规则及存在消除规则(8-18).mp4	15.7 MB
Showing first 5 matched files of 121 total files

«« « Back Next » »»