[其他小程序] 判断输入是否为命题公式

说明：本程序可以实现：判断输入得公式是否为命题公式(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

[其他小程序] 变声器

说明：通过ADC采样获得语音信号，存储在SRAM中，进行频谱搬移实现变声，用DAC输出(Through ADC sampling to obtain the voice signal, stored in the SRAM, frequency shift to achieve sound, DAC output)
<dddsss > 在 2025-12-02 上传 | 大小：5.35mb | 下载：0

[其他小程序] mysin

说明：本程序代码包含读入dat文件，以及存储数据为dat文件的函数，便于读者理解dat文件的读取(This program code contains read into the dat file, as well as storage data for the dat file function)
<mlnnf518 > 在 2025-12-02 上传 | 大小：111kb | 下载：0

[Windows编程] Snake

说明：使用windowsAPI实现贪吃蛇小游戏(A snake game finished by C.)
<左左左一 > 在 2025-12-02 上传 | 大小：19.63mb | 下载：0

[Windows编程] 07444858

说明：关于bmp文件信息头和数据的读取,不错的 推荐给大家(Read about the BMP file header information and data, recommend good to you)
<赵中豪123 > 在 2025-12-02 上传 | 大小：1kb | 下载：0

[.net编程] 网上书店

说明：网上书店网站，可实现登录 交易 后台管理界面(Online bookstore website, you can achieve login, transaction, background management interface)
<再见残月 > 在 2025-12-02 上传 | 大小：69.24mb | 下载：0

[Windows编程] 冰心聊天室

说明：这是一个简单的聊天室~支持局域网聊天！请注意电脑内必须有E语言5.0以上版本！最好E语言5.3。否则可能会打不开。(This is a simple chat room ~ support LAN chat!)
<VAVXG > 在 2025-12-02 上传 | 大小：554kb | 下载：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

[其他小程序] abel4

说明：ABEL 4.00 DOS HDL
<bbg > 在 2025-12-02 上传 | 大小：974kb | 下载：0

[其他小程序] ABEL Primer

说明：ABEL HDL Primer
<bbg > 在 2025-12-02 上传 | 大小：63kb | 下载：0