掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
闖進數學世界――探秘歷史名題
-
>
中醫(yī)基礎理論
-
>
當代中國政府與政治(新編21世紀公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫(yī)內科學·全國中醫(yī)藥行業(yè)高等教育“十四五”規(guī)劃教材
數理邏輯引論-修訂版 版權信息
- ISBN：9787560361468
- 條形碼：9787560361468 ; 978-7-5603-6146-8
- 裝幀：暫無
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
數理邏輯引論-修訂版 內容簡介
數理邏輯是離散數學的重要組成部分之一，是計算機科學的數學基礎。本書內容主要側重于邏輯演算，即命題邏輯演算和一階謂詞邏輯演算，這些內容是構成數理邏輯其他分支的共同基礎。全書共分5章，分別介紹了數理邏輯的研究對象、研究內容和研究方法；命題邏輯的基本概念、命題邏輯演算形式系統(tǒng)的組成、基本定理及其性質定理；一階謂詞邏輯演算形式系統(tǒng)的基本概念、組成、基本定理及其性質定理、一階語言的語義等。 本書可用作高等院校計算機專業(yè)離散數學的教材或教學參考書，也可供從事計算機科學、人工智能方面的科技人員參考。
書友推薦
- >
莉莉和章魚
- >
羅曼·羅蘭讀書隨筆-精裝
- >
月亮與六便士
- >
二體千字文
- >
李白與唐代文化
- >
伊索寓言-世界文學名著典藏-全譯本
- >
巴金－再思錄
- >
中國歷史的瞬間
本類暢銷
