本文選題：命題邏輯 + 等值演算��； 參考：《計(jì)算機(jī)教育》2014年24期

【摘要】：以命題邏輯為基礎(chǔ),從等值演算、自然推理的方法出發(fā),對判斷推理問題進(jìn)行分類并給出詳細(xì)的分析和解答,將分析研究結(jié)果應(yīng)用在教學(xué)實(shí)踐中,提高命題邏輯的應(yīng)用能力。
[Abstract]:On the basis of propositional logic, starting from the method of equivalent calculus and natural reasoning, this paper classifies and gives detailed analysis and solution to the problem of judgment reasoning, and applies the results of analysis and research to teaching practice to improve the ability of application of propositional logic.
【作者單位】： 喀什師范學(xué)院信息工程技術(shù)系;
【基金】：新疆高校科研計(jì)劃重點(diǎn)項(xiàng)目(XJEDU2014I039) 喀什師范學(xué)院重點(diǎn)課題((13)2456) 喀什師范學(xué)院教研教改重點(diǎn)項(xiàng)目(KJDZ1303;KJDZ1202)
【分類號(hào)】：O141-4;G642

【參考文獻(xiàn)】

相關(guān)期刊論文 前1條

1 徐小萍;;命題邏輯演繹推理在日常生活中的應(yīng)用[J];襄樊學(xué)院學(xué)報(bào);2007年11期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 李大林;陳一帆;蔡潤;;多性狀群體信息熵混雜遞增鏈與混雜指數(shù)的應(yīng)用[J];安徽農(nóng)業(yè)科學(xué);2008年13期

2 張濤;;提高離散數(shù)學(xué)課程學(xué)習(xí)興趣的教學(xué)改革探討[J];安徽工業(yè)大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2012年01期

3 高吉;;在ArcGIS矢量圖中搜尋最短路徑的實(shí)現(xiàn)[J];北京測繪;2009年02期

4 劉宏嵐;高慶獅;楊炳儒;;多值邏輯中的命題相關(guān)性與邏輯運(yùn)算研究[J];北京科技大學(xué)學(xué)報(bào);2007年S2期

5 劉宏嵐;高慶獅;楊炳儒;;概率邏輯中的命題相關(guān)性與邏輯運(yùn)算[J];北京科技大學(xué)學(xué)報(bào);2008年09期

6 王郁昕;互逆主義邏輯基礎(chǔ)[J];北京聯(lián)合大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年02期

7 薛朝奎;;“構(gòu)造法”在圖論中的應(yīng)用——關(guān)于存在性的證明[J];畢節(jié)學(xué)院學(xué)報(bào)(綜合版);2006年04期

8 夏春梅;;高校教學(xué)任務(wù)安排模型的研究及應(yīng)用[J];保山師專學(xué)報(bào);2009年05期

9 徐秀花;程曉錦;;基于B/S的離散數(shù)學(xué)網(wǎng)絡(luò)考試系統(tǒng)的設(shè)計(jì)[J];北京印刷學(xué)院學(xué)報(bào);2011年06期

10 王文良;命題邏輯的序結(jié)構(gòu)[J];江西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年03期

相關(guān)會(huì)議論文 前4條

1 朱琳;;聲納系統(tǒng)設(shè)計(jì)與調(diào)試中圖論方法研究[A];2011'中國西部聲學(xué)學(xué)術(shù)交流會(huì)論文集[C];2011年

2 孫兆豪;李昂;劉坤起;解建軍;;論代數(shù)、邏輯和智能系統(tǒng)之間的對應(yīng)關(guān)系[A];邏輯學(xué)及其應(yīng)用研究——第四屆全國邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會(huì)議論文集[C];2008年

3 邢雙云;許景科;;離散數(shù)學(xué)課程教學(xué)實(shí)踐與探討[A];第九屆沈陽科學(xué)學(xué)術(shù)年會(huì)論文集[C];2012年

4 邢雙云;許景科;;離散數(shù)學(xué)課程教學(xué)實(shí)踐與探討[A];第九屆沈陽科學(xué)學(xué)術(shù)年會(huì)論文集（教育科學(xué)與邊緣科學(xué)分冊）[C];2012年

相關(guān)博士學(xué)位論文 前10條

1 王旭東;基于圖論的智能電網(wǎng)最優(yōu)孤島劃分模型和算法[D];天津大學(xué);2011年

2 劉君;融合計(jì)算智能的蛋白質(zhì)結(jié)構(gòu)預(yù)測研究[D];重慶大學(xué);2011年

3 廖世龍;面向大規(guī)模定制的柔性細(xì)胞生產(chǎn)系統(tǒng)及其重構(gòu)研究[D];重慶大學(xué);2011年

4 賀錦鵬;基于圖論的彩色紋理圖像分割技術(shù)研究[D];哈爾濱工程大學(xué);2011年

5 劉海濤;多智能體機(jī)器人系統(tǒng)中的若干通信技術(shù)研究[D];哈爾濱工業(yè)大學(xué);2007年

6 欒加芹;五運(yùn)六氣理論探討與新思考[D];廣州中醫(yī)藥大學(xué);2009年

7 王開西;NGN業(yè)務(wù)體系結(jié)構(gòu)中的過載控制研究[D];北京郵電大學(xué);2008年

8 謝s，

本文編號(hào)：1989851