9 сентября 2010 в 17:06

Структура и интерпретация компьютерных программ

image
Перевод второй лекции Джеральда Сассмана
«Процедуры и процессы: подстановочная модель.»

Эти лекции были прочитаны 25 лет назад сотрудникам HP, но на самом деле это тот легендарный вводный курс 6.001, который читался в MIT в 1980 году. С тех пор эти лекции sine qua none во всем мире программирования. Хотелось бы чтобы каждый программист посмотрел этот курс, ничего не учит абстрактному мышлению лучше, чем SICP.
Приятного просмотра на ночь глядя.

Первую лекцию искать здесь:
habrahabr.ru/blogs/htranslations/103322

на яндекс видео:
video.yandex.ru/users/ztarlitz/view/7

Ссылка на трекер, видео двух лекций, отдельно сабы, и для пущего просветления книга на русском языке.
rutracker.org/forum/viewtopic.php?p=37772721#37772721

UPD Небольшой оффтопик:
Дело в том что на хабре нет ни одного блога по математике, было бы вам интересно читать такой блог, где бы публиковались какие-нить доказательства интересных теорем или статей по математической логике, функциональному анализу, теории множеств и прочим интересным вещам?
У меня есть видео лекция с популярным доказательство теоремы Геделя о неполноте арифметики, очень интересная, но ее некуда воткнуть.
@ztarlitz
карма
117,0
рейтинг 0,0
Похожие публикации
Самое читаемое

Комментарии (37)

  • +3
    Ура!
  • +1
    Если найдете какие ошибки или неточности или просто будут пожелания, пишите, буду признателен.
    • 0
      Ох… Дай вам бог здоровья а
      Мегавещь.
      • +1
        Присоединияюсь!
    • 0
      33:50 «Итерация это система, которая имеет всё своё выражение в определённых переменных»

      Скорее «Итерация — это система, которая имеет всё своё состояние ...»
      • 0
        Да, и прекрасная лекция, спасибо :)
      • 0
        спасибо поправлю
  • 0
    Субтитры с ютюба помогли?
    • 0
      Все пришлось конечно переделывать, но с ними гораздо проще, чем без них. Они хоть какой-то скелет тайминга создают.
  • 0
    На тему оффтопика — есть Научное-Популярное
    • +4
      это закрытый блог. И он все-таки популярный, а я предлагаю создать блог чисто по математике, куда можно будет постить и популярные лекции и хардкорные для знатоков. Но я совсем не уверен что математика будет востребована, поэтому и интересуюсь.
      • +2
        Это действительно будет интересно, но, увы, такие статьи не пользуются особой популярностью. Если будете писать туда, то просто готовьтесь, что даже на интересный на Ваш взгляд материал комментов будет 10—20.
      • +1
        >это закрытый блог.

        Если науч-поп закрытый, то отдельный блог по математике скорее всего тоже будет таким.

        >Но я совсем не уверен что математика будет востребована, поэтому и интересуюсь.

        Вы вряд ли найдете здесь широкую аудиторию под математическую эзотерику, а вот интересные популярные или прикладные задачи, которые может понять (и особенно, если применить на практике!) несколько более широкая аудитория — пожалуй.
  • +1
    Воткните пожалуйста ссылку на перевод 1й части, а лучше придумайте хитрый хеш-тег, чтобы можно было отлавливать обновления в переводах и не терять части.
    • 0
      а, не надо, по тегу SICP какраз 2 перевода и есть… Неожиданно.
      • 0
        На всякий случай сделал тег SICP по-русски. А ссылка на первую лекцию есть в топике.
        • 0
          Отличный перевод! Огромное спасибо! Скажите, а когда стоит ждать новых лекций с переводом?
          • 0
            Дня через 2-3
  • 0
    Ребятам из Питера возможно будет интересен курс лекций, как раз основанный на MIT-овском, в Computer Science Club при ПОМИ РАН. Лекции по воскресеньям, первая будет в это воскресенье 12 сентября.

    В этом клубе вообще много курсов, сегодня было открытие осеннего семестра 2010. Участие бесплатное. Целиком расписание можно посмотреть на сайте клуба.
    • 0
      А вы на видео будете снимать?
      Вообще очень интересный клуб, спасибо за ссылку.
      • 0
        Обещали и видео и слайды.

        Я, честно говоря, не имею к ним никакого отношения, кроме того, что прочитал топик про открытие и, собственно, сходил на него. Но, судя по всему, там здорово! А ещё, помимо всего прочего, поят кофе и кормят яблоками :)
      • 0
        На Lektorium.tv есть видеозаписи прошлых семестров. Но в этом семестре все курсы новые.
    • 0
      Эх, в Москве бы что-нибудь такое…
      • 0
        Скажите, а у Вас есть идеи, кто мог бы в Москве заняться организацией подобного? Я бы и сам рад был, но в Москве как-то не удалось найти потенциального координатора. А вот в Екатеринбурге открыли, чему я рад безмерно. =)
        • 0
          Увы, не знаю ничего аналогичного logic.pdmi.ras.ru/csclub/ в Москве.

          Организация состоит в том чтобы найти большую аудиторию, правильно понимаю?
          • 0
            Ну, в Москве есть ШАД, как минимум. Чтобы CS клуб появился и в Москве, нужен грамотный координатор, который, в частности, должен будет найти аудиторию. В Москве мне такого человека найти не удалось. Может, я плохо искал? =) А в Екб удалось и клуб там уже семестр существует: logic.pdmi.ras.ru/csclub/ural
            И Александр Шень, хорошо известный в Москве и не только, сосвсем недавно там прочёл мини-курс
            • 0
              А вы видео снимаете на лекциях?
            • 0
              угу, но ШАД — это все-таки закрытая штука, которое Яндекс сделал в значительной степени чтобы готовить кадры для себя (по большей части из студентов), а тут публичные лекции — в Москве такое разве что в Политехе случается, да и то по праздникам.
        • 0
          Впрочем, вот пришло в голову, что Завалишин (http://dz.livejournal.com/) организовывал небольшой клуб со встречами в ГУ-ВШЭ dz.timepad.ru/events — попробуйте ему написать.
          • 0
            Спасибо за наводку! Тематика, однако, почти не пересекается…
  • +4
    Блог про математика был бы очень интересен.
    • 0
      … математику…
      конечно же :)
  • 0
    Вот это здорово! Буквально вчера пришла книга-оригинал. Будет достойная шпаргалка на родном языке.
  • +5
    Да, блог по математике нужен. На самом деле математика — это главное в программировании, а все эти технологии, которые полностью меняются каждые 3 года — второстепенны.
  • 0
    Жаль конечно, что не будет продолжения после 2а части. Думаю очень многие были бы благодарны. По поводу 2а, 42'29'' «который является целесообразным во времени», там не «целесообразным» а «экспоненциальным» (все-таки рекурсивное вычисление чисел Фибоначчи точно нецелесообразно)) А вообще большое спасибо, за перевод. Я займусь 2б частью, возможно что-то получится.
    • 0
      Прошу прощения, ни в 2а, а в 1б.

Только зарегистрированные пользователи могут оставлять комментарии. Войдите, пожалуйста.