• 2024-10-25CodeQL学习笔记(1)-QL语法(逻辑连接词、量词、聚合词、谓词和类)
    最近在学习CodeQL,对于CodeQL就不介绍了,目前网上一搜一大把。本系列是学习CodeQL的个人学习笔记,根据个人知识库笔记修改整理而来的,分享出来共同学习。个人觉得QL的语法比较反人类,至少与目前主流的这些OOP语言相比,还是有一定难度的。与现在网上的大多数所谓CodeQL教程不同,本系列基于
  • 2024-09-25使用Xmind创建概念图全流程教程
    概念图是一种能够提升理解和组织能力的视觉学习工具,广泛应用于教育、商业和个人发展。它可以直观地展示概念之间的关系,是一种灵活且有效的方式。在本文中,我们将深入探讨概念图的好处、主要元素、与其他图形组织工具的区别,以及如何使用Xmind等工具创建有效的概念图。什么是概
  • 2022-11-25词序;一些副词;一些连接词
     词序1HespeaksEnglishverywell.         词序2always/usually/often       stillyetalready      
  • 2022-10-14数理逻辑-基本概念
     什么是数理逻辑?    什么是命题可判断真假的陈述句         排中律         原子命题与复合命题      
  • 2022-09-0222.状语从句
    状语从句在复合句中作状语。根据句子含义,可以表示时间、地点、原因、目的、结果、条件、行为方式、比较、让步等。状语从句主要考查连接词,包括不同状语从句的常用连接词