- 博客(3)
- 资源 (1)
- 问答 (1)
- 收藏
- 关注
RSS订阅原创 人工智能归结原理实验
提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档 文章目录前言一、流程二、步骤0.声明1.消去蕴含词和等值词2.使否定词仅作用于原子公式3.使量词间不含同名指导变元4.化为前束范式5.消去存在量词6.消去全称量词7.化公式为合（&）取范式8.消去合取词，得到子句集9.合一算法10.归结原理运行结果1.2.代码简陋，还请包涵 前言 提示：这里可以添加本文要记录的大概内容： 考察 命题逻辑归结推理 要求 熟悉C++迭代器使用，有一定离散数学基础 复杂式子无法实现 提示：以下是本篇.
2022-04-03 22:22:30
11074
12
原创 关于flutter连接mysql的坎坷之路。
1、引用包 sqljocky5: ^2.2.1 2、在my.ini文件最后添加 [mysqld] default_authentication_plugin=mysql_native_password 3、重启MySQL（百度） 4、然后新建用户，用新用户建数据库，然后就是代码：主机用10.0.2.2。 import 'dart:async'; // ignore: import_of_legacy_library_into_null_safe import 'package:sqljocky5/
2022-01-06 16:52:38
2583
预测分析算法的设计与实现（左递归消除和LL1文法）（是基于字符数组实现，没使用C++容器）
2021-11-17
能源效率角度思考手机使用wifi和移动蜂窝
2022-10-07
jdk.nashorn程序包不存在，怎么办
2021-11-22
TA创建的收藏夹 TA关注的收藏夹
TA关注的人