数理逻辑

摘要： 《离散数学》是计算机专业的基础课,通过学习离散数学课程,可以培养抽象思维和严格的逻辑推理能力,为后续专业知识的学习和研究打下坚实的基础。但离散数学知识点多,内容较为枯燥,很多学生学习兴趣和积极性不高。2000年后兴起的翻转课堂,将课堂教学从传统的教师讲授转变为师生共同讨论、学生间相互讨论的模式,通过问题的驱动和研讨学习,能够充分激发学生的学习兴趣。本文选取“推理理论”为教学案例,探索以问题为驱动的翻转课堂教学模式在离散数学课程教学中的可行性。

摘要： 在幼儿园中对幼儿进行戏剧活动的培养是非常重要的,是能够促进幼儿语言的丰富性,同时也能够使幼儿在学习语言中去能够接受到更多姿多彩的东西,从而促进幼儿的健康成长。同时还可以培养幼儿的交际能力,从小就能够培养出开朗的性格,从而促进幼儿的全面发展。一、戏剧教育在儿童教育中的影响:1、对智力的影响。传统智力理论认为语言能力和数理逻辑能力是智力的核心。美国哈佛大学教育研究所的加德纳提出了“多元智能理论”。他认为每个人都拥有语言、逻辑数理、空间、运动、音乐、人际交往、内省以及自然观察等八种主要智力。在戏剧中,儿童通过认知能力,通过身体和语言创造性地表达故事或情节。在老师的指导下,孩子们可以通过即兴口头表达、讨论和分享、角色扮演和其他活动,不断地使用语言表达想法,并在特定的情境中体验角色。在即兴口语交际中,儿童主动思考、理解和辨别观点,从而发展儿童的智力。

摘要： 诺诺《中断的歌》是一部形式与内容完美契合的作品,基于题材及内容表达着眼于理性构建,铸就形式之美,整体序列结合数理逻辑的运用,彰显其缜密的构思,器乐、声乐并举形式多样,展现丰富的音响色彩。本文以第六乐章为例,从乐队编制、音高、声部的进入与退出、节奏等方面进行探究,揭示音乐各要素的结构组织及特征,挖掘其理性构建的内在秩序,进而达到进一步理解音乐作品、理解作曲家创作意图启示音乐创作的目的。

摘要： 20世纪上半叶是西方现代科学中国本土化的重要发展时期。为探讨民国时期数理逻辑学中国本土化的历程与特点,运用相关史料,综述了民国时期罗素来华讲学,数理逻辑学在中国的科普宣传、著作翻译、教学与研究等史实。研究结果表明,民国时期基本上完成了数理逻辑学的中国本土化。数理逻辑学在中国传播的特点是受科学救国精神的鼓舞、科学普及的支持,以及卓越哲学家与数学家的积极参与和引领。

摘要： 20世纪的音乐是一个探索创新、离经叛道的新音乐风格时期,音乐呈现出多元化的态势,诸多作曲家和音乐理论家有意将数学与音乐建立紧密的联系。自然科学衍生的数理逻辑学在新型音乐理论研究领域中有了更宽泛的发展,创作与理论研究也因数理逻辑思维的冲击得到了加强。数理逻辑由此成为当今作曲技术理论研究重要领域之一。

摘要： 1920年10月到1921年7月,英国著名哲学家、数学家、逻辑学家、历史学家、文学家伯特兰·罗素应邀来中国讲学。时值五四运动后的西学东渐,迷茫困惑的中国知识分子,期待着这位当红思想家给他们指点迷津。这次中国之行,罗素作了近20场演讲,其中最著名的有《哲学问题》《心的分析》《物的分析》《社会结构学》《数理逻辑》五大演讲。

摘要： 本文在前期运用墨子的名辩数理逻辑,去探索殷商甲骨文的数理的基础上,进一步探究其黄金分割率。重点依据殷人的字形思维,分析"士""书""中""日""旬""周""片""反"等字形与《六十干支表》中的数理,并进行数理运算,计算出黄金分割率数值0.618。这是第一书之第一楮木之"版"的长宽之比"0.618:0.382",同时又是商王第一次籍田中的第一旬的昼夜之比与螺旋线,又是"中"字的第一次数理运算,还是《六十干支表》的第一次"倒版"等,所以黄金分割率又关联完全数六、集合论函数六牵连三。这集中体现出农耕文明的特性,也是文明论哲学的数理逻辑。逻辑证明是用黄金分割率计算殷商武丁元年(公元前1250年)与南朝宋祖冲之《大明历》(公元461年)相距1710年,而这1710年间一回归年的天数仅相差0.96781481日,不足1天,证明殷商甲骨文中的黄金分割率的科学性、特殊重要意义。初步论证殷墟甲骨文中数理逻辑是"代数"与数量、序数、集合论函数、几何学的合体。

