無處不在

        一般的任务管理软件，都是基于日期/时钟的任务安排－－也就是说在特定日期，特定时刻该干某事。但实际情况往往是计划赶不上变化，该做某事时，常被其它客观因素扰乱。本插件就是为了解决这个问题而开发的,并且将常规任务和Anki任务进行统筹安排。实际上，本插件是“期卡牌语音提醒”功能的扩展，只不过增加了任务管理及其提醒的功能。

阅读全文…

      新加了阅读模式的功能。Anki原本是一款记忆软件，有时我不想按进度进行学习，只想按次序浏览，但又不想破坏正常的记忆进度信息，于是我为Anki增加了阅读模式的功能。这个功能的增加，实际上将Anki打造成一款知识管理软件（雏形）。

阅读全文…

       新加了到期卡牌TTS语音提醒功能。仅供我自己使用的，所以只考虑Windows平台的情况(在Win7中测试通过)及我的个人习惯。(已经用“７）任务管理插件”替代了这个插件)

阅读全文…

       Anki原本是不支持视频文件的，或者说支持的不是很友好－－仅仅是打开一个单独的窗口播放。感觉很不好，,于是我开发了一个基于mplayer的内嵌视频插件。同样，这个插件是供给我自己使用的，所以只考虑Windows平台的情况(在Win7中测试通过)。

阅读全文…

      承前（我的Anki2插件之TTS文本发音），新加了在线词典插件，这个插件依然是供给我自己使用的。没有正式发布的计划。目前仅实现了QQ词典和爱词霸词典两个在线词典。

阅读全文…

        这个插件本意是提供给我自己使用的，故仅考虑了我的个人习惯。 目前仅实现了TTS文本发音的功能，并且仅考虑了两类TTS引擎：“谷歌TTS”和本地TTS（SAPI 5）。

阅读全文…

       这个方法就是使用Python的扩展模块win32com, 它可以很方便地调Windows下的COM组件，自然也能调用SAPI 5。 废话不多说，直接上例子

阅读全文…

      一般提起记忆软件，大多让人想起众多的背单词软件，但我需要的是一款可以记任何类型知识的辅助记忆软件。到目前为止，Anki是唯一一款满足我这个要求的软件。

阅读全文…

上一篇：布尔巴基数学基础笔记(第1卷)-集合论-第2章.集合论-5.集族乘积   
==================

6.等价关系

1.等价关系的定义

      考虑一个关系式，x和y是不同的字母，如果

，那么称R是对称的（关于x和y）。根据替换规则立刻有

因此，R是关于x和y对称的，意味着和是等价的。

阅读全文…

上一篇：布尔巴基数学基础笔记(第1卷)-集合论-第2章.集合论-4.集族的并与交   
==================

5.集族乘积

1.幂集公理

A3(幂集公理)：。

注记：a）也就是：；

         b）这就是ZFC系统中的“幂集公理”。

阅读全文…