• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    數理邏輯教學方法探討

    2010-08-15 00:54:39李志敏夏學文張學敏
    湖北工程學院學報 2010年3期
    關鍵詞:數理邏輯蘊涵離散數學

    李志敏,夏學文,張學敏

    (孝感學院計算機與信息科學學院,湖北孝感432000)

    數理邏輯教學方法探討

    李志敏,夏學文,張學敏

    (孝感學院計算機與信息科學學院,湖北孝感432000)

    數理邏輯不僅是離散數學課程的基礎,也是計算機科學與技術專業(yè)其他課程學習的重要基礎。文章就如何提高數理邏輯的教學質量,提出了注重教學內容的合理拓展與延伸、注重數理邏輯在計算機科學與技術領域應用背景的介紹、注重引入先進教學資源和教學輔助工具(如ProofWeb)等教學方法。

    離散數學;數理邏輯;計算機科學與技術專業(yè);ProofWeb

    離散數學是現代數學的一個重要分支,是計算機科學中基礎理論的核心課程。離散數學通常研究的領域包括數理邏輯、集合論、代數結構、關系論、函數論、圖論、組合學、數論、形式語言與自動機理論等,它是高校計算機及相關專業(yè)的重要基礎課程之一。學習離散數學,可以培養(yǎng)和提高學生的抽象思維能力和邏輯推理能力,為學生繼續(xù)學習和工作以及參加科學研究打下堅實的數學基礎[1]。

    數理邏輯是離散數學課程的重要基礎,它是用數學方法來研究推理的形式結構和推理規(guī)律的數學學科。數理邏輯的主要分支包括邏輯演算(包括命題演算和謂詞演算)、模型論、證明論、遞歸論和公理化集合論,它與數學的其他分支、計算機科學、人工智能、語言學等學科均有十分密切的聯(lián)系,并且日益顯示出它的重要作用和更加廣泛的應用前景。

    近來,各高校非常重視數理邏輯的教學,例如,復旦大學著眼于高起點,用泛代數術語講授命題邏輯和謂詞邏輯直到完備性、可靠性以及推理,取得優(yōu)良的教學效果[2]。上海交通大學用一個學期專門講授數理邏輯,給學生打下了堅實的理論基礎,提高了后續(xù)學習能力。

    在實際教學中,多數院校數理邏輯授課時間僅有20多個課時,因而教學內容不斷精減,造成學完這部分知識后,學生感覺不能滿足需要。而對數理邏輯的把握程度將直接影響到學生對后續(xù)專業(yè)課程的學習,影響到學生計算機思維邏輯的正確形成。提高本科數理邏輯的教學水平和質量,對學生學習后面的內容具有現實的意義。本文就如何提高數理邏輯的教學質量,從三個方面進行了探討。

    1 教學內容合理拓展與延伸

    1.1 從全面了解數理邏輯理論體系的角度延伸教學內容

    任何邏輯都有兩個重要層面:語義(semantics)和語法(syntax,也可以稱作是proof theory或proof systems)。研究邏輯一般從語義、語法以及二者之間的聯(lián)系三個方面展開。由于授課時間的限制,普通本科生教材通常只介紹語義,較少介紹語法(有的教材叫做形式證明或證明技術),基本不講語義和語法之間的聯(lián)系。這種處理方式對少學時培養(yǎng)方案而言,不失為是一種選擇。實踐證明,這種處理顯得較為粗糙,不利于學生掌握知識的完整體系和后續(xù)學習能力的培養(yǎng)。我們在教學中需要補充適當的教學內容,要讓學生全面認識數理邏輯理論的體系[3-4]。為此,我們的做法是在學完命題邏輯部分后,按以下幾個層次全面小結命題邏輯:

    1)語法。命題邏輯的形式系統(tǒng)是由命題變元符號、邏輯符號、由這些符號形成合式公式的規(guī)則、由若干公式組成的公理、由公理經一定的法則得到的定理所組成。形式系統(tǒng)的語法就是從公理(或一組公式集)出發(fā)的證明。

    2)語義。包括命題的真值、聯(lián)結詞的意義、命題公式真值、永真式(邏輯等價式和邏輯蘊涵式是永真式的特例)。利用一些基本的邏輯蘊涵式、邏輯等價式以及代入、替換規(guī)則,通過代數變換,導出更多的邏輯蘊涵式、邏輯等價式,是這一層面的核心內容。這部分的教學,要使學生對思維的規(guī)律有更清楚的認識,對邏輯的數學屬性有更深刻的了解,并能利用代數變換進行語義層面的邏輯推導,從一些前提出發(fā),導出它們的邏輯結果。

    3)語義與語法的聯(lián)系。這一部分主要介紹命題邏輯的可靠性定理(命題公式是定理,那么一定是永真式),命題邏輯的形式系統(tǒng)是和諧的(存在公式不是定理),命題邏輯的形式系統(tǒng)的完全性定理和緊致性定理,命題邏輯公式類是可判定的(存在一個算法判定任一命題公式是否是定理)。

    最重要的邏輯是一階邏輯,它是任何邏輯的基礎,它的表達能力很強并且具有良好的性質(例如完全性和緊致性)。學好一階邏輯是進一步學習的必備基礎。在講授謂詞邏輯時,我們首先引導學生類比命題邏輯理論體系構建謂詞邏輯形式系統(tǒng)的基本理論框架,然后讓學生利用課外時間查閱資料,從語義、語法及二者之間的關系等三方面預習課本知識,證明相關結論。教學實踐證明,上述辦法能較好地提高學生自主學習的積極性。

    1.2 從經典邏輯到非經典邏輯理論的角度拓展教學內容

    經典邏輯是指由弗雷格、皮爾士、羅素等人創(chuàng)立的現代邏輯系統(tǒng),由統(tǒng)一的命題演算和謂詞演算構成,叫做“一階邏輯”,其特點是使用特定的人工符號語言,運用公理化、形式化的方法。經典邏輯是研究最深入和使用最廣泛的一類形式邏輯。它們具有如下特征:排中律、無矛盾律、蘊涵的單調性和蘊涵的冪等性、合取的交換性、De Morgan對偶性。

    經典邏輯的局限性表現在不適合于非直謂性推理、不確定性推理以及內涵性推理,特別是經典邏輯中存在蘊涵怪論和邏輯悖論等無法解決的異?,F象和悖論[5]。

    在引入非經典邏輯的過程中,要注意講明非經典邏輯對經典邏輯的發(fā)展,以及如何克服經典邏輯的局限性。

    計算機科學與人工智能的需要,促使非經典邏輯的理論與應用研究持續(xù)發(fā)展。一類非經典邏輯是在經典邏輯基礎上的拓展。模態(tài)邏輯、時態(tài)邏輯、道義邏輯等都屬于這一類系統(tǒng)。它們保留經典邏輯原有的基本公理、推理規(guī)則和基本算子。例如,模態(tài)邏輯就是在經典一階邏輯的基礎上,增加“可能”、“必然”等算子。如果增加“應該”、“允許”、“禁止”等算子就稱為道義邏輯,而時態(tài)邏輯則是增加“過去”、“現在”、“將來”等算子。

    另一類非經典邏輯是對經典邏輯系統(tǒng)進行修改或限制而得到的,如直覺主義邏輯、多值邏輯、模糊邏輯、次協(xié)調邏輯和相干邏輯等等。這種非經典邏輯可以處理經典邏輯無法解決的異?,F象。例如,為了邏輯系統(tǒng)解決邏輯系統(tǒng)中的“實質蘊涵怪論”,阿克曼創(chuàng)立了相干邏輯。

    在引入非經典邏輯時,要以學生現有知識和容易觀察到的現象為背景。我們在講授相干邏輯時,從課本例題出發(fā)。例如命題“如果太陽從西邊出來,那么長江流經武漢”,其內容上毫不相干,邏輯值卻是真的。對這樣的蘊涵式,引導學生發(fā)現經典邏輯的實質蘊涵有弊端。為了避免實質蘊涵的弊端,邏輯學家提出了一條基本原則:蘊涵式A→B的前提A和結論B至少包含一個共同的變元時,公式A→B才是合理的。由此可知,在相干邏輯系統(tǒng)中,如下公式都是無效的:

    ?P→(p→q),(?pΛp)→q,p→(p→q)

    教學實踐證明,以教材知識為基礎,適時將經典邏輯進行拓展,引入非經典邏輯,講清楚非經典邏輯的來龍去脈,理清各種邏輯系統(tǒng)的聯(lián)系與區(qū)別,就能幫助學生理解邏輯系統(tǒng)的構造,提高學生學習興趣。

    2 數理邏輯應用背景知識介紹

    邏輯的概念、結論和方法在計算機科學中的地位越來越重要,它是人工智能、程序描述與驗證、形式語言、自動定理證明和算法理論的重要工具。一般說來,計算機科學中邏輯的作用有兩個方面:一是服務于計算機科學研究領域的基礎;二是邏輯的語言和演算是軟件開發(fā)、數據庫系統(tǒng)和知識表示的工具。在這些方面應用,已有不少的文章作介紹。我們認為數理邏輯在如下領域的應用值得讓本科學生了解:

    1)自動定理證明。關于這一領域,適宜于介紹王浩算法、D-P過程、Robinson歸結方法。

    2)邏輯編程。邏輯編程起源于歸結證明過程,僅用Horn子句就特別有效。人們發(fā)現Horn子句不僅描述了輸入和輸出關系,而且還給出了算法,于是產生了使用邏輯作為編程語言的想法。算法重新表達為:算法=邏輯+控制。

    邏輯編程語言是一個證明程序,即證明系統(tǒng)和搜索策略。邏輯編程中最有意義的一個問題是:邏輯的哪一部分可以看作是編程語言?

    關于邏輯編程,可以結合PROLOG講授,讓學生學會使用PROLOG,解決簡單的應用問題。

    3)程序驗證。程序驗證是研究使用形式化方法,嚴格證明一個程序符合其預定目標,因而是正確無誤的。目前驗證還處于初級階段,近幾十年來,盡管各種各樣的驗證工具不斷地被研制出來,但只能作到程序不同程度地被驗證。

    限于學生的知識能力和接受水平,僅簡單介紹基于邏輯推理的驗證。這是說明邏輯在計算機科學中應用的有用素材。這種方法將程序驗證轉換為邏輯推理問題,首先要建立合適的邏輯系統(tǒng),用以描述程序。本科教學中,介紹最著名的Hoare邏輯,與其他邏輯系統(tǒng)比較,該邏輯系統(tǒng)容易讓學生接受。

    基于Hoare邏輯的程序驗證方法的基本思想是對高級語言中的每一種基本控制結構(如條件語句、循環(huán)語句)都可以有相應的推理規(guī)則,要證明整個程序的正確性,就是使用這些推理規(guī)則進行推導。從理論上講,這種方法非常強大,能證明各種程序的正確性。它的不足之處是要求使用者具有較高的專業(yè)水平,比如能給出循環(huán)不變式。另外,還要求有表達力非常強的定理證明器,而這些定理證明器目前很難自動化。

    程序驗證的教學中,不要超過讓學生了解應用邏輯解決實際問題的方法這個層次,主要目的還是激發(fā)學生學習的興趣。

    3 基于ProofWeb的數理邏輯教學系統(tǒng)

    數理邏輯的教學,離不開網絡資源的輔助。在此我們介紹基于ProofWeb的數理邏輯教學系統(tǒng),它是由Cezary Kaliszyk和Freek Wiedijk等人于2006年開發(fā)完成的“計算機輔助邏輯教學系統(tǒng)”[6]。

    數理邏輯是計算機科學與技術專業(yè)本科以及研究生階段的基礎課程。它的兩個最基本,也是最重要的組成部分是“命題演算”和“謂詞演算”。在數理邏輯的學習過程中,練習是關鍵的活動之一,常常出現一些學生不能判斷近似正確但并不是完全正確的證明,雖然學生也可以使用一些計算機程序,引導他們發(fā)現完全正確的證明,而這樣做的一個缺點是學生可能會偶然得到解題方法,但并不真正理解證明過程。實踐證明將傳統(tǒng)方式和計算機程序引導相結合的方式是最好的選擇。

    3.1 ProofWeb系統(tǒng)簡介

    ProofWeb系統(tǒng)具有如下兩個優(yōu)勢:

    第一,該系統(tǒng)必須通過一個網絡界面,使學生在中央服務器上進行學習過程,證明助手不在學生的電腦上運行,而是在服務器上運行。這種架構的第一個好處是學生不需要安裝任何軟件,他們可以從任何電腦經過互聯(lián)網連接使用,不受地域和時間的限制;第二個好處是學生不需要考慮軟件的版本問題,由于一切都是在同一個中央服務器上,學生們在任何時間可以得到軟件的授權版本,練習題目及其可能解答,老師也可以在任何時候知道學生的學習狀況。

    第二,該系統(tǒng)充分利用了最先進的證明助手,即Coq。該系統(tǒng)成功驗證了著名的四色定理和C語言編譯器等數學和計算機科學相關理論和應用課題。

    Cezary Kaliszyk和Freek Wiedijk等人開發(fā)的ProofWeb系統(tǒng)增加了如下功能模塊:

    1)備有大量的邏輯練習題,設置的難度級別涵蓋了非常容易到非常難,學生不會很快就可以完成全部練習。

    2)課程介紹和使用說明書,系統(tǒng)提出的證明與教科書同步,系統(tǒng)開發(fā)了Gentzen-型和Fitch-型兩個自然演繹變種。

    ProofWeb系統(tǒng)突出的特點是該系統(tǒng)使用嚴謹的證明助手和基于Web應用程序架構,學生學習情況保留在Web服務器上,學生本人、老師和系統(tǒng)可以隨時了解學生學習進展。

    3.2 ProofWeb使用方法介紹

    ProofWeb系統(tǒng)既能用于邏輯教學又能作為證明助手。ProofWeb用戶有3種登陸方式:第一,不需要注冊登錄;第二,如果是學習邏輯或證明助手課程的學生,系統(tǒng)提供免費課程,如果是教師用戶,并希望在此服務器上進行教學,可發(fā)送郵件至proofweb@cs.ru.nl聯(lián)系;第三,教師還可以下載ProofWeb系統(tǒng)并在自己的服務器上運行。

    具體操作步驟如下:

    1)進入網頁http://prover.cs.ru.nl/,注意ProofWeb不一定在所有的瀏覽器上運行正常,在Firefox上一般沒問題。

    2)在靠近頁面的底部點擊課程名稱。

    3)輸入用戶名和密碼。

    4)按一下你想工作的問題的按鈕。

    5)可以選擇Debug菜單上的項目Toggle E-lectric Terminator,這樣每輸入一個‘.’時,命令自動執(zhí)行,否則將需要按向下箭頭或輸入controldown執(zhí)行命令。

    6)點擊向下箭頭或輸入control-down,直到已經執(zhí)行了定理行后面的證明行?,F在,開始進行證明工作。這時,不完整版本的證明會顯示在右下角。

    7)用下一頁描述的一系列策略取代(*!prop_proof*)的注釋。如果您沒有做第5步的Toggle Electric Terminator,那么需要反復按向下箭頭(或輸入control-down)執(zhí)行證明策略。

    8)用戶也可以從模板、向后和向前的菜單選擇輸入策略項目,用標簽、公式和項取代問號(‘?’),這樣做之后,按一下向下箭頭或輸入control-down。

    9)用戶可以修改尚未被處理的部分文字(已被處理部分將變成綠色),若要撤消證明步驟,點擊向上箭頭或輸入control-up。

    10)如果用戶有關于ProofWeb的問題,或交流經驗,可以使用ProofWeb形式的課程討論板。

    應用ProofWeb系統(tǒng)進行教學,可以培養(yǎng)學生自主學習能力,減少教師批閱學生證明練習的時間。成功開發(fā)系統(tǒng)ProofWeb,也是數理邏輯的一個典型應用案例。

    4 結束語

    本文針對數理邏輯教學中存在的問題,提出了一些教學建議,經在孝感學院計算機科學與技術專業(yè)離散數學課程教學實踐中運用,效果較好,主要表現在學生學習興趣不斷增強,提高了學生自主學習能力,培養(yǎng)了研究型學習習慣。

    [1] 屈婉玲,耿素云,張立昂,等.離散數學[M].北京:高等教育出版社,2008.

    [2] 朱洪.離散數學教程[M].上海:上海科學技術文獻出版社,1996.

    [3] 王元元.計算機科學中的現代邏輯學[M].北京:科學出版社,2002.

    [4] 王元元,陳衛(wèi)衛(wèi),賀汛.離散數學數理邏輯教學中值得關注的幾個問題[J].計算機教育,2009(16):136-138.

    [5] 王輝.邏輯理論變革的必然趨勢[J].遼寧工學院學報,2003,5(2):36-37.

    [6] Cezary Kaliszyk,Freek Wiedijk.Teaching logic using a state-of-the-art proof assistant[C]//Proceedings of PATE’07.Elsevier,2007.

    Abstract:Mathematical logic is a foundation of discrete mathematics and also an important basic knowledge for learning in computer science and technology speciality.In this paper,for the purpose of improving teaching quality of mathematical logic,the authors proposed teaching approach from the aspects of focusing on the reasonable extending of teaching content,introducing applications-oriented background knowledge and the advanced teaching resources and aided teaching tools such as Proof-Web.

    Key Words:discrete mathematics;mathematical logic;computer science and technology speciality;ProofWeb

    On the Teaching Approach of Mathematical Logic

    Li Zhimin,Xia Xuewen,Zhang Xuemin
    (School of Computer and Inf ormation Science,Xiaogan University,Xiaogan,Hubei432000,China)

    G642.41

    A

    1671-2544(2010)03-0105-04

    2010-04-06

    李志敏(1967— ),男,湖北云夢人,孝感學院計算機與信息科學學院講師,博士。

    (責任編輯:張曉軍)

    猜你喜歡
    數理邏輯蘊涵離散數學
    基于數理認知的數理邏輯類益智玩具設計研究
    玩具世界(2024年2期)2024-05-07 08:15:50
    偉大建黨精神蘊涵的哲學思想
    當代陜西(2021年18期)2021-11-27 09:01:36
    我的超級老爸
    數理邏輯在工程技術中的應用探析
    東方教育(2017年9期)2017-07-19 10:49:17
    多重模糊蘊涵與生成模糊蘊涵的新方法
    離散數學實踐教學探索
    圣誕快樂
    謎語大集合
    關于Fuzzy蘊涵代數的模糊MP濾子
    離散數學中等價關系的性質
    科技視界(2013年14期)2013-08-15 00:54:11
    床上黄色一级片| 国产亚洲精品久久久久久毛片| 色吧在线观看| 精品久久久久久久人妻蜜臀av| 91av网站免费观看| 婷婷六月久久综合丁香| 看免费av毛片| 熟女人妻精品中文字幕| 嫩草影院精品99| 国产男靠女视频免费网站| 国产精品亚洲美女久久久| av黄色大香蕉| 男人舔奶头视频| 丁香六月欧美| 久久久久性生活片| 精品欧美国产一区二区三| 宅男免费午夜| 精品国产亚洲在线| 亚洲va日本ⅴa欧美va伊人久久| 91老司机精品| 成年人黄色毛片网站| 久久精品综合一区二区三区| 欧美激情久久久久久爽电影| 亚洲第一电影网av| 天天躁日日操中文字幕| 国产精品,欧美在线| 12—13女人毛片做爰片一| 午夜激情欧美在线| 国产精品av久久久久免费| 五月玫瑰六月丁香| 午夜影院日韩av| 悠悠久久av| 两性午夜刺激爽爽歪歪视频在线观看| 日本黄色片子视频| 久久中文字幕人妻熟女| 宅男免费午夜| 亚洲自拍偷在线| 精品国产超薄肉色丝袜足j| 色综合婷婷激情| 国产精品 欧美亚洲| 亚洲国产色片| 一个人免费在线观看电影 | 国产一区二区激情短视频| 少妇人妻一区二区三区视频| 亚洲色图av天堂| 中文字幕高清在线视频| 久久久久国产一级毛片高清牌| 亚洲五月天丁香| 露出奶头的视频| 亚洲熟妇中文字幕五十中出| 美女午夜性视频免费| 国产欧美日韩精品一区二区| 亚洲五月婷婷丁香| 亚洲欧美日韩卡通动漫| 国产精品一区二区三区四区久久| 国产三级在线视频| 一二三四在线观看免费中文在| 最新美女视频免费是黄的| 一本一本综合久久| 嫩草影院精品99| 麻豆国产97在线/欧美| 精品国产美女av久久久久小说| 国产亚洲av高清不卡| 人人妻人人看人人澡| 亚洲 欧美一区二区三区| 99国产综合亚洲精品| 麻豆成人av在线观看| 非洲黑人性xxxx精品又粗又长| 久久亚洲精品不卡| 成人欧美大片| 久久久久久久精品吃奶| 少妇熟女aⅴ在线视频| 成人午夜高清在线视频| 精品国内亚洲2022精品成人| 国产成人福利小说| 不卡av一区二区三区| 可以在线观看的亚洲视频| 岛国视频午夜一区免费看| 亚洲无线观看免费| 中国美女看黄片| 国产精品久久久久久亚洲av鲁大| 真人做人爱边吃奶动态| 久久久久久大精品| 国产午夜福利久久久久久| 夜夜躁狠狠躁天天躁| 国产aⅴ精品一区二区三区波| 亚洲av电影不卡..在线观看| 夜夜夜夜夜久久久久| 久久久色成人| 久久久国产精品麻豆| 成人高潮视频无遮挡免费网站| 一边摸一边抽搐一进一小说| 日韩 欧美 亚洲 中文字幕| 欧美成人性av电影在线观看| 亚洲精品一区av在线观看| 全区人妻精品视频| 无限看片的www在线观看| 最新美女视频免费是黄的| 欧美xxxx黑人xx丫x性爽| 国产高清视频在线观看网站| 男女下面进入的视频免费午夜| 2021天堂中文幕一二区在线观| 夜夜看夜夜爽夜夜摸| 亚洲专区国产一区二区| h日本视频在线播放| 久久久久国产精品人妻aⅴ院| 久久久久久久久中文| 欧美国产日韩亚洲一区| 首页视频小说图片口味搜索| 国产日本99.免费观看| 99riav亚洲国产免费| 18禁裸乳无遮挡免费网站照片| 日本 欧美在线| 亚洲国产欧美一区二区综合| 最近最新中文字幕大全免费视频| 国产高清有码在线观看视频| 麻豆国产97在线/欧美| 大型黄色视频在线免费观看| 亚洲电影在线观看av| 精品不卡国产一区二区三区| 日韩中文字幕欧美一区二区| 亚洲专区国产一区二区| 少妇熟女aⅴ在线视频| 欧美日韩国产亚洲二区| 午夜日韩欧美国产| 99热这里只有是精品50| 欧美国产日韩亚洲一区| www国产在线视频色| 夜夜夜夜夜久久久久| www国产在线视频色| 可以在线观看的亚洲视频| 久久九九热精品免费| 99在线视频只有这里精品首页| 一进一出抽搐动态| 1024手机看黄色片| 亚洲五月婷婷丁香| 欧美成人一区二区免费高清观看 | 人人妻人人看人人澡| 午夜免费激情av| 日韩欧美免费精品| 俄罗斯特黄特色一大片| 国产一区二区激情短视频| 99在线人妻在线中文字幕| 日本精品一区二区三区蜜桃| 久久欧美精品欧美久久欧美| 一级毛片女人18水好多| 国产又黄又爽又无遮挡在线| 久久久久性生活片| 欧美日韩福利视频一区二区| 亚洲国产色片| 一级作爱视频免费观看| 国内精品久久久久久久电影| 国产亚洲精品久久久com| 成年人黄色毛片网站| 俺也久久电影网| 亚洲精品中文字幕一二三四区| 日日干狠狠操夜夜爽| 欧美乱妇无乱码| 成年人黄色毛片网站| 欧美日韩一级在线毛片| 成人性生交大片免费视频hd| 在线观看日韩欧美| 18禁黄网站禁片午夜丰满| 欧美成狂野欧美在线观看| 麻豆国产av国片精品| 久久久久性生活片| 热99re8久久精品国产| 日本撒尿小便嘘嘘汇集6| tocl精华| 国产av不卡久久| АⅤ资源中文在线天堂| 嫩草影院精品99| 欧美性猛交黑人性爽| 久久久水蜜桃国产精品网| 亚洲av成人av| 精品国产三级普通话版| 国产高清激情床上av| 午夜福利欧美成人| 草草在线视频免费看| 俺也久久电影网| 88av欧美| 九色成人免费人妻av| 亚洲性夜色夜夜综合| 亚洲av美国av| 九色成人免费人妻av| 亚洲欧美激情综合另类| 久久精品91无色码中文字幕| 国产真实乱freesex| bbb黄色大片| 国产v大片淫在线免费观看| 亚洲一区高清亚洲精品| 亚洲avbb在线观看| 两个人看的免费小视频| 亚洲av中文字字幕乱码综合| 黑人操中国人逼视频| 老司机深夜福利视频在线观看| 一级黄色大片毛片| 日韩欧美 国产精品| 亚洲成人中文字幕在线播放| 一区福利在线观看| 亚洲精品美女久久久久99蜜臀| a级毛片a级免费在线| 一个人免费在线观看的高清视频| 搡老妇女老女人老熟妇| 亚洲五月天丁香| 无人区码免费观看不卡| 亚洲av电影不卡..在线观看| 成人一区二区视频在线观看| 国产精品一区二区精品视频观看| 亚洲国产高清在线一区二区三| 日韩免费av在线播放| www.自偷自拍.com| 一进一出好大好爽视频| 免费大片18禁| 搡老妇女老女人老熟妇| a在线观看视频网站| 在线观看免费午夜福利视频| 在线看三级毛片| 亚洲人成伊人成综合网2020| 女人被狂操c到高潮| 国产成人啪精品午夜网站| 亚洲天堂国产精品一区在线| 欧洲精品卡2卡3卡4卡5卡区| 国产综合懂色| 国产精品亚洲美女久久久| 免费无遮挡裸体视频| 久久国产精品影院| 小说图片视频综合网站| 免费看a级黄色片| 国产主播在线观看一区二区| 国产一区二区在线av高清观看| 欧美日韩乱码在线| 精品久久久久久久末码| 美女cb高潮喷水在线观看 | 久久这里只有精品19| 一级作爱视频免费观看| 两性夫妻黄色片| av女优亚洲男人天堂 | 国产伦在线观看视频一区| 精品一区二区三区四区五区乱码| 成人鲁丝片一二三区免费| 亚洲成a人片在线一区二区| 欧美大码av| 看黄色毛片网站| 夜夜躁狠狠躁天天躁| 超碰成人久久| 久久精品91蜜桃| 国产三级中文精品| 久久久国产欧美日韩av| 91字幕亚洲| 天天躁狠狠躁夜夜躁狠狠躁| 久久精品aⅴ一区二区三区四区| 亚洲av成人av| 夜夜爽天天搞| 亚洲人成伊人成综合网2020| 久久人妻av系列| 久久久久久久久免费视频了| 麻豆一二三区av精品| 精品国产亚洲在线| 亚洲国产看品久久| 亚洲精品色激情综合| 欧美性猛交╳xxx乱大交人| 美女cb高潮喷水在线观看 | 久久久久国产精品人妻aⅴ院| 精品一区二区三区视频在线观看免费| 美女大奶头视频| 国产精品自产拍在线观看55亚洲| 久久亚洲真实| 精品熟女少妇八av免费久了| 久久国产精品人妻蜜桃| 国产精品一区二区精品视频观看| 午夜福利高清视频| 色噜噜av男人的天堂激情| 国产黄a三级三级三级人| 舔av片在线| 一本久久中文字幕| 校园春色视频在线观看| 午夜日韩欧美国产| 国产亚洲精品久久久久久毛片| 一a级毛片在线观看| 久久久久久国产a免费观看| 亚洲欧美一区二区三区黑人| 成人av在线播放网站| 99热这里只有是精品50| 白带黄色成豆腐渣| 日韩成人在线观看一区二区三区| 久久久久久大精品| 1024手机看黄色片| 亚洲第一电影网av| 老司机在亚洲福利影院| 成人国产综合亚洲| 曰老女人黄片| 亚洲自拍偷在线| 亚洲中文av在线| 最近最新免费中文字幕在线| 欧美中文日本在线观看视频| 中文字幕久久专区| 欧美日韩瑟瑟在线播放| 婷婷精品国产亚洲av在线| 亚洲av美国av| or卡值多少钱| 嫁个100分男人电影在线观看| www.熟女人妻精品国产| 激情在线观看视频在线高清| 国内精品美女久久久久久| 国产精品久久久久久精品电影| 亚洲九九香蕉| 国产亚洲av嫩草精品影院| 欧美一级毛片孕妇| 国产精品电影一区二区三区| 精品福利观看| 欧美+亚洲+日韩+国产| 他把我摸到了高潮在线观看| 国产精品av久久久久免费| 99久久国产精品久久久| 婷婷丁香在线五月| 中文资源天堂在线| 婷婷精品国产亚洲av| 三级男女做爰猛烈吃奶摸视频| 三级国产精品欧美在线观看 | 亚洲av电影在线进入| 欧美色视频一区免费| 国产 一区 欧美 日韩| 欧美日韩综合久久久久久 | 午夜成年电影在线免费观看| 午夜日韩欧美国产| 国产99白浆流出| 18禁国产床啪视频网站| 亚洲av熟女| 老司机午夜福利在线观看视频| 在线观看舔阴道视频| 人人妻,人人澡人人爽秒播| 在线永久观看黄色视频| 亚洲aⅴ乱码一区二区在线播放| 国产视频内射| 成人一区二区视频在线观看| 一区二区三区激情视频| 18禁黄网站禁片免费观看直播| а√天堂www在线а√下载| 老司机午夜福利在线观看视频| 日日摸夜夜添夜夜添小说| 中文亚洲av片在线观看爽| 日韩欧美一区二区三区在线观看| 亚洲专区国产一区二区| 韩国av一区二区三区四区| 国内少妇人妻偷人精品xxx网站 | 高清毛片免费观看视频网站| 亚洲第一电影网av| 白带黄色成豆腐渣| 国内揄拍国产精品人妻在线| 91av网站免费观看| 久久久久性生活片| 亚洲午夜理论影院| 亚洲精品一卡2卡三卡4卡5卡| 久久99热这里只有精品18| 国产高清有码在线观看视频| 美女 人体艺术 gogo| 一卡2卡三卡四卡精品乱码亚洲| 99久久精品一区二区三区| h日本视频在线播放| 午夜影院日韩av| 亚洲熟妇中文字幕五十中出| 99久久无色码亚洲精品果冻| 欧美极品一区二区三区四区| 麻豆一二三区av精品| 白带黄色成豆腐渣| 男人舔女人的私密视频| 亚洲国产欧洲综合997久久,| 成人午夜高清在线视频| 母亲3免费完整高清在线观看| 欧美xxxx黑人xx丫x性爽| 亚洲精品456在线播放app | 最近最新中文字幕大全电影3| 亚洲色图av天堂| 午夜福利欧美成人| 麻豆av在线久日| 国产精品一区二区免费欧美| 日本成人三级电影网站| 男人舔女人下体高潮全视频| 露出奶头的视频| 嫁个100分男人电影在线观看| 最近最新中文字幕大全电影3| 国产乱人伦免费视频| 国产精品久久久人人做人人爽| 在线观看午夜福利视频| 亚洲国产中文字幕在线视频| 91在线观看av| 色在线成人网| 国产伦人伦偷精品视频| 午夜激情福利司机影院| 精品一区二区三区av网在线观看| 国产亚洲精品久久久久久毛片| 欧美av亚洲av综合av国产av| 嫩草影院入口| av黄色大香蕉| 在线观看免费视频日本深夜| 亚洲激情在线av| 亚洲狠狠婷婷综合久久图片| 欧美日韩一级在线毛片| 看片在线看免费视频| 日本免费一区二区三区高清不卡| 亚洲av电影在线进入| 老司机午夜福利在线观看视频| 欧美绝顶高潮抽搐喷水| 男女下面进入的视频免费午夜| 又大又爽又粗| 伦理电影免费视频| 搡老熟女国产l中国老女人| 日韩成人在线观看一区二区三区| 亚洲欧美日韩卡通动漫| 日韩欧美国产在线观看| 成人av一区二区三区在线看| 九九热线精品视视频播放| 美女高潮的动态| 免费看光身美女| 亚洲美女视频黄频| 露出奶头的视频| 国产日本99.免费观看| 曰老女人黄片| 香蕉av资源在线| 日韩有码中文字幕| 亚洲专区字幕在线| 在线观看一区二区三区| 免费看十八禁软件| 99久久精品一区二区三区| 亚洲真实伦在线观看| 狠狠狠狠99中文字幕| 亚洲第一电影网av| 悠悠久久av| 亚洲性夜色夜夜综合| 成熟少妇高潮喷水视频| 小说图片视频综合网站| 国产又色又爽无遮挡免费看| 男女视频在线观看网站免费| 熟女少妇亚洲综合色aaa.| 国内精品美女久久久久久| 香蕉丝袜av| 亚洲天堂国产精品一区在线| 1000部很黄的大片| 国内毛片毛片毛片毛片毛片| 最新在线观看一区二区三区| 亚洲av五月六月丁香网| 免费高清视频大片| 91麻豆av在线| 夜夜看夜夜爽夜夜摸| 国产精品爽爽va在线观看网站| 国产精品久久电影中文字幕| 成人av一区二区三区在线看| 亚洲欧美一区二区三区黑人| 国产成人av激情在线播放| 亚洲美女黄片视频| 好男人在线观看高清免费视频| 欧美绝顶高潮抽搐喷水| 亚洲av美国av| 又爽又黄无遮挡网站| 国产视频一区二区在线看| 嫩草影院精品99| 国产人伦9x9x在线观看| 91av网一区二区| 欧美日韩福利视频一区二区| 欧美高清成人免费视频www| 此物有八面人人有两片| 亚洲色图 男人天堂 中文字幕| 欧美精品啪啪一区二区三区| 成年女人永久免费观看视频| 久久伊人香网站| 神马国产精品三级电影在线观看| 18美女黄网站色大片免费观看| 99久久99久久久精品蜜桃| 18禁国产床啪视频网站| 精品久久蜜臀av无| 国产乱人视频| 母亲3免费完整高清在线观看| 黑人操中国人逼视频| 国产91精品成人一区二区三区| 性欧美人与动物交配| 悠悠久久av| 国产精品久久视频播放| 亚洲一区二区三区不卡视频| 亚洲av美国av| 欧美成人免费av一区二区三区| 每晚都被弄得嗷嗷叫到高潮| 国产高清有码在线观看视频| 亚洲国产欧美网| 欧美黑人欧美精品刺激| 亚洲avbb在线观看| 成人国产一区最新在线观看| 99riav亚洲国产免费| 在线十欧美十亚洲十日本专区| 九色成人免费人妻av| 日本一本二区三区精品| 一a级毛片在线观看| 午夜激情福利司机影院| 亚洲中文字幕日韩| 国产精品久久久久久人妻精品电影| 黑人操中国人逼视频| 亚洲熟妇熟女久久| 国产 一区 欧美 日韩| 国产又色又爽无遮挡免费看| 免费在线观看成人毛片| 国产亚洲精品久久久久久毛片| 精品免费久久久久久久清纯| 国产探花在线观看一区二区| 国产又色又爽无遮挡免费看| 欧美3d第一页| 国产精品一区二区精品视频观看| 黄色视频,在线免费观看| 啦啦啦韩国在线观看视频| 香蕉av资源在线| 国产v大片淫在线免费观看| 日韩精品青青久久久久久| 久久九九热精品免费| 精品福利观看| 欧美日韩乱码在线| 看黄色毛片网站| 免费高清视频大片| 99久久成人亚洲精品观看| 少妇丰满av| 成年女人毛片免费观看观看9| 久久欧美精品欧美久久欧美| 毛片女人毛片| av天堂中文字幕网| 亚洲aⅴ乱码一区二区在线播放| 国产亚洲精品一区二区www| 综合色av麻豆| 成人一区二区视频在线观看| 他把我摸到了高潮在线观看| 蜜桃久久精品国产亚洲av| 国产精品久久久av美女十八| 在线看三级毛片| 又粗又爽又猛毛片免费看| 男人和女人高潮做爰伦理| 在线观看免费视频日本深夜| 母亲3免费完整高清在线观看| 免费看光身美女| 香蕉丝袜av| 小蜜桃在线观看免费完整版高清| 19禁男女啪啪无遮挡网站| 国产 一区 欧美 日韩| 国产欧美日韩一区二区三| 精品99又大又爽又粗少妇毛片 | 99国产极品粉嫩在线观看| 成人av在线播放网站| 黄色 视频免费看| 午夜免费激情av| 中文亚洲av片在线观看爽| 一个人观看的视频www高清免费观看 | 狠狠狠狠99中文字幕| 久久精品aⅴ一区二区三区四区| 国产真实乱freesex| 日本黄色视频三级网站网址| 高清毛片免费观看视频网站| 黄色日韩在线| 最近最新免费中文字幕在线| 国产精品99久久99久久久不卡| 亚洲精品中文字幕一二三四区| 一个人看视频在线观看www免费 | 91麻豆精品激情在线观看国产| www.精华液| avwww免费| 午夜福利成人在线免费观看| 亚洲国产精品999在线| 美女高潮的动态| 99国产极品粉嫩在线观看| 欧美色欧美亚洲另类二区| 国产精品影院久久| 精品无人区乱码1区二区| 91字幕亚洲| 国产麻豆成人av免费视频| 久久精品人妻少妇| 国产成人av教育| 久久欧美精品欧美久久欧美| 黄色片一级片一级黄色片| 国内少妇人妻偷人精品xxx网站 | 国产精品98久久久久久宅男小说| 啪啪无遮挡十八禁网站| 国产精品一区二区三区四区免费观看 | 99精品久久久久人妻精品| 99久久久亚洲精品蜜臀av| 美女cb高潮喷水在线观看 | 天天躁日日操中文字幕| 国产黄片美女视频| 69av精品久久久久久| 国产精品国产高清国产av| 69av精品久久久久久| 网址你懂的国产日韩在线| 亚洲精华国产精华精| 变态另类成人亚洲欧美熟女| 国产精品久久久久久人妻精品电影| 亚洲av五月六月丁香网| 国产精品久久久久久人妻精品电影| 国产精品一区二区三区四区免费观看 | 婷婷丁香在线五月| 少妇丰满av| 久久伊人香网站| 久久婷婷人人爽人人干人人爱| 在线播放国产精品三级| 亚洲激情在线av| 国产成人av激情在线播放| 国产一区二区激情短视频| 日日摸夜夜添夜夜添小说| 成人特级av手机在线观看| 国产成人精品久久二区二区免费| 嫩草影院精品99| 国产成+人综合+亚洲专区| 91av网站免费观看| 亚洲欧美日韩东京热| 亚洲五月天丁香| 一区二区三区激情视频| tocl精华| 国产精品影院久久| 老司机福利观看| 免费电影在线观看免费观看| 亚洲欧美日韩高清在线视频| 午夜福利免费观看在线|