《2018年1月14日》【连续095天】
标题:Java封装了解,计算机字,定点数和浮点数的储存和直言命题的含义,结构,种类的学习;
内容:
A.了解了一下Java的类和对象,使用了封装思想,与C++相同,类定义了对象的成员变量和成员函数;
B.
计算机字:用若干个二进制位表示一个数或一条指令作为一个整体进行操作,这个整体就叫做计算机字。
二进制串所占的位数就叫做字长。字长有16位,32位,64位,电脑的位数一般就指字长。
其中,表示数据的叫数据字,表示指令的叫指令字。
数据字又包括定点数和浮点数。
定点数:用来表示整数和纯小数。
表示整数时,小数点在最后一位之后,表示整数时,小数点在符号位和表真值最高位之间。
说明:数在计算机中是采用补码存储的,其真值要转换成原码(负数加一取反)。
浮点字:
科学计数法(指数计数法):N=M*2^E (二进制形式);
例:
N: 0.00000111011 M:0.111011
阶码为-5,即E=-101;
其中,规定尾数(M)必须以0.1开头,这叫尾数的正规化,
这样,就确保了尾数和阶码的唯一性,
浮点数存储即为:
E M
阶符(指数的正负)+E的数值部分+数符+M的数值部分;
单精度浮点数:32位,阶码8位,数符1位,尾数23位;
双精度浮点数:64位,阶码11位,数符1位,尾数52位;
溢出:超出数据的有效存储范围。
机器误差:实数精度存储问题。
注意:实际存储时,由于尾数的正规化,尾数的小数点后第一位一定是1,所以它并不存储,只有在使用时才加上去。
C.直言命题:
含义:
是断定一类对象的全部或部分是否包含在另一类对象之中的命题;
结构:
1.逻辑常项:
1)量项:
a)全称量项:“所有”;
b)特称量项:“有些”(至少一个);
注意:逻辑学中的有些是至少一个的含义,而生活中:有些人通过了考试,隐含了一些人没通过考试的情况,而逻辑学中,则存在所有人通过考试的情况;
2)联项:
a)肯定联项:“是”;
b)否定联项:“不是”
2.逻辑变项:
1)主项;
2)谓项;
直言命题的标准化:
孩子不都是爱哭的。————>有些孩子不是爱哭的孩子。
种类:
1.全称肯定命题:
逻辑形式:所有S是P;
缩写: SAP;
简称: A;
2.全称否定命题:
逻辑形式:所以S不是P;
缩写: SEP;
简称: E;
3.特称肯定命题:
逻辑形式:有些S是P;
缩写: SIP;
简称: I;
4.特称否定命题:
逻辑形式:有些S不是P;
缩写: SOP;
简称: O;
欧拉图表示:
SAP: Ⅰ Ⅱ;
SEP:Ⅴ;
SIP: Ⅰ Ⅱ Ⅲ Ⅳ;
SOP:Ⅲ Ⅳ Ⅴ;
单称命题:主项是一个单独概念(实质是判断某一单独对象是否属于某一类对象);
例:地球不是恒星;
单称命题是否属于直言命题尚有争议,我学习的版本是不属于;
明日计划:学习;