数理逻辑
T_Jumping
Formal language is a kind of logical Art.
展开
-
进制引发的感想
二进制、十进制都是一种计数方式,符号只是他们的表现形式,通过符号形状的变化表达量的多少的区别。相同的量二进制和十进制都能表示,只是表现形式不同而已。用数字符号表示数量的不同大小本来就是编码,只不过此时表示的是数值信息 进制在规则上的不同,比如:十进制中,逢十进一,二进制中逢二进一,一个统一的规则就是符号"1"表示数量为1,而不是5或其他,其他符号同理,符号"0"的诞...原创 2020-04-21 22:48:51 · 653 阅读 · 0 评论 -
数理逻辑在程序中的应用
1、数理逻辑简介逻辑是指事物的因果关系,或者说条件和结果的关系,这些因果关系可以用逻辑运算来表示,也就是用逻辑代数来描述。事物往往存在两种对立的状态,在逻辑代数中可以抽象地表示为 0 和 1 ,称为逻辑0状态和逻辑1状态。逻辑代数中的变量称为逻辑变量,用大写字母表示。逻辑变量的取值只有两种,即逻辑0和逻辑1,0 和 1 称为逻辑常量,并不表示数量的大小,而是表示两种对立的逻辑状态。原创 2017-11-26 15:55:39 · 5988 阅读 · 0 评论 -
形式语言与形式逻辑
自然语言是思维的载体,逻辑是思维的规律和规则,由此可以推出自然语言是逻辑的载体,将形式逻辑在形式上符号化、数学化后,即是数理逻辑形式语言既是形式逻辑的载体,又是数理逻辑的载体数学函数是对应关系,反映事物之间的映射规则,是对关系的一种限制有些问题不容易找到程序式的过程或步骤,主要是不易梳理出顺序式的算法步骤,...原创 2018-06-17 17:45:08 · 1847 阅读 · 0 评论