【精品】PPT課件離散數(shù)學(xué)與計算機科學(xué)計算機科學(xué)導(dǎo)論第四講【精品】PPT課件離散數(shù)學(xué)與計算機科學(xué)計算機科學(xué)導(dǎo)論第四講【精品】PPT課件離散數(shù)學(xué)與計算機科學(xué)計算機科學(xué)導(dǎo)論第四講離散數(shù)學(xué)與計算機科學(xué)計算機科學(xué)導(dǎo)論第四講計算機科學(xué)技術(shù)學(xué)院陳意iyun課程內(nèi)容課程內(nèi)容圍繞學(xué)科理論體系中的模型理論,程序理論和計算理論1.模型理論關(guān)心的問題給定模型M,哪些問題可以由模型M解決;如何比較模型的表達能力2.程序理論關(guān)心的問題給定模型M,如何用模型M解決問題包括程序設(shè)計范型、程序設(shè)計語言、程序設(shè)計、形式語義、類型論、程序驗證、程序分析等3.計算理論關(guān)心的問題給定模型M和一類問題,解決該類問題需多少資源去年四月的一天,我校九年級224班迎來了一位特殊的客人――劍橋英語學(xué)校的外籍教師Dennis先生。他走進課堂與學(xué)生們興致勃勃地聊了起來。學(xué)生們第一次見到老外既激動又擔(dān)心:CanIspeaktoaforeigner?(我能與外國人交談嗎?)然而幾分鐘下來,學(xué)生們就學(xué)習(xí)、日常生活等話題完全能與老外談吐自如了。課堂上學(xué)生們流利的口語令外籍教師連連夸贊:“OK,OK,Good,Lovely.”這是對筆者近年來加強口語訓(xùn)練的一次檢測。結(jié)果表明:學(xué)生的口語能力提高了,英語教學(xué)質(zhì)量也提高了。請看這個班的中考成績,優(yōu)秀率80%以上,合格率100%。我輔導(dǎo)的學(xué)生參加全市英語能力競賽有八人次獲一、二、三等獎。重筆頭、輕口頭,應(yīng)試教育一直是農(nóng)村中學(xué)外語教學(xué)的一大弊端。如何改變這一現(xiàn)狀,怎樣才能把口語教學(xué)放在領(lǐng)先地位呢?近年來我作了一些努力。首先我把口語教學(xué)的評價納入學(xué)期形成性評價的范圍,讓它占一定的比重(筆者近年來正進行“形成性評價試驗”探討,去年論文獲省二等獎)。把口語教學(xué)列為英語教學(xué)的一個重要目標,使之成為每節(jié)英語課的一個組成部分,這樣學(xué)生就必須重視口語了。我是這樣操作的,每上一節(jié)課都精心設(shè)定口語目標,達標后要求學(xué)生用“Ican….”的形式陳述形成性目標,即將一節(jié)課的語言目標用Icanspeak…/Icanmakesentenceswith…/Icanretellthetext.etc.陳述要求時Ican后的內(nèi)容不是抽象的、整體性的東西,而是學(xué)生一節(jié)課學(xué)完后所能夠完成的具體行動。例如,我從不讓學(xué)生說,IcanspeakEnglishverywell.而換成說Icanreadthetextsmoothly./Icanremembersomeofthenewwordsforthisunit.又如,在學(xué)習(xí)關(guān)于Foodanddrink這一話題時,學(xué)生通過口語來表達這樣的目標:IcanremembersomeofthenamesforChinesefood./Ilikecoffeeandmilk.等。這里學(xué)生的陳述就是學(xué)生口語能力的表達了。那么怎樣指導(dǎo)學(xué)生完成這一過程呢?我這里又以學(xué)習(xí)“一般過去時”這一語法項目為例。什么才叫學(xué)會了表達“一般過去時”呢?是僅知道一般過去時的幾種用法?還是真正使用一般過去時?還是把使用一般過去時的某些段落背下來就行?或是稍稍運用一下?還是接受一般過去時的變化形式?知道is變was,are變were,do變did呢?我是通過以下手段來訓(xùn)練學(xué)生的:首先我要學(xué)生用剛才說過的:Icanrememberthepastformsoftheseverbs.然后列出有關(guān)“一般過去時”的語言知識項目,要求學(xué)生使用某些句型來造句,表達對話操練等,可以變化是這樣的句型:Was/Were…?Did…?讓學(xué)生口頭表達,老師要求學(xué)生會用所涉及句型的三個、五個或十個以上的動詞的過去式(有規(guī)則的和不規(guī)劃的)。目的是為了擴大學(xué)生的詞匯量。同時我還給出這樣的話題:“Howwasyourweekend?”“Howdidyouspendyourvacation?”要求學(xué)生運用一般過去時談話。在訓(xùn)練時,我要求學(xué)生暢所欲言,只要不離題就行了。舉個簡單的例子,如要表達飲食內(nèi)容,不能人人都吃魚、米飯吧,總還有不同食品的花樣吧!因此老師列出20種,學(xué)生任選幾種,學(xué)生發(fā)揮了個人的特點,表達又不至于千篇一律了。為了強化口語訓(xùn)練,使之與課堂教學(xué)相結(jié)合,我每節(jié)課都精心設(shè)計一個或兩個特定的話題,給學(xué)生創(chuàng)設(shè)特定的環(huán)境和語境。因為口語訓(xùn)練需要不同的話題、不同的語境。這涉及到教師自身的素質(zhì),課前的精心準備,學(xué)生的習(xí)慣養(yǎng)成等諸多因素,但最關(guān)鍵的還是教師。我設(shè)計的話題一般包括:首先有Whenandwhere,其次有Whoandwhom――特定的人,特定的人與人的關(guān)系,處于什么狀態(tài),再次就是Why?比如問“What’stheweatherlike/How’stheweather?”這不是突如其來的亂問,有可能是天變冷了,老師關(guān)心學(xué)生,要多添衣服,也可能是我要外出,問問天氣何如,以此判斷帶雨衣還是薄衣服。實際上,每個人在交際過程中,都涉及到了內(nèi)心過程(即環(huán)境)。如兩個人打招呼可能是無所謂的(Hello―Hello.)也可能很熱情(Nicetomeetyou.),為了多讓學(xué)生開口,有時我也給學(xué)生提供圖片、幻燈片,讓學(xué)生看圖說話。課后我把每班學(xué)生分成十個以上的小組,經(jīng)常開展Pairwork或Groupwork等活動,并成立英語課外活動小組,使學(xué)生課內(nèi)外練習(xí)英語口語蔚然成風(fēng)。怎樣了解學(xué)生的口語水平?用什么樣的方式來評價學(xué)生的口語水平呢?我采用的是口語的形成性評價,即采用測試的教學(xué)評價(evaluationwithtests)為主,非測試的教學(xué)評價(evaluationwithouttests)為輔的方法來進行。使用測試手段的評價有口試,筆試主觀題,客觀題等,以口試為主,題型為:a)單詞,短語朗讀;b)句子朗讀;c)重點課文段落朗讀或復(fù)述;d)答問;e)自由談話(給出話題)將測試成績分A等(19分以上),B等(16分以上),C等(12分以上),按20%計入期末英語考試總成績。非測試的教學(xué)評價,我主要采用“現(xiàn)場筆記”――即對教學(xué)現(xiàn)場的情況即時進行記錄。包括以下幾項內(nèi)容:1)、對當堂課的印象,即學(xué)生整體發(fā)揮情況,由教師記下來;2)、學(xué)生小組活動情況;3)、學(xué)生每個人的表現(xiàn)有好的,不好的,有趣的或奇怪的;4)、學(xué)生的錯誤,如學(xué)生為什么會這樣說,反映了學(xué)生的哪些缺陷等;5)、記錄學(xué)生在課堂上的閃光點。這樣有助于對學(xué)生的了解,又便于研究課堂教學(xué)進展情況,進行課堂教學(xué)評價,同時為下一個話題作準備,有利于提高教學(xué)質(zhì)量。前置性學(xué)習(xí)，又稱為前置性小研究或前置性作業(yè)，它是生本教育理念的一個重要表現(xiàn)形式。它指的是教師向?qū)W生講授新課內(nèi)容之前，讓學(xué)生先根據(jù)自己的知識水平和生活經(jīng)驗所進行的嘗試性學(xué)習(xí)。當前，如何提高課堂效率，是每位教師需要解決的難題。而要提高課堂效率，抓好預(yù)習(xí)是至關(guān)重要的。它可以培養(yǎng)學(xué)生的自學(xué)能力、創(chuàng)新精神，鍛煉學(xué)生的意志品質(zhì)；它可以使每位教師更加了解學(xué)生的知識水平和學(xué)習(xí)要求，了解學(xué)生的個別差異，便于因材施教。古人云：“授人以魚，不如授人以漁?！边@說明方法和策略的重要性?；谝陨系恼J識，我們確定了以“數(shù)學(xué)前置學(xué)習(xí)方法和能力的培養(yǎng)”為主題的課題研究。一段時間以來，我們四年級備課組的全體教師齊心協(xié)力、潛心研究，深入挖掘教材、集思廣益、大膽實踐、不斷總結(jié)。在前置學(xué)習(xí)作業(yè)設(shè)計、學(xué)生的前置學(xué)習(xí)方法和能力的培養(yǎng)以及教學(xué)生成預(yù)設(shè)等方面取得了一定的收獲，也發(fā)現(xiàn)了很多不足和困惑。先把課題研究實施情況總結(jié)如下：一、給學(xué)生創(chuàng)設(shè)預(yù)習(xí)的時空“沒有一定的活動范圍，人就無法完成重大的事情。”兒童的自學(xué)意識和自學(xué)能力的幼芽，也必須在開放的學(xué)習(xí)活動時空中才能得以勃勃生長。因此，要想讓學(xué)生學(xué)會預(yù)習(xí)，教師首先要給學(xué)生提供預(yù)習(xí)的時空。讓優(yōu)良的種子有一個合適的土壤，并在這里生根、發(fā)芽、開花、結(jié)果。實驗一開始，我們抽出一定的課堂時間，讓學(xué)生在教師的引導(dǎo)下，充分圍繞確定的前置學(xué)期作業(yè)，結(jié)合教材嘗試自主學(xué)習(xí)，初步滲透自主學(xué)習(xí)的方法，養(yǎng)成自主學(xué)習(xí)的習(xí)慣，營造濃厚的自主學(xué)習(xí)的氛圍，給學(xué)生們搭建堅實的自主學(xué)習(xí)的平臺。二、重視預(yù)習(xí)方法的指導(dǎo)方法是解決問題的重要策略。一個人掌握了學(xué)習(xí)的方法，就如同掌握了打開知識寶庫的“金鑰匙”，就能獨立地向新的知識領(lǐng)域進軍，也才有可能攀上知識的頂峰。所以，要想讓學(xué)生具有自學(xué)的本領(lǐng)，教師就要重視方法的指導(dǎo)。我是分三個階段讓學(xué)生逐步掌握預(yù)習(xí)的方法的：（1）師生一起預(yù)習(xí)，摸索預(yù)習(xí)方法；（2）制定預(yù)習(xí)提綱，掌握預(yù)習(xí)方法；（3）學(xué)生自己預(yù)習(xí)，總結(jié)預(yù)習(xí)方法。三、精心設(shè)計教案為加強課堂生成情況的預(yù)設(shè)，提高自身駕馭課堂的能力，教師要努力做到以下幾點：1.備課多備“可能”。在備課標、備教材、備學(xué)生的三大備課要素中，課程標準和教材一經(jīng)確立就相對穩(wěn)定，而學(xué)生是動態(tài)的、有差異的。教師在備課時要洞悉學(xué)生心理和知識基礎(chǔ)，構(gòu)建符合學(xué)生智力發(fā)展的情境。無論是教學(xué)環(huán)節(jié)的預(yù)置、課堂組織方式的確立，都要以充分發(fā)揮學(xué)生的主觀能動性為前提。在備學(xué)生的“可能”時，要盡可能多地把學(xué)生考慮在內(nèi)。學(xué)生應(yīng)成為課堂學(xué)習(xí)活動的主體，也應(yīng)是我們備課的出發(fā)點和歸屬。2.設(shè)計力行“簡約”。過去，教師們花在教學(xué)設(shè)計、編寫教案的工夫?qū)嵲谔?。從教材分析到教學(xué)重點、教學(xué)目標；從學(xué)法提示、訓(xùn)練題型，到課堂板書、教學(xué)評價、教學(xué)反思等，都一一在案，內(nèi)容過細過多。隨著新課標實踐教育觀念的變更，教學(xué)方法每天都在發(fā)展、變化著，個性化、創(chuàng)造性的課堂教學(xué)也絕不能用同一種模式。教學(xué)設(shè)計的關(guān)鍵在于考慮學(xué)生的學(xué)習(xí)和需要，確定以學(xué)定教的原則。教師要把工夫花在鉆研教材上，花在推測學(xué)生的“可能”上。對于講課的重點，應(yīng)引導(dǎo)學(xué)生進行理解，可設(shè)計多種策略，做到重點之處細細描繪，其余部分要一筆帶過。3.關(guān)注實踐空間。一節(jié)課的教學(xué)時間是有限的。教師在編寫教案時，應(yīng)更多地考慮課堂實際，留有師生靈活操作和活動的空間。強調(diào)從思路上整體把握，應(yīng)重視學(xué)生的思維過程和語言表達，克服程式化的設(shè)計，留給學(xué)生更多的實踐空間。4.課程資源由“單一”走向生成。新的課程理念下，教師不再是教科書的忠實執(zhí)行者，而是課程資源的開發(fā)者、創(chuàng)造者。課程資源不再是靜態(tài)的文本，課本也不是教學(xué)中固定的、不容變更的唯一的課程資源。數(shù)學(xué)教學(xué)資源包括靜態(tài)的數(shù)學(xué)教學(xué)資源和動態(tài)的數(shù)學(xué)教學(xué)資源。對靜態(tài)的數(shù)學(xué)教學(xué)資源，教師應(yīng)根據(jù)學(xué)生的實際情況進行取舍增刪，作適當?shù)摹安眉簟?，對教材進行“二度加工”。從學(xué)生已有的知識、生活經(jīng)驗、興趣、愛好出發(fā)，去拓寬、加深數(shù)學(xué)學(xué)習(xí)資源的內(nèi)涵與外延。對動態(tài)的數(shù)學(xué)教學(xué)資源，如教學(xué)中的偶然事件乃至失誤等，都會為課堂教學(xué)帶來新的可能，教師要善于抓住并很好地利用這些動態(tài)生成的資源，這對師生的成長都有著積極的作用。四、巧用評價激勵機制評價的目的是為了全面了解學(xué)生的數(shù)學(xué)學(xué)習(xí)歷程，激勵學(xué)生的學(xué)習(xí)并改進教師的教學(xué)。評價作為學(xué)生再學(xué)習(xí)的一種動力，將會激勵學(xué)生向下一個目標努力，對進一步學(xué)習(xí)充滿信心。為了充分調(diào)動學(xué)生的自主學(xué)習(xí)積極性，我們采取了多種多樣的評價手段，如記分式、標志式、喜報式等。經(jīng)過全組教師的共同努力，我們的課題研究取得了一定的收獲。但在收獲的同時，也遇到了很大的困惑：（1）學(xué)生的前置性作業(yè)完成得不認真甚至不去完成。如何讓學(xué)生主動認真地完成前置性作業(yè)，仍然是我們課題組一個重點研究的問題。（2）課堂上，學(xué)生不能真正地將自己的思想在小組內(nèi)分享和交流，有些學(xué)生沒有認真傾聽，并質(zhì)疑發(fā)問，小組合作效率不高。盡管收獲甚微，困難重重，我們課題組仍然會一如既往地團結(jié)協(xié)作，不斷創(chuàng)新和嘗試，爭取取得更大的收獲。離散數(shù)學(xué)與計算機科學(xué)計算機科學(xué)導(dǎo)論第四講計算機科學(xué)技術(shù)學(xué)院陳意iyun課程內(nèi)容課程內(nèi)容圍繞學(xué)科理論體系中的模型理論,程序理論和計算理論1.模型理論關(guān)心的問題給定模型M,哪些問題可以由模型M解決;如何比較模型的表達能力2.程序理論關(guān)心的問題給定模型M,如何用模型M解決問題包括程序設(shè)計范型、程序設(shè)計語言、程序設(shè)計、形式語義、類型論、程序驗證、程序分析等3.計算理論關(guān)心的問題給定模型M和一類問題,解決該類問題需多少資源講座提綱離散數(shù)學(xué)和計算機科學(xué)的關(guān)系離散數(shù)學(xué)的特點、與計算機科學(xué)的關(guān)系基本知識偏序集合、最小上界、完全偏序集合、序理論、函數(shù)序、函數(shù)的單調(diào)性和連續(xù)性遞歸數(shù)學(xué)函數(shù)的不動點語義函數(shù)的不動點、遞歸函數(shù)定義、遞歸函數(shù)定義的解、不動點算子、最小不動點定理編程語言遞歸函數(shù)的數(shù)學(xué)語義最小不動點語義離散數(shù)學(xué)和計算機科學(xué)的關(guān)系本課程已談及的相關(guān)內(nèi)容數(shù)理邏輯經(jīng)典邏輯、等式邏輯、程序邏輯、類型系統(tǒng)都包括合式公式、公理、推理規(guī)則、演繹推理集合論良基關(guān)系、良基歸納法,偏序關(guān)系(本次課)代數(shù)結(jié)構(gòu)(抽象代數(shù))常見的抽象數(shù)據(jù)類型(表、棧、二叉樹等)是代數(shù)本課程還會談及可計算性和算法分析等離散數(shù)學(xué)和計算機科學(xué)的關(guān)系離散數(shù)學(xué)的特點離散數(shù)學(xué)是數(shù)學(xué)的幾個分支的總稱,研究基于離散而不是連續(xù)的數(shù)學(xué)結(jié)構(gòu)與光滑變化的實數(shù)不同,離散數(shù)學(xué)的研究對象,例如整數(shù)、圖和邏輯中的命題,都包含有區(qū)別和分離的值,但所包含的值并非光滑變化離散數(shù)學(xué)被視為處理可數(shù)集合(與自然數(shù)集有相同基數(shù)的集合)的數(shù)學(xué)分支離散數(shù)學(xué)無準確且普遍接受的定義,它經(jīng)常被定義為不包含連續(xù)變化量及相關(guān)概念的數(shù)學(xué),也用包含什么內(nèi)容的方式來定義離散數(shù)學(xué)和計算機科學(xué)的關(guān)系離散數(shù)學(xué)和計算機科學(xué)的關(guān)系離散數(shù)學(xué)的研究在20世紀后半葉,由于電子計算機的出現(xiàn)而迅猛發(fā)展離散數(shù)學(xué)的概念和表示法在研究和描述計算機科學(xué)一些分支(如計算機算法、編程語營、自動定理證明、密碼學(xué)和軟件研發(fā))的對象和問題時非常有用把離散數(shù)學(xué)的概念用于現(xiàn)實世界的問題時(如運籌學(xué)中的問題),計算機實現(xiàn)是十分重要的離散數(shù)學(xué)和計算機科學(xué)的關(guān)系本科期間的離散數(shù)學(xué)課程數(shù)理邏輯、圖論、代數(shù)結(jié)構(gòu)(抽象代數(shù))使用離散數(shù)學(xué)知識的課程:數(shù)據(jù)結(jié)構(gòu)、操作系統(tǒng)、編譯技術(shù)、人工智能、數(shù)據(jù)庫、算法設(shè)計與分析、程序設(shè)計語言基礎(chǔ)等探討的問題—遞歸函數(shù)的語義兩個C語言寫的遞歸函數(shù)(x≥0)intf(intx)&if(x==0)return1elsereturnx*f(X-1);intg(intx)tif(x==0)return1若x是偶數(shù),結(jié)elseif(x==1)returng(3)果為1;