笔记 - 随笔分类 - jjppp

Ubuntu下的数电实验环境配置

摘要：针对南京大学数字逻辑与计算机组成实验课程的环境配置，本机是Ubuntu 21.10 1 访问这个网页，选择Individual Files，只需要下载 QuartusLiteSetup-20.1.1.720-linux.run (1.9GB) cyclonev-20.1.1.720.qdz ( 阅读全文

posted @ 2022-03-08 13:06 jjppp 阅读(121) 评论(0) 推荐(0) 编辑

数理逻辑01 命题逻辑

摘要：写在前面第一次看这本书的时候看得比较急，也没有一个big picture的把握，所以在细节上面耗费了很多时间....现在算是重构一次笔记了我们知道，形式逻辑是对推理的形式化（mathematical logic formalizes resoning），为了描述推理我们有各种各样的逻辑系统。对于阅读全文

posted @ 2022-01-20 18:31 jjppp 阅读(647) 评论(0) 推荐(0) 编辑

scheme学习笔记

摘要：前话开了SICP的坑，记一下lisp的方言scheme的一些东西我的笔记本是manjaro，本来折腾了半天装不上mit-scheme，后面发现直接自带guile就蛮能用的(能用就行) 一个很重要的点就是求值的时候有两种规则：正则序和应用序，分别表示先替换后计算和先计算后替换。一般的scheme 阅读全文

posted @ 2021-08-15 13:10 jjppp 阅读(298) 评论(0) 推荐(0) 编辑

Java速成笔记

摘要：恶补一下java来方便写作业,希望能用的上一直有点抗拒这门语言,给我的感觉就是笨重麻烦,很难写一些很漂亮的做法变量和类型 java是强类型语言,需要显式地声明变量的类型.变量的类型分为两种: primitive类型,包括: 整形:long int short byte，分别表示单字、双字、四字、阅读全文

posted @ 2021-06-19 15:06 jjppp 阅读(301) 评论(0) 推荐(0) 编辑

数据结构笔记1 搜索树

摘要：感觉一下子进度快了很多，中间有一些需要记的，还有一些偏工业的，现在补一补。内容全部来自《算法导论》，啃了一遍之后觉得这本书真是强啊，理论上说用这个入门就没必要看别的书了.....也许这就是本意吧这波主要是树相关，后面可能会持续更新，看我有没有空吧..... 是写给自己看的，也许会有一点电波二叉阅读全文

posted @ 2021-05-29 17:02 jjppp 阅读(75) 评论(0) 推荐(0) 编辑

高等代数复习笔记常见证明

摘要：关于矩阵的秩，王萼芳的书上给了一个比较简单的证明，丘维声的书上给了一个比较容易理解的证明，这里记一下复习复习，算是加深理解方法一引理：齐次线性方程组

A = 0

$A\bold=\bold{0}$ 只有零解当且仅当矩阵

A

$A$ 的行秩

\geq

$\ge$ 未知数个数。引理的证明比较简单，只需要证明初等行变换不改变行秩，再观察阅读全文

posted @ 2021-02-08 02:24 jjppp 阅读(802) 评论(0) 推荐(0) 编辑

信息与计算科学导论复习笔记三

摘要：这里的递归实际上也可以理解为递推 ##Karatsuba算法计算界次为

n

$n$ 的多项式乘积，

n a i v e

$naive$ 做法需要计算

n 2

$n2$ 次一个本科生(！！！)提出了这样的算法。考虑计算

(a x + b) (c x + d)

$\left(ax+b\right)\left(cx+d\right)$ 展开就是$acx2+\left(ad+bc\rig 阅读全文

posted @ 2021-01-06 22:48 jjppp 阅读(288) 评论(0) 推荐(0) 编辑

信息与计算科学导论复习笔记二

摘要：##集合的大小有限集合的大小很容易比较，只需要数一数，比一比就完了而无限集不能这么做。我们在这里规定集合

A

$A$ 与

B

$B$ 大小相等当且仅当存在

f : A \mapsto B

$f: A\mapsto B$ 为双射定理：无限集至少和它的一个真子集有双射证明：考虑

A

$A$ ，由选择公理，我们可以取出

B \subset A

$B\subset A$ 且

B

$B$ 可数，阅读全文

posted @ 2021-01-06 22:44 jjppp 阅读(231) 评论(0) 推荐(0) 编辑

信息与计算科学导论复习笔记一

摘要：信息与计算科学导论一 ##罗素悖论考虑这么一个集合：

S = {T | T \notin S}

$S=\left\{T|T\not\in S\right\}$ 考虑一个集合内的元素

x

$x$ ，若

x \in S

$x\in S$ ，则根据定义

x \notin S

$x\not\in S$ ，矛盾若

x \notin S

$x\not\in S$ ，则根据定义有

x \in S

$x\in S$ ，矛盾我们找不到这样一个集合阅读全文

posted @ 2021-01-06 22:43 jjppp 阅读(374) 评论(0) 推荐(0) 编辑

数学分析复习笔记实数完备性的六个定理

摘要：实数完备性的几个定理可以互相推导，这里给出了一个比较简单的完整推导链条对于没有写到的推导可以通过旁敲侧击推导出这里的条件再继续（迂回战术） 1. 有界必有确界如果

\exists u

$\exists u$ 使得

\forall x \in S

$\forall x\in S$ 都有

x \leq u

$x\le u$ ,那么

S

$S$ 有上确界上确界：记$U=\sup\left 阅读全文

posted @ 2021-01-01 14:26 jjppp 阅读(2019) 评论(0) 推荐(0) 编辑

C语言学习笔记

摘要：更新：因为开始写PA2了，因此决定重回这个坑，顺便记录一下解决一些C问题的方法，不一定和语法相关现在才知道 oi 用的是 C-with-STL... 感觉自己对这个看起来很单纯的语言仍然不够了解打算仔仔细细地写一写自己不太会的东西，包括与 C++ 不同的语法、宏(macro)的技巧、指针的技巧等阅读全文

posted @ 2020-12-27 00:08 jjppp 阅读(271) 评论(0) 推荐(0) 编辑

BF解释器和几个小程序以及关于多文件编程的理解

摘要：上SICP的时候樾哥提到了一个叫图灵完备的概念，啥是图灵完备呢？简单说就是能模拟图灵机的所有操作的语言就可以说是图灵完备的，它的计算能力和图灵机至少是等价的然后有这么一个很小的语言Brainfuck，它有一个类似射线的有格纸带，一个可以任意移动的指针规定，"<"、">"、","、"."、"+"、阅读全文

posted @ 2020-12-25 23:26 jjppp 阅读(200) 评论(0) 推荐(0) 编辑

jjppp的博客

那就这样吧!@#$%^&*_

随笔分类 - 笔记

公告

最新随笔

随笔分类 (89)

随笔档案 (84)

友情链接

评论排行榜

最新评论