欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐公开课
来自开放百科 - 灰狐
(版本间的差异)
小 (→简介) |
小 (→简介) |
||
第4行: | 第4行: | ||
灰狐公开课(灰狐培训)是[[灰狐教育]]推出的培训课程。 | 灰狐公开课(灰狐培训)是[[灰狐教育]]推出的培训课程。 | ||
− | + | 结合理论和应用,考虑兴趣和商业,做以下研究,也供大家参考 | |
*计算机科学:数据库和NAS存储服务 | *计算机科学:数据库和NAS存储服务 | ||
*数学:计算代数数论和形式化验证 | *数学:计算代数数论和形式化验证 |
2024年9月27日 (五) 08:27的最后版本
灰狐公开课(灰狐培训)
目录 |
[编辑] 简介
灰狐公开课(灰狐培训)是灰狐教育推出的培训课程。
结合理论和应用,考虑兴趣和商业,做以下研究,也供大家参考
- 计算机科学:数据库和NAS存储服务
- 数学:计算代数数论和形式化验证
- 物理学:量子理论和量子计算
[编辑] 企业内训
- 苏打公开课
- 琥珀公开课
[编辑] 数学物理学
- 基础物理学、理论物理学
- 微积分、线性代数
[编辑] 编程语言
作为最(非常)重要的商业语言,Java 和 C# 是构建大规模企业和互联网应用的基石。作为两大虚拟机平台上的头号编程语言,你值得拥有。
- 2020:Erlang:程序设计和编程语言实现
IDE/Editor:IntelliJ IDEA、PyCharm、CLion、Xcode、Visual Studio Code
[编辑] 开源开放
- Open Source and Freedom 在苏打出行做了一次技术分享。(2018.10.10)
- (第1期)2017.07.31:如何在开源项目中学到更多 开放博客存档
- 2017.11:构建自己的BaaS // 开发Swift App Demo
[编辑] 数据科学
在数据科学领域,我们选择Python、Clojure、F# ps: 因为JVM,因为代码即数据(code-as-data)、宏系统和函数式编程,Clojure具有成为数据科学主导语言的潜力。F#作为一门适合于金融和计算密集型的语言而闻名。
课程体系:
- 1、数据科学与(Python/Clojure/F#)
- 2、数据挖掘理论与算法(Python/Clojure/F#)
- 3、数据科学中的统计与概率(Python/Clojure/F#)
- 4、数据科学中的机器学习(Python/Clojure/F#)
课程安排:
- (第4期)2017.10:数据科学入门与实践
- 2017.10:Python数据分析与挖掘入门实践
- 2017.10:七周七数据科学,启发自《七周七编程语言》、《七周七数据库》、《七周七并发模型》,参考《七周七学习成为数据分析师》
- 2017.11:PostgreSQL入门与实践 // 基于PostgreSQL的数据存储/数据分析/OLAP变得越来越重要。
- 2017.11:Python机器学习入门与实践
- 2017.12:Clojure机器学习入门与实践
- 2017.12:Python深度学习入门与实践
[编辑] 企业应用
- (第2期)2017.09.06:odoo:开源 ERP/CRM 入门与实践 开放博客存档
- 2014:Apache OFBiz 电商实战培训
[编辑] 营销推广
- (第4期)2017.10:增长营销99招,持续更新,每年发布一个版本,如:2017版。
- 2017.11:Google AdSense入门与实践
[编辑] 图集
[编辑] 链接
分享您的观点