Coder Social home page Coder Social logo

linear-algebra-left-undone's People

Contributors

45gfg9 avatar fairicle avatar frightenedfoxcn avatar gooduckz avatar horizonwind2004 avatar mini-full avatar shadowash0215 avatar tonycrane avatar williamdepig avatar yhwu-is avatar zhoutimemachine avatar

Stargazers

avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar

Watchers

avatar avatar avatar avatar avatar

Forkers

45gfg9 shadowash0215 gooduckz frightenedfoxcn guohuiyuan horizonwind2004 mini-full zhoutimemachine yimgm williamdepig fairicle npcray v1ceversaa eddy668 cyhunter yinjc yaojh01 zz-panacea wutao18 jinfengfeng gscholer latexstudio hengle wpr001 cccn jdmunkjoey zhangzhuobys caobinbc ahuizhao liqihao2000 math-learnings huapengli-neepu fluman4u fpeng1985 iuvenissapiens clovers2333 jiangdedong davidwang1618 csfufu wujing1129 co-knight sillysyo shenghuo-it ardourr hwiechern coinmamo cumthxy murmuroftheheart7 smd1121 fuadam1982 cai4633

linear-algebra-left-undone's Issues

关于下载的问题

github
我在下载讲义，进行到这一步的时候出现这种问题，请问如何解决，拜托大佬，我是个高中生，虚心请教！！

关于“构造性证明”的讨论

预备**章节中用这个命题作为非构造性证明的例子：
$$
证明：存在无理数 $x, y$ 使得 $x^y$ 为有理数.
假定 $\sqrt{2}^{\sqrt{2}}$ 为有理数，则原命题得证；假定其为无理数，则 $\left(\sqrt{2}^{\sqrt{2}}\right)^{\sqrt{2}}$ 为有理数，原命题仍得证.
$$
我感觉这个不能算是严格的非构造性证明了，因为还是构造出了一个具体的数，只是没有对这个数是否是有理数做出定论。严格意义上非构造性证明应该是不依赖于具体的什么例子的。

188页图示可能引发误解

容易把向量和坐标混淆起来，向量本身不会随着坐标变换而改变，但是坐标会；它们两个对于任意映射相同是在F^m,F^n的自然基下讨论的。
在之前丹青辅学的时候遇到过有同学有这个疑问。

107页例5.8小bug

v0.4版107页例5.8中的“连续函数”应改为“光滑函数”，毕竟该例中的线性空间V要求对求导运算封闭

13讲 行列式 小语病

Linear-Algebra-Left-Undone/讲义/专题/13 行列式.tex

Line 30 in 7fae188

在公理化定义中，我们将行列式定义为一个满足特定的运算性质的从列向量组合到数的函数. 事实上，公理化定义从是逆序数定义可以推导出的行列式的运算性质，教材采用这种定义避开了繁琐的说明.

应从公理化定义从是逆序数定义可以推导出的改为公理化定义是可以从逆序数定义推导出的。

参考文献一处链接不太对劲

是蓄意为之吗🥺

Linear-Algebra-Left-Undone/讲义/其它/序.tex

Line 42 in 2428614

最后如果读者学完本讲义后对代数学有浓厚的兴趣，非常推荐读者学习后续的抽象代数课程。这里推荐与我同级的图灵班同学编写的\href{https://frightenedfoxcn。github。io/notes/series/alg-for-cs/}{《写给计算机系学生的代数》}作进一步的了解，我们许多高级专题都对这一讲义有引用。

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.