计算机教育中缺失的一课 - MIT - L9 - 安全和密码学
https://missing.csail.mit.edu/https://missing-semester-cn.github.io/https://www.bilibili.com/video/BV14E411J7n2思否主页：https://segmentfault.com/u/wine99笔记2019 年本讲的内容为与 2020 年的普通，标题为 安全与隐私，更注重于计算机用户可以如何增强隐私保护和安全相关课程：计算机系统安全 (6.858)相关课程：密码学 (6.857以及.
笔记54 命令行快速入门 最后一个练习
标题笔记54 命令行快速入门 最后一个练习学习编程，就必须学习命令行，这是学习python的必备条件，还是简单记录学习步骤，给这些步骤编上一个序号。练习1 在power shell上按照以下步骤，一步一步完成。一、打开power shell的步骤1、点击window的开始按钮2、在搜索栏上打下power shell字符3、按动return键蓝色屏幕的power shell界面就出现了。也就是，你的终端给打开了。知道了你有一个执行代码的终端，命令行就开始起作用了。二、windows之下的最
# 标题开始学并翻译一本英文版的python导引手册The Python Tutorial译文开篇
标题开始学并翻译一本英文版的python导引手册The Python Tutorial译文开篇把那个中译版的“笨办法学python”，算是从头到尾走了一遍。一个东西开始学起来，一本书就弄懂能用，不是天才恐怕很难。所以那本书学到中途就在算计，这第一本学完了，接着该看哪一本得以继续呢？在csdn的博客中看到一篇长长的博文，好像是专谈学习的，颇给人启发。那个博客文的篇名给忘了，但它推荐的一本英文python读物却记得很是清楚，那就是The Python Tutorial。在Python官方网站上，这是可以自由下
稍有点模态味道的严格蕴涵系统S1 刘易斯逻辑之六
稍有点模态味道的严格蕴涵系统S1 刘易斯逻辑之六在正式地讨论C.I.刘易斯严格蕴涵的时候，再来回味一下蕴涵这个“字眼”在人类知识领域的重要性，也许有点意思。英文的”if…,then…”，中文译为“如果…,那么…”，古希腊时代就曾经是哲学家讨论的热门议题。历史悠久的中国文字，同样有和这个连接词对应的字眼。意义最相近的，恐怕是墨子的“小故，有之不必然。大故，有之必然”之说矣。墨经的两故，小故和大故，颇为类似于传统逻辑中，必要条件命题和充分条件命题。由此可知，我们关于蕴涵的语言追寻，不止西文，汉语言文
Python学习导引编译（来自网页docs.python.org/3/tutorial.jtml）
标题1、Python学习导引编译（来自网页docs.python.org/3/tutorial.jtml）Python很容易学，而且还是一个强有力的程序语言。它有高效高水准的数据结构，有简单而又行之有效的方法去进行瞄向对象的程序编制。Python优雅的语法学和动态的类型，和它可解释的特质，使之成为一个理想的语言。在当今大多数平台上，它都可以用来在很多领域作为描述工具，并迅速地通过应用而发展。Python编译器和扩展的标准图书馆免费可用于原代码或者二进制基础，这些原代码来自于python网址http：//
1、刺激你的胃口（Whetting your Appetite）
1、刺激你的胃口（Whetting your Appetite）如果你在计算机上做了许多事情，那么实际上，你发现，有一些任务是可以自动完成的。例如，你也许希望在许多文本文件上操作一个寻找和替换，或者用一种复杂的方式来给一大堆照片重新命名，并重新安排顺序。也许，你还愿意写一个小小的常规数据库，或者是说明一下GUI应用，或者是运行一个简单的游戏。如果你是一个职业的软件开发者，你可能必须用C/C++/Java语言来进行开发。但是你发现，那些通常的写/编/测试/重编/的循环过程实在是太慢。也许你正在为这样一个图
一致性、可能性和关系的一般性质 刘易斯逻辑之七
标题一致性、可能性和关系的一般性质 刘易斯逻辑之七S1所依仗的公理集合是B1-B7，现在轮到S2了，在S1的基础上多了个B8，它的公理集合就是B1-B8，那个B8就是所谓的一致性公理。C.I刘易斯又从可能性推及一致性。就此，这个S2就既是一个可能性演算，又是一个一致性演算。我们在S1中，基本上避开了模态范畴的讨论。但这个一致性同时也是可能性演算的S2，却直接就谈模态“可能”，算是和模态范畴接轨了。这好像在给你指令，得谈一点一致性或者可能性的哲学了。刘易斯讨论一致性或可能性，好像不谈来由，看来这想法是他自
3.对于python的一个非正式导言 编译之三
标题3.对于python的一个非正式导言 编译之三在以下实例中，输入input和输出output指令十分有名，出现提示符（>>>和…）prompt的时候，或者没有这样的提示符的时候，你分别要做的事情有所不同：当出现这个提示符的时候，你得重复这个实例，你就必须重新打印提示符后的所有东西。而如果终端中的行列没有提示符，则那只是来自编译器的输出。注意，一行之中自己在实例中给出的次要提示符，那意味着你必须打印一个空行，这被用来终止一个多行指令。这个手册中的许多实例，甚至还有进入到交互提示符中的
4.更多的控制流工具 编译之四
标题4更多的控制流工具 编译之五4、更多的控制流工具除了刚才引介的while陈述，python通常使用其它语言一些熟知的流控制陈述，伴有一些变化。4.1.if 语句也许，最为著名的语句类型就是这个if语句了。例如：学习python，这里就开始折磨人了，虽然如导引所言，python容易学，但许多细节得有时间消化牢记，不然，这编辑器的知识掌握就几乎不可能。看起来简单的一个代码输入，许多细节一点也不能马虎，否则你就动弹不得。简单举几个细节：首行末尾不用双括号出现无效字符，缩略行对齐有问题，也是无效字
让模态浮出水面的S2 刘易斯逻辑之八
标题 让模态浮出水面的S2 刘易斯逻辑之八这个S2，大概可以让我们对模态逻辑有点感觉了。刘易斯的S1，虽然把“可能”作为它的初始符号，但直到接近S1尾声的时候才付诸讨论。当他把那个一致性公设放进他的S1的时候，S1就不能称作S1，而应该称作他命名的S2了。因为S1包括不了这个一致性公理所推出的所有定理，它有它自己的领地。我们现在所面对的，当然还是严格蕴涵系统。但这个时候的刘易斯系统，除了有连接词来反映的真值函项，还有用模态词来反映的模态函项。从S2开始，蕴涵概念让位于模态概念，我们关注的重心，将是由一
标题4更多的控制流工具（2）py导引 编译之五
标题标题4更多的控制流工具（2） 编译之五标题4.7. 更多定义函数It is also possible to define functions with a variable number of arguments. There are three forms, which can be combined.标题4.7.1. 缺省参数值default Argument ValuesThe most useful form is to specify a default value for one
刘易斯的S3 严格蕴涵和公理 刘易斯逻辑之九
刘易斯的S3 严格蕴涵和公理 刘易斯逻辑之九目录刘易斯的S3 严格蕴涵和公理 刘易斯逻辑之九一、S1-S3的两个图表1、符号说明2、两个公理比较图表。二、不同于实质蕴涵的严格蕴涵和基础性六公理1、引入新的蕴涵观念：严格蕴涵2、基础性公理A1(B1)-A6(B6)3、有创新意蕴的特征公理三、S3给了我们什么观念？1、S3和S2，S1之间的关系2、非正规模态逻辑和正规模态逻辑现在轮到S3了。几年前写过二本有关“必然”与“模态”的书，那是为课题而劳作。...
庚子中秋之际，走进刘易斯的S4 刘易斯逻辑之十
标题庚子中秋之际，走进刘易斯的S4 刘易斯逻辑之十轻松了几天，因旅游和俗务暂且中断了对于C.I.刘易斯的关注。眼下临近中秋佳节之际，我该回到他的严格蕴涵理论的路径上了。心中存有一个小小的期盼，争取在这个特殊的庚子中秋降临之前，当一轮满月挂在天空，银色的月光弥漫苍穹，有可能灌窗而入，就在这个时刻，我已经从C.I.刘易斯的S3，走进了他的S4。从S3迈向S4，是模态发展史上的一个节口。刘易斯的S1，模态还隐藏在严格蕴涵的初始观念之后。这个S1系统，他认为，虽然在假设上更为经济，但只能算是一个普通演算系统。
第五章数据结构 python导引编译之六
5 数据库这一章描述了某些你已经学过的内容，但会描述得更为详细，也增加了一些新的内容。5.1.有关列表的更多内容这个列表数据类型有更多的方法，这里是有关列表对象的所有方法列表增加项目append(x)增加一个项目给给列表的末端。这个方法等价于a[len(a)]=[x]。列表扩充（迭代）list.extend(iterable)通过给列表添加来自可迭代的所有项目来扩充列表。该方法等价于a[len(a)] = 可迭代。列表插入list.insert(i, x)在给定位置插入一个项目。第一个参数
欧几里德关系的S5---刘易斯逻辑之十一
欧几里德关系的S5—刘易斯逻辑之十一刘易斯严格蕴涵系统的结构是由S1-S5五个系统构成:，前述数篇已经讨论过S1-S4，这一篇轮到刘易斯结构中的最后一个构件：S5。依据C.E.Hughes的说法，模态逻辑系统的命名传统来自C.I.刘易斯，他的S1-S5成为给模态系统命名的一个样板。刘易斯这五个系统，不仅是此后模态命名的标准，这五个系统的出现，还引发逻辑学家对于模态的持续关注。从模态证明延展到模态语义，对模态语义的研究，最初产生了代数语义学。但很快，模态语义学的研究，很快就从代数语义学，走向关系语义学。
第六章模块 python导引编译之七
第六章 模块6.模块 Modules如果你从python解释器退出来，又再次进入到python，你在python中定义好的东西就全丢失了。因此，如果你想写点更长些的程序，那就最好使用文本编辑器去做准备，然后再对解释器输入你准备好的文件。这就是所谓的创建一个脚本（script），而为人们熟知。当你的程序相当的长，你也许希望把它分为若干个文件，以便于保存和维护。你也许还希望，使用你已经在另外一些程序中写好的一些手边的函数，而无需复制其定义放进程序之中。为了支持这个想法，python有办法把定义放进一个文件
C.I.刘易斯的学术之路--- 刘易斯逻辑之十二尾篇
标题 C.I.刘易斯的学术之路— 刘易斯逻辑之十二尾篇主要依据刘易斯的《符号逻辑》（1932）和《符号逻辑概览》（1918）两本书，粗略地感受了刘易斯S1-S5的五个严格蕴涵系统。正是这五个系统，让我们从现代逻辑的视野看到了一门新逻辑：模态逻辑的萌生，C.I.刘易斯的这个贡献的确令人钦敬。但我大概只能把刘易斯建立的这个逻辑陈述到此了，毕竟，虽然时间无限，可记录、陈述和感触的文字总是有限。翻看Murry.G.Murphey撰写的2005版刘易斯传记《最后一个伟大的实用主义者》，他的经历颇有让人感叹之处。从
第七章 输入与输出 ——python导引编译之八
第七章 输入与输出 ——python导引之八标题7.输入与输出 Input and Output有一些表达一个程序的输出方式；数据可以打印在一个人皆可读的形式之中，或者，为未来使用写到一个文件上。这一章，将讨论这样一些可能性。7.1. 对输出格式化有特殊爱好的人Fancier Output Formatting到目前为止，我们面对两种书写价值的方式：表达式陈述和打印函数（第三种方式被用作对象的书写函数方法（write())；标准的输出文件可以参见函数sys.stdout。有关这个函数的更多信息，请参
再追哥德尔开篇---哥德尔逻辑与哲学之一
再追哥德尔开篇—哥德尔逻辑与哲学之一几年前花了点功夫思考哥德尔，主要看内格尔的那本《哥德尔证明》。竟然还写了十多篇博客，其实理解得很是肤浅。所以尾篇的尾语，有这么一段话：《哥德尔证明》这本书读完了，我的读书札记也就在这里告一段落。数学和逻辑都是非常折磨人的科学，你读逻辑的书，别指望逻辑会给你一条笔直畅达的大道。看了这《哥德尔证明》的书，真正的“哥德尔证明”还在前面等着你。不过，再做札记恐怕更难做，但“哥德尔证明”本身却是值得再花功夫的。（新浪博客之155：细读《哥德尔证明》（10）-巧妙的哥德尔配数）
今日推荐
周排行