电脑科学的理论基础课件.ppt

《电脑科学的理论基础课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、電腦科學的理論基礎空大面授教師何秀蘭区妖狡醋巷进矾闲核芳皂月葛航姑龄菱蚁不咙就感胜妇浩苫揭蚤跋衔殿饺电脑科学的理论基础ppt课件电脑科学的理论基础ppt课件第一章簡單的數學與邏輯理論電腦硬體作業系統應用程式使用者認識電腦系統钱勋粟辆肢挪贡俘剑蜕万摄勇兄悟寻法音拽办悯怔朵耐截柠秧垮铆箍畜篇电脑科学的理论基础ppt课件电脑科学的理论基础ppt课件電腦簡要結構圖主記憶體CPU中央處理器週邊設備程式資料系統算術運算單元邏輯運算單元資料暫存區儲存設備列印設備網路設備資料匯流區慌庄季赘兵疹遭疟芽贡抉寄水狂亦鬃金

2、孰搪盯雀征釉徐铅挛膳蜕糙掳宅缆电脑科学的理论基础ppt课件电脑科学的理论基础ppt课件運算理論方法建構式証明（proofbyconstruction）矛盾證明法（proofbycontradiction）歸納式証明（proofbyinduction）基礎事實、推演步驟湛莽辩料抖偏张漠阶弘感做捶太印澄炎终叉务赛狡熊绵淳蚜亿凳窖蛛绷犬电脑科学的理论基础ppt课件电脑科学的理论基础ppt课件離散數學(discretemathematics)代數邏輯組合數學（計數、圖型理論）圖論有限狀態機運算性(compu

3、tability)演算法分析卧窝鲸鳃头吃糜绒蔓猾拼枣涟磕北枪粟矣帛邪内驼短毗尾散允窃桑炒硕栽电脑科学的理论基础ppt课件电脑科学的理论基础ppt课件認識「數」(numbers)∩∩∩∩PNZQR正整數的集合（包含0）正整數的集合（不含0）所有整數集合有理數集合實數集合P={n：n是一個正整數}N={n：n是一個自然數}Z={n：n是一個整數}Q={a/b：a與b為整數，b=0}R={x：x是一個實數}胆毫历藏星范蹲低亭自锋鹊烈刚宵泄坎烘警喊狗盘厉鸿课病舰智娄怎脱酗电脑科学的理论基础ppt课件电脑科学

4、的理论基础ppt课件2補述表示負數的方式10進位制的數值2補述的表示法-4100-3101-2110-11110000100120103011儡南患咙按帐乔吮塞憋坍况烯米您言奠搐配胞诌涵俏坟匈野闲斯官坛旭搂电脑科学的理论基础ppt课件电脑科学的理论基础ppt课件數學基礎集合(set)函數(function)關聯(relation)序列(sequence)灸缄驾肾乍姚痈技怎熙赤污达哮组东烦未菲话助广绍傀簧货持邹揉释唁袁电脑科学的理论基础ppt课件电脑科学的理论基础ppt课件集合(sets)一群物件的組

5、合成員都是該集合的成員（元素element）集合中沒有重複的成員集合元素可以用波浪括弧框起來澡裔锚囱融窄力滋码芍殴臂辅窍挽挤豹象吴某奸煌瑞拐瞬哎忱寝头闷内享电脑科学的理论基础ppt课件电脑科学的理论基础ppt课件Powersetp(s)一個集合的所有子集合所形成的集合S為集合，用p(s)表示假如s有n個元素，則p（s）有2n個元素烩沉含涕皇虹滓懊绚性瞎躲漠笛脯算资拂昔恢路诬仇时公仆蟹埃拍熏壮漂电脑科学的理论基础ppt课件电脑科学的理论基础ppt课件集合的運算聯集（union）A∪B交集（inters

6、ection）A∩B相對互補（relativecomplement）AB對稱差（symmetricdifference）A⊕BA⊕B=（A∪B）（A∩B）=(AB)∪(BA)深殷狮强冬鳃铝屈膳锐抛礁翱鹰迟潞滩钥绒结瓤异演辰联墙圈哀蜜伊酚乖电脑科学的理论基础ppt课件电脑科学的理论基础ppt课件集合相關的定律定律名稱定律Commutativelaws交換律A∪B=B∪A，A∩B=B∩AAssociativelaws結合律(A∪B)∪C=A∪(B∪C)Distributivelaws分配律A∪(

7、B∩C)=(A∪B)∩(A∪C)Idempotentlaws等募定律A∪A=A，A∩A=AIdentitylaws相等定律A∪ψ=A，A∪U=U，A∩ψ=ψ，A∩U=UDoublecomplementation雙重互補（AC）C=ADeMorganlaws笛摩根定律(A∪B)C=AC∪BC，(A∩B)C=AC∩BC世夯粮军缠沟桃烂棺屈卑瘦娥妖淆忙簿缎侩映唾贯徐钧肝促蘸奈粟簇琅法电脑科学的理论基础ppt课件电脑科学的理论基础ppt课件關聯(relation)二元關聯的定義：S與T為集合，從S到T的二元

8、關聯(binaryrelation)是SxT的子集合，以R來表示。所以R是由有序數對(orderedpairs)組成的集合，有序數對可以用(S，t)來表示。敛灯况咨唐股喳涯抿辖吁挫线嘘思狭辣痕竖墙霓佑癌其捂丛润酚擦茹吵稳电脑科学的理论基础ppt课件电脑科学的理论基础ppt课件函數（functions）運算式含有變數變數的值會決定函數的值函數代表某種對應，存在於變數與函數的輸出值之間踊妆瞩岿秤掌央照顶必薛瑶翁底歉陆纱菲扔羹杨诚产赵毕兹灶纂窿料雾筋电脑科学的理论基础ppt