德摩根律
“交之补等于补之并，补之交等于并之补”
[latex]
\overline{A\cap B}= \overline A \cup \overline B \\
\overline A \cap \overline B= \overline{A\cup B}
[/latex]
（点击图片，打开来源）
在经典命题逻辑的外延中，此二元性依然有效（即对于任意的逻辑运算符，我们都能找他它的对偶），由于存在于调节否定关系的恒等式中，人们总会引入作为一个算符的德·摩根对偶的另一个算符。这导致了基于传统逻辑的逻辑学的一个重要性质，
即否定范式的存在性：任何公式等价于另外一个公式，其中否定仅出现在作用于公式中非逻辑的原子式。
否定常型的存在推进了许多应用，例如在数字电路设计中该性质用于操纵逻辑门，以及在形式逻辑中该性质是寻找一个公式的合取范式和析取范式的必要条件；
电脑程序员们则用它们将一个类似于“如果...那么...否则...”这样的复杂语句转变为其对等形式（例如：if(...){...} else{...}）；它们也同样经常用于初等概率论中的计算。
极限
[latex]\lim_{x\rightarrow \infty}({1+\frac{1}{x}})^{x}=2.7182818...[/latex]
“高科技”奥运会
视频中提及了 奥运会跑道的变化-从草地编程塑胶跑道；
运动员的跑鞋（钉鞋）；撑杆跳的杆子材质变化；美国游泳健将-菲尔普斯的鲨鱼泳衣。
先进数据处理技术在运动员训练中的效能最大化，”科技奥运会“中，科技的力量发挥的作用加大。
看看历届奥运会上的高科技
-----以下内容为节选自此链接中，仅摘录以学习，无他用
红牛X计划-Red Bull Project X
美国跨栏选手洛洛·琼斯（Lolo Jones）参加了“红牛X计划”（Red Bull Project X），她曾在一段视频中说过：“我不是一个人在战斗”（It takes a team）。该视频展示了琼斯背后的整个工作团队：一名教练、一名总监、一名经理、一名运动科学家、一名执教顾问和一名生理学顾问。如此丰富强大的工作团队自然不是在白忙活，他们使用了最尖端的科技。
红牛X计划中使用的是一套3D数码分析系统，这套系统能够做到许多人类无法做到的事。X计划分为3大块——Vicon 3D追踪系统、光学测量系统Optojump Next和数据采集工具Phantom Flex Camera。3大科技相辅相成，既能够给运动员的表现一个宏观的评价，又能够将训练比赛的每一分钟拆解为无数微小的片断以供分析。
琼斯的团队在她的身上做了39个反射标记，有了这些标记，40架每秒能够拍摄2000帧图像的Vicon T40S动作捕捉相机将会追踪她的一切动作。光学测量系统Optojump Next会把琼斯的每一次跳跃分解为接触时间（contact time），腾空时间（flight time），腾空高度（height），跨栏节奏（rhythm），比能量（specific energy），比功率（specific power），总能量（total energy）和总功率（total power）诸多部分。最后，每秒能够拍摄10750帧图像的顶级摄像机Phantom Flex Camera将用图像记录下琼斯的每分每秒。
“如果科技能够帮助一名运动员表现得更好，那么这套系统就能够让每个人都从中获益。”琼斯的平均百米跨栏成绩为12.5秒，她认为这里面有很大的一部分要归功于身后的团队和科技的帮助。
---关于奥运会及科技的一篇很好的”文章“问答
很是全面，感觉上篇b站视频中的内容可能就是参考这个的，很详细，我将之全文转载，附录于第二页。
