• 2024-06-06calculus
    \(y''+py'+qy=0~~~y=e^{rx}\)\(将~~y=e^{rx}~~代入~~y''+py'+qy=0~~~y=e^{rx}\)\(得~~(r^{2}+pr+q)e^{rx}=0\)\(即\)\(r^{2}+pr+q=0\)\(解出r的两根r_{1},r_{2}\)\(按下表即可求出微分方程的通解\)
  • 2024-04-1252 Things: Number 36: Index Calculus Algorithm
    52Things:Number36:IndexCalculusAlgorithm52件事:数字36:指数演算算法 Thisisthelatestinaseriesofblogpoststoaddressthelistof'52ThingsEveryPhDStudentShouldKnowToDoCryptography':asetofquestionscompiledtogivePhDcandidat
  • 2024-02-17Poj 3134 Power Calculus(IDA*)
    3134--PowerCalculus(poj.org)相当于是问1经过多少次能变成n,val[pos]<<(depth-now)为估计函数,如果最快都不能到n,就returnfalse#include<iostream>usingnamespacestd;constintN=1010;intn,pos,val[N];boolIDAstar(intnow,intdepth){if(now>depth)return
  • 2024-01-299-Simple Typed Lambda Calculus
    函数类型因为纯粹的lambda演算是turing完备的,因此只有运行时才能够完全确定类型,比如:if<complexevaluation>thentrueelse(λx.x)定义函数类型:λx.t:→;为了更加精确,加入参数T1T2,得到如下递归定义:定义:类型Bool上的简单类型集合是由下列语法产生的:T::=Boo
  • 2024-01-255-The Untyped Lambda Calculus
    引入在lambda演算中,所有事物都是函数lambda演算式中有三种项:变量x,形如x变量x在另外一个项t1中的抽象abstraction,形如λx.t1将项t1作用于t2,形如t1t2有如下的简单的递归定义来总结上述三种项的形式:t::=x(variable)λx.t(abstrac
  • 2024-01-20无涯教程-MATLAB - 微积分(Calculus)
    MATLAB提供了多种方法来解决微分和积分问题,求解任意程度的微分方程式以及计算极限,最重要的是,您可以轻松求解复杂函数的图,并通过求解原始函数及其导数来检查图上的最大值,最小值。本章将讨论微积分的问题,在本章中,我们将讨论预演算的概念,即计算函数的极限并验证极限的性质。计算极
  • 2023-06-07SP7579 YOKOF - Power Calculus
    来一发简单做法题目链接:SP7579YOKOF-PowerCalculus题目大意:如何用最少的步数凑出一个次数。思考一个问题:题干提到的相乘,实际上可以看做同底数幂相乘,底数不变,指数相加,我们只需要维护一个变量指数就可以了。那么难点就来了,怎么有效的利用中间产物?开个数组\(num\)储存,下标
  • 2023-04-17Calculus_logic_ended
    变量无穷小量定义:设函数\(f(x)\)在点\(x_0\)的某个邻域内有定义,如果对任意给定\(\forall\\varepsilon>0,\exists\\delta>0,\forall\x\in\mathringU(x_0,\delta),|f(x)|<\varepsilon\Rightarrowf(x)\)是当\(x\rightarrowx_0\)时的无穷小量,记作\(\lim\lim
  • 2023-04-17Discrete Calculus_logic_ended
    无穷数列定义无穷数列:按某一法则,对所有\(n\in{\mathbbN^*}\),对应着一个确定的实数\(a_n\),这些实数按下标\(n\)从小到大排列得到的一个序列成为无穷数列,简称数列项:数列中的一个数通项/一般项:\(x_n\)特殊数列:单调数列:单调递增:\(a_n\leqa_{n+1}\)单调递减:\(a_
  • 2023-04-04MATH1023 Multivariable Calculus
    TheUniversityofSydneySchoolofMathematicsandStatisticsLecturesWeek2–SeparableDifferentialEquations&NewtonianDynamicsMATH1023:MultivariableCalculusandModellingSemester1,20231.Existenceanduniquenessofsolutions2.Simple1stOrde
  • 2023-03-31为什么学习微积分
    为什么学习微积分Itookcalculusmysenioryearofhighschool,andIreallylikedthewayourteacherframedthisonthefirstdayofclass.Heaskedsomebodytoraisetheirhandandaskhimwhenwewouldusecalculusinoureverydaylife.Soonestuden