數(shù)理邏輯
- 數(shù)理邏輯智能和認識自然智能理論指導下的幼小銜接教育
重要課題。在數(shù)理邏輯智能和認識自然智能理論的支持下，幼小銜接教育策略逐漸得到了廣泛認可。數(shù)理邏輯智能和認識自然智能理論強調不同的智能類型在不同的情境下都具有重要的作用，因此將數(shù)理邏輯智能和認識自然智能理論與幼小銜接教育策略相結合，能夠更好地促進兒童全面發(fā)展，也更有利于實現(xiàn)幼小銜接教育的有效推廣。一、幼小銜接教育的內(nèi)涵發(fā)展歷程幼小銜接教育是指為了讓兒童更加平穩(wěn)地從幼兒園到小學階段過渡而設計的一種教育方式。它旨在解決兒童在學習方法、知識結構、學習習慣等方面的差
小學科學 2023年16期2023-08-09
- 民國時期數(shù)理邏輯學在中國的傳播與本土化
10023)數(shù)理邏輯(mathematical logic)是用形式化方法研究推理、證明等問題的學科,其本質是利用數(shù)學計算方法來代替人類思維過程中的邏輯推理過程。本研究運用史料分析方法,討論數(shù)理邏輯學在中國的傳播與發(fā)展歷程,從史料學的角度來探討中國哲學家、數(shù)學家對現(xiàn)代數(shù)理邏輯學的貢獻與數(shù)理邏輯學本土化的問題及特點,并以此紀念羅素訪華100周年。數(shù)理邏輯的產(chǎn)生首先應歸功于德國哲學家與數(shù)學家萊布尼茨(G.W.Leibniz,1646—1716年)。1666年,
浙江科技學院學報 2022年4期2022-11-23
- 現(xiàn)代音樂中的數(shù)理邏輯思維特征現(xiàn)象
學的關系以及數(shù)理邏輯的本質與音樂的聯(lián)系后，筆者欲從數(shù)理邏輯本體出發(fā)，探求其結構思維與20世紀重要音樂理論的關聯(lián)，通過演繹推算等數(shù)學研究手法,深層挖掘數(shù)理邏輯結構思維特征在當代音樂結構中的內(nèi)涵。一、數(shù)理邏輯(mathematical logic)的形成與發(fā)展(一)數(shù)理邏輯的基本內(nèi)容數(shù)學(Mathematics)是研究數(shù)量、結構、變化以及空間等概念的一級學科,是人類對事物的抽象結構與模式進行嚴格描述的通用手段；數(shù)理邏輯又稱符號邏輯、理論邏輯，它既是數(shù)學的分支，
輕音樂 2022年10期2022-10-22
- 數(shù)學算法在計算機編程優(yōu)化中的作用
腦軟件之間有數(shù)理邏輯計算機算法。合理使用數(shù)理邏輯算法規(guī)則可以優(yōu)化計算機程序設計，進一步有效提高常用軟件列表的邏輯性和有效性。1 數(shù)理算法規(guī)則的一些概述計算機技術是以數(shù)理邏輯為基礎持續(xù)發(fā)展起來的。數(shù)理邏輯算法規(guī)則通?？梢岳斫鉃?span id="ywiek0w" class="hl">數(shù)理邏輯歸納法，它是數(shù)學科學專業(yè)領域計算方法的概略。充分利用數(shù)理邏輯算法規(guī)則可以最大限度地提高工作效率。同樣，數(shù)學算法規(guī)則對于計算機程序子程序的最終結果也至關重要。數(shù)理邏輯算法規(guī)則的驅動機構作用是數(shù)學函數(shù)。其中的實現(xiàn)尤為重要，數(shù)理邏輯算
河北農(nóng)機 2021年2期2021-12-01
- 萊布尼茨普遍語言思想與《周易》象數(shù)思想比較
，包含原始的數(shù)理邏輯思想。關鍵詞：萊布尼茨;普遍語言;《周易》;象數(shù);漢字;數(shù)理邏輯萊布尼茨從學生時代開始，終生對漢字和八卦保持強烈的興趣。他在晚年發(fā)表了論文《論單純使用0與1的二進制算術——兼論二進制用途以及伏羲所使用的古代中國符號的意義》，自認為揭開了伏羲之謎，理解了伏羲思想。萊布尼茨所理解的伏羲思想是指使用二進制方法演算符號文字來表達意義的思想，這與他的普遍語言思想不謀而合。用數(shù)學來演算符號或文字的方法在我國古代稱為象數(shù)，符號或文字是萬事萬物之象，事
江淮論壇 2021年4期2021-09-23
- 殷商甲骨文“士”運算黃金分割率
用墨子的名辯數(shù)理邏輯，去探索殷商甲骨文的數(shù)理的基礎上，進一步探究其黃金分割率。重點依據(jù)殷人的字形思維，分析“士”“書”“中”“日”“旬”“周”“片”“反”等字形與《六十干支表》中的數(shù)理，并進行數(shù)理運算，計算出黃金分割率數(shù)值0.618。這是第一書之第一楮木之“版”的長寬之比“0.618：0.382”，同時又是商王第一次籍田中的第一旬的晝夜之比與螺旋線，又是“中”字的第一次數(shù)理運算，還是《六十干支表》的第一次“倒版”等，所以黃金分割率又關聯(lián)完全數(shù)六、集合論函數(shù)
書畫藝術 2021年1期2021-03-24
- 關于數(shù)理邏輯發(fā)展史及公式理解的教學實踐
摘 ? 要：數(shù)理邏輯是離散數(shù)學的一個重要組成部分，學習數(shù)理邏輯對于學生學習計算機相關理論，掌握數(shù)學證明方法以及邏輯思維能力具有重要的意義。本文針對數(shù)理邏輯內(nèi)容抽象以及公式難于記憶等問題，結合自身教學實踐，對數(shù)理邏輯的發(fā)展歷史及應用進行了梳理，對基本等值式及推理定律的記憶方法進行了介紹，能夠幫助學生更好的學習與理解相關知識。關鍵詞：數(shù)理邏輯 ?離散數(shù)學 ?基本等值式 ?推理定律中圖分類號：G642 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
科技創(chuàng)新導報 2020年16期2020-08-13
- 卡爾納普數(shù)理邏輯的認識論價值研究
家卡爾納普的數(shù)理邏輯在科學技術哲學上的應用，尤其是深入探究卡爾納普代表作背后的認識論基礎，進而總結出數(shù)理邏輯的局限性，讓我們認識到辯證邏輯的強大生命力。本文運用了比較分析和文獻例證的研究方法來深刻理解數(shù)理邏輯的認識論意義，通過綜合比較，發(fā)現(xiàn)數(shù)理邏輯本質上仍然是形式邏輯。通過進行歷史維度的縱橫聯(lián)系，本文發(fā)現(xiàn)辯證邏輯是人類邏輯思維的最高形式。關鍵詞：數(shù)理邏輯;認識論;歸納;演繹1 數(shù)理邏輯與邏輯發(fā)展概況我們知道，邏輯作為人類的思維形式，有著幾種不同的類型。他們
錦繡·上旬刊 2020年2期2020-05-06
- 早期懷特海的“邏輯”科學觀
;但這一圍繞數(shù)理邏輯基礎研究的長期合作，對早期懷特海哲學的萌動影響是永遠無法磨滅的。因此，我們不得不考慮：“邏輯”（數(shù)理邏輯）是如何潛藏在懷特海早期科學觀中。關鍵詞：形而上學;數(shù)理邏輯;觀念世界1科學的“獨立宣言”相對而言，獨立是指對一定領域的直接支配和完全主導。然而，獨立并不是指要自絕于一切，正如價值判斷是科學產(chǎn)生的動機。只不過，審美與道德等價值論要素并不直接構成科學研究的范圍。因此，將價值論排除在科學領域之外是比較容易的;而對本體論——“即真實存在之本
青年生活 2020年7期2020-03-30
- 菜布尼茨邏輯學的學術成就、歷史影響和理論得失
而且還開創(chuàng)了數(shù)理邏輯.在西方邏輯史上產(chǎn)生了深廣影響。他的邏輯學的缺失主要在于其拘泥于內(nèi)涵邏輯和內(nèi)在關系說。不過.他對外延邏輯和外在關系說的寬容態(tài)度又使其有望在西方邏輯的未來發(fā)展中扮演一個先知的角色。關鍵詞：萊布尼茨;古典形式邏輯;數(shù)理邏輯;內(nèi)涵邏輯;內(nèi)在關系說中圖分類號.B81-0 文獻標識碼：A 文章編號：1000-5099（2020）02-0001-10萊布尼茨不僅在西方哲學史上享有崇高的地位，而且在西方邏輯史上也享有崇高的地位。鑒于我國萊布尼茨邏輯思
貴州大學學報（社會科學版） 2020年2期2020-03-30
- 淺析數(shù)理邏輯的歷史發(fā)展過程
將系統(tǒng)的介紹數(shù)理邏輯的發(fā)展歷程，以及其對計算機科學發(fā)展帶來的啟迪意義，通過對數(shù)理邏輯發(fā)展的歷程，了解其相關的背景內(nèi)容，加強并加深我們對計算機科類的比較全面的詳解，尤其是理論知識部分，而并非局限于將其看為是一個技術類或者工程類的科目。并通過一些歷史的事件，獲悉在計算機科學中的一些基礎的思維類型和問題。[1]關鍵詞：數(shù)理邏輯 計算機 歷史 發(fā)展一、定義所謂數(shù)理邏輯，即是用數(shù)學的方式來分析邏輯或形式邏輯的一門學科。它是屬于數(shù)學類研究推理的學科，它著重點在于推理的
新教育時代·教師版 2019年37期2019-12-23
- 計算思維角度下的離散數(shù)學課程教學思考
括離散數(shù)學、數(shù)理邏輯、計算理論等）方面的教學經(jīng)歷（包括本科生和研究生）對上述問題形成的原因進行了一些分析和總結。從教師的角度來看，部分教師的教學方法和手段以及教學理念可能存在一些問題。關于教學方法和手段，由于授課時間很緊，而課程內(nèi)容多，課堂上不可能講授所有的內(nèi)容，因此教師在授課時只能講授一些基本內(nèi)容，剩下的內(nèi)容留給學生課后自學或作為作業(yè)。關于教學理念，教師往往強調的是離散數(shù)學作為一門理論性課程，是為今后學習其他課程打基礎，掌握好教材內(nèi)容最為關鍵，至于離散數(shù)
計算機教育 2019年1期2019-12-20
- 基于核心素養(yǎng) 培養(yǎng)數(shù)理邏輯能力
學做起。培養(yǎng)數(shù)理邏輯是提高學生數(shù)學核心素養(yǎng)的有效措施，不僅可以鍛煉學生的抽象思維，而且能提高學生的數(shù)學應用意識。數(shù)學計算教學的核心素養(yǎng)包括培養(yǎng)學生嚴謹、準確地分析及解決問題的能力。一般而言，學生的計算能力較弱，很大一部分原因是算理模糊。很多的算理是很抽象的，不妨先將抽象的數(shù)學運算直觀化，通過擺弄數(shù)學教具了解數(shù)學運算規(guī)律，當學生在頭腦中建立了數(shù)學圖式之后，再進行數(shù)學運算，就會形成圖像表征，數(shù)學計算也就不難了。我國傳統(tǒng)教育歷來重視運算技能的訓練，學生在六年數(shù)學
山西教育·教學 2019年8期2019-09-10
- 益智器具在小學數(shù)學教學中的運用實踐
學教學質量、數(shù)理邏輯智能器具在數(shù)學教學中的應用、空間益智器具在小學數(shù)學中的應用這幾方面進行深入研究和分析，其目的在于加強益智器具在小學數(shù)學教學中的運作效率，旨意為相關研究提供參考資料。【關鍵詞】益智器具 小學數(shù)學教學 數(shù)理邏輯 空間益智在素質教育發(fā)展背景下，社會及國家越來越重視教學教育，并對教學提出更加嚴格的要求?，F(xiàn)在新課程標準明確提出學生要積極主動的掌握數(shù)學知識，在數(shù)學教學中能夠不斷培養(yǎng)學生的思維能力、創(chuàng)新能力和智力。然而在小學數(shù)學實際教學中，仍存在諸多
中國校外教育(上旬) 2019年7期2019-08-18
- 數(shù)理邏輯視角下無罪推定原則在刑事訴訟活動中的適用
不言而喻。從數(shù)理邏輯視角分析無罪推定原則在我國刑事訴訟活動中的適用，是完全可行的。原因有四：其一，人權保障在我國已深入人心，為完全確立無罪推定原則提供了思想基礎;其二，經(jīng)濟發(fā)展為完全確立無罪推定原則提供了物質保障;其三，配套制度為完全確立無罪推定原則提供了有力支撐;其四，社會環(huán)境為完全確立無罪推定原則提供了良好氛圍。關鍵詞：無罪推定;數(shù)理邏輯;定理;審判中圖分類號：D925.2 ? ?文獻標識碼：A 文章編號：CN61-1487-（2019）07-0070
西部學刊 2019年7期2019-07-11
- 淺談數(shù)理邏輯教學
安【摘 要】數(shù)理邏輯已被越來越多的高校作為必修課和選修課。作為研究不確定性推理和非經(jīng)典邏輯方向的必修課，搞好數(shù)理邏輯教學尤為重要，本文是在聽取王國俊教授的講課后結合同學的學習體會分別從選教材，闡明學習意義，課堂教學等環(huán)節(jié)論述了這門課程的教學。【關鍵詞】數(shù)理邏輯;不確定性推理;非經(jīng)典邏輯;教學中圖分類號： B81 文獻標識碼： A 文章編號： 2095-2457（2019）04-0109-002DOI：10.19694/j.cnki.issn2095-245
科技視界 2019年4期2019-04-20
- 離散數(shù)學內(nèi)容的授課順序探討
文教材），對數(shù)理邏輯、集合、關系、函數(shù)、圖論、代數(shù)系統(tǒng)等6塊離散數(shù)學的核心內(nèi)容展開探討。 文獻[7]未包含集合內(nèi)容，文獻[8]未包含函數(shù)內(nèi)容，文獻[9—10]未包含代數(shù)結構內(nèi)容。這4部教材由于未能全面覆蓋上述6部分核心內(nèi)容，在后續(xù)分析時予以舍棄，而僅對剩余的10部教材進行分析。經(jīng)分析整理可歸納出5種內(nèi)容順序（見表1）。為突顯排序效果，我們將代數(shù)系統(tǒng)與布爾代數(shù)統(tǒng)一為代數(shù)結構。表1中的順序僅表示內(nèi)容設置的先后順序，不代表章節(jié)序號，比如數(shù)理邏輯大都分為命題邏輯、
計算機教育 2019年3期2019-04-01
- 張申府對數(shù)理邏輯在中國早期傳播的貢獻①
別是對羅素的數(shù)理邏輯和愛因斯坦的相對論等方面，不但是最初的介紹者，而且在研究上也有很深的造詣.這樣的蓋棺定論使我們相信作為數(shù)學家的張申府需要我們更多的關注，而使他成為一名數(shù)學家的，正是他在數(shù)理邏輯方面的成就.1 張申府生平張申府出生于書香門第之家，兒時接受的是私塾教育.1908年，張申府以第一名的成績考入公立順天高等學堂中學班，1912年考取了北京高等師范學堂(北京師范大學前身)附屬中學班，次年考入北京大學預科班.因成績優(yōu)異，只念了一年預科班的張申府被北京
數(shù)學通報 2019年10期2019-02-18
- 張申府的邏輯觀探析
“邏輯學”“數(shù)理邏輯”“西洋哲學史”等課程,同時在北京大學每周講授兩小時“西方邏輯”和“西方哲學史”;1948年應邀在華北學院任教,講授“邏輯”與“西洋哲學史”。此后因政治原因,張申府淡出政壇與學術界,也不再承擔邏輯學的教學工作。以張申府和金岳霖1932—1933年在清華大學文學院哲學系開設、主講的“普通論理學”課程為例,該課程“上學期以講演繹法為主,下學期以講歸納法為主”[4]244,涉及的是傳統(tǒng)邏輯的內(nèi)容。而張申府獨立承擔的“數(shù)理邏輯”課程“對數(shù)理邏輯
沈陽大學學報(社會科學版) 2019年3期2019-02-09
- 論數(shù)學思維的培養(yǎng)
；數(shù)學文化；數(shù)理邏輯；數(shù)學意識數(shù)學思維是一種經(jīng)過系統(tǒng)培養(yǎng)建立起來的邏輯嚴密的推導能力，是人類在感性認識的基礎上，運用比較、分析、綜合、歸納、演繹等思維的基本方法.在我們的基本知識學習階段，如從小學到高中，數(shù)學思維的培養(yǎng)主要是通過理解并掌握數(shù)學課程的內(nèi)容，不斷地對具體的數(shù)學問題進行推論與判斷，從而逐漸獲得對數(shù)學知識本質和規(guī)律的認識能力.在此基礎上，建立了我們認識客觀世界、適應現(xiàn)代社會各種社會規(guī)則、理解現(xiàn)代科學技術與生活關系的基本認識論體系.一、數(shù)學思維與現(xiàn)代
數(shù)學學習與研究 2018年12期2018-08-17
- 檔案學專業(yè)數(shù)理邏輯類課程引入現(xiàn)狀調查與分析
內(nèi)檔案學專業(yè)數(shù)理邏輯類課程引入現(xiàn)狀，針對體系化引入數(shù)理邏輯類課程面臨的三個障礙，即課程精簡的趨勢、課程開設成本增加和學生選課意愿不高，提出了相應地解決對策。關鍵詞：檔案學高等教育課程計劃數(shù)理邏輯課程大數(shù)據(jù)時代下的檔案學只有兩個選擇，要么主動學習研究，要么被動等待改造。大數(shù)據(jù)研究是以數(shù)學知識、統(tǒng)計學知識、信息處理技術和計算機軟件技術知識等為集成基礎的研究，其在大規(guī)模數(shù)據(jù)信息處理研究上具有獨特優(yōu)勢。盡管目前業(yè)界已大力開展檔案信息化建設，不斷推進檔案數(shù)字化，但檔
北京檔案 2018年6期2018-07-11
- 淺嘗人工智能
：人工智能；數(shù)理邏輯；機器學習一、引子人工智能在科學上不是一個生疏的名詞，由于近期阿爾法圍棋機器人在與人類頂級職業(yè)棋手的對決賽事上，戰(zhàn)績斐然，從而再次喚起了公眾對人工智能的高漲熱情。不僅如此，考試答題、新聞寫作、無人駕駛汽車、人臉識別等等，人工智能涉足眾多領域，發(fā)展前景令人期待。人工智能究竟是什么？這是一個廣闊且深邃的話題，這里嘗試著做一個簡明的闡述。概括地講：人工智能的目標是實現(xiàn)計算機像人類一樣思考和行動。二、從計算談起人類一直夢想把自己的思維數(shù)學化，即
科技風 2018年2期2018-05-14
- 霍菲爾德法律概念的原點及其邏輯展開
和證成，并以數(shù)理邏輯的方法進行道義邏輯的推理，以符號表和維恩圖探析霍菲爾德法律關系的自洽性。更進一步，在信息時代，將法律概念對應的裁判要素轉化為二進制語言與Unicode編碼，以實現(xiàn)對海量案件進行檢索與大數(shù)據(jù)分析，實現(xiàn)人工智能的法律推理，乃至輔助個案裁判，將傳統(tǒng)裁判中的定性分析與司法智能化的定量分析相結合，可謂前景廣闊。[關鍵詞]霍菲爾德；法律概念；數(shù)理邏輯；司法智能；計算法律學[中圖分類號]D903[文獻標志碼]A[文章編號]1672-4917（2018
北京聯(lián)合大學學報（人文社會科學版） 2018年4期2018-05-14
- 深切悼念王世強教授
，專于代數(shù)、數(shù)理邏輯和數(shù)學教育，出版著作5部，發(fā)表論文80多篇，其中有18篇刊發(fā)在《數(shù)學通報》．中國共產(chǎn)黨優(yōu)秀黨員，我國著名數(shù)學家，北京師范大學數(shù)學科學學院王世強教授于2018年2月3日7時10分因病在北京逝世，享年91歲．王世強1927年3月30日生于河北石家莊市，祖籍河北省深州市相家莊(現(xiàn)衡水市)．1944年以同等學力考入蘭州西北師范學院(現(xiàn)稱西北師范大學)數(shù)學系．抗日戰(zhàn)爭勝利后于1946年復校至北平師范大學數(shù)學系，1948年本科畢業(yè)留校任實習講師，1
數(shù)學通報 2018年3期2018-04-01
- 應用型本科院?！?span id="io0gmcs" class="hl">數(shù)理邏輯》課程教學探討
該文分析了《數(shù)理邏輯》課程的特點以及應用型本科院校在本課程教學過程中存在的問題，分析了學生對本課程缺少學習動力的原因。提出以“激發(fā)興趣、理論為主、實踐為輔、理實結合”的教學模式。將本課程中的知識點與計算機專業(yè)其他專業(yè)課的知識點相結合，激發(fā)學生對本課程的學習興趣，繼而引出本課程的重要性，最大限度地引起學生的創(chuàng)造性和主觀能動性。最后該文利用教育心理學的方法介紹了在本課程教學過程中的一些改革措施的探討，為應用型本科院校計算機專業(yè)在理論課程教學方面提供一個可行的探
電腦知識與技術 2018年3期2018-03-21
- 論數(shù)學思維的培養(yǎng)
；數(shù)學文化；數(shù)理邏輯；數(shù)學意識數(shù)學思維是一種經(jīng)過系統(tǒng)培養(yǎng)建立起來的邏輯嚴密的推導能力，是人類在感性認識的基礎上，運用比較、分析、綜合、歸納、演繹等思維的基本方法.在我們的基本知識學習階段如從小學到高中，數(shù)學思維的培養(yǎng)，建立了我們認識客觀世界、適應現(xiàn)代社會各種社會規(guī)則、理解現(xiàn)代科學技術與生活關系的基本認識論體系.一、數(shù)學思維與現(xiàn)代社會生活現(xiàn)代社會生活中，從生活理財?shù)铰殬I(yè)規(guī)劃，以至于對現(xiàn)代社會的社會管理等方面的理解，都離不開邏輯周密的數(shù)學思維.如在城市中駕車穿
數(shù)學學習與研究 2018年4期2018-03-20
- 數(shù)理邏輯中演繹推理的圖解法
散數(shù)學課程中數(shù)理邏輯部分的教學經(jīng)驗，總結數(shù)理邏輯中演繹推理的要點和難點，利用圖解法幫助學生更快速簡單地掌握推理演算的技巧.【關鍵詞】 數(shù)理邏輯;命題公式;謂詞公式;演繹推理一、引 言數(shù)理邏輯用數(shù)學的方法來研究邏輯問題，也稱作是符號邏輯，把邏輯中的推理過程像數(shù)學一樣利用公式來進行計算，從而得到合理正確的結論.當我們已經(jīng)了解了邏輯運算的對象—命題和運算符號—邏輯連接詞，還有謂詞邏輯當中把命題進一步細化出個體詞、量詞和謂詞后，演繹推理就該是接下來要學習的重點和難
數(shù)學學習與研究 2018年23期2018-03-04
- 現(xiàn)代教育技術在“數(shù)理邏輯”課程中的應用
要：基于“數(shù)理邏輯”課程的教學特點，利用現(xiàn)代教育技術的教學手段，解決按照傳統(tǒng)的教學方式講授“數(shù)理邏輯”課程中兩個比較突出的問題。從而提高學生們學習“數(shù)理邏輯”課程的興趣，提高學生們獨立思考、抽象思維和動手解決問題的能力，提高該課程的教學質量。關鍵詞：現(xiàn)代教育技術；應用；“數(shù)理邏輯”課程隨著邏輯學的發(fā)展，特別是近年來人工智能的發(fā)展，越來越凸顯了數(shù)理邏輯的重要性?！?span id="eeomgmc" class="hl">數(shù)理邏輯”課程是邏輯學專業(yè)乃至哲學專業(yè)中的一門核心課程之一，同時它也是一門抽象的理論課程。長期
中國大學教學 2018年12期2018-02-22
- 悲加歡不等于零
一二。如果用數(shù)理邏輯來推理，人生的幸福指數(shù)，自然只是負數(shù)，而且還是一個大大的負數(shù)。那么，人生就根本沒有幸福指數(shù)可言，只有“痛苦指數(shù)”了。但人生畢竟不是一道數(shù)學題，人生的邏輯也不是簡單的數(shù)理邏輯所能概括的。人生的邏輯是什么呢？蘇東坡說：“人有悲歡離合，月有陰晴圓缺，此事古難全。但愿人長久，千里共嬋娟。”曹雪芹在《紅樓夢》中是這樣說的：“美中不足，好事多魔?！闭堊⒁猓玫氖恰澳Ч怼钡摹澳А保皇恰澳ルy”的“磨”。兩位絕頂聰明的文學大師，其實表達了一個共同的觀
青春期健康·青少版 2018年1期2018-01-16
- 悲加歡不等于零
一二。如果用數(shù)理邏輯來推理，人生的幸福指數(shù)，自然只是負數(shù)，而且還是一個大大的負數(shù)。那么，人生就根本沒有幸福指數(shù)可言，只有“痛苦指數(shù)”了。但人生畢竟不是一道數(shù)學題，人生的邏輯也不是簡單的數(shù)理邏輯所能概括的。人生的邏輯是什么呢？蘇東坡說：“人有悲歡離合，月有陰晴圓缺，此事古難全。但愿人長久，千里共嬋娟?！辈苎┣墼凇都t樓夢》中是這樣說的：“美中不足，好事多魔?！闭堊⒁猓玫氖恰澳Ч怼钡摹澳А?，不是“磨難”的“磨”。兩位絕頂聰明的文學大師，其實表達了一個共同的觀
青春期健康 2018年1期2018-01-16
- A Constructive Exposition on Simple Forcings and Countable Forcings
授,主要從事數(shù)理邏輯及其應用的研究,E-mail:zhuhl02@gmail.comFoundation Items:This work is supported by National Natural Science Foundation of China (No.11401567)10.3969/j.issn.1001-8395.2017.01.003(編輯 周 俊)Received date:2015-10-032010 MSC：03E17; 03E
四川師范大學學報（自然科學版） 2017年1期2017-05-15
- 為何中國傳統(tǒng)哲學思想中沒有誕生出數(shù)理邏輯
代邏輯主干的數(shù)理邏輯卻沒有在中國產(chǎn)生。這就出現(xiàn)一個耐人尋味令人深思的問題：為何中國傳統(tǒng)哲學思想中沒有誕生出數(shù)理邏輯？本文從哲學的概念、中國傳統(tǒng)哲學思想與西方哲學思想的差異等方面來闡述為何中國傳統(tǒng)哲學思想中沒有誕生出數(shù)理邏輯。關鍵詞：哲學 中國傳統(tǒng)哲學 數(shù)理邏輯一.什么是哲學提到哲學，往往給人以高深莫測之感，很多人說不清什么是哲學，但很多時候，哲學就在我們生活中。哲學一詞，源出希臘語philosophīa，意即“愛智慧”，它是一個外來詞匯。19世紀70年代，
文學教育·中旬版 2017年2期2017-04-10
- 數(shù)理邏輯中謂詞命題符號化的難點解析
10018)數(shù)理邏輯中謂詞命題符號化的難點解析◎熊 瑜(杭州電子科技大學理學院，浙江 杭州 310018)本文通過作者多年教授離散數(shù)學課程中數(shù)理邏輯部分的教學經(jīng)驗，總結謂詞命題符號化的學習要點和難點，從而幫助學生更高效地學習好數(shù)理邏輯.謂詞邏輯；謂詞公式；命題符號化一、引 言中文的語言環(huán)境很豐富，相同的語義會有不同形式的表達句式，這就更加迫切地需要在數(shù)理邏輯當中發(fā)明一種“通用的語言”，所以，我們需要合理準確的符號化自然語句，從而可以進一步進入演繹推理，判斷
數(shù)學學習與研究 2017年9期2017-03-23
- 五度圈中的音、音列、音階及其數(shù)理關系
階及其內(nèi)在的數(shù)理邏輯關系進行探討，指出了從五度圈中相鄰音中所取的數(shù)量及其作為不同音級的可能性之間和所含“宮音”數(shù)量之間的規(guī)律。前者可用“魚合八”“魚合七”“魚合六”加以說明，后者則可用“x（音列或音階中音的數(shù)量）-4=宮音數(shù)量”的公式進行概括。關鍵詞：五度圈；音列；數(shù)理邏輯中圖分類號：J613.6 文獻標識碼：A 文章編號：1004-2172（2016）04-0023-05五度圈又稱“五度循環(huán)”（circle offifth），即按五度關系，從C音開始，沿
音樂探索 2016年4期2017-03-16
- 笛卡爾普遍數(shù)學的邏輯哲思
；普遍數(shù)學；數(shù)理邏輯；有限無限一、引言笛卡爾不僅僅是個偉大的哲學家，也是個偉大的數(shù)學家，他的哲學思想帶有濃厚的數(shù)學思維印記。在笛卡爾的哲學體系里，數(shù)學思維舉足輕重，甚至可以認為，他將哲學思維數(shù)學化，同時也將數(shù)學思想納入了他的哲學大一統(tǒng)體系。笛卡爾認為哲學思維是普遍的，能夠將所有學科統(tǒng)一于哲學，而實現(xiàn)知識大一統(tǒng)的關鍵在于數(shù)學，在于數(shù)學也像哲學一樣具有普遍性。在笛卡爾的哲學系統(tǒng)里，數(shù)學的普遍性在于數(shù)學方法的普遍適用，數(shù)學能夠運用于所有學科，并且能夠產(chǎn)生必然有效
青春歲月 2017年2期2017-03-15
- 基于SPOC的“數(shù)理邏輯”在線課程教學改革探究
切入點，探討數(shù)理邏輯SPOC課程的建設及教學改革思路，強調教學任務中的師生互動和個性化教學模式，側重于以學生學習成效為導向，以學習評價為中心的教學范式轉變，進一步依托在線課程建設進行混合式教學模式改革，提升本科課程教學質量。關鍵詞：SPOC；在線課程；數(shù)理邏輯；教學改革0引言隨著網(wǎng)絡和智能技術發(fā)展，基于課程與教學論的在線課程如雨后春筍般涌現(xiàn)出來，尤其是MOOC和SPOC等新興在線課程在美國頂尖大學的帶動下迅速在全球升溫，吸引多所國際著名大學投身其中。然而，
計算機教育 2016年10期2016-12-19
- 現(xiàn)實生活中的數(shù)學問題
題；或者運用數(shù)理邏輯對生活中的問題做出正確的推斷與選擇；同時數(shù)學概率方面的知識都被人們經(jīng)常運用在體育競技方面。本文就是從人們一些日常的生活中去研究數(shù)學在生活中的運用?！娟P鍵詞】數(shù)學；經(jīng)濟生活；數(shù)理邏輯；體育競技數(shù)學作為一門自然科學在信息爆炸的今天，它的影響可謂無處不在。它不僅是人們?nèi)粘Ｉ畹膸褪郑侨祟惏l(fā)展進步必不可少的一把鑰匙。在日常生活中，數(shù)學作為一種思維方法，被運用在生活的許多方面，體現(xiàn)出數(shù)學這門學科的無窮魅力。1 經(jīng)濟生活中的數(shù)學問題經(jīng)濟與數(shù)學有
科技視界 2016年6期2016-07-12
- 看 見（二首）
后順序內(nèi)在的數(shù)理邏輯；3）建立了64卦卦數(shù)量內(nèi)在的數(shù)理邏輯關系平衡系統(tǒng)（圖5）。也把我的頭抬高無量寺的大殿前，一塊平展的田里隆起的土堆是我的心痛這是父親的棲身之處他完成了樸素的一生守望成永遠的寧靜多少年，我把牽掛留這里讓每一滴淚化作草或木一邊替我守住這一方水土一邊仰望歲月的花朵責 任一片葉被風馱著，拉長黃昏一只麻雀坐在枝頭，有點孤獨田野里沒了谷穗，草人下崗變成柴火苜蓿從鍘刀下出來，走進料庫玉米稈燃成灰，也沒出聲它的從容和堅強，讓我的母親天天感動白豬哼哧了大
星星·散文詩 2015年28期2015-10-26
- 解讀《我們》的數(shù)學化特征
與萊布尼茨的數(shù)理邏輯理論不謀而合，從而賦予解讀《我們》的全新視角和閱讀感受。[關鍵詞]萊布尼茨；數(shù)理邏輯；我們；數(shù)學化[中圖分類號]H35 [文獻標識碼] A [文章編號] 1009 — 2234（2015）04 — 0122 — 02扎米亞京的《我們》成書于1920年，是開啟反烏托邦文學的最經(jīng)典著作。這部作品于1988年在前蘇聯(lián)解禁發(fā)表，受到當時評論家和學者們的廣泛關注，并一直是反烏托邦文學的研究焦點?！段覀儭肥欠礊跬邪钗膶W的開山之作。作者用獨特的數(shù)學方
理論觀察 2015年5期2015-05-30
- 數(shù)理邏輯及其在計算機中的應用
100）1 數(shù)理邏輯概念及其發(fā)展作為離散數(shù)學中專門研究推理邏輯的課程，數(shù)理邏輯是一門以數(shù)學方法為基礎，用符號系統(tǒng)的形式來研究思維結構及規(guī)律的學科.古希臘著名學者亞里士多德最早提出用計算的形式對人類的思維進行描述和演示的表達形式.后17世紀德國著名數(shù)學家、哲學家萊布尼茲也曾努力發(fā)明一種通用的科學語言，可以像數(shù)學公式一樣對所有思維的推理過程進行計算，并最終得出準確無誤的結論，他的這想法正是現(xiàn)代數(shù)理邏輯的重要啟蒙.1847年，英國數(shù)學家布爾在大量試驗和實踐的基礎
赤峰學院學報·自然科學版 2015年23期2015-03-20
- 簡易邏輯教學困惑對高師數(shù)理邏輯教學的啟示
學困惑對高師數(shù)理邏輯教學的啟示李杰民（湛江師范學院 數(shù)學與計算科學學院，廣東 湛江 524048）摘要：高中數(shù)學簡易邏輯教學中出現(xiàn)的一些“困惑”，對高師院?！?span id="00scosw" class="hl">數(shù)理邏輯”教學的啟示有：內(nèi)容選擇上不可忽視基本概念、基本知識；思想方法上要重視形式化、符號化意識的培養(yǎng)；應用方面要加強與高中數(shù)學的聯(lián)系，加強謂詞邏輯教學.關鍵詞：簡易邏輯；教學困惑；高師院校；數(shù)理邏輯；教學改革1 高中數(shù)學簡易邏輯教學中的困惑高中數(shù)學新課程改革十多年來，數(shù)學教育類雜志刊載了為數(shù)不少的關
數(shù)學教育學報 2015年4期2015-03-11
- 數(shù)理邏輯的程序可靠性驗證
61000?數(shù)理邏輯的程序可靠性驗證顧名宇安順職業(yè)技術學院信息工程系,貴州安順561000摘要:程序可靠性驗證往往占用軟件開發(fā)周期很長的時間，而現(xiàn)行的軟件可靠性驗證方法主要是基于形式化的方法如基于SPIN的模型檢測方法等，但這種方法可能由于模型建立的問題導致驗證的復雜性極大提高，造成最后驗證失敗的結果比比皆是。為解決此問題，本文使用數(shù)學方法從數(shù)理邏輯角度用推理的方法實現(xiàn)了程序可靠性驗證，并完成了客戶服務器程序的可靠性驗證，證明了該方法切實有效。關鍵詞:數(shù)理
山東農(nóng)業(yè)大學學報（自然科學版） 2015年4期2015-03-07
- 學前兒童數(shù)理邏輯智能評價指標體系的研究與設計
研究。兒童的數(shù)理邏輯智能是他們在今后的學習、生活與工作中會頻繁運用的能力，是兒童發(fā)展過程中的重要能力。本文以此為主要研究內(nèi)容，研究、設計科學的評價兒童數(shù)理邏輯智能的指標體系，為今后學前兒童的教育教學提供依據(jù)。1 數(shù)理邏輯智能簡介多元智能理論的創(chuàng)始人是美國哈佛大學的霍華德·加德納，他認為人的智能是由語言、數(shù)理邏輯、空間、身體運動、音樂、人際、內(nèi)省、自然探索、存在等智能組成的。其中，數(shù)理邏輯智能是人類認知能力的重要組成部分，是一種“處理一連串的推理，識別模式和
長春師范大學學報 2014年4期2014-12-28
- 游戲
謎語猜猜看（數(shù)理邏輯智能）早晨跳出東海面，傍晚休息下西山。夏天我們躲著它，冬天人人都喜歡。（打一自然物）冬天是什么（語言智能） 青蛙、小熊和蛇說：“冬天啊，就是在樹洞里美美地睡上一覺，等到春風吹來的時候，再醒來找東西吃……”搖搖燕子、杜鵑和大雁說：“冬天呀，就是飛到溫暖的南方，度過一個舒適的冬天，等到春暖花開的時候，再飛回北方……”搖 ? ?松鼠、兔子和綿羊說：“冬天呀，就是換上一件厚厚的毛大衣，暖暖和和地過日子……”搖搖 小螞蟻說：“冬天呀，洞里有秋天搬
小學生·多元智能大王 2014年12期2014-12-13
- 從兩種變項及其差異看兩種邏輯的本質
邏輯的變項和數(shù)理邏輯的變項是根本不同的，這就決定了傳統(tǒng)邏輯與數(shù)理邏輯的本質差異。一、兩種變項及其差異亞里士多德是形式邏輯的創(chuàng)始人，他的直言三段論理論是傳統(tǒng)形式邏輯的主要內(nèi)容。我國著名邏輯學家江天驥先生正確地指出“亞里士多德最富于革命性的貢獻是把‘變項’引入邏輯語言中”［1］。然而，亞氏引入到傳統(tǒng)邏輯語言中的變項與數(shù)理邏輯的變項卻有著明顯的差異。何謂傳統(tǒng)邏輯變項?德國邏輯學家肖爾茲在其《簡明邏輯史》中這樣寫道:“按照亞里士多德的辦法，我們可以把任何一個能斷定
重慶理工大學學報(社會科學) 2014年9期2014-03-27
- 邏輯?普通邏輯?辯證邏輯
；普通邏輯；數(shù)理邏輯；非形式邏輯；辯證邏輯；辯證矛盾中圖分類號：B81文獻標識碼：A文章編號：1003-0751（2014）01-0112-10一問：您能給我們講一講人類思維發(fā)展的三個階段問題嗎？答：人類思維發(fā)展的三個階段問題是我整個邏輯理論問題的理論基礎，我們是應該先談談這個問題。在哲學史上，最早把思維分為不同類別的是康德，他把人的認識分為感性、知性和理性三個環(huán)節(jié)。他所說的“感性”，大體上相當于人們現(xiàn)在講的感性認識，他所說的“知性”和“理性”，大體上相當
中州學刊 2014年1期2014-02-26
- 數(shù)理邏輯教學方法探討
32000)數(shù)理邏輯教學方法探討李志敏,夏學文,張學敏(孝感學院計算機與信息科學學院,湖北孝感432000)數(shù)理邏輯不僅是離散數(shù)學課程的基礎,也是計算機科學與技術專業(yè)其他課程學習的重要基礎。文章就如何提高數(shù)理邏輯的教學質量,提出了注重教學內(nèi)容的合理拓展與延伸、注重數(shù)理邏輯在計算機科學與技術領域應用背景的介紹、注重引入先進教學資源和教學輔助工具(如ProofWeb)等教學方法。離散數(shù)學;數(shù)理邏輯;計算機科學與技術專業(yè);ProofWeb離散數(shù)學是現(xiàn)代數(shù)學的一個
湖北工程學院學報 2010年3期2010-08-15
- 一部新的邏輯專著
僅大量引進了數(shù)理邏輯的有關符號，而且有選擇地吸收了一些數(shù)理邏輯的簡單內(nèi)容。這是通常邏輯著作所沒有的。如該書“概念”一章中寫道：“概念外延是一類事物，這些事物是那個類的分子，這是傳統(tǒng)邏輯的說法。在現(xiàn)代邏輯中，習慣上把類叫做集合，把分子叫做元素?，F(xiàn)代邏輯要深入探討概念外延方面的問題，也就是要討論集合的問題?！睘榇?，該章專辟“集合和集合的運算”一節(jié)，在簡要介紹集合、集合之間的一些關系以及空集和全集的有關知識的基礎上，著重討論了給定兩個集合可以作出一個新集合的問題
讀書 1983年9期1983-07-15
- 一門切實而奇妙的學問
莫紹揆的通俗數(shù)理邏輯著作說數(shù)理邏輯這門學問“切實”，大家都信，因為數(shù)理邏輯在電子數(shù)字計算機方面有重大的應用，而且它也是被恩格斯稱為“日用器具”的形式邏輯概念和方法的精密化和最新發(fā)展形態(tài)。但是過去往往被一部分人認為很簡單而置諸腦后的形式邏輯，現(xiàn)在竟發(fā)展到如此復雜豐富的地步，它已蒙上了一層“艱深”的幕布。中文的入門書，六十年代就有，如我國著名數(shù)學家莫紹揆教授的《數(shù)理邏輯導論》。不過，用通俗的語言來向廣大讀者介紹數(shù)理邏輯這門新興學科的書，卻最近才見到，那就是莫先
讀書 1982年3期1982-07-15