古猿亚当
古猿亚当
关注数: 8
粉丝数: 49
发帖数: 418
关注贴吧数: 7
1木樨地,和,16玉渊潭东门之间还有虚拟换乘吗? 现在,16木樨地开通之后
天然气气压有降低吗? 最近燃气热水器老熄火,叫万家乐的员工上门,说是今年的气压普遍比去年低,从燃气站就低一档,这个是万家乐的员工忽悠人,还是真的因为俄乌冲突影响到燃气供应了?
Q470的主板,如何装上兼容win7的核显驱动?
移动硬盘供电不足怎么解决? 插上之后有时识别不了,能识别的时候只能读小文件,大文件无法运行也无法拷贝出来,停着有磁头反复寻道幢空气的声音,感觉是USB接口接触不良导致供电不足 结果去修硬盘的地方上来就说要恢复数据然后报废硬盘,明显的寻道音非说是打盘了,我寻思着坑人没理它 难道现在就找不到修USB接口的地方了吗?
求特别篇剧情位置 剧情大概是这样的:小光跟别人对战,对方扔出斗笠菇,然后因为小光这边恰好有克制的精灵,所以一脸得意正准备扔球,结果对方不讲武德直接音速拳一拳打到小光肚子上(没错,精灵直接打训练家)…… 这个是特别篇第几卷哪里的内容?
请问AN515-57配的RTX3060显卡一定是满血卡吗? 不懂,怕被坑……
萌新请教选笔记本的问题 神舟CNB5SP3 和惠普Zbook Fury 15 中选一个
萌新问一下,现在的电脑还能装上win7吗? 想买联想的 ThinkPad X1 carbon I7 但是我看它自带的linux,想问一下如果换windows是不是只能win10起步?
现在哪里可以找到带SLOT1 CPU接口的主板? 家里用了20年的老电脑主板坏了,用的是卡式的赛扬300A……
现在这个时代哪里去找支持卡式CPU的主板? RT,20年的老电脑主板坏了,上面用的SLOT1 的赛扬300A……
装修拆除的过程中是必须要清空房间吗? 家里装修,因为恰好剩了上次装修时的一些建材(地板、踢脚线、吊顶),想利用上,但咨询了工长后被告知最开始的拆除时必须先将房间清空,而我是没地放这些东西的,所以要想达到要求只能扔掉,等一两个月后到这些步骤的时候重新拿亲钱买,我想问这合理吗?
部分函数的记号怎么写? 当我想表示一个X到Y的部分函数(即定义域中元素未必都有对应的到达域值),为了要让记号与X到Y的正常函数(f:X--->Y)区分开,这应该怎么写呢?
迟到了20年的房改…… 98年第一次房屋市场化,本来那时就应该把从单位分的公房买下来,结果产权单位一直拖着不卖,一拖就拖到现在……
各位能推荐个加速器吗? 查外文资料写论文用
大佬门能推荐个加速器吗? 论文写一半发现英文喂鸡被墙…… 延迟什么的无所谓,只要能看网页就行,救命……
柯西积分定理的证明? 为什么中文的资料都是直接用格林公式证?格林公式不是有先决条件(实部,和虚部的二阶偏导数均连续)吗?
有什么讲解ETCS的书吗? ETCS (Elementry theory of category set) 范畴公理化集合论 国内各大书店都找不着介绍的书籍,京东上也没有,难道真的只能去外网找英文资料??
从机场到市区的最省钱的方式是什么? RT,在正常人能忍受的极限内(忽略沿机场高速徒步走20公里之类的选项)
ZFC和NBG是等一致性的吗? (已知NBG一致性,推导ZFC一致性):假设ZFC不一致,ZFC逻辑爆炸,ZFC中所有命题可被证明,ZFC中“空集=空集” “空集!=空集”这2个具体命题可被证明,NBG中“空集=空集” “空集!=空集”这2个具体命题可被证明(因为NBG是ZFC的保守拓展),NBG不一致,矛盾 然后我看的资料就直接一句,“反向推导同理”……但我仔细想,好像不对 如果是已知ZFC一致,假设NBG不一致的话,那么NBG中“空集=空集” “空集!=空集”这2个命题确实、可以被翻译成ZFC中语法相同的语句的 但是这2个命题的前置的推理过程,未必能从NBG中推理翻译成ZFC中的推理? 比如说NBG中一开始是由于2个关于类的命题造成了语法不一致,然后这2个关于类的命题用到了类公理,因此即便将NBG中的类,在ZFC中强行间接表示,这些类公理在ZFC中是不存在的??
一阶逻辑中的排中律 到底怎么写? 【任意x P(x)】 或 【非 任意x P(x)】 还是 任意x [P(x) 或 非P(x)]
虚拟换乘的问题 广渠门内-----广安门内 牛街------太平桥 复兴门-----木樨地 这个2次都能算虚拟换乘吗?还是只有第一次(广安门内---》牛街)算?
局部欧氏空间,和局部“半”欧氏空间,定义上是等价的吗? 定义一:设M为拓扑空间,M局部欧氏:<--->M中任意1点有一个M中开邻域,与一个固定维数的欧氏空间同胚 定义二:设M为拓扑空间,M局部欧氏:<--->M中任意1点有一个M中开邻域,与一个固定维数的欧氏空间,或固定为同样维数的欧氏半空间【{(x1,x2,……,xn) | xn >=0}】同胚 看上去定义二比定义一的要求宽松(满足一的,必满足二;满足二的,未必满足一),那到底哪个是“局部欧氏空间”的定义? 或者说两个定义只是看上去有强弱之分,实际等价??
函数和谓词的问题? 看到一种说法,X-->Y 的函数其实是X 笛卡尔积 Y 的一个子集 问题是ZFC中集合是通过公理定义的,而这些公理中的“子集公理”和“像集公理”需要通过谓词表述 也就是说函数是需要通过谓词定义的 可是谓词本身难道不是【变量空间】到【真值空间】的函数吗? 函数和谓词,到底是谁定义谁?
为什么函数只能限制定义域 理论上限制到达域(在 原到达域 与 像集 之间)甚至扩充达到域,不是都是可行的吗? 为什么各种书中都没有这种改到达域的记号?
那个“绿色出行”的悬浮标怎么关掉 跳来跳去的,烦死了
未升级的一卡通还能用吗? 是不让充值,钱花光了就必须得升级 还是压根就刷不过卡机,现在卡里有钱也得马上升级?
窦店镇政府斜对面的建行ATM机还能用吗? 有没有知道的说一下
有人知道山水汇豪的建行ATM还开着吗? 营业大厅肯定是关着了,但ATM机还能用吗?
致密性定理的问题 按照大部分国内的数学分析教材,致密性定理都是由单调有界准则推导出的。但是这里有一个问题 仔细看的话,推导过程似乎有无限步?但是按照数理逻辑的观点,证明不是必须在有限步内结束吗??
为什么范畴论中的态射 为什么范畴论中的态射,不像集合论中的映射那样,要求【映射值存在且唯一】?
有能看懂queine的新基础集合论的吗? 在解决康托尔悖论那里,为什么说 f:V—>P(V) x|--->{x} 不是层化谓词?
NBG是如何防止罗素悖论的 看资料上写的是{x|x不属于x} {x|x=x} 等不再是集合,而是【类】,所以就没有罗素悖论了 我的问题是把“集合”这个概念换成“类”这个概念,再重写一遍罗素悖论(构建一个其中元素不属于自己的类),那“类版本的罗素悖论”不是还存在吗? 所以这有什么用呢?
中风险买不到菜怎么办? 坐标北京房山窦店水墨林溪,线下线上的都停了,北京的贴吧不让发贴,发贴秒删
管控小区不能网购了怎么办? 水墨林溪,952终点站旁边的小区,上上周一开始封小区,几天前开始封楼门,买菜只能靠京心APP,现在这个APP突然显示【不在配送范围内】……
有人知道被封在小区里,煤气怎么买吗? RT,煤气表是插卡预购气的,手机没有NFC功能,小区物业只管买水
隔离怎么买煤气?
封控小区,买煤气怎么办? 封控小区,新式插卡燃气表,手机没有NFC功能,物业只管买水……
ZFC里的正则公理是干什么用的? 【任意集合中都存在一个元素,其与集合本身不相交】感觉这条公理卵用没有……
新增的22例在哪? 为什么只说哪个区,不给具体地址?这让人怎么规避?
为什么zfc使用的是“一阶逻辑”? 里面写得【禁止量词的高阶使用】可是明明选择公理就直接把量词作用于函数了?
范畴论的问题 看书里写得范畴论与ZFC在逻辑上并不等价,那岂不是说范畴论里得到的所有结果都必须用ZFC再【验证】一遍?那既然这样我一上来直接用ZFC不就行了?范畴论的意义在哪?
为什么既是单态射又是满态射的,未必是同构? 网上查的有人用拓扑空间做例子,但是没看懂,能具体的解释一下吗?
满态射的问题 刚开始看范畴论,我的理解:对于集合和函数,不再将函数看成是【特殊的集合】,而是将集合看成是【特殊的函数】,然后函数干不了这种事,所以吧函数的定义扩展为“态射” 现在集合是特殊的态射了,所以集合论里的单射函数的定义 f(x1)=f(x2) => x1=x2 就变成了 fg=fh => g=h 但是集合论里满射函数的定义,是怎么变成范畴论里满态射的定义的???
万能的吧友,遇到这种情况怎么破? 如图,瓷砖马上要美缝了,工长硬要把另一个工地上工人的行李放我这,还不肯挪走
请问我98年买的古董电脑能否用上现在的液晶显示器? 硬件能否兼容?是否能有匹配的插口???
作业题求助 用“Ruby on Rails" 编写一套 不少于5张网页的 网站(例如百科全书网站,像wikipedia 那样)
作业题求助 用“Ruby on Rails" 编写一套 不少于5张网页的 网站(例如百科全书网站,像wikipedia 那样)
作业题求助 用“Ruby on Rails" 编写一套 不少于5张网页的 网站
作业题求助 证明实射影RP2是二维流形
作业题求助 证明实射影RP2是二维流形
1
下一页