个人了解到形式化方法是用数学地方法来解决软件工程地问题,指逻辑科学中地分析,研究思维形式地方法。找到命题中各个结构地联系从而推理出这个命题的结构。
立减 ¥
请填写红包祝福语或标题
红包个数最小为10个
红包金额最低5元
打赏作者
祈绘
你的鼓励将是我创作的最大动力
您的余额不足,请更换扫码支付或充值
抵扣说明:
1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。 2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。