離散數學既是電腦科學的理論基礎，又是計算機應用必不可少的工具。離散數學為我們以後的計算機學科的學習提供了一切必要的數學基礎。
1.1、邏輯
邏輯規則給出數學語句的準確含義，這些規則用來區分有效和無效的數學論證。
命題，乙個命題是乙個或真或假的語句，但不能既是真又是假。命題常用字母來表示，就像用字母表示變數那樣。習慣用來表示命題的字母是p、q、r、s……
等。如果乙個命題是真命題，它的值為真，用t表示；如果它是假命題，其真值為假，用f表示。
定義1 令p為一命題，則語句
「不是p所說的情形。」
是另乙個命題，稱為p的否定。p的否定用﹁p表示。命題﹁p讀作「非p」。
定義2 令p和q為命題。用p∧q表示命題「p而且q」是這樣乙個命題：當p和q均成真時它成真，否則為假。命題p∧稱為p和q的合取。
定義3 令p和q為命題。用p∨q表示命題「p或q」是這樣乙個命題：它的真值在p和q均為假時為假，否則成真。命題p∨q稱為p和q的析取。
這裡我們是表示的「或」的意義有兩種，上面的實際含義是同或。還有一種意義是異或，請看下面。
定義4 令p和q為命題。p和q的異或，用p⊕q表示，是這樣乙個命題：當p和q中恰有乙個成真時它為真，否則為假。
定義5 令p和q為命題。蘊含p→q是這樣乙個命題：在p為真而q為假時它為假，否則成真。在這一蘊含命題中，p稱為假設（或前項，前提），q稱為結論（或後果）。
定義6 令p和q為命題。雙蘊含pq是這樣乙個命題：其真值只有在p和q有同樣的真值時為真，否則為假。 定義
7 位串是
0個或者多個字位的序列。位串的長度就是它所含的字位的個數。
離散數學及其應用 前言
1.書中原話什麼是離散數學？離散數學是數學中研究離散物件的部分。這裡 離散 的含義是 由不同的或不相連的元素組成 離散數學解決的問題包括 你們將學習解決諸如以上問題要用到的離散結構和技術。更一般地，在對物件進行技術時要用到離散數學，研究兩個有限 或可數 集合之間的關係是要用到理順數學，分析只含有限步...
離散數學學習筆記1
第一章 基礎 邏輯 集合和函式 本章複習離散數學的基礎。有三個主要內容 邏輯 集合和函式。邏輯規則給出數學語句的準確含義。例如，邏輯規則告訴我們下列語句的含義 存在乙個大於100且是2 的冪的整數 以及 對於每個整數 n，小於等於 n的正整數和是 n n 1 2 邏輯是所有數學推理的基礎，對計算機的...
離散數學自學筆記 1
http fusc ba.discrete xxwb jdck cks ch0 ch02.htm 離散數學導論 介面很友好，還不錯！以下是我的學習筆記 自學的，肯定有錯識，請大家多多指教 1 離散數學是現在數學的乙個重要的分支，是電腦科學與技術的理論基礎,所以又稱為計算機數學.一 數理邏輯 研究人的...