十三世紀義大利商業城市發達,商業和銀錢業的記帳漸趨成熟,當時有一批初步的不完善的複式記賬法出現。到十五世紀末,有位數學家、教師、教會修道士陸基·巴舒里(Luca Pacioli)寫了一本《算術、幾何學和比例大全》,內容包括五部分:代數學與算術;它們
十三世紀義大利商業城市發達,商業和銀錢業的記帳漸趨成熟,當時有一批初步的不完善的複式記賬法出現。到十五世紀末,有位數學家、教師、教會修道士陸基·巴舒里(Luca Pacioli)寫了一本《算術、幾何學和比例大全》,內容包...
《智慧型邏輯初探》是現代尹奈編著的一部哲學著作。內容簡介 本書是根據《周易》的多層次思維模式歸納整理的一部邏輯論著。全書由三篇十二章組成。周易篇包括《周易》的形象思維與經驗邏輯、《周易》的抽象思維與形式邏輯、《周易》的符號思維與數理邏輯、《周易》的辯證思維與辯證邏輯等四章；歸藏篇包括多層次思維的...
邏輯學的描述性和規範性 王垠丹／156 QML框架下內涵對象的量化問題 劉明亮／170 青年學者論壇 基於MMTD的單句模糊性度量 何霞／185 吉姆斯的部分內容概念及其相干套用 段天龍／201 代數方案視域下的命題理論 ——以Bealer和Zalta的方法為例 塗美奇／222 邏輯教育與測評 人工智慧時代《數理邏輯》課程的教育技術現代...
數理易學，是萊布尼茲所發明之計算機基於易學二進位思想，即0與1。萊布尼茲受中國易經八卦的影響最早提出二進制運算法則，創立了符號邏輯學的基本概念。基礎初探 先天易的數學基礎初探 －－試論先天卦序與二進位制 摘要： 本文從自然數及其記數法的基本概念出發，辨析了與二進位制相關的幾個容易混淆的概念，指出序數概念...
陳國龍，男，安徽鳳陽人，1966年出生，中共黨員，理學博士，中科院軟體研究所博士後，教授，碩士生導師，安徽省學術技術帶頭人，全國“五一”勞動獎章獲得者。安徽省計算機學會常務理事，安徽省數學學會常務理事。研究方向為數理邏輯與計算機科學。現任蚌埠學院黨委書記。人物履歷 1983.9-1987.7 在淮北煤炭師範學院數學系...
49.淺談數理邏輯，中國農業大學社會科學學報，1997年3-4期 50.韓國高校與企業科技合作研究，中國農業大學社會科學學報，1997年1-2期 出版著作 1.專著《食品加工業供應鏈結構分析與最佳化研究》華文出版社2009年1月 2.副主編《自然辯證法概論》，中國農業大學出版社2005年 3.參編《形式邏輯教程》中國農業大學出版社...
約翰·馮·諾依曼的工作大致可以分為兩個時期：1940年以前，主要是純粹數學的研究：在數理邏輯方面提出簡單而明確的序數理論，並對集合論進行新的公理化，其中明確區別集合與類；其後，他研究希爾伯特空間上線性自伴運算元譜理論，從而為量子力學打下數學基礎；1930年起，證明平均遍歷定理開拓了遍歷理論的新領域；1933年，...
《中國傳統音調的數理邏輯關係問題》（《中國音樂學》1986年第3期）；《中國傳統音樂的保存與發展》（《中國音樂學》1987年第4期，1987年6月聯合國教科文《亞太地區傳統音樂研討會》報告）；《均鐘考――曾侯乙五弦器研究》（《武漢音樂學院學報《黃鐘》1988年第4期》）；《對“中國樂律學史”學科建設問題的一...
外語教學中導入母語文化之初探，《南通職業大學學報》2001年4期. 周衛京 語用聽寫測試與專業英語四級考試，《江蘇大學學報》高教版2001年1期. 周衛京 試論高校女教師的困境與對策，《東北師大學報》社科版2001年2期. 周衛京 我校引智工作的成績和思考，《鎮江師專學報》高教版2001年3期. 周衛京 傳統與現代的交鋒—...
10、論現代政治經濟學數理邏輯表達與創新的重要價值，教學與研究，2007年7月。11、馬克思主義經濟學假定條件的現代修正及理論創新，學術月刊，2007年7月。12、馬克思剩餘價值理論的數理表達與創新，財經研究，2007年7月。13、經濟全球化的發展趨勢與我國的策略選擇，馬克思主義研究，2007年4月。14、我國新型合作組織理論...
另外，轉換-生成語法採用的是現代數理邏輯的形式化方法，根據有限的公理化的規則系統和原則系統用演繹的方法生成無限的句子，以此來解釋人類的語言能力。所以說，轉換-生成語法無論是在研究目的、研究對象，還是在研究方法上都和傳統語言學、結構主義語言學有原則的區別。它為語言研究開闢了一條新的道路，展現了一個...
中國傳統音調的數理邏輯 七律定均 五聲定宮 東方人的耳朵 ——《扎爾扎爾中指與阿拉伯律制辨疑》小引 秦漢相和樂器“築”的首次發現及其意義 學術書信二十六封 五、未編輯成集的文論 對幾件“音樂大事”報導的意見 音樂報導的求實問題 ——兼答孫鈞同志 四化進程中的民族音樂工作及其問題(摘要)一次來得太晚的評獎...
第三點理由：迂迴生產經濟學，具有建立數理邏輯體系的可能性。形成嚴密的數理邏輯體系，是任何科學理論必須具備的特徵。我認為，迂迴生產經濟學完全可能建立數理邏輯體系；在這方面，著名經濟學家楊小凱和張玉綱著《專業化與經濟組織》，可以視為這方面的初步嘗試。只要我們以完善了的馬克思歷史唯物主義作為堅實基礎，運用...
20世紀50年代後期，在邏輯問題上發表了與蘇聯學者不同的意見，受到毛澤東的重視和接見。90年代中期，在錢學森院士的建議與指導下從事第五次產業革命的研究。2003年受教育部社政司委託，主持編寫全國碩士研究生馬克思主義理論課《自然辯證法概論》教材。主要學術研究領域：數理邏輯、高等數學、自然科學史、科學哲學、技術...
五 一種新的定量、定性音調圖示描述、分析方法——兼及《義勇軍進行曲》音調序列的數理邏輯 六 聶耳歌曲創作成功之道初探 七 我國民族音樂形態特徵的重要支點 八 詞曲形義同構關係論 餘論：真理與常識——我的學術研究基礎方法論 從偶然到必然的歷史進程——音樂民族特色之成因斷想(代全書結語)附錄 關於“同均三宮...
不可解問題的判定以特定的不可解性為其研究對象，是數理邏輯的重要研究領域之一。圖靈在1936年（那時還沒電腦，我們的父親是在沒有設備支持的純理論基礎上提出來的，提出了第一個不可解問題的實例：The Halting Problem。The Halting Problem是問，輸入一段程式代碼和一個針對此程式的輸入，能否編程判斷運行這個程式...
流形等，用集合和關係的語言給出的統一形式.結構由若干集合，定義在集合上或集合間的一些關係，以及一組作為條件的公理組成.隨著數學的發展，不斷出現許多新的數學分支，這些分支有其各自的研究對象，獨特的方法，獨自的語言.另一方面，數學不同領域的方法和思想的互相滲透，建立了現代數學的共同邏輯基礎(數理邏輯)、...
高中思想政治課體驗式學習初探/石莉 /225 思想品德課對話教學實踐與研究/許迎華 /230 提高平行班教學效率的思考/錢紅梅/236 《燃燒與滅火》創意實驗教學實踐/馮晴/241 溫故而知新 ——一節體育課的反思/錢慶鋒/246 國中數學教學中開發學生數理邏輯智慧型的嘗試/曹亮 /250 任務型教學模式下的互動式頭腦風暴法 ——...
如果說辯證法是解析所有哲學及科學的基礎的話，那么將辯證法進行形式化或數學化之後，它仍然應該有此功能的，而一些人運用數理邏輯將辯證邏輯進行形式化之後[2]，我們根本就找不出其這樣的功能，顯然他們的做法是失敗的；或者那種照著辯證法三大規律（對立統一規律、量變質變規律、否之否定的規律）而任意套用符號所給...
需要注意的是，在自然語言中，命題(2)是沒有實際意義的，因為P與Q兩個命題是互不相干的，但在數理邏輯中是允許的，數理邏輯中只關注複合命題的真值情況，並不關心原子命題之間是否存在著內在聯繫。析取聯結詞 定義3 設P、Q為兩個命題，P和Q的析取(Disjunction)是一個複合命題，記為 (讀作P或Q)，稱為P與Q...
在我國，北京師範大學的伍鐵平教授是最早引進並研究模糊語言理論的學者。圖書目錄 序 自序 第一編 模糊語言通論 第一章 模糊語言初探 第二章 模糊語言再探 第三章 模糊語言三探 ……第二編 模糊語言和辭彙學、詞典學、詞源學 第十章 語言的模糊性和辭彙研究 ……
單元七嬰兒數理邏輯能力指導活動的設計與組織 一、數理邏輯能力 二、嬰兒數理邏輯能力是怎樣發展的 三、嬰兒數理邏輯指導活動的主要內容 四、培養嬰兒數理邏輯能力的幾點建議 案例篇——活動案例選編 案例一 點點樂 案例二 動動手 動動腦 案例三 多多少少 案例四 分蛋糕 案例五 快樂的毛毛蟲 案例六 禮物大...
