灰狐教育

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(编程语言)
(LibreOffice)
 
(未显示1个用户的10个中间版本)
第33行: 第33行:
 
灰狐 SETM 教育致力于提高年轻人和工程技术人员对 [[STEM]] 学科和职业的参与度和成就。
 
灰狐 SETM 教育致力于提高年轻人和工程技术人员对 [[STEM]] 学科和职业的参与度和成就。
  
[[Haskell]] 是 STEM 教育的核心编程语言。
+
[[Lisp]] 是 STEM 教育的核心编程语言。
  
软硬件形式化验证教育培训和服务是核心咨询内容,[[OCaml]]([[Coq]]) & [[Haskell]]([[Agda]], [[Idris]]) 是核心语言和形式化能力。
+
==自由软件==
 +
[https://www.gnu.org/education/education.html 自由软件与教育]
 +
 
 +
[https://www.gnu.org/education/bigtech-threats-to-education-and-society.htm 科技巨头威胁整个社会和教育]
 +
 
 +
[http://book.huihoo.com/free-software-free-society 自由软件,自由社会(第三版)]
 +
 
 +
投身于自由软件不仅仅是对于知识,同时也包括授权:授权学习,授权修改,授权分享,以及授权使之能够被分享。争取信息时代的自由需要拒绝在自由软件核心原则上妥协,并且要有牺牲精神。很多人可能拒绝这些负担,他们只想获得更多的财富;而其他人却在努力增加人类知识的深度和广度。通过实现自由软件,我们能发现一种面向长期愿景的可持续性发展模式,不仅增加了知识,同时切实可行的的将这些知识自由地分享给所有人。这份崇高的事业以其无差别的关怀泽及我们每一个人;从现实到超现实,自由软件都被涉及。
 +
 
 +
[https://directory.fsf.org/wiki/Category/Education 教育类自由软件]
 +
 
 +
==形式化==
 +
软硬件[[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]
第62行: 第74行:
 
==LibreOffice==
 
==LibreOffice==
 
[[LibreOffice]] 不仅仅是自由开源的办公套件,也是生产力软件。
 
[[LibreOffice]] 不仅仅是自由开源的办公套件,也是生产力软件。
 +
 +
==[[KDE]]==
 +
[https://edu.kde.org/ KDE Edu]
  
 
==Scratch==
 
==Scratch==
第72行: 第87行:
 
[https://github.com/LLK/scratch-blocks Scratch Blocks] is a fork of [https://github.com/google/blockly Google Blockly project]
 
[https://github.com/LLK/scratch-blocks Scratch Blocks] is a fork of [https://github.com/google/blockly Google Blockly project]
  
==Pharo==
+
==Smalltalk==
[[Pharo]] & [[Smalltalk]] 非常适合编程教育,有强大的集成和编程环境。
+
[[Smalltalk]] is the consummate teaching language
  
[https://gtoolkit.com/ Glamorous Toolkit] is implemented in Pharo, the pure object-oriented language.
+
[[文件:Squeak.png]] [[文件:Pharo-logo.png]]
 +
 
 +
[[Squeak]], [[Pharo]] 沉浸式,非常适合编程教育,有强大的集成和编程环境。
 +
 
 +
其虚拟机机制,使其能够非常方便的创建各种教学环境和交互场景。
 +
 
 +
[https://docs.huihoo.com/smalltalk/esug/ESUG2018/01-Monday/12-Teaching%20ICT%20trends%20in%20Pharo/ESUG18-CB.pdf Teaching ICT Trends with Pharo]
 +
 
 +
[https://www.gnu.org/software/dr-geo/ GNU Dr.Geo] 设计和操作有约束的互动几何草图
  
 
==操作系统==
 
==操作系统==
第85行: 第108行:
  
 
==编程语言==
 
==编程语言==
[[文件:Haskell-logo.png|right|Haskell]]
+
[[文件:Made-with-lisp.jpg|right|Lisp]]
 +
[[文件:Erlang-90x90.gif|right|Erlang]]
 +
[[文件:Cpp-logo.png|right|C++]]
 
学习编程语言,要牢牢抓住语言的三个核心:语言规范、语言类型、语言运行时。
 
学习编程语言,要牢牢抓住语言的三个核心:语言规范、语言类型、语言运行时。
  
第119行: 第144行:
  
 
==数学==
 
==数学==
[[Mathematics|数学]]是灰狐教育的核心领域,我们使用 [[Maxima]] 开源计算机代数系统(Computer Algebra System)和数值计算软件 [[GNU Octave]] 进行相关学习和教学。
+
[[文件:STEM-software.png]]
  
另外,[[Scilab]] 也是非常棒的开源科学计算软件,Scilab 具有矩阵运算、数值运算、信号处理、程序设计等功能, 目前已被广泛应用于教育、科研和工业。
+
[[Mathematics|数学]]是灰狐教育的核心领域,我们使用 [[Maxima]]、[[SageMath]] 和[[Scilab]]、[[GNU Octave]] 进行相关学习和教学。
  
 
==教育内容==
 
==教育内容==
第130行: 第155行:
 
*[[Unity|Unity3D]]、[[cocos2d-x]]、[[Unreal Engine|虚幻引擎]]:手游、游戏影视
 
*[[Unity|Unity3D]]、[[cocos2d-x]]、[[Unreal Engine|虚幻引擎]]:手游、游戏影视
 
*[[C Sharp|C#]]、[[C++]]:[[灰狗游戏|游戏编程]]、[[D3|灰狐D3]]
 
*[[C Sharp|C#]]、[[C++]]:[[灰狗游戏|游戏编程]]、[[D3|灰狐D3]]
 
==自由软件==
 
[https://www.gnu.org/education/education.html 自由软件与教育]
 
 
[http://book.huihoo.com/free-software-free-society 自由软件,自由社会(第三版)]
 
 
投身于自由软件不仅仅是对于知识,同时也包括授权:授权学习,授权修改,授权分享,以及授权使之能够被分享。争取信息时代的自由需要拒绝在自由软件核心原则上妥协,并且要有牺牲精神。很多人可能拒绝这些负担,他们只想获得更多的财富;而其他人却在努力增加人类知识的深度和广度。通过实现自由软件,我们能发现一种面向长期愿景的可持续性发展模式,不仅增加了知识,同时切实可行的的将这些知识自由地分享给所有人。这份崇高的事业以其无差别的关怀泽及我们每一个人;从现实到超现实,自由软件都被涉及。
 
  
 
==在线教育==
 
==在线教育==

2022年9月20日 (二) 04:13的最后版本

灰狐教育

计算机编程从娃娃抓起,在学习中编程,在编程中学习。

Eportfolio.jpg

目录

[编辑] 愿景

我们深信教育是最好的投资,大到国际社会,小到家庭个人。

科学通识、数学物理学、化学是灰狐教育的核心内容。

灰狐教育倡导全民教育、终身学习。

让每个人都享有平等教育的权利和机会,帮助每个人有尊严的工作和生活。

将全球优秀的教育资源搬上网,让国内的孩子都能学习到先进的知识和理念。

ps: 拒绝愚昧洗脑,拥抱先进文明。

灰狐教育也是一个自然语言、编程语言和开源软件教育组织。

灰狐教育专注数学物理学编程语言和人类语言教育培训,我们相信语言的力量。

专注妇女、儿童的编程、数学、物理学、语言、英语教育培训。

[编辑] 路线图

  • Squeak/Pharo用于编程学习、游戏动画、交互原型、创新平台的教学实验和集成开发环境,灰狐参与Squeak/Pharo的开发与推广。
  • Racket用于编程语言设计,灰狐参与Racket的开发与推广。
  • 选择Python开发,基于EdX的在线学习系统。
  • 参考PHP开发,Mahara倡导终身教育也常被用于学校和高等教育,ePortfolio-based Learning 基于电子档案的学习。
  • 参考Java开发,基于OpenOLATOLAT构建。

[编辑] STEM

灰狐 SETM 教育致力于提高年轻人和工程技术人员对 STEM 学科和职业的参与度和成就。

Lisp 是 STEM 教育的核心编程语言。

[编辑] 自由软件

自由软件与教育

科技巨头威胁整个社会和教育

自由软件,自由社会(第三版)

投身于自由软件不仅仅是对于知识,同时也包括授权:授权学习,授权修改,授权分享,以及授权使之能够被分享。争取信息时代的自由需要拒绝在自由软件核心原则上妥协,并且要有牺牲精神。很多人可能拒绝这些负担,他们只想获得更多的财富;而其他人却在努力增加人类知识的深度和广度。通过实现自由软件,我们能发现一种面向长期愿景的可持续性发展模式,不仅增加了知识,同时切实可行的的将这些知识自由地分享给所有人。这份崇高的事业以其无差别的关怀泽及我们每一个人;从现实到超现实,自由软件都被涉及。

教育类自由软件

[编辑] 形式化

软硬件形式化验证教育培训和服务是核心咨询内容,OCamlCoq) & HaskellAgda, Idris) 是核心语言和形式化能力。

Coq In The Classroom

[编辑] Code.org

Code.org @ GitHub

[编辑] freeCodeCamp

freeCodeCamp像打魔兽一样学编程!

freeCodeCamp 已经被证明是获取编程工作的最有效路径,事实上,没人完成了所有课程,因为他们都在完成之前就找到了工作。

[编辑] 相关服务

[编辑] 培训内容

编程数学、英语,它们是灰狐教育的三架马车。

  • C#/F#:简单、现代、通用,面向对象和函数式编程语言,可开发Desktop、App、Web、Server等各种形式的应用和服务,其设计的严谨和规范化适合各个层次的编程语言教学。
  • MED(营销应用数据)营销推广、企业应用数据科学培训,覆盖M3, E3, D3三个项目。
  • 国际象棋

[编辑] LibreOffice

LibreOffice 不仅仅是自由开源的办公套件,也是生产力软件。

[编辑] KDE

KDE Edu

[编辑] Scratch

通过Scratch帮助孩子们学习编程,在学习中编程,在编程中学习。

孩子们可以利用它学习编程,与他人一起分享自己创作的互动式媒体作品如故事,游戏和动画。

ScratchEd 是一个Scratch教育工作者的在线社区。

Scratch Blocks is a fork of Google Blockly project

[编辑] Smalltalk

Smalltalk is the consummate teaching language

Squeak.png Pharo-logo.png

Squeak, Pharo 沉浸式,非常适合编程教育,有强大的集成和编程环境。

其虚拟机机制,使其能够非常方便的创建各种教学环境和交互场景。

Teaching ICT Trends with Pharo

GNU Dr.Geo 设计和操作有约束的互动几何草图

[编辑] 操作系统

  • 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

[编辑] 编程语言

Lisp
Erlang
C++

学习编程语言,要牢牢抓住语言的三个核心:语言规范、语言类型、语言运行时。

LispErlangC++ 是主要编程语言。

Functional Programming in Haskell

mal - Make a Lisp 这个项目很重要。

《SICP Python 描述中文版》

PWCT-Programming Without Coding Technology 这个项目蛮有意思,同时还开发了基于C语言PWCT开发的Ring编程语言

C#适合儿童编程,它标准、丰富、有趣,可以用来编写用户交互、桌面、游戏、App,你可想到的都可以尝试用C#编写。

LogoSharp 重回控制小海龟的美好童年,儿童编程从 Logo 开始。

我们也从Racket开启你的编程语言学习和研究之路。

Smalltalk/SqueakHaskell 面向对象和函数式编程,两条腿走路。

儿童青少年编程从Scratch/JavaScriptPHPPython开始。

适合所有年龄段孩子的个人计算机:OLPC + Squeak

PHPPythonRuby 是灰狐教育的三大Web语言,因为它们的普适性、易用、"简单“,适合孩子们从小学习。

OnlineJudge 一个基于 PythonVue 的在线评测系统

[编辑] 自然语言

  • 英语
  • 日语

[编辑] 数学

STEM-software.png

数学是灰狐教育的核心领域,我们使用 MaximaSageMathScilabGNU Octave 进行相关学习和教学。

[编辑] 教育内容

教孩子们数学编程游戏,伴随他们健康成长。

灰狐教育关注以下领域:

[编辑] 在线教育

OpenEduCat

灰狐教育(Huihoo Edu)是一个开源的(Apache v2 and GNU LGPL v3) 在线学习和培训系统,基于 E3 learning 构建。

我们分发灰狐教育企业版、灰狐教育校园版,希望能更好的服务于企业和学校。

灰狐教育也将提供自由、开源软件的培训课程,帮助大家学习知识与能力提升。

[编辑] 开放大学

开放大学是我们的一个理想。

[编辑] 解决方案

我们为企业和学校提供在线教育和培训解决方案:E3 learning

  • 企业版
  • 校园版

[编辑] 儿童教育

[编辑] 儿童编程

DevOpsKids

海龟绘图很适合用来引导孩子学习编程

学习Python、摆弄Linux、从小立志做个改变世界的程序员。

[编辑] 游戏化

[编辑] 国际象棋

国际象棋

[编辑] 计算设备

[编辑] 图集

[编辑] 链接

Openedx.png Huihoo-edu-logo.jpg Openolat-powerd-120x30.png We-use-openoffice.jpg

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