MySQL中查看数据表的表结构和列注释
问题提出 我们在MySQL中创建数据表时，一般会将键名设计成纯英文，然后在注释栏当中写一些提示性文字来说明它的具体内涵。但随着键名的逐渐增加或时间的缓慢流逝，我们可能忘记了或是很难找到想要的那个键名，给我们使用数据库添加了一些小障碍。 解决方案-查看表结构 想要查看表结构或者说表中所有键名时，可以使用如下SQL语句（假设我们要看的是economy数据库中city表）： SHOW COLUMNS F…
《陶哲轩实分析》第2章的习题解答
2.2.1 证明命题2.2.5.（提示：固定其中两个变元而对第三个变元进行归纳。） 答：首先我们把命题2.2.2摘抄如下： 命题2.2.5（加法是结合的） 对于任何自然数a,b,c，(a+b)+c=a+(b+c)。 我们首先来证明两个自然数的和依然是自然数，即任取两个自然数n和m，我们可以证明n+m为自然数。假如我们任取了一个自然数m，对于n使用数学归纳法。首先是起始条件为n=0，此时n+m=0+…
《陶哲轩实分析》附录A的习题解答
习题 A.1 A.1.1 命题“要么X真，要么Y真，但不得二者同真”的否定是什么？ 答：陶哲轩指出：数理逻辑的一条基本公理是，每个良好构成的命题都或是真的，或是假的，而不可两者都是。那么命题X和命题Y都只存在为真或为假两种状态，我们可以将它们的组合罗列出来： X为真 X为假 Y为真 X为真且Y为真 X为假且Y为真 Y为假 X为真且Y为假 X为假且Y为假 我们可以很明显地看出，题目当中的命题只在绿色…
vim中python-mode报错无模块pylama
问题提出 我在使用vim编辑python脚本时所用的关键插件是python-mode，在新近安装好的系统当中首次启动它时，报错提示没有pylama这个模块。但当我使用pip安装好这个插件以后，它虽然不再报错说找不到pylama这个模块了，却提示说找不到pylama.lint.extensions这个模块。 问题解决 参考大佬们的经验贴当中的说法，python-mode这个插件是使用它自己的子模块来…