检索结果-内蒙古大学图书馆

传統的von Neumann型語言,如FORTRAN、ALGOL等,和以λ—演算为基础的語言,如LISP等,均存在程序缺乏层次結构和理想的数学性質等一系列根本性缺陷。針对这种状况,John Backus在1977年接受Turing奖时提出了函数型程序設計(FP)系統。由于該系統对程序設計、程序驗証和計算机結构等可能产生的深远影响,因而引起国际計算机界的普遍重視。FP系統的一个突出优点是对于每个这样的系統均可結合一个程序代数,使得所有的程序,即FP系統的函数,构成該代数的变量域;所有的程序构造运算(program-forming operatiou),即FP系統的泛函型(functional form),构成該代数的运算。这样,程序便将成为理想的数学对象,并且无疑地将导致关于程序的結构和行为的一般定理的发現。

关键词：函数程序定义方程普通代数展开式函数表达式

来源：评论

学校读者我要写书评

暂无评论

“线性”离散事件动态系统——讲座连载(上)

引用

控制与决策 1987年第3期 63-68页

作者：徐心和东北工学院

离散事件系统一般说是不能建立线性模型的,但若用一种新的数学工具——极大代数,则可使一类时序离散事件系统不仅具有一般线性系统那样的状态空间表达式,而且还可应用线性系统理论模拟出一套分析离散事件动态系统的方法,这一新近发展起... 详细信息

离散事件系统一般说是不能建立线性模型的,但若用一种新的数学工具——极大代数,则可使一类时序离散事件系统不仅具有一般线性系统那样的状态空间表达式,而且还可应用线性系统理论模拟出一套分析离散事件动态系统的方法,这一新近发展起来的理论已经在网络分析和柔性加工系统的性能评价方面显示出实用意义。

关键词：极大代数普通代数数学工具建模时序离散事件系统矩阵乘法

来源：评论

学校读者我要写书评

暂无评论

电子计算机领域的数学基础知识第三讲电子计算机逻辑

引用

外国经济参考资料 1979年第7期 31-37页

数字计算机是根据逻辑来判断和决策的。逻辑,也象二进位数一样,是运用电子线路的两种稳定的状态而有效地起作用的。在二进位制里,每条电路的通电(闭路或闭合电路)和不通电(开路或断开电路)状态,相当于“1”和“0”;而在逻辑上,这两种状... 详细信息

数字计算机是根据逻辑来判断和决策的。逻辑,也象二进位数一样,是运用电子线路的两种稳定的状态而有效地起作用的。在二进位制里,每条电路的通电(闭路或闭合电路)和不通电(开路或断开电路)状态,相当于“1”和“0”;而在逻辑上,这两种状态就相当于“T”(真)和“F”(假)。我们在讨论逻辑时,不必去研究电路本身。逻辑产生在电子计算机出现之前,因而没有电子计算机,逻辑也是完全可以理解的。不过,这里所学习的符号逻辑,是计算机的解题活动的基础。透彻地理解逻辑,将有助于更有力地和更高效地编制程序。

关键词：命题语句计算机蕴含式真值表逻辑表达式出站信号逻辑规则 TT 普通代数德摩根否定式数学基础数理哲学领域

来源：评论

学校读者我要写书评

暂无评论

邏輯方程的求解

引用

数学通报 1964年第6期 45-50+39页

作者： И.Я.捷普曼小格节

1.本文作者多年的經驗証明,邏輯方程的求解会引起学生們极大的兴趣。此外,它还能教給学生数理邏輯初步的一个很自然的方法。在中学設置这一課程的必要性,人們談論过不止一次。学生通过邏輯方程的求解的学习,还会学到一門在近代科学技术... 详细信息

1.本文作者多年的經驗証明,邏輯方程的求解会引起学生們极大的兴趣。此外,它还能教給学生数理邏輯初步的一个很自然的方法。在中学設置这一課程的必要性,人們談論过不止一次。学生通过邏輯方程的求解的学习,还会学到一門在近代科学技术中有着广泛应用的新代数,并且根据印象,他們还会由于能够解决新的問題而感到欢欣鼓舞。

关键词：命题代数普通代数第一个

来源：评论

学校读者我要写书评

暂无评论

组合逻辑

引用

电子计算机动态 1978年第1期 42-53页

作者：梁培基徐兴声黄贞蕴

2.1 概述我们将首先研究组合逻辑中的子级逻辑,特别是一个或多个输入变量的逻辑函数或开关函数。函数的数量随输入变量的增加而指数地增长;例如,五个二进制的输入,就可以组成四十亿个以上的开关函数。这样大量的函数是很难处理的,因此,... 详细信息

2.1 概述我们将首先研究组合逻辑中的子级逻辑,特别是一个或多个输入变量的逻辑函数或开关函数。函数的数量随输入变量的增加而指数地增长;例如,五个二进制的输入,就可以组成四十亿个以上的开关函数。这样大量的函数是很难处理的,因此,我们要寻求只用少量基本操作就能表达任何逻辑函数的方法。进一步来说,我们只需用一种基本操作就能表达任意的逻辑函数,因而只用一种形式的逻辑器件就可以组成能执行任何逻辑函数的电路。在本章里,我们将考察几种实现逻辑函数的基本方法。

关键词：表达式输人自变量函数值组合逻辑数理逻辑逻辑函数开关函数布尔积与非逻辑电路开关电路逻辑装置对偶普通代数或非

来源：评论

学校读者我要写书评

暂无评论

电工考试复习题集

引用

电气时代 1993年第1期 25-28页

作者：于宝田薛天彩

2.答:工作在线性区的理想运算放大器的两个特点是:（1）由于运算放大器开环放大倍数A;→∞,而输出电压U;是有限值,故可认为输入电压近似为零。（2）由于运算放大器输入电阻γ;=∞,输入电压近似为零,所以输入电流I;近似为零。这两个特点... 详细信息

2.答:工作在线性区的理想运算放大器的两个特点是:（1）由于运算放大器开环放大倍数A;→∞,而输出电压U;是有限值,故可认为输入电压近似为零。（2）由于运算放大器输入电阻γ;=∞,输入电压近似为零,所以输入电流I;近似为零。这两个特点是分析运放电路的基本出发点。3.答:在晶闸管整流电路的

关键词：移位寄存器中断方式逻辑运算布尔运算反馈电压控制角全译码晶闸管晶体闸流管电力电子器件有源逆变 CPU 一斋寻址方式普通代数外围设备外部设备外设

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：