欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐教育
小 (→编程语言) |
小 (→STEM) |
||
| 第33行： | 第33行： | ||
灰狐 SETM 教育致力于提高年轻人和工程技术人员对 [[STEM]] 学科和职业的参与度和成就。 | 灰狐 SETM 教育致力于提高年轻人和工程技术人员对 [[STEM]] 学科和职业的参与度和成就。 | ||
| − | [[ | + | [[Lisp]] 是 STEM 教育的核心编程语言。 |
| − | + | ==形式化== | |
| + | 软硬件[[Formal verification|形式化验证]]教育培训和服务是核心咨询内容，[[OCaml]]（[[Coq]]） & [[Haskell]]（[[Agda]], [[Idris]]） 是核心语言和形式化能力。 | ||
[https://github.com/coq/coq/wiki/CoqInTheClassroom Coq In The Classroom] | [https://github.com/coq/coq/wiki/CoqInTheClassroom Coq In The Classroom] | ||
2022年8月10日 (三) 08:56的版本
灰狐教育
计算机编程从娃娃抓起，在学习中编程，在编程中学习。
目录 |
愿景
我们深信教育是最好的投资，大到国际社会，小到家庭个人。
灰狐教育倡导全民教育、终身学习。
让每个人都享有平等教育的权利和机会，帮助每个人有尊严的工作和生活。
将全球优秀的教育资源搬上网，让国内的孩子都能学习到先进的知识和理念。
ps: 拒绝愚昧洗脑，拥抱先进文明。
灰狐教育也是一个自然语言、编程语言和开源软件教育组织。
灰狐教育专注数学、物理学、编程语言和人类语言教育培训，我们相信语言的力量。
专注妇女、儿童的编程、数学、物理学、语言、英语教育培训。
路线图
- 将Squeak/Pharo用于编程学习、游戏动画、交互原型、创新平台的教学实验和集成开发环境，灰狐参与Squeak/Pharo的开发与推广。
- 将Racket用于编程语言设计，灰狐参与Racket的开发与推广。
- 选择Python开发，基于EdX的在线学习系统。
- 参考PHP开发，Mahara倡导终身教育也常被用于学校和高等教育，ePortfolio-based Learning 基于电子档案的学习。
- 参考Java开发，基于OpenOLAT和OLAT构建。
STEM
灰狐 SETM 教育致力于提高年轻人和工程技术人员对 STEM 学科和职业的参与度和成就。
Lisp 是 STEM 教育的核心编程语言。
形式化
软硬件形式化验证教育培训和服务是核心咨询内容，OCaml（Coq） & Haskell（Agda, Idris） 是核心语言和形式化能力。
Code.org
freeCodeCamp
freeCodeCamp像打魔兽一样学编程!
freeCodeCamp 已经被证明是获取编程工作的最有效路径，事实上，没人完成了所有课程，因为他们都在完成之前就找到了工作。
相关服务
培训内容
- C#/F#：简单、现代、通用，面向对象和函数式编程语言，可开发Desktop、App、Web、Server等各种形式的应用和服务，其设计的严谨和规范化适合各个层次的编程语言教学。
- MED(营销应用数据)营销推广、企业应用、数据科学培训，覆盖M3, E3, D3三个项目。
- 国际象棋
LibreOffice
LibreOffice 不仅仅是自由开源的办公套件，也是生产力软件。
Scratch
通过Scratch帮助孩子们学习编程，在学习中编程，在编程中学习。
孩子们可以利用它学习编程，与他人一起分享自己创作的互动式媒体作品如故事，游戏和动画。
ScratchEd 是一个Scratch教育工作者的在线社区。
Scratch Blocks is a fork of Google Blockly project
Pharo
Pharo & Smalltalk 非常适合编程教育，有强大的集成和编程环境。
Glamorous Toolkit is implemented in Pharo, the pure object-oriented language.
操作系统
- CosmosOS 一个包含操作系统（BSD 3-Clause）的平台，From drivers to applications, it's all .NET，可分发这个操作系统并用于操作系统教育和语言培训。
- Sugar Labs Learning software for children
- Sugar on a Stick(SOAS)是一个基于Fedora的操作系统。
Debian Edu / Skolelinux Stretch — a complete Linux solution for your school
编程语言
学习编程语言，要牢牢抓住语言的三个核心：语言规范、语言类型、语言运行时。
Functional Programming in Haskell
mal - Make a Lisp 这个项目很重要。
PWCT-Programming Without Coding Technology 这个项目蛮有意思，同时还开发了基于C语言PWCT开发的Ring编程语言
C#适合儿童编程，它标准、丰富、有趣，可以用来编写用户交互、桌面、游戏、App，你可想到的都可以尝试用C#编写。
LogoSharp 重回控制小海龟的美好童年，儿童编程从 Logo 开始。
我们也从Racket开启你的编程语言学习和研究之路。
Smalltalk/Squeak、Haskell 面向对象和函数式编程，两条腿走路。
儿童青少年编程从Scratch/JavaScript、PHP、Python开始。
PHP、Python、Ruby 是灰狐教育的三大Web语言，因为它们的普适性、易用、"简单“，适合孩子们从小学习。
OnlineJudge 一个基于 Python 和 Vue 的在线评测系统
自然语言
- 英语
- 日语
数学
数学是灰狐教育的核心领域，我们使用 Maxima 开源计算机代数系统（Computer Algebra System）和数值计算软件 GNU Octave 进行相关学习和教学。
另外，Scilab 也是非常棒的开源科学计算软件，Scilab 具有矩阵运算、数值运算、信号处理、程序设计等功能, 目前已被广泛应用于教育、科研和工业。
教育内容
灰狐教育关注以下领域：
自由软件
投身于自由软件不仅仅是对于知识，同时也包括授权：授权学习，授权修改，授权分享，以及授权使之能够被分享。争取信息时代的自由需要拒绝在自由软件核心原则上妥协，并且要有牺牲精神。很多人可能拒绝这些负担，他们只想获得更多的财富；而其他人却在努力增加人类知识的深度和广度。通过实现自由软件，我们能发现一种面向长期愿景的可持续性发展模式，不仅增加了知识，同时切实可行的的将这些知识自由地分享给所有人。这份崇高的事业以其无差别的关怀泽及我们每一个人；从现实到超现实，自由软件都被涉及。
在线教育
灰狐教育(Huihoo Edu)是一个开源的(Apache v2 and GNU LGPL v3) 在线学习和培训系统，基于 E3 learning 构建。
我们分发灰狐教育企业版、灰狐教育校园版，希望能更好的服务于企业和学校。
灰狐教育也将提供自由、开源软件的培训课程，帮助大家学习知识与能力提升。
开放大学
开放大学是我们的一个理想。
解决方案
我们为企业和学校提供在线教育和培训解决方案：E3 learning
- 企业版
- 校园版
儿童教育
- Oppia交互式教育 Oppia @ GitHub
- Sugar Labs Learning software for children Add-ons
- Huihoo and Children
- 学校通过使用Osmo来改变孩子们的合作能力，创造能力，判断性思维能力以及交流能力。
- 帮助偏远、落后的贫困山区儿童的公益教育。
- MIT App Inventor
儿童编程
DevOpsKids
学习Python、摆弄Linux、从小立志做个改变世界的程序员。
游戏化
国际象棋
计算设备
- OLPC
- Arduino、Raspberry Pi
- CHIP - The World's First Nine Dollar Computer
- Super Compute Project
- Mac mini、iPad/Android平板、笔记本电脑
图集
PWCT
链接
- 灰狐教育
- 代码仓库
- Virtual Worlds Best Practices in Education
- Anybody can learn | Code.org
- 美国留学申请+求职就业咨询|一亩三分地论坛
- 3 Types of Facebook Ads to Boost Your Online Course Sales (Even on a Small Budget)
- 菜鸟教程
