- 2024-10-23SciTech-AV-Audio-Music- Learn Music Theory: 乐理学习 pitch +tempo + form + beat + timbre + percussive +
LearnMusicTheoryLearningmusiccanbegoodfun,butitcanalsoquicklygetfrustratingifyoudon'tunderstandhowsomethingworksTosimplifyitandmakesenseofallthejargon,we'vegotabiglistofallourmusictheorylessonstoguide
- 2024-10-23SciTech-AV-Audio-Music-Theory: 乐理及声乐感知 pitch +tempo + form + beat + timbre + percussive + rhythmic +
The10BasicElementsOfMusichttps://hellomusictheory.com/learn/elements-of-music/WrittenbyDanFarrant,Lastupdated19thFebruary2024Ifyouasksomeonetoexplainwhatmusicis,it'sactuallyquitehardtodescribe.Therearesomanythingst
- 2024-09-20POLIR-Society-Sociology-Individual-Social Identity Theory: 社会身份理论
POLIR-Society-Sociology:社会学Individual:SocialIdentityTheory:社会身份理论InSociology,WehavethisSocialIdentifyTheory,Whichisabouthowwedefineourselvesasindividualperson,ShowcasingWhowewanttobeandHowotherpeopleseeusasaperso
- 2024-09-14Group Theory I
映射的理解我确信高中没学过(逃定义考虑集合\(A,B\),一个从\(A\)到\(B\)的映射被记作\(\varphi:A\mapstoB\),满足:\[\foralla\inA,\varphi(a)\inB\]其中\(\foralla\inA,\varphi(a)\)是唯一的。\(a\)叫\(\varphi(a)\)的原像(\(\text{preimage}\)),\(\varphi(a)
- 2024-09-14Group Theory II
BasicMathematicalPhilosophy好像没有什么用,当碎碎念吧……为什么我们要研究代数结构?最早的原因是,这可以把我们知道的东西迁移到不知道的问题上。比如,我们知道幺元唯一之后就不会疑问\(n\)阶单位矩阵是不是唯一的。但一个更可能的情况是研究结构不会翻车,研究别的定义更复
- 2024-09-06LEAN 类型理论之注解(Annotations of LEAN Type Theory)—— 归纳类型(Inductive Type)的使用规则(Elimination Rule)
使用规则(EliminationRule),也叫解构规则(DestructionRule),与构建规则(IntroductionRule),也叫建构规则(ConstructionRule),相对应。 即,构建规则(IntroductionRule),定义了该类型的正规元素是如何构建出来的;而,使用规则(EliminationRule),定义了该类型的正
- 2024-08-30day58-graph theory-part08-8.29
tasksfortoday:1.拓扑排序117.软件构建2.dijkstra算法47.参加科学大会---------------------------------------------------------------------------------1.拓扑排序117.软件构建Inthispractice,itinvolvesmainlytheBFSmethod,whichiterativelysearc
- 2024-08-28day57-graph theory-part07-8.28
tasksfortoday:1.prim算法53.寻宝2.kruskal算法53.寻宝----------------------------------------------------------------------------1. prim算法53.寻宝Inthispractice,weseehowprimalgorithmisused.Theessenceofthispractice is:therearen
- 2024-08-23Twenty Lectures on Algorithmic Game Theory 算法博弈论二十讲 Lecture 5 Revenue-Maximizing Auctions (上)
TwentyLecturesonAlgorithmicGameTheory算法博弈论二十讲Lecture5Revenue-MaximizingAuctions(上)Lecture5Revenue-MaximizingAuctions第2至第4讲聚焦于设计能够最大化社会福利的机制,无论是精确还是近似。这类机制的收益产生仅仅是副作用,是激励代理人如实
- 2024-08-19何谓相等 (Equality),在类型理论(Type Theory)语境下
两个元素a,b相等,即a=b,就是a和b是被完全一样地构建出来的。在《类型(Type)是可构建集合(constructiveset)》 一文中,说到,类型中的每个元素都是可构建的,因此,如果在一个类型中的两个元素a,b,是通过一样的方式构建出来,包括其构建时的输入,构建函数,那么,就说a等于b,a=b。
- 2024-08-17LNG302 Interpersonal Communication in the Workplace
LNG302 InterpersonalCommunication intheWorkplaceSemester2,2023-2024WrittenAnalysisofCommunicationWith referencetothereadings provided,aswellas lecturesandworkshops in Weeks 1throughtoWeek 6 ofthe module, analysethe piece
- 2024-08-11论文笔记:GeoShapley: A Game Theory Approach toMeasuring Spatial Effects in Machine LearningModels
(GeoShapley:机器学习模型中测量空间效应的博弈论方法)话题点:geoshapley、XAI、空间效应、非线性一、引言机器学习和人工智能(AI)越来越多地用于模拟地理空间现象,在各个领域都有很好的表现。可解释人工智能(XAI)领域的最新进展为解释黑箱机器学习提供了一种解决方案。排列特征
- 2024-07-23统计学教材
1.AdvancedCalculuswithApplicationsinStatistics2.AHistoryofProbabilityandStatisticsandTheirApplicationsbefore17503.MarkovDecisionProcesses:DiscreteStochasticDynamicProgramming4.ProbabilityandStatisticalInference5.ContinuousUnivar
- 2024-07-20SciTech-Theory-Phenomeon(Process and its Outcomes)->Experience(Sensation+Cognition)->Concept(N
SciTech-Theory:Objective:Phenomeon:aobjectiveProcessanditsOutcomesSubjective:->Experience:Sensation+Cognition->Concept(Natural+Commonpartofexperiences)->Principle(research+invest)->Interpretations->Definition->Theo
- 2024-06-21算法合集
算法合集这里是我的算法合集:博弈论Gametheory图论Graphtheory数论Numbertheory三角函数Trigonometricfunction字符串Strings计算几何Computationgeometry数据结构Structs动态规划DynamicprogrammingLIS问题LongestIncreasingSubsequenceproble
- 2024-06-21算法合集
算法合集这里是我的算法合集:博弈论Gametheory图论Graphtheory数论Numbertheory三角函数Trigonometricfunction字符串Strings计算几何Computationgeometry数据结构Structs动态规划DynamicprogrammingLIS问题LongestIncreasingSubsequenceproble
- 2024-05-22New Series: Ring Theory
NewSeries:RingTheory摘抄一下定理,性质,笔记。Lec8.PropertiesofIdeals(Suppose\(1\not=0\))\(A\subseteqR\).Def:idealgeneratedby\(A\):Smallestidealof\(R\)containing\(A\)denotedby\((A)\).Def:\(RA=\{\sumr_ia_i\}\),similar
- 2024-05-21Number Theory(3)
7数论函数基础数论函数是数论中相当重要的一环,我们先来将一些基本的函数。7.1相关定义数论函数:定义域为正整数的函数称为数论函数。因其在所有正整数处均有定义,故可视作数列。OI中常见的数论函数的陪域(即可能的取值范围)为整数。加性函数:若对于任意\(a,b\in\mathbb
- 2024-05-21Number Theory(4)
11莫比乌斯函数尝试按照《具体数学》的顺序引入莫比乌斯反演。11.1引入莫比乌斯函数\(\mu(m)\)是根据19世纪的数学家奥古斯特·莫比乌斯命名的,他还发现了著名的莫比乌斯带,\(\mu(m)\)对所有整数\(m\ge1\)由等式\[\sum_{d\midm}\mu(d)=[m=1]\]来定义。这个式
- 2024-05-21Number Theory(5)
12奇妙筛法已开工。12.1杜教筛12.2Min-25筛Min_25筛可以在\(\mathcalO\left(\frac{n^{\frac34}}{\logn}\right)\)的时间复杂度内解决一类积性函数前缀和问题。说形象点就是\(1s\)能跑\(10^{10}\),相当优秀。要求:\(f(p)\)是关于\(p\)的低阶多项式,
- 2024-05-21Number Theory(1)
2024040前言离散数学是本书的重点,而整数又是离散数学的中心议题。数论是讨论整数性质的重要数学分支,因此我们要来探索它。 ——《具体数学》第四章标有*的为拓展内容,或者说比较难的题目,但它们都非常有趣。部分题目的代
- 2024-05-04Graph Theory books and authors
图论大师:JohnAdrianBondy写了两本图论巨著:GraphTheorywithApplicationsJohnAdrianBondyNorthHollandGraphTheoryAdrianBondy,U.S.R.MurtySpringer https://www.iro.umontreal.ca/~hahn/IFT3545/https://www.iro.umontreal.ca/~hahn/法语 http://www.ma
- 2024-04-24CMU 15-751 CS Theory Toolkit Lecture 2 - Basic Asymptotics
CMU15-751课程第二课笔记。CSTheoryToolkitatCMU-YouTube照抄参考了LectureNote。渐进标记(AsymptoticNotation)我们知道\[\sum_{i=1}^ni=\frac{n(n+1)}2=\frac12n^2+\frac12n\]在\(n\)很大的时候,平方项这个函数值的影响会更显著。我们可以把这一个特
- 2024-03-29Ask HN: Recommended resources to learn the Linux kernel and OS theory?
https://news.ycombinator.com/item?id=20809666 SorecentlyIdidacoupleofminorpatchesontheFreeBSDandNetBSDkernelsandplayedwithsomelinuxkernel.Itwasthefirsttimeinaafewyears,I'vebeenexcitedaboutprogramming.Unfortunat
- 2024-03-10SciTech-Mathmatics-Real Analysis-Cantor Set Theory + Bolzono-Weierstrass Theorem
CantorSet,Priciple:1-1bi-directionalmappingtodeterminewhethertwosets(infiniteorfinite)AandBhavethesamesize.false:[0,1]~(0,+∞):闭区间[0,1]上全部的点作成的集合是不对等于\(Z^{+}\)正整数集上全部的点作成的集合。true:(0,1)~(