摘要： 笔者从自身创作出发,从抽象雕塑的空间维度、情感表达、哲学思考、数理研究、数字科技表现等方面探讨抽象雕塑的内涵,重点从雕塑作品的正负空间,数理几何抽象的原理,抽象艺术创作的公式等方面阐述抽象雕塑创作的理论与哲学思考,阐述了抽象艺术的独特美感.

摘要： 大到国与国之间的关系,小到人与人之间的交往,凡需决策之事在博弈论中都有最佳对策的探讨。所谓最佳对策,就是以数理逻辑推出的最佳的应对方法,而每一类型的问题,都有一个类似五元拍卖一样的经典模型,将其借用来对学生进行说理,形象生动、浅显易懂……

摘要： 【课前思考】20世纪八、九十年代兴起的珠算式心算,是传统珠算和心算相结合的产物,是中华民族文化长河中一颗璀璨明珠,将千年珠算推向了一个新的高度。珠心算学习,是以算盘为媒介,通过学生的视觉、听觉、触觉及手脑协调一致活动,促进学生语言、数理逻辑、视觉空间、音乐旋律、身体运动、个人内省、人际关系、自然探索和存在主义等多元智能的发展。

摘要： @@目前用现代科学的方法(数理逻辑体系即抽象思维体系)研究中医，研究传统文化，局限只能用唯物的角度研究，说中西医结合，只能从唯物中医的层次找结合的契机点;如果用现代科学的方法研究唯象中医、唯物中医，过早的在唯象中医、唯数中医的层次上谈中西医结合，或以西医判定中医，只能使中医的精华大部分被抛弃和删除。因为唯象中医、唯数中医谈的是“夸克”层面以后的知识，而唯物中医、现代医学乃至现代科学谈的大部分都是“夸克”这个层面以前的知识:“夸克”以前的层面代表了物质—即“有”的层次，“夸克”以后的层面代表前物质—即“无”的层次，前者用现代数理逻辑思维体系来认知，后者(唯象中医、唯数中医)必须用非数理逻辑思维体系—象的思维体系认知。

摘要： 数理逻辑是信息安全专业其他课程学习的重要基础.通过数理逻辑知识的学习,能为学生专业课程的学习和将来从事信息安全方向软、硬件开发打下坚实的基础.本文就如何提高信息安全专业数理逻辑的教学质量,提出了从证明论的角度整理数理逻辑知识体系,合理介绍非经典逻辑知识体系,注重数理逻辑在信息安全领域中应用背景的介绍,引入数理逻辑教学资源和教学辅助工具(COQ&Proof web)等教学方法.

摘要： 作为中医理论基础的阴阳五行模型学说必须得到数学和逻辑的统一描述。这就要求中医教育必须明确描述阴阳五行的自然起源，并清楚阐述五行本质和阴阳五行以及八卦间的数理逻辑关系——阴阳五行八卦间的换算公式，实现阴爻五行和八卦的量化表达。

摘要： 本文通过对建筑形态和形态发生理论的讨论,比照两者之间的系统性异同,着重从动理机制角度探究建筑形态的发生,试图引起有关数字化面向建筑形态及其创作设计问题的算法讨论,而这些问题都需要在基于数理逻辑的信息技术前提下加以重审,并做出相应的动态定义.提出了建筑数字化设计核心在于通过算法建设各个类型和层级的建筑形态发生机制,设计适应具体建筑项目之条件与要求的动态数理模型,进而提升建筑的创作设计方法这一学术观点。

摘要： 根据学生学习离散数学的困难性，阐述了离散数学在计算机科学等领域的应用及其重要性，主要诠释了数理逻辑、集合与关系、代数系统和图论等部分的应用情况，并结合自己离散数学教学的实际经验，讨论了如何调动学生学习离散教学的积极性。

摘要： 本文针对G(o)del系统中由三个原子生成的公式,给出了其真值函数的特征和真度的分布.进而按照真度的不同将由三原子生成的公式集进行了细致的分类.

