SIS SEN 01 16 02-1972
数据处理．术语．数学和逻辑学以及算术和逻辑学应用

Data processing. Terminology. Mathematics and logic, and arithmetic and logic operations


 

 

非常抱歉，我们暂时无法提供预览，您可以试试： 免费下载 SIS SEN 01 16 02-1972 前三页，或者稍后再访问。

您也可以尝试购买此标准，
点击右侧 “购买” 按钮开始采购（由第三方提供）。

点击下载后，生成下载文件时间比较长，请耐心等待......

 

标准号
SIS SEN 01 16 02-1972
发布
1972年
发布单位
SE-SIS
当前最新
SIS SEN 01 16 02-1972
 
 

SIS SEN 01 16 02-1972相似标准

STAS 10455/2-1976 数据处理的术语，逻辑学和数学 JUS I.A0.012-1986 数据处理．算术和逻辑运算．术语和定义 STAS 8590/2-1980 数据处理．算术和逻辑运算．词汇 BS ISO 2382-2:1976 数据处理 词汇 算术和逻辑运算 AS 1189.2:1982 数据处理．词汇．算术逻辑运算

推荐

浙大教授廖备水：跨界文理，也可以这般风度翩翩

数学科学学院数学与应用数学专业2021级本科生朱亦丹怀揣着对哲学的兴趣选修了《数理逻辑》课程，她说：“这个课程涉及到了拓扑，与数学专业有一定的关联。廖老师上课讲解知识很清晰，该课程的学习为我打下了一定的逻辑学基础。”哲学学院哲学专业（强基计划）2020级本科生肖雯表示，令她印象尤为深刻的是廖老师有问必答的习惯，只要是学生提出的问题，即使花费很长时间他也会进行一一解答。”...

【前沿专题】人工智能发展时间轴

1873Wihelm Wundt发表著作《心理生理学原理》确立实验内省法，被后人称为实验心理学之父1879Gottlob Frege概念演算--一种按算术语言构成的思维符号语言弗雷格扩大逻辑学的内容，创造了“量化”逻辑，是分析哲学的鼻祖。...

兰州大学发讣告

1985年出版了《逻辑学问答》后，我就开始组织几个老师写《大学逻辑教程》，在得到学校资助后，1993年由兰大出版社出版。在写教程的同时，我进一步研究超出本科教育范围的多值逻辑和各种模态逻辑，以及它们的元逻辑，还研读数学思想史和元数学之类的书，加深对数学逻辑的理解。...

名师大课 | 陈波：逻辑导论&悖论研究

课程简介：本课程试图传授给学生关于逻辑学的一般观念，逻辑学发展到目前为止的大致的整体形象，一些最基本的逻辑技术和技巧，以及隐藏在逻辑技术背后的思想和精神。...


Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证：京ICP证110310号