课题基金 / 基金详情

CSforAll: EAGER: Integrating Lightweight Data Science and Computing for K-12

CSforAll: EAGER: Integrating Lightweight Data Science and Computing for K-12
CSforAll:EAGER:为 K-12 集成轻量级数据科学和计算
批准号:
1647486
负责人:
Shriram Krishnamurthi
金额:
$29.89万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2016
资助国家:
美国
项目状态:
已结题
起止时间:
2016-08-15 至 2020-07-31

项目摘要

项目成果

Shriram Krishnamurthi的其他基金

相似基金

相关文献

中文摘要
翻译
布朗大学建议为K-12开设轻量级数据科学课程。数据科学可以大致定义为“编程统计”,因此有两个控制点:需要多少编程,以及使用了多少统计数据。这里使用的“轻量级”一词并不是贬义,而是暗指一种与CS for All Initiative将CS教育扩展到所有学校和所有学生的目标相一致的方法。这个项目将把数学限制在“幼稚”的统计上,而不是依赖于连续的数学。对于编程,课程将创建不需要比CS原理课程所要求的更复杂的支持,甚至更少。最后,它的设置也很简单,使用Google Sheet作为主要的数据库系统,减轻了教师和学校的巨大行政负担,并启用了许多学生和教师已经熟悉的优雅的用户界面。编程支持将嵌入到教学编程语言Pyret中,通过直接支持表格和表格操作来扩展它。这将允许学生使用旨在唤起SQL的构造来编写简洁的程序。为了更多地接触更年轻的学生,并限制打字,PI将在Pyret中加入双模式块和文本界面。为了吸引更多的学生,这项工作将包括支持课程个性化,允许学生挑选他们感兴趣的话题,并找到他们想要就这些数据提出的相应问题。“个人资料调查”将提供精选的数据集,以及供教师寻找其他类似数据的方法,以帮助需要建议的学生开始学习。最后,在PI和其他人之前工作的基础上,该项目将涉及一些初步调查,即提供高水平的结构并让教师教授“对结构”是否自然会导致更好的计划撰写。
英文摘要
Brown University proposes to create lightweight data science curricula for K-12. Data science can be roughly defined as "programming + statistics" and thus has two points of control: how much programming is needed, and how much statistics is used. The term "lightweight" here is not used pejoratively but to connote an approach that is aligned with the CS for All Initiative's goal of scaling CS education to all schools and all students. This project will limit mathematics to "naïve" statistics rather than depending on continuous mathematics. For programming, the curriculum will create support that requires no more sophistication than required by CS Principles curricula, and perhaps even less. Finally, it will also be light on setup, using Google Sheets as the primary "database" system, lifting a big administrative burden on teachers and schools, and enabling elegant user interfaces that are already familiar to many students and teachers.The programming support will be embedded into Pyret, a pedagogic programming language, extending it with direct support for tables and tabular operations. This will allow students to write concise programs using constructs designed to be evocative of SQL. To increase access to younger students and to limit typing, the PIs will incorporate a dual-mode block-and-text interface into Pyret. In order to engage more students, the work will include support for curricular personalization, allowing students to pick out the topics that they are interested in, and find the corresponding questions they want to ask about these data. The PIs will provide curated datasets, as well as means for teachers to find other similar data, to help students who need suggestions to get started. Finally, building on previous work of the PI and others, project will involve some preliminary investigation on whether providing high-level constructs and letting teachers teach "to the constructs" will naturally lead to better plan composition.
期刊论文(7)
专著(0)
科研奖励(0)
会议论文
Accessible AST-Based Programming for Visually-Impaired Programmers
为视障程序员提供基于 AST 的无障碍编程
DOI: 10.1145/3287324.3287499
发表时间: 2019
期刊: SIGCSE '19 Proceedings of the 50th ACM Technical Symposium on Computer Science Education
影响因子: --
作者: [Schanzer, Emmanuel, Bahram, Sina, Krishnamurthi, Shriram]
通讯作者: Krishnamurthi, Shriram
DOI: 10.1145/3159450.3159479
发表时间: 2018
期刊: SIGCSE
影响因子: --
作者: [Tunnell Wilson, Preston, Fisler, Kathi, Krishnamurthi, Shriram]
通讯作者: Krishnamurthi, Shriram
Error messages are classifiers: a process to design and evaluate error messages
错误消息是分类器:设计和评估错误消息的过程
DOI: 10.1145/3133850.3133862
发表时间: 2017
期刊: and Reflections on Programming and Software
影响因子: --
作者: [Wrenn, John, Krishnamurthi, Shriram]
通讯作者: Krishnamurthi, Shriram
What does it mean for a computing curriculum to succeed?
计算机课程的成功意味着什么?
DOI: 10.1145/3319081
发表时间: 2019
期刊: Communications of the ACM
影响因子: 22.7
作者: [Schanzer, Emmanuel, Krishnamurthi, Shriram, Fisler, Kathi]
通讯作者: Fisler, Kathi
7
    FMitF: Track II: Educating Developers about Ownership in Rust
    • 批准号:
      2319014
    • 项目类别:
      Standard Grant
    • 资助金额:
      $9.99万
    • 财政年份:
      2023
    • 负责人:
      Shriram Krishnamurthi
    • 依托单位:
    SHF: Small: Little Tricky Logics: Misconceptions in Understanding Logics and Formal Properties
    • 批准号:
      2227863
    • 项目类别:
      Standard Grant
    • 资助金额:
      $59.96万
    • 财政年份:
      2023
    • 负责人:
      Shriram Krishnamurthi
    • 依托单位:
    Pedagogical Tools for Formal Methods
    • 批准号:
      2208731
    • 项目类别:
      Standard Grant
    • 资助金额:
      $50.0万
    • 财政年份:
      2022
    • 负责人:
      Shriram Krishnamurthi
    • 依托单位:
    EAGER: Semantics for Learning Functional Programming
    • 批准号:
      1803362
    • 项目类别:
      Standard Grant
    • 资助金额:
      $15.0万
    • 财政年份:
      2018
    • 负责人:
      Shriram Krishnamurthi
    • 依托单位:
    海外基金