摘要： 本文针对G(o)del系统中由三个原子生成的公式,给出了其真值函数的特征和真度的分布.进而按照真度的不同将由三原子生成的公式集进行了细致的分类.

摘要： 本文针对G(o)del系统中由三个原子生成的公式,给出了其真值函数的特征和真度的分布.进而按照真度的不同将由三原子生成的公式集进行了细致的分类.

摘要： 本文针对G(o)del系统中由三个原子生成的公式,给出了其真值函数的特征和真度的分布.进而按照真度的不同将由三原子生成的公式集进行了细致的分类.

摘要： 本文证明了泛逻辑零级(一级)泛与运算模型、泛或运算模型、泛非运算模型之间的对偶关系进一步构造出零级(一级)泛与运算模型的自守强对偶或运算模型及非运算模型;同时给出了零级(一级)泛或运算模型的非自守强对偶与运算模型及非运算模型.

摘要： 一种具有逻辑阵列块(LAB)互连线的可编程逻辑器件(PLD)，所述LAB互连线跨越该阵列中的相邻LAB并且具有互连不同LAB中的两个逻辑单元的能力。该PLD包括以阵列排列的多个以及互连该阵列的LAB的多条LAB间线。每个所述LAB包括预定数量的逻辑元件，在所述LAB中的所述预定数量的逻辑元件之间分配的一个或更多个控制信号，和跨越该阵列中不同LAB内的逻辑元件之间的LAB线。在不同的实施例中，LAB线被排列成交错排列模式，其中这些线之间存在一预定间距。在其他实施例中，相邻LAB的控制信号可以重叠，以允许控制信号被路由到相邻LAB的逻辑元件。

摘要： 本发明的课题是提供一种可实现从微细化和功耗的观点可达到凌驾于现在的CMOS技术的性能且与使用了现有的时序电路的经典计算机的安装不矛盾的方式的逻辑电路的技术。解决方法是具备：在z方向上封闭了载流子的xy平面中具有二维电子气的第1传导构件(101a、101b)和第2传导构件(102a、102b)；生成给予对第1传导构件(101a、101b)的影响的电场的第3传导构件(103a、103b)；容易流过第1传导构件(101a、101b)与第2传导构件(102a、102b)之间的隧道电流的绝缘构件(104)；以及难以流过第1传导构件(101a、101b)与第3传导构件(103a、103b)之间的隧道电流的绝缘构件(105)，利用由对第3传导构件(103a、103b)给予的电位产生的电场对第1传导构件(101a、101b)的子能带给予影响。

摘要： 本申请涉及光学逻辑元件技术领域，特别涉及一种光电数字逻辑运算的光学逻辑元件及其逻辑运算方法，其中，该元件包括：驱动件，用于为光电集成件提供驱动，产生光电集成件能够识别的数字调制信息以及读取光电集成件输出的电信号；光电集成件，用于利用相干光信号搭载驱动件输入的数字调制信息，并在预设光学衍射神经网络中对相干光信号进行数字逻辑运算，得到运算结果，并将运算结果基于数字逻辑映射关系生成电信号，并利用驱动件读取电信号后输出运算结果。本申请实施例具有更高的单位能耗计算性能，可以重构、批量地设计不同的专用逻辑运算，运算规模大，调制速率高。

摘要： 本发明是关于一种数理运算逻辑教学辅具，孩童进行数学运算的学习时，通过板体上面的运算逻辑图案进行运算，运算时主要是将载有数字图案的填空板嵌入至相对应缺槽内，各缺槽内的讯号接收单元便会进行侦测，并将结果回传至处理器。所述处理器便会根据侦测结果判断孩童运算是否正确。通过上述方式，本发明将传统数学的运算、学习转换成仿若拼图般的乐趣，让孩童可以用轻松愉快的方式学习数学，并从中获得成就感，以奠定数学学习的基础。

摘要： 一种具有逻辑阵列块(LAB)互连线的可编程逻辑器件(PLD)，所述LAB互连线跨越该阵列中的相邻LAB并且具有互连不同LAB中的两个逻辑单元的能力。该PLD包括以阵列排列的多个以及互连该阵列的LAB的多条LAB间线。每个所述LAB包括预定数量的逻辑元件，在所述LAB中的所述预定数量的逻辑元件之间分配的一个或更多个控制信号，和跨越该阵列中不同LAB内的逻辑元件之间的LAB线。在不同的实施例中，LAB线被排列成交错排列模式，其中这些线之间存在一预定间距。在其他实施例中，相邻LAB的控制信号可以重叠，以允许控制信号被路由到相邻LAB的逻辑元件。

