逻辑的乐趣【表达力太差,必看的纪录片.mp4.高清/完整版
逻辑的乐趣【表达力太差,必看的纪录片.mp4.高清/完整版
最后修改 25-10-15 18:12:06
状态 已公开
暂无评分
0 好评
0 差评
39 点击
3 下载
0 评论
1 收藏
0 分享
暂无评分
文件解压教程

首先准备好解压工具, 电脑端安装 WINRAR 或者 7z, 手机端安装 Zarchiver 或者 ES文件管理器

(注意不要安装国内应用商店里的盗版, 不仅无法正常解压, 还会收费)

B站视频教程: 【电子扫盲课】【小白必看】如何解压压缩包

目前有2种类型的压缩包:

1. 单一压缩文件的(可以单独下载和解压)

- 如果后缀名正常: 直接打开文件 > 输入密码 >解压文件 > 解压成功, 有的情况会有双层压缩, 再继续解压即可

- 如果后缀名是 .mp4, 直接打开文件会播放猫和老鼠和葫芦娃之类的视频, 后缀名改成 .zip, 然后用解压工具打开.

- 如果无后缀名/或者后缀名是 .txt等各种奇怪的后缀名, 后缀改成 .zip, 然后用解压工具打开解压即可, (有的系统默认不能更改后缀名,这种情况, 要先百度下如何显示文件后缀名).

2. 多个压缩分卷文件的 (需要全部下载完毕后 才能正确解压)

- 如果后缀名正常: 只需要解压第一个分卷即可, 工具在解压过程中会自动调用其他分卷, 不需要每个分卷都解压一遍 (所以需要提前全部下载好), 不同压缩格式的第一个分卷命名是有区别的 (RAR格式的第一个分卷是叫 xxx.part1.rar , 7z格式的第一个压缩分卷是叫 xxx.001 , ZIP格式的第一个压缩分卷 就是默认的 XXX.zip ) .

- 如果是需要改后缀的情况 (比较少见): 需要把文件按顺序重新命名好才能正常解压, RAR的分卷命名格式是 xxx.part1.rar, xxx.part2.rar, xxx.part3.rar, 7z的命名格式是 xxx.001, xxx.002, xxx.003, ZIP的排序格式 xxx.zip, xxx.zip.001, xxx.zip.002

点击下载链接会自动复制访问码到剪切板

一部探索逻辑世界的科普纪录片与电影《逻辑的乐趣》,由Catherine Gale执导。
【故事背景】影片跟随计算机科学家Dave Cliff教授的脚步,引领观众踏上一场关于哲学、数学、科学与技术的思维盛宴。它继承了《统计的乐趣》及其续集《赢的尾巴:机会的科学》的幽默与智慧,通过动画和欢快的极客精神,讲述追求确定性和合理推理基础的故事。

【人物介绍】Dave Cliff,布里斯托大学计算机科学与工程学教授,并非抽象的理论家。他15年前结合逻辑与数学,编写了首个在股票交易上超越人类的计算机程序,并大方地将软件免费公开。影片中,他首次利用25名7岁儿童,创造出一台完全基于逻辑的“儿童计算机”。

【剧情亮点】影片从亚里士多德到《爱丽丝梦游仙境》,从科幻到超级计算机,展现了逻辑探索的迷人历程。同时,致敬了逻辑史上的英雄人物,如将逻辑从哲学推向数学的乔治·布尔,用360多页证明1+1=2的伯特兰·罗素,证明某些真理无法证明的库尔特·哥德尔,以及受逻辑挫折启发构想计算机的艾伦·图灵。最终,影片提出疑问:人类能否永远领先?今天的逻辑计算机是否比我们更聪明?这让我们反思自己的大脑和逻辑能力。

 

总共有 0 条评论
用户头像
逻辑的乐趣【表达力太差,必看的纪录片.mp4.高清/完整版
逻辑的乐趣【表达力太差,必看的纪录片.mp4.高清/完整版
最后修改 25-10-15 18:12:06
状态 已公开
暂无评分
0 好评
0 差评
39 点击
3 下载
0 评论
1 收藏
0 分享
暂无评分
文件解压教程

首先准备好解压工具, 电脑端安装 WINRAR 或者 7z, 手机端安装 Zarchiver 或者 ES文件管理器

(注意不要安装国内应用商店里的盗版, 不仅无法正常解压, 还会收费)

B站视频教程: 【电子扫盲课】【小白必看】如何解压压缩包

目前有2种类型的压缩包:

1. 单一压缩文件的(可以单独下载和解压)

- 如果后缀名正常: 直接打开文件 > 输入密码 >解压文件 > 解压成功, 有的情况会有双层压缩, 再继续解压即可

- 如果后缀名是 .mp4, 直接打开文件会播放猫和老鼠和葫芦娃之类的视频, 后缀名改成 .zip, 然后用解压工具打开.

- 如果无后缀名/或者后缀名是 .txt等各种奇怪的后缀名, 后缀改成 .zip, 然后用解压工具打开解压即可, (有的系统默认不能更改后缀名,这种情况, 要先百度下如何显示文件后缀名).

2. 多个压缩分卷文件的 (需要全部下载完毕后 才能正确解压)

- 如果后缀名正常: 只需要解压第一个分卷即可, 工具在解压过程中会自动调用其他分卷, 不需要每个分卷都解压一遍 (所以需要提前全部下载好), 不同压缩格式的第一个分卷命名是有区别的 (RAR格式的第一个分卷是叫 xxx.part1.rar , 7z格式的第一个压缩分卷是叫 xxx.001 , ZIP格式的第一个压缩分卷 就是默认的 XXX.zip ) .

- 如果是需要改后缀的情况 (比较少见): 需要把文件按顺序重新命名好才能正常解压, RAR的分卷命名格式是 xxx.part1.rar, xxx.part2.rar, xxx.part3.rar, 7z的命名格式是 xxx.001, xxx.002, xxx.003, ZIP的排序格式 xxx.zip, xxx.zip.001, xxx.zip.002

一部探索逻辑世界的科普纪录片与电影《逻辑的乐趣》,由Catherine Gale执导。
【故事背景】影片跟随计算机科学家Dave Cliff教授的脚步,引领观众踏上一场关于哲学、数学、科学与技术的思维盛宴。它继承了《统计的乐趣》及其续集《赢的尾巴:机会的科学》的幽默与智慧,通过动画和欢快的极客精神,讲述追求确定性和合理推理基础的故事。

【人物介绍】Dave Cliff,布里斯托大学计算机科学与工程学教授,并非抽象的理论家。他15年前结合逻辑与数学,编写了首个在股票交易上超越人类的计算机程序,并大方地将软件免费公开。影片中,他首次利用25名7岁儿童,创造出一台完全基于逻辑的“儿童计算机”。

【剧情亮点】影片从亚里士多德到《爱丽丝梦游仙境》,从科幻到超级计算机,展现了逻辑探索的迷人历程。同时,致敬了逻辑史上的英雄人物,如将逻辑从哲学推向数学的乔治·布尔,用360多页证明1+1=2的伯特兰·罗素,证明某些真理无法证明的库尔特·哥德尔,以及受逻辑挫折启发构想计算机的艾伦·图灵。最终,影片提出疑问:人类能否永远领先?今天的逻辑计算机是否比我们更聪明?这让我们反思自己的大脑和逻辑能力。

 

点击下载链接会自动复制访问码到剪切板
初音社