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:
Cs169.1x_262x136_verified_0 CS169.1x: Engineering Software as a Service
CS169.1x teaches the fundamentals of software engineering using Agile techniques...
Extensionflag Introduction to the Theory of Computation
This course is an introduction to the theory of computation, teaching...
Extensionflag Oracle Database Administration
Students study the internal structure and organization of an Oracle...
Extensionflag Data Structures
This course is a survey of fundamental data structures for information...
Extensionflag Database and Information Management Systems
This course covers the fundamental concepts of information management...
More from 'Mathematics, Statistics and Data Analysis':
52b6c2bf-2b08-4e7b-a7a5-faa2aa294d7e-3608f36e6e73.small Linear Algebra IV: Orthogonality & Symmetric Matrices and the SVD
This course takes you through roughly five weeks of MATH 1554, Linear Algebra...
7a7d4897-584a-4667-aeeb-c3a87a0cc15c-99186295b0b7.small Manufacturing Systems I
Learn about manufacturing systems and ways to analyze them in terms of material...
1e13fdc5-8cb9-4559-ab59-222ec1855d34-64c096e04a18.small Manufacturing Process Control II
Learn how to control process variation, including methods to design experiments...
03aa7c7e-cd4e-4b08-9beb-ab32fba5d947-902285399451.small Multidisciplinary Research methods for Engineers
Engineering is no longer limited to working in a single domain; nowadays engineers...
28111993-81aa-4dce-b8c6-a0ca830de9ec-c7e98778dc81.small Classical Machine Learning for Financial Engineering
Learn a systemic approach to utilizing classical machine learning models and...
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