摘要： 本发明的课题是提供一种可实现从微细化和功耗的观点可达到凌驾于现在的CMOS技术的性能且与使用了现有的时序电路的经典计算机的安装不矛盾的方式的逻辑电路的技术。解决方法是具备：在z方向上封闭了载流子的xy平面中具有二维电子气的第1传导构件(101a、101b)和第2传导构件(102a、102b)；生成给予对第1传导构件(101a、101b)的影响的电场的第3传导构件(103a、103b)；容易流过第1传导构件(101a、101b)与第2传导构件(102a、102b)之间的隧道电流的绝缘构件(104)；以及难以流过第1传导构件(101a、101b)与第3传导构件(103a、103b)之间的隧道电流的绝缘构件(105)，利用由对第3传导构件(103a、103b)给予的电位产生的电场对第1传导构件(101a、101b)的子能带给予影响。

摘要： 本发明公开了量子与逻辑门、逆量子与逻辑门及逻辑运算线路生成方法，其中，上述量子与逻辑门根据以下步骤进行量子比特的与逻辑运算：获取两个输入量子比特；基于上述输入量子比特，通过预设的量子操作获取第一输出量子比特和第二输出量子比特，其中，上述第二输出量子比特用于保存两个上述输入量子比特的与逻辑运算结果，上述第一输出量子比特用于指示两个上述输入量子比特的量子态。与现有技术相比，本发明方案中提供的量子与逻辑门可以应用到量子计算场景下，实现量子比特的与逻辑运算，且可以实现运算结果可逆。有利于实现对量子比特进行快速简便的与逻辑运算操作，且有利于提升对量子比特进行运算的简便性和量子计算过程的效率。

摘要： 本申请涉及光学逻辑元件技术领域，特别涉及一种光电数字逻辑运算的光学逻辑元件及其逻辑运算方法，其中，该元件包括：驱动件，用于为光电集成件提供驱动，产生光电集成件能够识别的数字调制信息以及读取光电集成件输出的电信号；光电集成件，用于利用相干光信号搭载驱动件输入的数字调制信息，并在预设光学衍射神经网络中对相干光信号进行数字逻辑运算，得到运算结果，并将运算结果基于数字逻辑映射关系生成电信号，并利用驱动件读取电信号后输出运算结果。本申请实施例具有更高的单位能耗计算性能，可以重构、批量地设计不同的专用逻辑运算，运算规模大，调制速率高。

摘要： 提供高速并且高精度地对S型函数进行秘密计算的技术。秘密S型函数计算系统将g(x)设为能秘密计算的函数，根据输入值x的份额[[x]]计算对于输入值x的S型函数的值的份额[[σ'(x)]]，包括：第一比较单元，生成第一比较结果[[c]]＝less_than([[x]],t1)；第二比较单元，生成第二比较结果[[d]]＝greater_than([[x]],t0)；第一逻辑计算单元，生成第一逻辑计算结果[[e]]＝not([[c]])；第二逻辑计算单元，生成第二逻辑计算结果[[k]]＝and([[c]],[[d]])或者[[k]]＝mul([[c]],[[d]])；以及函数值计算单元，计算份额[[σ'(x)]]＝mul([[k]],[[g(x)]])+[[e]]。

摘要： 本实用新型公开了一种用于多元智能探索活动的数理逻辑游戏装置，包括：立板，其固定在墙面或地面上，所述立板上设置有让位槽；桌板，其呈方形，所述桌板的一边与立板一侧的上部铰接；丝杠，其竖直布置在所述立板的另一侧，所述丝杠与驱动电机连接，以驱动所述丝杠绕竖直轴线旋转；螺母，其与所述丝杠相配合，所述螺母的一侧表面与立板的另一侧表面相贴合，以防止螺母发生转动；所述丝杠能够带动所述螺母上下移动；连杆，其穿过立板上的让位槽，所述连杆的一端与螺母相铰接，另一端桌板下表面相铰接，通过所述螺母的上下移动带动桌板相对于立板折叠。本实用新型提供的数理逻辑游戏装置总体结构简单，操作方便，折叠后占用空间小。