《計算機、邏輯和集合論》是1998年科學出版社出版的圖書，作者是徐書潤、胡國定。
《計算機、邏輯和集合論》是1998年科學出版社出版的圖書，作者是徐書潤、胡國定。內容簡介本書是為大學三、四年級學生而寫，並且曾在南開大學計算機系、數學系作為教材講授多年。重點介紹了計算機科學與技術的數學基礎一可計算理論、...
《數理邏輯與集合論》是2001年北京希望電子出版社出版的圖書，作者是楊明、王宏。內容簡介 本書是清華大學計算機系列教材《數理邏輯與集合論》(第二版)一書的配套教材。全書分為兩大部分：第l部分是主教材《數理邏輯與集合論》(第二版...
基本數理邏輯比如命題邏輯和謂詞邏輯(通常聯合上集合論)的研究被認為是對任何大學計算機科學課程都非常重要的理論基礎。高階邏輯通常不教，但在定理證明工具如HOL中是很重要的。有相關的一個年刊IEEE Symposium on Logic in Computer ...
簡而言之，數理邏輯就是精確化、數學化的形式邏輯。它是現代計算機技術的基礎。新的時代將是數學大發展的時代，而數理邏輯在其中將會起到很關鍵的作用。邏輯是探索、闡述和確立有效推理原則的學科，最早由古希臘學者亞里士多德創建的。用...
《高等院校計算機教材系列:離散數學》全面而系統地介紹了離散數學的基本內容，及其在計算機科學和實際問題中的某些套用。全書內容分為數理邏輯、集合論、代數系統和圖論四部分，每部分獨立成篇又互相聯繫。《高等院校計算機教材系列:離散數學》...
作為計算機及信息類專業的數學工具,《套用型本科計算機系列教材:離散數學》的主要內容包括命題邏輯、一階謂詞邏輯、集合論基礎、數論基礎、組合計數基礎、代數結構、圖論及其套用等知識。對相關知識的專業套用內容也做了實用性介紹。目錄 前言...
多值邏輯建立於20世紀20年代初，由盧卡西維茨和美國邏輯學家E.L.波斯特創建。在60年代獲得了新的推廣，從多值的線序域推廣到多值的偏序域，建立了格值邏輯。70年代後，多值邏輯被用於計算機科學和人工智慧等方面。多值邏輯和經典邏輯...
該專業學生主要學習邏輯學、數學、計算機科學和哲學方面的基本理論和基礎知識，受到公理化方法、形式化方法和語義分析方面的基本訓練，具有專業研究的基本能力。發展歷程 1631年，西方邏輯學開始傳入中國。20世紀50、60年代，中共中央黨校、...
組合邏輯（combinatory logic）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義 一種不基於集合論的邏輯形式系統，常包含恆等、分配和消去三個組合子。出處 《計算機科學技術名詞 》第...
早期以運算元理論、量子理論、集合論等方面的研究聞名，開創了馮·諾依曼代數。第二次世界大戰期間為第一顆核子彈的研製作出了貢獻。為研製電子數學計算機提供了基礎性的方案。1944年與摩根斯特恩（Oskar Morgenstern）合著《博弈論與經濟行為》...
本書可供中學數學教師、師範院校有關師生參考，亦可供中學生及知識青年自學用。圖書目錄 前言 目錄 第一章 二進位數 第二章 集合 第三章 布爾代數 第四章 邏輯代數 第五章 邏輯函式的化簡與套用 附錄 電子計算機簡介 習題答案 ...
《基於計算思維的離散數學基礎》是華中科技大學出版社出版的圖書，作者是秦明 內容簡介 離散數學是計算機科學的理論基礎，是計算機專業的核心課程，對於培養學生的邏輯思維能力，尤其是計算思維能力起著至關重要的作用。《基於計算思維的離散...
*邏輯史 ·工具論(古希臘)亞里士多德(BC384-BC322)·思維規律研究(英國)喬治·布爾(1815-1864)·概念文字(德國)弗雷格(1848-1925)·數學原理(英國)羅素(1872-1970)*邏輯學套用 ·數學基礎 ·量子邏輯 ·分析哲學 ·計算機邏輯 ·...
德·摩根定律在數理邏輯的定理推演中，在計算機的邏輯設計中以及數學的集合運算中都起著重要的作用。他的發現影響了喬治·布爾從事的邏輯問題代數解法的研究。這鞏固了德摩根作為該規律的發現者的地位，儘管亞里士多德也曾注意到類似現象，...
布爾代數不僅可以在數學領域內實現集合運算，更廣泛套用於電子學、計算機硬體、計算機軟體等領域的邏輯運算：當集合內只包含兩個元素（1和0）時，分別對應{真}和{假}，可以用於實現對邏輯的判斷。常見的套用包括：數字電路設計，0和1與...
該課程介紹計算機科學和信息技術理論基礎的概念和思想方法，介紹數理邏輯、集合論、圖論、抽象代數和形式語言與自動機等各部分的基本概念。課程性質 課程定位 離散數學是計算機科學的基礎理論、是信息技術類學生的基本功、是理科專業學生進行...
該教材依據《中國計算機科學與技術學科教程2002》中制定的關於離散數學的知識結構和體系為依據撰寫而成。該教材寫作大綱和內容特色由孫道德教授提出，數理邏輯和集合論部分的寫作由王秀友副教授執筆，代數結構和圖論部分的寫作由王敏生副教授...
《離散數學》是2010年8月機械工業出版社出版的圖書，作者是張清華。內容簡介 《離散數學》較為系統地介紹了計算機科學與技術等相關專業所必需的離散數學知識，全書分為四個部分（數理邏輯、集合論初步、代數結構和圖論），共7章。第1章...
在上世紀80年代左右,人們在計算機科學、模態邏輯和集合論中大體上是同時並且獨立地發現互模擬。無論是在計算機科學中,還是在模態邏輯和集合論中,互模擬等價都是通過對代數結構之間態射概念進行提煉而產生。最基本的態射形式是同態,它給予了...
本書內容包括離散數學4大分支的基礎理論——數理邏輯、集合論、代數系統和圖論。全書共9章，依次為命題邏輯、謂詞邏輯、集合、關係、函式、代數結構、格與布爾代數、圖論及其套用、樹。全書包含較多的與計算機科學和工程有關的例題和習題。
離散數學是計算機專業的基礎數學課程，本書與“數理邏輯與集合論”一起構成了清華大學計算機的離散數學課程的教材。學時為50學時。本書是作者在使用多年“圖論與代數結構” 講義的基礎上完成的。本書共十章，分為兩部分。前六章是圖論，...
