欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
灰狐大脑
来自开放百科 - 灰狐
（版本间的差异）
(以“灰狐大脑 Haskell brain ==简介== 这是一档自媒体节目，主理人：User:Allen ==领域== 涉及哲学/神学，...”为内容创建页面) |
小 (→课题) |
||
| 第12行： | 第12行： | ||
*[[费曼学习法]] | *[[费曼学习法]] | ||
*认知神经科学（Cognitive Neuroscience） —— 关于心智的心理学（The Biology of the Mind） | *认知神经科学（Cognitive Neuroscience） —— 关于心智的心理学（The Biology of the Mind） | ||
| + | *[[Compiler|编译器]]、[[Operating system|操作系统]]、[[database|数据库]][[Storage|存储]] | ||
==项目== | ==项目== | ||
2022年3月26日 (六) 07:23的版本
灰狐大脑
目录 |
简介
这是一档自媒体节目，主理人：User:Allen
领域
涉及哲学/神学，数学/物理学，人工智能/机器学习，认知科学/认知心理学/神经科学等领域。
课题
具体研究课题：
项目
图集
链接
分享您的观点
