1.這個計算器可用在離散數學的數理邏輯中,純屬工具,隨意傳播,由java語言實現,解壓即可運行,需要按照java環境。可以去這里下載運行環境:http://www.skycn.com/soft/3116.html 2.這個計算器可以計算邏輯表達式的值、對應的真值表、主析取范式、主合取范式。 3.輸入表達式時可以在表達式欄中輸入,也可用相應的按鈕輸入,變元只能是PQRST。由于等價連接詞無法識別,所以用等號代替,這也是一個無奈的選擇。 4.計算前請選擇變元個數(默認為3元)并對變元賦值。變元個數最高為5,基本能滿足日常的計算。 5.計算器有自動檢查表達式是否正確的功能,如果判斷功能有誤,麻煩您告訴我您的表達式。
標簽: 計算器 離散 數理 邏輯
上傳時間: 2013-12-13
上傳用戶:txfyddz
n個元素{1,2,…,n}有n!個不同的排列。將這n!個排列按字典序排列,并編號為0,1,…,n!-1。每個排列的編號為其字典序值。 給定n以及n個元素{1,2,…,n}的一個排列,計算出這個排列的字典序值,以及按字典序排列的下一個排列。
標簽: 元素
上傳時間: 2013-12-08
上傳用戶:hwl453472107
功能說明: 次組件提供的功能有二: 1、解析出數學表達式中的參數 2、計算數學表達式 此組件不但可以解析和計算數學表達式,還提供了一系列的數學基本函數,可應用于表達式中一塊處理。提供的數學基本函數有:將值舍入到最接近的整數 rount(x)、向下取整函數 int(x)、向上取整 ceiling(x)、求兩個數中最大數的函數 max(a,b)、求兩個數中最小數的函數 min(a,b)、冪函數 pow(x,n)、求平方根的函數 sqrt(x)。 下載地址:http://www.qiusuo365.com/qiusuo365/viewthread.php?tid=2422&extra=page%3D1
標簽: 表達式 計算 參數
上傳時間: 2014-01-18
上傳用戶:李夢晗
1.內存管理一律根據實際需要的大小在堆中動態分配內存。 2.邊界檢查。如果數組下標超越了數組大小界限,會給出警告信息,可以防止非法內存訪問以及方便程序的調試。 3.重載了+,-,*,+=,-=,數乘等常見運算符; 4.可以保存數組為二進制數據文件和文本文件兩種形式,也可以從二進制數據文件和文本文件讀取數據到數組。 5.實現了和矩陣相關的線性代數方程組求解算法。一是高斯選主元消去法二是針對三對角矩陣的追趕法。 6.靜態函數Bspline3():3次B樣條曲線插值算法
標簽: 數組 內存管理 內存 動態分配
上傳時間: 2015-09-24
上傳用戶:leixinzhuo
armboot-1.1.6.zip 一個包含很全的arm bootloader。 適用arm7,9,xscale
標簽: bootloader arm armboot xscale
上傳時間: 2013-12-04
上傳用戶:sqq
Visual_C++[1].NET_Bible1 Visual_C++寶典書中的全部源碼,相信對大家很有用。這是1-6章的
標簽: Visual_C NET_Bible 寶典 源碼
上傳時間: 2014-09-06
上傳用戶:gdgzhym
Visual_C++[1].NET_Bible1 Visual_C++寶典書中的全部源碼,相信對大家很有用。這是7-12章的
上傳時間: 2014-01-19
上傳用戶:ve3344
Visual_C++[1].NET_Bible1 Visual_C++寶典書中的全部源碼,相信對大家很有用。這是13-18章的
上傳時間: 2014-07-20
上傳用戶:kytqcool
Visual_C++[1].NET_Bible1 Visual_C++寶典書中的全部源碼,相信對大家很有用。這是19-24章的
上傳時間: 2015-10-02
上傳用戶:aa17807091
Visual_C++[1].NET_Bible1 Visual_C++寶典書中的全部源碼,相信對大家很有用。這是25-30章的
上傳用戶:zhuyibin
蟲蟲下載站版權所有 京ICP備2021023401號-1