古猿亚当 古猿亚当
关注数: 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 下一页