/
Independent academic archive · Rights remain with the original publishers · Streamed via YouTube
Play15s30s1x0:00/--:--
DoneWatched
Expand
MIT·Hal Abelson & Gerald Jay Sussman
41:45
0:00/41:45
Independent academic archive · Rights remain with the original publishers · Streamed via YouTube
An introduction to the declarative paradigm of logic programming, presented as part of MIT's seminal 6.001 course on the structure and interpretation of computer programs.
Professor of Electrical Engineering and Computer Science at MIT
MIT Professor of Electrical Engineering and Computer Science and co-author of Structure and Interpretation of Computer Programs (SICP).
Professor of Electrical Engineering and Computer Science
MIT Professor and co-author of SICP and Structure and Interpretation of Classical Mechanics, co-inventor of the Scheme programming language.
MIT: Logic Programming, Part 1 (MIT) establishes the undergraduate foundations in Distributed Systems required for MIT 6.824: Distributed Systems (MIT).
Introduction to Computer Science and Programming using Python (MIT) establishes the introductory foundations in Distributed Systems required for MIT: Logic Programming, Part 1 (MIT).
Co-authors of Structure and Interpretation of Computer Programs (SICP) and co-instructors of MIT's foundational 6.001 curriculum.
