2023年3月24日
vim
摘要： 阅读全文
posted @ 2023-03-24 16:06 林师宏 阅读(6) 评论(0) 推荐(0)
2022年6月16日
一阶逻辑基本概念
摘要： 阅读全文
posted @ 2022-06-16 20:37 林师宏 阅读(13) 评论(0) 推荐(0)
一阶逻辑
摘要： 阅读全文
posted @ 2022-06-16 20:37 林师宏 阅读(4) 评论(0) 推荐(0)
命题逻辑等值演算
摘要： 阅读全文
posted @ 2022-06-16 20:36 林师宏 阅读(5) 评论(0) 推荐(0)
命题逻辑基本概念
摘要： 阅读全文
posted @ 2022-06-16 20:35 林师宏 阅读(10) 评论(0) 推荐(0)
命题逻辑推理理论
摘要： 阅读全文
posted @ 2022-06-16 20:35 林师宏 阅读(28) 评论(0) 推荐(0)
二元关系
摘要： 阅读全文
posted @ 2022-06-16 20:34 林师宏 阅读(24) 评论(0) 推荐(0)
谓词逻辑
摘要： 1979年由金岳霖主编的《形式逻辑》中所给出的逻辑学定义在20世纪后期影响极大,是国内逻辑学教材的标杆性定义,后来国内许多教科书所给出的定义是在这个定义上的不同表述或修补。金岳霖给出的定义是:“形式逻辑是一门以思维形式及其规律为主要研究对象,同时也涉及一些简单的逻辑方法的科学”。鉴于该教材是由金岳霖 阅读全文
posted @ 2022-06-16 20:28 林师宏 阅读(332) 评论(0) 推荐(0)
2022年4月21日
消解法流程图
摘要： 阅读全文
posted @ 2022-04-21 20:55 林师宏 阅读(32) 评论(0) 推荐(0)
2022年3月18日
个人简介
摘要： 大家好，这是我的个人博客，这篇是我的第一篇博文，先熟悉一下编辑环境。本人主要学习java，包含HTML5，CSS3,JS正在学习Vue.js、Angular、Node.js等前后端框架，同时也在学习机器学习的相关知识。 以后我会在这里分享各种学习心得和遇到的问题。 阅读全文
posted @ 2022-03-18 12:37 林师宏 阅读(45) 评论(0) 推荐(0)