電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問(wèn) 
發(fā)資料
發(fā)視頻國(guó)外計(jì)算機(jī)科學(xué)教材系列教程之離散數(shù)學(xué)第四版PDF電子書免費(fèi)下載
2020-08-26 |
pdf |
26.13 MB |
次下載 |
1積分
資料介紹
邏輯是研究推理的，它特別著重于推理過(guò)程是否正確。它不是研究某個(gè)特定的語(yǔ)句是否正確，而是著重于語(yǔ)句之間的關(guān)系。例如，考慮下列語(yǔ)句
所有數(shù)學(xué)家都穿涼鞋
任何穿涼鞋的人都是代數(shù)學(xué)家。
因此，所有的數(shù)學(xué)家都是代數(shù)學(xué)家。
?
從技術(shù)上來(lái)說(shuō)，要單獨(dú)確定這些語(yǔ)句中的某一句是否正確，邏輯并沒(méi)有用。但是，如果前兩個(gè)語(yǔ)句為真，邏輯可以肯定第三個(gè)語(yǔ)句因此，所有的數(shù)學(xué)家都是代數(shù)學(xué)家也是正確的。邏輯方法在數(shù)學(xué)中用于定理證明，在計(jì)算機(jī)科學(xué)中，用來(lái)證明程序是在作它應(yīng)該作的事情。在本章的后面將討論一些證明的一般方法，其中之一是數(shù)學(xué)歸納法，它廣泛用于數(shù)學(xué)和計(jì)算機(jī)科學(xué)中。數(shù)學(xué)歸納法對(duì)離散數(shù)學(xué)特別有用
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 電子技術(shù)基礎(chǔ)之模擬部分（第四版）pdf 0次下載
- Perl語(yǔ)言入門(第四版) 0次下載
- 計(jì)算機(jī)數(shù)學(xué)教程之《計(jì)算機(jī)數(shù)學(xué)基礎(chǔ)》電子教材計(jì)算機(jī)的必備數(shù)學(xué)基礎(chǔ)免費(fèi)下載 0次下載
- 電工原理（第四版） 0次下載
- 現(xiàn)代控制工程(第四版)教材下載 0次下載
- 國(guó)外計(jì)算機(jī)科學(xué)經(jīng)典教材 MATLAB科學(xué)計(jì)算 0次下載
- 計(jì)算機(jī)通信網(wǎng)絡(luò)第四版習(xí)題詳細(xì)答案 0次下載
- 電路_邱關(guān)源第四版pdf 0次下載
- 計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)：量化研究方法[中文版][第四版] 0次下載
- 模擬電子技術(shù)基礎(chǔ)（第四版）經(jīng)典教材 0次下載
- 材料力學(xué)（第四版） 0次下載
- 國(guó)外經(jīng)典教材-數(shù)字通信-第四版 0次下載
- 《計(jì)算機(jī)網(wǎng)絡(luò)》第四版PPT 0次下載
- 計(jì)算機(jī)網(wǎng)絡(luò)第四版下載(PDF) 0次下載
- 離散數(shù)學(xué)pdf下載 0次下載
- 工業(yè)中使用哪種計(jì)算機(jī)？ 1.1k次閱讀
- 計(jì)算機(jī)接口位于什么之間 2k次閱讀
- 計(jì)算機(jī)視覺(jué)的工作原理和應(yīng)用 4.4k次閱讀
- 工業(yè)計(jì)算機(jī)與普通計(jì)算機(jī)的區(qū)別 3.2k次閱讀
- 什么是計(jì)算機(jī)視覺(jué)？計(jì)算機(jī)視覺(jué)的三種方法 6.3k次閱讀
- 計(jì)算機(jī)輔助技術(shù)有哪些_計(jì)算機(jī)輔助技術(shù)的應(yīng)用 4.3w次閱讀
- 一文介紹計(jì)算機(jī)控制系統(tǒng)的四種電源 4.4k次閱讀
- 什么是量子計(jì)算機(jī)_量子計(jì)算機(jī)原理_量子計(jì)算的兩種有效方法 1.3w次閱讀
- 計(jì)算機(jī)仿真技術(shù)原理！仿真技術(shù)的種類 1.7w次閱讀
- 計(jì)算機(jī)的存儲(chǔ)器主要作用_計(jì)算機(jī)的存儲(chǔ)器的分類介紹 1.2w次閱讀
- 電子管計(jì)算機(jī)是第幾代_電子管計(jì)算機(jī)如何存儲(chǔ)數(shù)據(jù) 4.6w次閱讀
- 計(jì)算機(jī)網(wǎng)絡(luò)有什么作用_計(jì)算機(jī)網(wǎng)絡(luò)有哪些作用 3.9w次閱讀
- 最新電子書拆解評(píng)測(cè)系列報(bào)道（一）：打開(kāi)你的眼界 1.4w次閱讀
- 數(shù)字圖像處理及應(yīng)用主要有哪些 3.5w次閱讀
- 鉆石內(nèi)的量子計(jì)算機(jī) 1.6k次閱讀
上傳資料賺積分下載排行
本周
- 1PD取電芯片 ECP5702規(guī)格書
- 0.88 MB | 3次下載 | 免費(fèi)
- 2氮化鎵GaN FET/GaN HEMT 功率驅(qū)動(dòng)電路選型表
- 0.10 MB | 2次下載 | 免費(fèi)
- 3EMC PCB設(shè)計(jì)總結(jié)
- 0.33 MB | 2次下載 | 免費(fèi)
- 41節(jié)電池用電池保護(hù)IC S-8261D系列數(shù)據(jù)手冊(cè)
- 3.07 MB | 1次下載 | 1 積分
- 5PD取電芯片，可取5/9/12/15/20V電壓ECP5702數(shù)據(jù)手冊(cè)
- 0.88 MB | 1次下載 | 免費(fèi)
- 6飛騰FT2000-4 COM Express核心板技術(shù)手冊(cè)0603
- 1.22 MB | 1次下載 | 免費(fèi)
- 7飛騰S5000C-64雙路服務(wù)器系列應(yīng)用宣傳冊(cè)--一乘科技
- 945.81 KB | 1次下載 | 免費(fèi)
- 8IP2345支持PD3.0等多種快充協(xié)議 支持4~6節(jié)串聯(lián)電池最大充電功率30W異步升降壓充電IC
- 1.41 MB | 次下載 | 免費(fèi)
本月
- 1美的電磁爐電路原理圖資料
- 4.39 MB | 22次下載 | 10 積分
- 2反激式開(kāi)關(guān)電源設(shè)計(jì)解析
- 0.89 MB | 16次下載 | 5 積分
- 3耗盡型MOS FET產(chǎn)品目錄選型表
- 0.14 MB | 3次下載 | 免費(fèi)
- 4PD取電芯片 ECP5702規(guī)格書
- 0.88 MB | 3次下載 | 免費(fèi)
- 5氮化鎵GaN FET/GaN HEMT 功率驅(qū)動(dòng)電路選型表
- 0.10 MB | 2次下載 | 免費(fèi)
- 6EMC PCB設(shè)計(jì)總結(jié)
- 0.33 MB | 2次下載 | 免費(fèi)
- 7PC5200 700V_10A GaN HEMT驅(qū)動(dòng)器數(shù)據(jù)手冊(cè)
- 1.63 MB | 1次下載 | 免費(fèi)
- 81節(jié)電池用電池保護(hù)IC S-8261D系列數(shù)據(jù)手冊(cè)
- 3.07 MB | 1次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開(kāi)源硬件-PMP21529.1-4 開(kāi)關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233095次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191457次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183360次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81605次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73831次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評(píng)論