Abstraction and Design in Computation

Henry H. Leitner, PhD, Senior Lecturer on Computer Science, Harvard University., Harvard Extension School

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)

Dates:
  • 28 January 2014
Course properties:
  • Free:
  • Paid:
  • Certificate:
  • MOOC:
  • Video:
  • Audio:
  • Email-course:
  • Language: English Gb

Reviews

No reviews yet. Want to be the first?

Register to leave a review

Show?id=n3eliycplgk&bids=695438
NVIDIA
More on this topic:
Res-2-001s08 Engineering Design Instructional Computer System (EDICS)
EDICS, or Engineering Design Instructional Computer System, is an interactive...
6-01scs11 Introduction to Electrical Engineering and Computer Science I
This course provides an integrated introduction to electrical engineering and...
6-170f05 Laboratory in Software Engineering
This course introduces concepts and techniques relevant to the production of...
Extensionflag Software Engineering
This course examines how current software engineering methods approach...
Extensionflag Understanding and Securing the Cyber Infrastructure
Today's world is a participatory cyberspace world. Not that long ago...
More from 'Mathematics, Statistics and Data Analysis':
Logo Information Theory, Pattern Recognition, and Neural Networks
A series of sixteen lectures covering the core of the book "Information Theory...
Uoft_logo Introduction to Machine Learning (CSC2515, Fall 2008)
Introductory course in machine learning by world leading expert Geoffrey Hinton...
Uoft_logo Advanced Machine Learning (CSC2535, Spring 2013)
Advanced course in machine learning by world leading expert Geoffrey Hinton...
C3d00ed5-8ead-4cce-9a3b-c6f12590e44b-b8753cb9a8c2.small Linear Algebra III: Determinants and Eigenvalues
This course takes you through roughly three weeks of MATH 1554, Linear Algebra...
7b3182de-b8e8-4dd1-9e0d-6754939dfc3a-19850fd0d998.small Big Data for Reliability and Security
This course teaches the principles and practices of big data for improving the...
More from 'Harvard Extension School':
Extensionflag Abnormal Psychology
We examine a variety of mental disorders from several different theoretical...
Math222 Abstract Algebra
Algebra is the language of modern mathematics. This course introduces students...
Extensionflag Academic Writing and Critical Reading
This course introduces students to the demands and conventions of academic...
Extensionflag Adult Development
This course explores adulthood—the latter two-thirds to three-quarters...
Extensionflag Advanced Expository Writing: Writing in the Sciences
This course provides instruction in writing for students considering...

© 2013-2019