- 2024-06-10离散数学-万字课堂笔记-期末考试-考研复习-北航离散数学1
第一章逻辑语言1.1逻辑运算1.2命题逻辑合式公式1.3谓词逻辑合式公式1.4自然语言命题第二章命题逻辑语义2.1命题合式公式语义2.2推论式与等价式的语义2.3变换合式公式的语义2.4命题公式范式2.5等式演算2.6完全集第三章谓词逻辑语义3.1谓词合式公式语义3.2推论关系
- 2024-02-26使用cooike
方法1:手动添加cooike先用浏览器打开首页:'https://xq.com/',此时浏览器会被分配'Cookie'在headers里加入 'User-Agent'、'Referer'、'Cookie'去请求URL因为这里是异步加载,因此需要从“Fetch/XHR”的请求中查到“标头”里的请求地址urlimportrequestsheaders={'User-
- 2023-12-272023NCTF Misc Crypto 部分WP
MISCJumpForSignin题目来签个到吧我的解答:哎!游戏题。。直接打开这个文件运行玩游戏,进入游戏后点击空格进行跳跃,会看到天上掉落二维码,截图即可。在线工具扫码即可https://demo.dynamsoft.com/barcode-reader/?ref=www.hackjie.comNCTF{VVVVELCOME_TO_NCTF_2023!^!}
- 2023-09-30Matlab : 数理统计
统计描述性统计(DescriptiveStatistics)描述性统计主要研究数据的中心趋势(CentralTendency)和变异(Variation).中心趋势(CentralTendency)函数作用mean()计算平均值median()计算中位数mode()计算众数prctile()计算百分位数max()计算最大值min()计算最小值X=[13555579
- 2023-07-24RoPE
目录概RoPESuJ.,LuY.,PanS.,MurtadhaA.,WenB.andLiuY.RoFormer:Enhancedtransformerwithrotarypositionembedding.概原作者的博客已经讲得非常到位了:[here]and[there].RoPERoPE是一种相对位置编码,特点是它可以像绝对位置编码一样,在embeddi
- 2022-12-11【教程】超详细通过Shizuku转生支付宝集成XQ_Crystal来自动收能量
通过Shizuku是比应用转生更好更稳定的方法!可以先看这篇:免Root使用Xposed插件并开启蚂蚁森林自动偷能量,比应用转生好还不会的,继续往下。看完还不会,真没办法了。目录
- 2022-11-29vue 中使用 XQJavaScriptFramework
说明XQJavaScriptFramework隶属于XQFramework下JS基础性框架部分XQFramework励志将开发将常用开发语音基础性框架统一汇总,为全站开发使用到的基础语法进行统一,拜
- 2022-11-19Vue XQTypeScriptFramework 使用
说明XQTypeScriptFramework隶属于XQFramework下JS基础性框架部分XQFramework励志将开发将常用开发语音基础性框架统一汇总,为全站开发使用到的基础语法进行统一,拜
- 2022-09-20pandas 处理数据并发送邮件
知识点1:SQL读取并创建dataframe知识点2:python发送邮件知识点3:dataframe中某列series取唯一值知识点4:dataframe切片知识点5:dataframe中如何应用apply函数知识点6:函数的