https://en.wikipedia.org/wiki/Type_theory
https://en.wikipedia.org/wiki/Type_theory#Difference_from_set_theory
https://en.wikipedia.org/wiki/Type_theory#Relation_to_category_theory
https://en.wikipedia.org/wiki/Homotopy_type_theory ("HoTT")
https://en.wikipedia.org/wiki/Type_signature ("Type
In my on ramp to Python, for beginners, I find harping on "types" a great
intro (if unoriginal -- a lot of us do it).
For one thing, we can hold fixed to the "type" idea while changing the
source of the type from built-in, to standard library module, to 3rd party
-- three tiers in my "dimensions
LMS / LRS Specs:
- xAPI/TinCan
https://en.wikipedia.org/wiki/Experience_API
- SCORM
https://en.wikipedia.org/wiki/Sharable_Content_Object_Reference_Model
Interactive content specs
- H5P
https://en.wikipedia.org/wiki/H5P
https://h5p.org
I'm against certificates as a money making machine (think Cisco). I'd be
great to provide a free (or very cheap) certificates that fulfill its duty
(endorse the knowledge and up-to-date status of the teacher) keeping it
open and accessible. One option I'm thinking is peer-reviewed certificates.
It
Great discussion, and thanks for kicking it off, Dr. Chuck!
To be "relevant" to teachers, whatever scheme you devise should fit easily into
the re-certification process teachers go through to maintain their licenses to
teach. The problem in the US is that there are 50 different processes to
Hello all,
This area is very relevant in Ireland at the moment with our new upper high
school computer science subject being introduced.
I was wondering would someone on this list like to write a short article on
their experiences with the above topic for the Computer Science Teachers'