腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
用algebra_simps实现
算术
表达式
的
等价性
isabelle
、
theorem-proving
在中有练习2.4,它建议在
简单
算术
表达式
上使用'algebra_simps‘,表示为'datatype exp’。有人能给出一个例子,如何使用algebra_simps来
证明
这些
表达式
的
一些
简单
属性?一般来说,我试图
证明
以类似形式表示
的
简单
算术
表达式
的
等价性(使用有限
的
运算符集)。
浏览 1
提问于2014-06-13
得票数 1
回答已采纳
1
回答
简单
算术
表达式
的
证明
coq
、
proof
我想用实数
证明
一堆像100 + 100 = 200或1>-/2这样
的
定理,但似乎coq不能使用自动策略来做到这一点。有没有办法不写几百行就能
证明
这样
的
事情呢?
浏览 4
提问于2020-11-27
得票数 0
回答已采纳
3
回答
用Coq编写
简单
算术
的
证明
coq
、
integer-arithmetic
我想
证明
一些
简单
的
事情,比如对于每个自然数n,都存在一个自然数k,使得:如何进行这样
的
证明
呢?另外,在Coq中有内置
的
幂(指数)运算符吗?
浏览 11
提问于2018-01-24
得票数 2
7
回答
如何用C#编写解析器?
c#
、
parsing
、
xml-parsing
、
interpreter
现在,我只需要一个
简单
的
解析器来解析
算术
表达式
(并读取变量?)。尽管稍后我打算编写一个xml和html解析器(用于学习目的)。那么,编写解析器
的
基本理论是什么?我如何在C#中实现解析器?C#是解析器
的
合适语言吗(我曾经用C++编写了一个
简单
的
算术
解析器,它非常高效。JIT编译会
证明
同样好吗?)。任何有用
的
资源和文章。最重要
的
是,代码示例(或代码示例
的
链接)。 注意
浏览 0
提问于2011-09-11
得票数 68
回答已采纳
1
回答
用于解析
算术
表达式
的
最佳数据结构
c++
、
parsing
、
data-structures
假设我们要为解析器编写计算机代码,解析
算术
表达式
,
简单
地说,是一个检查
算术
表达式
有效性
的
程序。例如,给定一个
算术
表达式
(a /(b+ c) )x,我们想看看括号是否正确匹配。哪种数据结构最适合用于匹配
表达式
中
的
正确括号。
浏览 2
提问于2022-03-01
得票数 0
3
回答
处理shell脚本中
的
算术
表达式
shell
例如:-我们可以使用
简单
的
算术
运算符
简单
地处理
算术
表达式
。echo a*b 提前谢谢。
浏览 0
提问于2011-07-06
得票数 3
回答已采纳
2
回答
在巴什有办法做到这一点吗?回波$$(2-1)
bash
、
shell
我想要执行一个
简单
的
算术
表达式
,并根据
表达式
的
#回显$
的
值。例如:设置file1 file2 file3 file4 我想要回显$2 (file2),但是使用一个
算术
表达式
"echo $$((3-1))",我认为这个
表达式
可以解析为$2,但bash只是抛出一个错误
浏览 0
提问于2014-02-27
得票数 0
回答已采纳
2
回答
算术
常量
表达式
中
的
求幂
fortran
、
fortran77
事实
证明
,以下内容在fortran 77中是非法
的
: program main parameter(a=(10.)**(.5))...原因是,parameter语句采用常量
算术
表达式
,除非指数是整数,否则求幂是非法
的
。(第6.1.3和8.6节 )。有没有人知道这个限制在新版本
的
标准中有没有放松?为什么一开始这就是非法
的
?
浏览 0
提问于2012-04-16
得票数 0
回答已采纳
1
回答
Dafny归纳引理:不能推断归纳假设
的
后条件
induction
、
dafny
我试图用
算术
表达式
定义一种非常
简单
的
语言
的
小步语义(可用
的
源代码)。为了
简单
起见,我们假设语言只允许文字和一元减号(-exp)。为了
简单
起见,让我们假设这种关系总是成立
的
:(任何其他非平凡
的
关系也会导致我在这里描述
的
问题这可以通过-->*推导
的
归纳
浏览 1
提问于2018-06-08
得票数 1
回答已采纳
1
回答
如何在9-9运算中写出区分-9和-运算符
的
词法规则?
antlr4
我正在为计算器应用程序使用Antlr4编写一个
简单
的
表达式
解析器。我不知道如何写一个区分数字-9和
算术
表达式
9-9
的
语法。这是我
的
语法expression.g4: | expressionDIGIT+) |'0' ; 上面的语法问题是,它在
算术
表达式
-9中将9 -
浏览 3
提问于2019-04-10
得票数 1
回答已采纳
1
回答
打印有效
算术
表达式
code-golf
、
string
、
grammars
递归定义“有效
算术
表达式
”:如果s是一个有效
的
算术
表达式
,那么(-s)也是。0 1 2 3 4 5 6 7 8 9是自然数。 如果自然数n不是0,则n0 n1 n2 n3 n4 n5 n6 n7 n8 n9是自然数。或者,通过regex /^(0
浏览 0
提问于2018-04-16
得票数 5
2
回答
如何将'+‘转换为+,'*’转换为*,等等
c++
、
parsing
、
postfix-notation
我正在编写一个函数,该函数读取字符串形式
的
后缀
表达式
并相应地进行计算。 在C++中,有没有一种
简单
的
方法可以将
算术
运算符
的
字符转换为
算术
运算符本身?
浏览 3
提问于2012-10-28
得票数 4
回答已采纳
1
回答
用公式计算Google数学
表达式
google-sheets
、
google-sheets-formula
、
multiplication
、
google-query-language
我在Google中有一些字符串,包含
简单
的
算术
表达式
:是否有一种无需编写脚本就可以计算这些
表达式
的
方法?(即只有公式)
浏览 1
提问于2022-04-28
得票数 2
回答已采纳
1
回答
如何在Python中获得
算术
运算
的
解析树?
python-2.7
、
parsing
、
arithmetic-expressions
、
parse-tree
如何获得以下
简单
算术
运算
的
函数调用列表?怎样才能得到解析树呢?.4 另外,Python 中解析
算术
表达式
的
语法在哪里?
浏览 6
提问于2018-12-03
得票数 1
1
回答
算术
表达式
求值
arithmetic-expressions
、
oz
、
mozart
我有一个问题,我不知道如何在OZ中实现它:假设给您一个由元组构建
的
树描述
的
算术
表达式
,如下所示: 实现一个函数Eval,它接受一个
算术
表达式
并返回它
的
值。例如,add(int(1) mul(int(3) int(4)))
浏览 2
提问于2019-01-09
得票数 2
回答已采纳
2
回答
类型记录-评估
算术
表达式
typescript
如何评估打字本中
的
算术
表达式
?一个例子是'(3+5*(-3+-1))‘。let input = '(3+5)'; Math.js占用136 is (压缩),对于计算
浏览 0
提问于2019-03-22
得票数 2
回答已采纳
1
回答
基本
算术
性质
的
证明
formal-verification
、
tla+
我尝试用TLA+
的
定理
证明
工具来
证明
算法
的
安全性。但我发现TLAPS不能很“
简单
”地计算数学事实。我
的
第一个问题是:CONSTANTS x,yLEMMA x=y+1 => y<xTLAPS我还尝试在其他策略中使用特定
的
后端
证明
: BY IsaM("b
浏览 1
提问于2019-05-27
得票数 1
回答已采纳
1
回答
似乎解决不了Antlr语法中
的
歧义
parsing
、
antlr4
、
arithmetic-expressions
我正在创建最
简单
的
语法,基本上可以识别
算术
表达式
。语法需要正确地遵循
算术
运算符优先规则(PEMDAS),为此,我将expr ('*'|'/') term放在expr ('+'|'-') term之前,以确保优先级。'expr')' | NUMID: [a-z]+; WS:
浏览 3
提问于2021-11-30
得票数 0
回答已采纳
4
回答
检查计算列中
的
算术
溢出量?
sql-server
、
sql-server-2005
、
overflow
、
calculated-columns
在我们
的
应用程序中,我们将允许用户使用其他数据库列为数字输入
算术
表达式
(+ -* /),然后应用程序将其解析并作为计算列写入数据库。但是,在允许用户创建
表达式
时会出现一些问题,当您select *表时,这些
表达式
可能会导致异常,例如除以零、
算术
溢出,以及其他我还没有遇到
的
问题(尽管我认为这是所有的问题)。让数据库在select *上抛出异常绝对是毁灭性
的
。如果他们有容易出错
的
数据,我宁愿尝试把他们
的
表达改写
浏览 5
提问于2009-12-21
得票数 0
回答已采纳
1
回答
位逻辑和
简单
逻辑之间
的
速度性能
performance
、
time
、
execution
我试图找出按位运算符XOR和用于变量交换
的
简单
算术
逻辑之间
的
速度差异。我写了一个
简单
的
程序: a=a+b; a=a-b;而对于XOR,它是 a=a^b; a=a^b;我以为按位运算符会更快,因为它只使用了两个门,但事实
证明
,
算术
逻
浏览 8
提问于2017-08-07
得票数 0
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
使用Lambda表达式和接口的简单Java 8 Predicate示例
Python爬虫实战,正则表达式的简单应用和示例演示!
C+编程及计算机基础班课程抢先看
php学习之php的运算符的使用
Python基础知识(1)
热门
标签
更多标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储
活动推荐
运营活动
广告
关闭
领券