新博2娱乐
- 支 持:Linux
- 分 类:动作角色扮演游戏
- 大 小:653 MB
- 版 本:5.9.4
- 评 分:
- 开发者:创新未来软件科技有限公司
- 下载量:9957次
- 发 布:2024-11-15 15:28:55
扫码免费下载
#新博2娱乐简介
DOS提供了簡單的硬體抽象層,讓程式員可以開發文字界面的應用程式;但這個硬體抽象層無法存取大部份的計算機硬體,像是顯示卡、印表機,或是滑鼠等。這使得程式員必須直接存取硬體,導致每個應用程式都有屬於自己的一組硬體週邊驅動程式。硬體製造商會將他們的硬體規格書釋出,以確保在受歡迎的應用程式中有它們的驅動程式。
例如罗素悖论,A=(R∈R),L=「朴素集合论」,E只有一个命题:R∈R⇔R∉R。背景命题为真是因为朴素集合论有一个概括公理:对任意性质P(x),存在集合S,使得对任意对象x,x∈S⇔P(x)成立。即存在集合S,它刚好包含所有具备性质P(x)的对象,而且只包含具备性质P(x)的对象。令P(x)=(x∉x),即x为不包含自己的集合,大多数集合都不包含自己,包含自己的集合很难想象,只是理论上不排除它的存在而已,则根据概括公理有:x∈R⇔x∉x。又因为R本身也是一个对象,令x=R,则得到背景命题R∈R⇔R∉R,背景命题为真因为它是推出来的。因为R∉R=¬(R∈R),所以背景命题就是悖论情形A⇔¬A。所以罗素悖论是朴素集合论的一个悖论。