꒰ঌ(🎀ᗜ` v ´ᗜ 🌸)໒꒱💈

命题逻辑的基本概念 命题 命题：能判断真值的陈述句 真值：真和假（可以用1和0表示） 真命题：真值为真的命题 假命题：真值为假的命题 原子命题：不能再被分解的每题 复合命题：由原子命题通过联结词联结而成的命题 如何判断： ①是否为陈述句 ②是否有唯一真值 命题联结词有五种联结词，分别为否定、合取、析取、蕴涵、等价。 否定：否定的真值与原真值结果相反（相当于数字逻辑中的 “非”） 合取：只有当两个真值都为真时，合取才为真（相当于数字逻辑中的 “与”） 析取：只要有一个真值为真，析取的值就为真（相当于数字逻辑中的 “或”） 蕴涵（需要单独记忆）：当p为真且q为假时，p→q为假(1→0 0)，其他情况都为真。p q的顺序不能颠倒 只要p，就q 因为p，所以q p仅当q 只有q才p 除非q才p ...

​ 这是一份个人向的笔记，供个人复习参考用，也适合有一定程序语言基础的初学者入门。希望看完能够对你会有所帮助^ ^（可以配合网课食用） 第一个程序： 123456789//class是一个类，helloworld是类名，类名尽量跟文件名保持一致public class helloworld{ //main:主方法（程序的入口） public static void main(String[] args) { //输出双引号中的语句 System.out.println("Hello, World!"); }} tips：编写Java时应该注意以下内容 大小写敏感：如标识符Hello和hello是不一样的 类名：对于所有的类来说，类名的首字母应该大写。如果类名由若干单词组成，那么每个单词的首字母应该大写，例如 MyFirstJavaClass 主方法入口：所有的 Java 程序由 public static void main(String[]...

输入带空格的字符串应该用fgets，scanf遇到空格时会停止读取，后续内容被截断 fgets用法如下： 1fgets(input, sizeof(input), stdin); 快速排序 ​ 需要自己先定义一个函数compare（函数名可不为compare） 12345int compare(const void *a, const void *b) { int num1 = *(int*)a; int num2 = *(int*)b; return num2 - num1; // 返回正数时，num1 排在 num2 后面（实现降序）} ​ 使用时如下： 1qsort( arr , n , sizeof ( int ) , compare ); //arr是数组名，n为数组的长度， compare为上面需要自己定义的函数 ​ 二编：好麻烦不想用qsort了，otto教了一个c++的sort写法： 123456789101112131415161718192021222324252627#include...

Markdown简单入门 Samdn 泥嚎 \ (@ ^ 0 ^ @ ) / ！这是一份 专业的 偏个人向学习的简单笔记，可能存在不少问题或缺漏，如果有错误的话也希望您能帮我指正orz 本文使用的工具是Vscode，需要下载的插件有 Markdown All in one、Markdown Image、Markdown Preview Enhance，Typora之后如果学会了再做补充（写法大概是一样的，也不用下载前面的插件，而且有更多简便的操作）。可以配合这个视频食用 【全网最详细Markdown入门使用教程】40分钟教会你用免费的vscode做出好看的笔记 下面因为演示了标题怎么写所以目录顺序可能会有点怪，凑合看看（预防针 那么就直接开始写了: 下面是一些简单的基本语法： 关于标题一级标题二级标题…… 最多应该是三级标题 在Vscode中的写法是： # 一级标题## 二级标题### …… （#后要加空格） 怎么写列表 无序列表 列表1 列表2 列表3 有序列表 嵌套 工作清单 事件a 事件b 事件c ...

This is my first article.

Welcome to Hexo! This is your very first post. Check documentation for more info. If you get any problems when using Hexo, you can find the answer in troubleshooting or you can ask me on GitHub. Quick StartCreate a new post1$ hexo new "My New Post" More info: Writing Run server1$ hexo server More info: Server Generate static files1$ hexo generate More info: Generating Deploy to remote sites1$ hexo deploy More info: Deployment