This course covers abstraction and design in computation. Topics include functional and object-oriented styles of programming, software engineering in the small, and models of computation. The goal is to understand how to design large programs to make them readable, maintainable, efficient, and elegant. Exercises are conducted in OCaml. The recorded lectures are from the Harvard School of Engineering and Applied Sciences course Computer Science 51. Formerly CSCI E-250.

Prerequisites: CSCI E-20 and CSCI E-50, or the equivalents. (4 credits)

会期:

- 2014年1月28日

还有这个题目的:

Oracle Database Administration

Students study the internal structure and organization of an Oracle...

Students study the internal structure and organization of an Oracle...

Structure and Interpretation of Computer Programs

This course introduces students to the principles of computation. Upon completion...

This course introduces students to the principles of computation. Upon completion...

Introduction to Computers and Engineering Problem Solving

This course presents the fundamentals of object-oriented software design and...

This course presents the fundamentals of object-oriented software design and...

6.00x: Introduction to Computer Science and Programming

6.00x is an Introduction to computer science as a tool to solve real-world analytical...

6.00x is an Introduction to computer science as a tool to solve real-world analytical...

Understanding and Securing the Cyber Infrastructure

Today's world is a participatory cyberspace world. Not that long ago...

Today's world is a participatory cyberspace world. Not that long ago...

还有标题«数学与统计»:

Linear Algebra IV: Orthogonality & Symmetric Matrices and the SVD

This course takes you through roughly five weeks of MATH 1554, Linear Algebra...

This course takes you through roughly five weeks of MATH 1554, Linear Algebra...

Manufacturing Systems I

Learn about manufacturing systems and ways to analyze them in terms of material...

Learn about manufacturing systems and ways to analyze them in terms of material...

Manufacturing Process Control II

Learn how to control process variation, including methods to design experiments...

Learn how to control process variation, including methods to design experiments...

Multidisciplinary Research methods for Engineers

Engineering is no longer limited to working in a single domain; nowadays engineers...

Engineering is no longer limited to working in a single domain; nowadays engineers...

Classical Machine Learning for Financial Engineering

Learn a systemic approach to utilizing classical machine learning models and...

Learn a systemic approach to utilizing classical machine learning models and...

还有Harvard Extension School:

Abnormal Psychology

We examine a variety of mental disorders from several different theoretical...

We examine a variety of mental disorders from several different theoretical...

Abstract Algebra

Algebra is the language of modern mathematics. This course introduces students...

Algebra is the language of modern mathematics. This course introduces students...

Academic Writing and Critical Reading

This course introduces students to the demands and conventions of academic...

This course introduces students to the demands and conventions of academic...

Adult Development

This course explores adulthood—the latter two-thirds to three-quarters...

This course explores adulthood—the latter two-thirds to three-quarters...

Advanced Expository Writing: Writing in the Sciences

This course provides instruction in writing for students considering...

This course provides instruction in writing for students considering...

© 2013-2019