具體描述
內容簡介
為規範同等學力人員申請碩士學位的工作，確保學位授予的質量，國務院學位委員會第十六次會議決定對同等學力人員申請碩士學位增設學科綜閤水平全國統一考試。自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年，在總結經驗的基礎上，我們組織有關專傢進行瞭修訂。六年來，根據廣大考生和有關專傢的建議，在總結統一考試經驗的基礎上，我們組織有關方麵的專傢對本書進行瞭第二次修訂。經過修訂的新大綱（第三版）將是今後幾年同等學力人員申請碩士學位計算機科學與技術學科綜閤水平考試統一命題的依據，是各院校進行有關教學和輔導的參考，也可作為應試者復習和備考的參考資料。
用戶評價
第二部分 軟件工程 b計算機圖形學 進行學e科綜閤水平考試旨在加強國傢對授予同等學力人員碩士g學位的宏觀質量控製、規範h管理，是國傢組織的對申請碩士學位的同等學力人員進kl行專業知識結構與水平認定的重要環節。1998年，我們組織專傢編寫並齣版瞭《同p等學力人員申請碩士學位t計算機科學與技術學科綜閤水平全國統一考試大綱及指南》。2003年，在總結經驗的基w礎上，我們組織有關專x傢進行瞭修訂。六年來，根據廣z大考生和有關專傢的建B議，D在總結統一考試經驗的C基礎上，我們組織有關方麵的專E傢對本書進行瞭第二次修G訂。經過修訂的新大綱（第H三H版）將是今後幾年同等學J力J人員申請碩士學位計算機科學與技術學科綜閤水平考試統MM一命題的依據，是各院校進行有關教學和輔導的參考，也可作為應試者復習和備考的參考資料。 6.理解範式T的概念和範式定理，深入理解主析取範式和主閤取範式的W構成，能夠熟練地將命題公式化成相應的主析取範式和主閤Z取範式。
評分還行吧，送貨很快，很薄
評分書比較薄，就是點一下考試考哪方麵的內容
評分大綱沒有更新的瞭？
評分贊
評分書收到瞭。發貨很快，第四天就拿到手瞭。快遞公司也很負責任，周六也給送件瞭。就是書是已經用過的，商傢沒寫上。我也就是作為參考書，倒也沒什麼。這本書的講解不錯，把幾本書的精華濃縮瞭下，比看教材好，能把握要點，我是作為課程的輔導書看的，具體是否適閤聯考，沒做研究。內容還可以，快遞很快，有的答案解析不全麵。希望能取得好成績。
評分非常滿意非常滿意非常滿意
評分此用戶未填寫評價內容
評分不錯
相關圖書
![考研英語寫作字帖（意大利體） [English Calligraphy] pdf epub mobi 電子書 下載](https://pic.tinynews.org/12031376/57e22d7aN94452c06.jpg)
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.tinynews.org All Rights Reserved. 静思书屋 版权所有