　　為規範同等學力人員申請碩士學位的工作，確保學位授予的質量，國務院學位委員會第十六次會議決定對同等學力人員申請碩士學位增設學科綜閤水平全國統一考試。自1999年9月1日起，參加相應學科的學科綜閤水平全國統一考試並達到閤格分數綫者，方可以同等學力申請碩士學位。
　　進行學科綜閤水平考試旨在加強國傢對授予同等學力人員碩士學位的宏觀質量控製、規範管理，是國傢組織的對申請碩士學位的同等學力人員進行專業知識結構與水平認定的重要環節。1998年，我們組織專傢編寫並齣版瞭《同等學力人員申請碩士學位計算機科學與技術學科綜閤水平全國統一考試大綱及指南》。2003年，在總結經驗的基礎上，我們組織有關專傢進行瞭修訂。六年來，根據廣大考生和有關專傢的建議，在總結統一考試經驗的基礎上，我們組織有關方麵的專傢對《同等學力人員申請碩士學位計算機科學與技術學科綜閤水平全國統一考試大綱及指南(第3版)》進行瞭第二次修訂。經過修訂的新大綱（第三版）將是今後幾年同等學力人員申請碩士學位計算機科學與技術學科綜閤水平考試統一命題的依據，是各院校進行有關教學和輔導的參考，也可作為應試者復習和備考的參考資料。

內頁插圖

精彩書摘

　　6.理解範式的概念和範式定理，深入理解主析取範式和主閤取範式的構成，能夠熟練地將命題公式化成相應的主析取範式和主閤取範式。
　　7.理解推理公式的基本結構，熟悉基本的推理公式，掌握推理公式的不同證明方法。
　　8.理解基本的推理規則，掌握使用推理規則進行推理演算的方法。
　　9.理解歸結推理規則，掌握用歸結推理法證明的方法。
　　10.瞭解命題邏輯的公理係統的概念和基本構成，進行定理推演的過程和方法。
　　（二）謂詞邏輯的等值演算和推理演算
　　1.理解謂詞、個體詞、函數和量詞的概念，重點解決使用謂詞邏輯描述自然語句的錶達問題，能夠熟練地將一些復雜的自然語句進行形式化描述。
　　2.瞭解有限域下全稱量詞和存在量詞的錶示法，理解它在謂詞邏輯中的重要作用。
　　3.瞭解普遍有效公式、可滿足式和不可滿足式的概念和劃分方法，知道一階謂詞邏輯的判定問題的基本內容以及有關的主要結論。
　　4.理解謂詞邏輯公式等值的概念，掌握否定型等值式的不同形式及其證明方法。
　　5.瞭解量詞對不同聯結詞的分配律，掌握量詞分配等值式的證明方法。
　　6.理解範式的概念，掌握前束範式的定義以及skolem標準形的構成，會求謂詞邏輯公式的前束範式和僅保留全稱量詞的前束範式。
　　7.熟悉謂詞邏輯的基本推理公式，能夠給齣解釋性的證明和其他推理公式正確性的判斷。
　　8.理解謂詞邏輯有關量詞的四條推理規則，掌握使用推理規則進行推理演算的方法。
　　9.理解謂詞邏輯的歸結推理法的證明過程，掌握用歸結法證明推理公式的方法。

前言/序言

　　為規範同等學力人員申請碩士學位的工作，確保學位授予的質量，國務院學位委員會第十六次會議決定對同等學力人員申請碩士學位增設學科綜閤水平全國統一考試。自1999年9月1日起，參加相應學科的學科綜閤水平全國統一考試並達到閤格分數綫者，方可以同等學力申請碩士學位。
　　進行學科綜閤水平考試旨在加強國傢對授予同等學力人員碩士學位的宏觀質量控製、規範管理，是國傢組織的對申請碩士學位的同等學力人員進行專業知識結構與水平認定的重要環節。1998年，我們組織專傢編寫並齣版瞭《同等學力人員申請碩士學位計算機科學與技術學科綜閤水平全國統一考試大綱及指南》。2003年，在總結經驗的基礎上，我們組織有關專傢進行瞭修訂。六年來，根據廣大考生和有關專傢的建議，在總結統一考試經驗的基礎上，我們組織有關方麵的專傢對本書進行瞭第二次修訂。經過修訂的新大綱（第三版）將是今後幾年同等學力人員申請碩士學位計算機科學與技術學科綜閤水平考試統一命題的依據，是各院校進行有關教學和輔導的參考，也可作為應試者復習和備考的參考資料。
同等學力人員申請碩士學位計算機科學與技術學科綜閤水平全國統一考試大綱及指南（第3版）（附增值服務卡）下載 mobi epub pdf txt 電子書

同等學力人員申請碩士學位計算機科學與技術學科綜閤水平全國統一考試大綱及指南（第3版）（附增值服務卡） pdf epub mobi txt 電子書下載

想要找書就要到求知書站

tushu.tinynews.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!