1、使用英语学编程
http://stimooc.blcu.edu.cn/course/104
高翻学堂上我自己上传了一些Python视频教程
2、Rachel's English
链接:
第一个视频:https://www.youtube.com/watch?v=oAlpoP9eF3k
第二个视频:https://www.youtube.com/watch?v=YSzbtk-ka5M
3、费曼学习法
https://wiki.mbalib.com/wiki/%E8%B4%B9%E6%9B%BC%E5%AD%A6%E4%B9%A0%E6%B3%95
为什么费曼技巧被称为终极学习法
https://zhuanlan.zhihu.com/p/51282869
4、DIKW模型
https://wiki.mbalib.com/wiki/DIKW%E6%A8%A1%E5%9E%8B
5、薛睿的逻辑备考指南
https://www.bilibili.com/video/av6176325/?p=1
例 一个公安人员审查一件盗窃案,已知下列事实:
(1)甲或乙盗窃了录像机;
(2)若甲盗窃了录像机,则作案时间不能发生在午夜前;
(3)若乙的证词正确,则午夜时屋里灯光未灭;
(4)若乙的证词不正确,则作案时间发生在午夜前;
(5)午夜时屋里灯光灭了。
根据以上事实,推断谁是盗窃犯。(在命题逻辑中构造推理证明。)
解:分析如下。首先将元素符号化:
P:甲偷了录像机;Q:乙偷了录像机;R:作案时间在午夜;S:乙的正词正确;T:午夜时灯光未灭。
前提:P∨Q, P→﹁R, S→T, ﹁S→R, ﹁T
推演:
(1) ﹁T 前提引入
(2) S→T 前提引入
(3) ﹁S (1)(2)拒取式
(4) ﹁S→R 前提引入
(5) R (3)(4)假言推理
(6) P→﹁R 前提引入
(7) ﹁P (5)(6)拒取式
(8) P∨Q 前提引入
(9) Q (7)(8)析取三段论
所以乙偷了录像机。
6、译者需要学习哪些能提升工作效率的软件工具?
http://translation.education/answer4cat/?/article/23
7、《搜智》课程
http://stimooc.blcu.edu.cn/course/28
搜搜搜,嗖嗖嗖——1小时感受搜索的智慧 – 韩林涛