将布尔语句提升为命题
是指将一个布尔表达式或条件语句转化为一个可以被判断真假的陈述句。这个过程可以通过对布尔语句的分析和逻辑推理来完成。
布尔语句是由逻辑运算符（如与、或、非）和关系运算符（如等于、大于、小于）组成的表达式。它们通常用于条件判断和逻辑运算。而命题是一个陈述句，可以被判断为真或假。
将布尔语句提升为命题的过程可以通过以下步骤完成：
- 确定布尔语句的逻辑结构：首先要理解布尔语句中的逻辑运算符和关系运算符的含义和作用，确定布尔语句的逻辑结构。
- 确定布尔语句的真值：根据布尔语句中的变量和条件，确定每个变量和条件的取值范围，并计算出整个布尔语句的真值。
- 将布尔语句转化为命题：根据布尔语句的真值，将布尔语句转化为一个可以被判断真假的陈述句。如果布尔语句的真值为真，则将其转化为一个肯定命题；如果布尔语句的真值为假，则将其转化为一个否定命题。
举例来说，假设有一个布尔语句：(x > 5) && (y < 10)。我们可以按照上述步骤将其提升为命题：
- 确定逻辑结构：布尔语句由一个与运算符和两个关系运算符组成，表示同时满足两个条件。
- 确定真值：假设 x = 6，y = 8，那么布尔语句的真值为真。
- 转化为命题：根据布尔语句的真值，可以将其转化为命题："x大于5，并且y小于10"。
推荐的腾讯云相关产品和产品介绍链接地址：
- 腾讯云函数（云原生）：https://cloud.tencent.com/product/scf
- 腾讯云数据库（数据库）：https://cloud.tencent.com/product/cdb
- 腾讯云CDN（网络通信）：https://cloud.tencent.com/product/cdn
- 腾讯云安全加速（网络安全）：https://cloud.tencent.com/product/ddos
- 腾讯云点播（音视频、多媒体处理）：https://cloud.tencent.com/product/vod
- 腾讯云人工智能（人工智能）：https://cloud.tencent.com/product/ai
- 腾讯云物联网开发平台（物联网）：https://cloud.tencent.com/product/iotexplorer
- 腾讯云移动开发（移动开发）：https://cloud.tencent.com/product/mad
- 腾讯云对象存储（存储）：https://cloud.tencent.com/product/cos
- 腾讯云区块链服务（区块链）：https://cloud.tencent.com/product/tbaas
- 腾讯云虚拟专用云（VPC）：https://cloud.tencent.com/product/vpc
- 腾讯云云服务器（CVM）：https://cloud.tencent.com/product/cvm
请注意，以上链接仅供参考，具体产品选择应根据实际需求和情况进行评估和决策。
相关·内容
我有以下类型的家庭：
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}
import Data.Kind
import GHC.TypeLits
import Data.Type.Bool
type family Valid (n :: Nat) :: Constr
浏览 5提问于2021-03-06得票数 1
回答已采纳
我正在用Coq证明一些关于超滤光片的基本事实，我的许多证明最终都达到了我必须证明目标的阶段，例如
(False -> False) = True
或
False /\ P = False
或
True
或者其他一些琐碎的重言之词。simpl和auto似乎都没有做任何事情，所以我如何解决这些Prop目标？
浏览 0提问于2021-03-16得票数 0
回答已采纳
1回答
最近，我使用解决了这个问题，并应用rewrite策略解决了这个问题。然后，我决定回顾一次关于代码评审的，要求回顾一下我试图将希尔伯特(基于欧几里德的)几何学形式化的尝试。
从第一个问题中，我知道了命题等式与布尔等式和命题相等之间的区别。回顾一下我为Hilbert平面所写的一些公理，我广泛地使用布尔等式。虽然我不能百分之百确定，但根据我收到的答案，我怀疑我不想使用布尔等式。
例如，以这个公理为例：
-- There exists 3 non-colinear points.
three_non_colinear_pts : (a : point ** b : point ** c : p
浏览 0提问于2018-06-21得票数 1
回答已采纳
我从互联网上复制了这段代码，并正在对其进行审查，以进行可能的升级。然而，在我的一生中，我想不出这段片段的最后两行应该完成什么。事实上，我可以从我使用代码的运行程序中删除它们，并且程序继续正常工作。通常，我只是假设它是未被删除的剩余垃圾，但我在另一个程序中找到了相同的最后4行代码。
#------------------- Add ClipBoard Watcher Code --------------
# This script is a small update to the one found here:
# https://mnaoumov.wordpress.com/2013/08/
浏览 6提问于2022-08-09得票数 2
回答已采纳
2回答
我已经将一些变量声明为布尔变量，我希望C++在进行布尔加法时知道该做什么，但它并没有以我希望的方式实现。我怎样才能让它发挥作用。
#include<iostream>
using namespace std;
int main()
{
bool x,j;
x=0;
j=1;
for(int i=0;i<10;i++)
{
cout << x;
x=x+j;
}
return 0;
}
我得到的输出是
011111111
而我却希望
0101010101
我希望布尔变量能被去掉2，所以如果
x=1 then
x+1 = 0
x+1+1=1
x+1+1+1=0
诸
浏览 5提问于2013-10-07得票数 1
回答已采纳
1回答
使用位&论布尔值
、、
考虑以下代码片段：
main()
{
bool flag = true; //line 1
flag &= funcReturningBool(); //line 2
flag &= funcReturningBool2();
flag &= funcReturningBool3();
//....
//....
//....
//so many such cases
}
bool funcReturningBool()
{
bool ret = false;
/
浏览 3提问于2014-04-18得票数 0
回答已采纳
1回答
我正在做一个windows表单项目。我有一个带有保存和退出选项的菜单项。
当第一次执行任何操作时，将保存该文件。用户将被呈现一个对话框，然后他们选择文件名和路径，这样就节省了很多。
但是对于额外的保存，由于一个文件已经存在，它应该覆盖该文件，但是它将被追加到末尾。因此，本质上，它是将相同的信息输出两次到文件中。
下面是保存和关闭的事件处理程序：
private void saveToolStripMenuItem_Click(object sender, EventArgs e)
{
saveCurrentFile("save");
}
浏览 2提问于2013-09-13得票数 0
回答已采纳
我搞不懂为什么assert和cut在这种情况下表现不同。我正在尝试用ssreflect seq库来证明这个引理。 Lemma subseq_add_both: forall{A: eqType} (L1 L2: seq A) (a: A),
subseq L1 L2 -> subseq (a:: L1) (a :: L2).
Proof. intros.
assert (subseq [:: a] (a:: L2)). 上面的方法运行良好。然而， Lemma subseq_add_both: forall{A: eqType} (L1 L2: seq A) (a:
浏览 16提问于2020-06-29得票数 1
回答已采纳
在浏览网上资源时，我注意到可满足性是不同的。
有时资源要求证明给定的命题是可满足的还是不能满足的？
然而，有时他们要求证明--一组是可满足的？
我搞不懂可满足性到底与什么有关。它必须用一个命题还是一组命题做些什么呢？
浏览 2提问于2021-03-07得票数 0
回答已采纳
3回答
最近我读了一些章节C++底色，有一件事让我很困惑。
书上说：
There are four operators that do guarantee the order in which operands are evaluated.
the logical AND (&&) operator,
the logical OR (||) operator,
the conditional (? :) operator,
and the comma (,) operator.
然后我看到了这些密码：
if (val == true) { /* ... */
浏览 3提问于2015-02-04得票数 0
回答已采纳
我不明白为什么foobar这个词不会被打印出来。
#include <iostream>
using namespace std;
int main(){
int a = 1;
int b = 1;
int c = 1;
if(a==b==c)
cout << "this line will be printed out ...\n";
char ac = 'z';
char bc = 'z';
char cc = 'z';
浏览 2提问于2014-03-01得票数 0
1回答
有两个属性相同但含义和关系不同的表是不是不好呢？
即table1的属性=table2的属性。
然而，table1与table3有关系，table2与table4有关系。
这算不算糟糕的做法？还是应该将table1和table2整理成一个表？
虽然如果它被整理成一个表，难道table1也会与table4有关系吗？
浏览 2提问于2015-10-11得票数 1
回答已采纳
1回答
通常，您会在两个表的外键后面加入两个表，这样就可以始终找到RHS表中的行。添加联接不影响受查询影响的行数。例如
create table a (x int not null primary key)
create table b (x int not null primary key, y int not null)
alter table a add foreign key (x) references b (x)
现在，假设您在这两个表中设置了一些数据，则可以从
select x from a
在外键后面向b添加一个联接不会改变这一点：
select a.x from a join b o
浏览 5提问于2014-07-22得票数 1
4回答
有没有办法在oracle sql检查约束中使用if逻辑？
这是我的伪表：
create table child
(
name,
behaviour,
treat,
);
现在我想要的是，如果孩子= 'bad'的behaviour，那么treat != 'lollies'。
浏览 0提问于2013-05-01得票数 3
我正在努力提高我的Idris技能，通过查看一些练习 (最初是为Coq，但我希望翻译到Idris不太坏)。我在上遇到了麻烦，它写着：
删除“承认”然后填上证据。
定理plus_id_exercise：∀nat: nat，n=m→m=o→n+m=m+ o.证明。(*填写这里*)承认。
我已翻译成Idris中的下列问题：
plusIdExercise : (n : Nat) ->
(m : Nat) ->
(o : Nat) ->
(n == m) = True ->
浏览 3提问于2018-05-26得票数 2
回答已采纳
1回答
我花了一段时间才弄明白这个问题是要找什么的。我只需要返回那些给出一个对真实的全面评价的主张。我们的例子是和p(或q(不是q))，我知道p必须是真，q可以是真的，也可以是假的。为了实现我们的目标，我们首先得到了一些职能。
type Variable = String
type Valuation = [(Variable, Bool)]
data Prop = Falsum -- a contradiction, or
| Var Variable -- a variable, or
| Not Prop -- a neg
浏览 1提问于2013-11-18得票数 0
回答已采纳
我不能证明这两个布尔公式在逻辑上是等价的。我认为需要使用分配和吸收属性，但是not a和c子句的存在让我感到困惑。不确定如何在同一表达式中处理这两个。
浏览 35提问于2020-10-05得票数 0
我需要一个SAT解决程序，不仅可以作为输入，不仅CNF文件，而且正常的txt文件包含命题子句(只写和或不写)。
我什么也找不到。你能指出一个吗？
浏览 0提问于2018-06-01得票数 1
回答已采纳
3回答
python中的命题演算
、、、
我正在寻找一个在python中工作的命题微积分模块。
我的用户需要在文本区域输入一个公式，然后我必须检查它是否正确。
我不能直接测试输入文本是否等于正确的文本，因为它没有考虑到排列或类似的事情。
这样的模块存在吗？
-编辑-
以下是该项目的截图(设计未完成)：
浏览 1提问于2011-08-18得票数 3
我有以下代码：
int32 var1 = 81;
double var2 = 2;
if ((var1/10) < (var1 + var2) / 10)
{
some code to execute;
}
据我所知，除法时会删除余数，所以if语句应该解析为“If8<8 then execute”，所以不应该执行，但它确实执行了，这里被卡住了。是因为我使用了不同的变量类型吗？
我尝试分别打印(var1/ 10 )和(var1 + var2) /10的结果，它们都将8输出到控制台。
浏览 0提问于2017-01-12得票数 1
2回答
为什么关系代数的并、交和差运算称为布尔运算？
我在Ullman & Widom的一本书中发现，在5.4.1节的第一行中，布尔操作( 5.4节是关系代数和Datalog)中称为“数据库系统第一课程”。
浏览 3提问于2017-04-06得票数 0
6回答
class string1 {
static public void main(String[] ar) {
String s1 = "test";
String s2 = new String();
if(s2=null) { // line 0
System.out.println(s1);
System.out.println(s2.length()); //Line 1
}
}
}
我想要发生的是
a) s2将设置为null，因为这是一个赋值操
浏览 0提问于2013-09-01得票数 0
我已经编写了这个C++程序，我不能理解为什么它在第三个cout语句中打印1。
#include<iostream>
using namespace std;
int main()
{
bool b = false;
cout << b << "\n"; // Print 0
b = ~b;
cout << b << "\n"; // Print 1
b = ~b;
cout << b << "\n"; // P
浏览 35提问于2013-06-17得票数 19
回答已采纳
1回答
我有一个包含LocalType类型的元素的列表(下面定义)，我希望修改这个列表的函数，该元素也属于这个函数的subtptype。类型结束的元素停留在类型结束的列表中。对于Prl类型的元素(结束条端)，第一端应留在列表中，第二端应附加到列表中。例如结束，(Prl‘s Bar ss) -> End，s，ss例如End，End Bar End -> End，End --这就是我如何实现它的方法，
sepTimes :: [LocalType] -> [LocalType]
sepTimes(x:[]) = [x]
sepTimes(x:xs)
| x == End = se
浏览 2提问于2021-11-21得票数 1
回答已采纳
我正在尝试本地化我有一个问题
2个DB和它们的事务行为。
我在单个SQL Server2008 R2实例上创建了两个数据库。
test1
test2
test1有一个表Table_1
test2有一个表Table_2
这两个表都有ID (int)和value (string)列。
这两行都只有一行包含ID=1。
然后在SQL Server Management Studio中，
在某个窗口1中，我这样做
use test1
begin transaction
update test1.dbo.Table_1
set
value = 'TEST-100'
where
ID =
浏览 0提问于2013-12-12得票数 0
我正在尝试让dplyr的summarize_all()与approx()一起工作。更具体地说，数据框架df将被内插到height_target：
library(tidyverse)
df <- tibble(height = c(0, 10, 20),
a = c(1, 3, 5),
b = c(4, 6, 8))
height_target <- c(5, 15)
对于一个列(例如，列a)，这些命令的工作方式如下：
approx(x = df$height, y = df$a, xout = height_target)
#
浏览 4提问于2017-07-31得票数 0
回答已采纳
2回答
合金中是否有xor操作，如果没有，我如何定义它：
我希望有一个名为xor的谓词，它将两个谓词作为参数，当它们的xor保持为true时，它仍然有效。
更详细地说，如果我有P1和P2，我知道可以将P3定义为：
pred P3(){
(P1 and (not P2)) or ((not P1) and P2)
}
要成为P1和P2的xor，但我想定义xor (或任何其他公式连接词)，将其放在库中，然后使用它们。因此，我希望我的P3 get谓词作为参数。这个是可能的吗？
谢谢
浏览 4提问于2014-12-05得票数 3
回答已采纳
所以在为这个问题奋斗了两天之后，我放弃了。给你两个输入，第一个是包含命题的列表，第二个是字典。
示例：
arg= [<prop1>, "OPERATOR", <prop2>]
dicti= {<prop1>: key1, <prop2394>: key2394,<prop2>:key2}
以下是可能的投入：
arg= [<prop1>, "OPERATOR (AND OR )",
[ "NOT" ,["NOT",<prop2>,"
浏览 3提问于2016-09-29得票数 1
回答已采纳
我只是从Coq开始，现在正试图证明一些在“小普罗弗”中的东西。我遇到的一个定理是：
Theorem equal_swap : forall (A: Type) (x:A) (y:A),
(x = y) = (y = x).
然而，我无法证明这一点。我试着找出如何用eq_sym重写方程的右侧，但我无法将它应用于目标的一个表达式。
我该如何证明这个定理？
浏览 0提问于2019-05-02得票数 0
回答已采纳
1回答
我在将numpy矩阵转换为具有本机类型的Julia数组时遇到了一些困难。这就是我的问题:我有一个代码，它返回一个numpy矩阵，前73列是bool，表示一个特征数组，最后一列是与特征向量相关的概率。 B = np.ndarray((10,74),dtype = object)
B[:,0:73] = int(0)
B[:,-1] = float(0) 我有一个Julia代码，它调用和接收这个数值矩阵 using PyCall
push!(pyimport("sys")["path"], pwd());
a = pyimport("main")
浏览 14提问于2020-07-03得票数 3
回答已采纳
1回答
有两个数据集：cells和connections。每个cell都有一个id，并且每个connection由两个ids (id1,id2)定义。
最多有count(cells)^2个不同的连接。
我想要有一个子集cells_subset，条件是来自cells_subset的每一对细胞在connections中都有一个连接。
我能和熊猫一起做什么呢？
浏览 0提问于2020-01-30得票数 1
2回答
我是JavaScript的新手，我正试着从网络资源中学习它。虽然我知道会有大量的cr*p材料，但大多数人似乎都同意JS中事物的真实性(举个例子go )。
现在我在实验中发现了一件奇怪的事情：
(true == 2)是false。为什么？
据我所知，2是一个非零数，因此它应该被计算为true。
浏览 1提问于2011-07-10得票数 6
回答已采纳
2回答
我是C的新手，也是stackoveflow的新手。我在编码一阶公式时遇到了一些问题，比如
forall([X],implies(X,f(X)))
这里x是一个变量，暗示是谓词，f是函数。听起来，对于所有的x，x都隐含着x‘e f(x)的函数。
使用C。任何类型的建议和帮助都将不胜感激。
浏览 1提问于2010-10-23得票数 2
回答已采纳
1回答
色数的快速精确求解
、、、
求图的色数是一个NP难问题，因此在理论上没有一个快速的求解者。是否有任何公开可用的软件可以快速计算一个图的精确色数？
我正在编写一个Python脚本，它计算许多图的色数，但对于即使是小图也要花费太长时间。我正在处理的图表范围很广，可以是稀疏的，也可以是密集的，但通常少于10,000个节点。我把这个问题写成一个整数程序，然后交给Gurobi去解决。你有没有推荐软件，不同的IP配方，或者不同的Gurobi设置来加快速度？
import networkx as nx
from gurobipy import *
# create test graph
n = 50
p = 0.5
G = nx.e
浏览 6提问于2016-10-20得票数 3
回答已采纳
2回答
在我们的软件验证模块中，我们刚刚从真值表转移到了自然推理。真值表看起来很基本，但现在我们使用coq理论证明了更复杂的语句。让我困惑的是，我们如何才能得到某种“已证实的或未被证实的”类型的答案，当使用真值表时，我们可以根据输入得到一个正确或错误的类型结果，这是否意味着我们使用自然推理来寻找重言式，还是我完全遗漏了什么？
浏览 3提问于2013-11-13得票数 0
回答已采纳
1回答
我有这部分代码：
# Check how the kstart servers accessible
ping -n 1 sg-start-6001
$sgkstartcheck = $?
If($sgkstartcheck -ne 'True'){
$sgkstart = "10.104.170.250"
}
else {
$sgkstart = "sg-start-6001"
}
ping -n 1 am-start-4001.
$amkstartcheck = $?
If($amkstartcheck -ne 'True
浏览 2提问于2020-05-08得票数 1
回答已采纳
写了一篇很棒的论文： --他在这里谈论通信，你可以根据程序的类型来检查程序的行为。(对于给定的语言子集)。
最近，发布了，用于定义数据和功能规范。
在这里
从Wadler我们有道具≅类型，规范≅道具≅类型ergo可以做静态规范/合同/类型检查。
我的问题是：的规范是否等同于Wadler的命题？
浏览 1提问于2016-05-27得票数 11
回答已采纳
2回答
根据
像∃x. F(x)这样存在型的值是包含某种类型x和F(x)类型值的一对。而像∀x. F(x)这样的多态类型的值是接受某种类型x并产生F(x)类型值的函数。在这两种情况下，类型都关闭在某个类型构造函数F上。
但是带有类型类约束的函数定义不会与类型类实例配对。
它不是forall f, exists Functor f, ... (因为不是每种类型的f都有函子f的实例，因此exists Functor f ...不为真)。
它不是exists f and Functor f, ... (因为它适用于满意的f的所有实例，而不仅仅是选择的实例)。
对我来说，这是forall f and
浏览 0提问于2019-07-01得票数 5
回答已采纳
我有一个用户控件，它有像<input type="button"....这样的html元素，我想在preRender状态上设置它的display属性。
你能解释一下，我需要做些什么来处理这个用户控件？所以，在这个函数中，我只有EventArgs e，它没有适当的方法或属性来给我带来用户控件的protected override void OnPreRender(EventArgs e) { }。
从现在开始谢谢你。
浏览 0提问于2010-09-09得票数 0
1回答
我正在处理coq中的一个定义，它需要从一个定理中得到一些东西，但不能在定义中破坏。
Theorem sp : forall (X : Type) (T : X -> Prop)..... , exists (a : X), T a.
Definition yield_sp : (X : Type) (T : X -> Prop) (H : sp X T .....)..... : X.
当我试图摧毁H时，coq警告说
归纳定义不允许对排序类型进行案例分析。
我想知道其原因，以及如何使用定义从一个“存在”的命题中产生一个元素。
浏览 0提问于2019-05-22得票数 2
回答已采纳
给定以下代码，'a' (即char类型)是否在开关case语句中自动提升为int类型？
void testSwitch(byte x) {
switch(x) {
case 'a': // 1
case 256: // 2
default: // 3
case 1: // 4
}
}
我找不到Java SE7是否提到过..。
谢谢您的澄清。
你好，丹尼尔
浏览 2提问于2016-02-11得票数 8
回答已采纳
1回答
我正在努力理解关键字‘乐趣’在Coq的含义。
有类型all和function：
Inductive all (X : Type) (P : X -> Prop) : list X -> Prop :=
| all_nil : all X P []
| all_cons : forall (x:X) (l: list X) , P x -> all X P l -> all X P (x::l).
Fixpoint forallb {X : Type} (test : X -> bool) (l : list X) : bool :=
match l w
浏览 4提问于2015-03-29得票数 5
1回答
我试图用一个双循环来构建一个逻辑语句(只有n个命题中的m个命题可以是真的)，但是被“\”标记弄糊涂了。我在胡格尔身上找不到确切的意义。select提供了一个列表列表，一个可以选择的索引列表。对于索引，我想要建立一个积极的“选定”命题和消极的“非选定”命题的连词。下面的代码做错了什么？
genXorM :: Int -> Int -> Form
genXorM n m = Disj [Conj [Neg $ PrpF $ P x, PrpF $ P y] | z <- select, y <- [0 .. n] \\ z, x <- z] where
sel
浏览 1提问于2021-11-26得票数 0
回答已采纳
我想知道假设的第二部分是否有专门的术语？像这样：
(X & Y) → Z
Y将被称为什么？或者，在这一点上，X是什么呢？我考虑使用的一些选项是“位”和“象限”，但我不相信这些是正确的。
浏览 0提问于2012-12-09得票数 0
回答已采纳
2回答
当我试图回答时，我发现了一个我认为是错误的语法
select * from table where area and block
我尝试了一个sqlFiddle，发现它是有效的。
但我一直找不到它是如何工作的(我找到的所有文档都包括操作符).
在sql花式上做了一些尝试
对于可为空的int字段，它似乎“消除”null和0的结果，对于不可空的int字段，则为0结果。
它还能保存varchar值..。它包含int值(但不包含'0')！
即使我不认为使用这种语法是个好主意，我也希望有人能解释一下这是如何管理的.
浏览 1提问于2015-06-17得票数 3
回答已采纳
1回答
在任何“正常”的编程语言中，从C到Javascript，如果a || b (或a or b)这样的表达式是真的，则计算结果为a，如果a是真的，则计算为b，从而使a = params.a || default_a和and操作符类似的东西成为可能，但PHP却有不同之处。
中有什么方法可以做到这一点吗？或者，是否有任何PHP程序员使用的“编码成语/模式”，而不是下面的代码？
$a = $my_a || $default_a; // nope, $a gets a boolean
因为在我看来，编写if ($my_a) $a = $my_a; else $a = $default_a;或$a = $m
浏览 6提问于2012-07-03得票数 2
回答已采纳
2回答
我有一个函数count，它计算一个给定谓词在应用到列表元素时可证明的次数。它的定义如下：
Parameter T : Type.
Parameter dec: forall (p: T -> Prop) (w: T), {p w} + {~ (p w)}.
Fixpoint count (p: T -> Prop) (l: list T) := match l with
| nil => 0
| (cons head tail) => if (dec p head) then (1 + (count p tail)) else (count p tail)
浏览 4提问于2017-03-08得票数 1
回答已采纳
1回答
我是DotNetNuke Framework的新手。目前正在开发DNN 07.04.01 (280)版本。
问题：
在运行DNN源文件时，DNN源文件中所做的更改甚至都无法识别。
我正在开发"UserAccounts“模块。我们有一个叫"UserController.cs“的控制器。我无法添加或编辑这个源文件，这意味着我可以更改代码，但它在调试文件时不影响更改，它执行相同的旧代码，甚至不识别新代码。
这可能很奇怪，但我正面临着这个问题。
我已经尝试过的：
我试图在基于这个问题的DNN论坛上搜索，但没有希望。
有没有解决这个问题的办法？这将是值得赞赏的。请帮我们解决这件事。
pu
浏览 4提问于2019-02-27得票数 1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
