资源列表
[其他小程序] 判断输入是否为命题公式
说明:本程序可以实现:判断输入得公式是否为命题公式(This procedure can determine whether the input is propositional formula)<mlnnf518 > 在 2025-12-02 上传 | 大小:1kb | 下载:0
[其他小程序] 判断两命题公式是否蕴含
说明:本程序可实现:判断两个输入的命题公式是否蕴含(This document can determine whether or not the two propositional formulas contain)<mlnnf518 > 在 2025-12-02 上传 | 大小:2kb | 下载:0
[Windows编程] ilxorithm-eggs
说明:其中包含了腐蚀,细化的算法,可以用于统计虫卵的个数,(Contains corrosion, thinning algorithm, which can be used in the statistics of the number of eggs,)<赵作镜 > 在 2025-12-02 上传 | 大小:4kb | 下载:0
[Windows编程] get_HYCOM_forcing.m
说明:获取hycom数据,用于FVCOM程序输入文件制作(Get HYCOM data for FVCOM program input file production)<青豌豆 > 在 2025-12-02 上传 | 大小:2kb | 下载:0