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

Структура и интерпретация компьютерных программ
	Харольд Абельсон, Джеральд Сассман
Язык оригинала:
Оригинал издан:
Серия:	The MIT electrical engineering and computer science series
Издательство:
Страниц:
Носитель:
ISBN :

«Структу́ра и интерпрета́ция компью́терных програ́мм» (англ. Structure and Interpretation of Computer Programs - SICP ) - классическая книга Харольда Абельсона и Джеральда Сассмана о программировании , выпущенная издательством в 1985 году . В институте она использовалась как учебник для начального курса программирования 6.001 с одноимённым названием (6.001 был заменён курсом 6.01 , использующим Python). Помимо этого, книгу используют во многих американских учебных заведениях, имеющих курсы, так или иначе связанные с языком Scheme .

Используя Scheme (диалект языка LISP), авторы описали основные концепции программирования, включая абстракцию (данных и исполнения), рекурсию и метаязыковую абстракцию.

Также в книге изложена практическая реализация концепций регистровой машины и метациклического интерпретатора.

Текст второго издания книги распространяется под лицензией Creative Commons (CC-BY-NC версии 3.0).

Примечания

Ссылки

• Официальная страница книги на сайте издательства MIT Press (англ.)
• SICP Wiki - решения и обсуждение заданий из книги (англ.)
• Лекции авторов книги по курсу SICP (англ.)

Wikimedia Foundation . 2010 .

• Структура данных для непересекающихся множеств
• Структура каталожного номера монет России

Смотреть что такое "Структура и интерпретация компьютерных программ" в других словарях:

ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь - Терминология ГОСТ Р 54136 2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа: 4.1 абстрактная деталь (abstract part): Деталь, которая определена только своей… … Словарь-справочник терминов нормативно-технической документации

SICP

Structure and Interpretation of Computer Programs - Структура и интерпретация компьютерных программ Structure and Interpretation of Computer Programs Автор: Харольд Абельсон, Джеральд Сассман Язык оригинала: английский Оригинал издан: 1985 Серия: The MIT electrical engineering and computer science … Википедия

Языки программирования - Язык программирования формальная знаковая система, предназначенная для записи программ. Программа обычно представляет собой некоторый алгоритм в форме, понятной для исполнителя (например, компьютера). Язык программирования определяет набор… … Википедия

Лисп - Семантика: мультипарадигмальный: объектно ориентированное, функциональное, процедурное программирование Появился в: 1958 Автор(ы): Джон Маккарти Типизация данных … Википедия

Lisp - Лисп Семантика: мультипарадигмальный: объектно ориентированное, функциональное, процедурное программирование Появился в: 1958 г. Автор(ы): Джон Маккарти Типизация данных: сильная, динамическая … Википедия

ЛИСП - Семантика: мультипарадигмальный: объектно ориентированное, функциональное, процедурное программирование Появился в: 1958 г. Автор(ы): Джон Маккарти Типизация данных: сильная, динамическая Диалекты: Common … Википедия

ВТО - это международная финансовая организация ВТО: вступление в ВТО, Россия в ВТО, состав ВТО Содержание >>>>>>>>>>>>>> … Энциклопедия инвестора

Искусственный интеллект - Запрос «ИИ» перенаправляется сюда; см. также другие значения. Искусственный интеллект (ИИ, англ. Artificial intelligence, AI) наука и технология создания интеллектуальных машин, особенно интеллектуальных компьютерных программ. ИИ… … Википедия

АНАЛИЗ СОЦИАЛЬНЫХ СЕТЕЙ - методология и методы исследования связей между социальными акторами. Возникновение этой методологии относят либо к 1930 м, когда в психологии оформился социометрический подход, либо к 1950 м, когда для анализа ранних описательных исследований… … Социология: Энциклопедия

Книги

• Структура и Интерпретация Компьютерных Программ , Харольд Абельсон, Джеральд Джей Сассман. Книга посвящена описанию различных систем программного синтаксиса, анализу перехода от набора алгоритмов к программному коду. Значительное место уделяется обсуждению набора элементарных…

Книга под названием "Структура и Интерпретация Компьютерных Программ " была выпущена в далёком 1979 году. Раньше по ней преподавали вводный курс в программирование среди студентов MIT. Сейчас книга находится в свободном доступе в Интернете, и любой желающий может скачать и изучать её в своё удовольствие. Помимо книги, в сети также есть цикл видео-лекций от авторов, они расположены на ресурсе MIT OpenCourseware, мне кажется они могут неплохо дополнять друг друга по ходу изучения материала.

Чем же примечательна эта книга? Да хотя бы отзывами на Amazon:) Среди рецензентов есть такие личности как Peter Norvig и Paul Graham. К слову, сейчас у книги рейтинг 3.8 из 5, отчего некоторые известные личности недоумевают. А если серьёзно, то это фундаментальный классический труд в области программирования (ничем не хуже небезызвестной книги The Art of Programming от Д. Кнута, которую никто не читал). Единственным непонятным моментом для меня является факт преподавания курса программирования для новичков по этой книге. Представляю как можно напугать новоиспечённых студентов её содержимым. Интересно, есть ли в сети статистика по которой можно узнать много ли людей, посещавших этот "адский" курс, предпочли в дальнейшем поменять свой major:) Если бы организаторы Code.org пропагандировали программирование по этой книге, получился бы знатный epic fail.

Итак, по-моему мнению, книга явно не для новичков в программировании, так как концепции в ней сложны для восприятия людьми "не нюхавшими пороху", более того, понадобится недюжинный запас мотивации и терпения, так как упражнения после каждой секции сложны и требуют от читателя изрядно "попотеть". Но награда стоит того. Я прочитал лишь первую главу этой книги (их всего 5), проработал часть упражнений и, признаюсь, почувствовал как стал лучше разбираться в некоторых вещах (обрёл какой-никакой фундамент).

В общем, к чему я всё это пишу в блоге? А к тому, что собираюсь прочитать всю книгу и проработать как можно больше упражнений (в частности сложных).

План таков:

• Прочитать книгу.
• По ходу чтения также просматривать лекции, так как в книге порой не всегда можно понять материал с 1-го и даже с 10-го раза.
• Выполнять упражнения в каждой секции. Читать конечно хорошо, но лучше всего материал усваивается только на практике.

Читать я буду русское издание ("Добросвет"), у меня имеется бумажный вариант. В случае проблем с переводом, обращаться к оригиналу никто не запрещал. По ходу моего эксперимента, буду писать заметки в этот блог. Надеюсь публичность даст свою толику мотивации (в день блог посещает в среднем 120 человек).

Второе издание. — М.: Добросвет, 2004. — 596 с.Структура и интерпретация компьютерных программ — это вводный курс по информатике в Массачусетском Технологическом институте (MIT). Он обязателен для всех студентов MIT на специальностях электротехника и информатика, как одна из четырех частей общей базовой программы обучения, которая включает еще два курса по электрическим схемам и линейным системам, а также курс по проектированию цифровых систем. Мы принимали участие в развитии этого курса начиная с 1978 года и преподавали этот материал в его нынешней форме начиная с осени 1980 года шестистам-семистам студентам в год. Большая часть этих студентов не имела почти или совсем никакого формального образования в области вычислительной техники, хотя у многих была возможность общения с компьютерами, а некоторые обладали значительным опытом в программировании либо проектировании аппаратуры.Предисловие.
Предисловие ко второму изданию.
Предисловие к первому изданию.
Благодарности.
Построение абстракций с помощью процедур.
Элементы программирования.
Выражения.
Имена и окружение.
Вычисление комбинаций.
Составные процедуры.
Подстановочная модель применения процедуры.
Условные выражения и предикаты.
Пример: вычисление квадратного корня методом Ньютона.
Процедуры как абстракции типа "черный ящик".
Процедуры и порождаемые ими процессы.
Линейные рекурсия и итерация.
Древовидная рекурсия.
Порядки роста.
Возведение в степень.
Нахождение наибольшего общего делителя.
Пример: проверка на простоту.
Формулирование абстракций с помощью процедур высших порядков.
Процедуры в качестве аргументов.
Построение процедур с помощью lambda.
Процедуры как обобщенные методы.
Процедуры как возвращаемые значения.
Построение абстракций с помощью данных.
Введение в абстракцию данных.
Пример: арифметические операции над рациональными числами.
Барьеры абстракции.
Что значит слово "данные"?
Расширенный пример: интервальная арифметика.
Иерархические данные и свойство замыкания.
Представление последовательностей.
Иерархические структуры.
Последовательности как стандартные интерфейсы.
Пример: язык описания изображений.
Символьные данные.
Кавычки.
Пример: символьное дифференцирование.
Пример: представление множеств.
Пример: деревья кодирования по Хаффману.
Множественные представления для абстрактных данных.
Представления комплексных чисел.
Помеченные данные.
Программирование, управляемое данными, и аддитивность.
Системы с обобщенными операциями.
Обобщенные арифметические операции.
Сочетание данных различных типов.
Пример: символьная алгебра.
Модульность, объекты и состояние.
Присваивание и внутреннее состояние объектов.
Внутренние переменные состояния.
Преимущества присваивания.
Издержки, связанные с введением присваивания.
Модель вычислений с окружениями.
Правила вычисления.
Применение простых процедур.
Кадры как хранилище внутреннего состояния.
Внутренние определения.
Моделирование при помощи изменяемых данных.
Изменяемая списковая структура.
Представление очередей.
Представление таблиц.
Имитация цифровых схем.
Распространение ограничений.
Параллелизм: время имеет значение.
Природа времени в параллельных системах.
Механизмы управления параллелизмом.
Потоки.
Потоки как задержанные списки.
Бесконечные потоки.
Использование парадигмы потоков.
Потоки и задержанное вычисление.
Модульность функциональных программ и модульность объектов.
Метаязыковая абстракция.
Метациклический интерпретатор.
Ядро интерпретатора.
Представление выражений.
Структуры данных интерпретатора.
Выполнение интерпретатора как программы.
Данные как программы.
Внутренние определения.
Отделение синтаксического анализа от выполнения.
Scheme с вариациями: ленивый интерпретатор.
Нормальный порядок вычислений и аппликативный порядок вычислений.
Интерпретатор с ленивым вычислением.
Потоки как ленивые списки.
Scheme с вариациями недетерминистское вычисление.
Amb и search.
Примеры недетерминистских программ.
Реализация amb-интерпретатора.
Логическое программирование.
Дедуктивный поиск информации.
Как действует система обработки запросов.
Является ли логическое программирование математической логикой?
Реализация запросной системы.
Вычисления на регистровых машинах.
Проектирование регистровых машин.
Язык для описания регистровых машин.
Абстракция в проектировании машин.
Подпрограммы.
Реализация рекурсии с помощью стека.
Обзор системы команд.
Программа моделирования регистровых машин.
Модель машины.
Ассемблер.
Порождение исполнительных процедур для команд.
Отслеживание производительности машины.
Выделение памяти и сборка мусора.
Память как векторы.
Иллюзия бесконечной памяти.
Вычислитель с явным управлением.
Ядро вычислителя с явным управлением.
Вычисление последовательностей и хвостовая рекурсия.
Условные выражения, присваивания и определения.
Запуск вычислителя.
Компиляция.
Структура компилятора.
Компиляция выражений.
Компиляция комбинаций.
Сочетание последовательностей команд.
Пример скомпилированного кода.
Лексическая адресация.
Связь скомпилированного кода с вычислителем.
Литература.
Предметный указатель.

Большинство пишут, что есть расширение Яндекса, которое загружается на компьютер и по экрану начинает бегать мухи. Без вашего ведома такое приложение может появиться если включена автозагрузка. Проверьте у себя:

Пуск - Панель управления - Программы - Удаление программы - Установлена - Выберите дату или диапазон дат.

Есть ли у вас неизвестные приложения, загруженные 31 марта - 1 апреля? У меня не оказалось. Пока выбирала диапазон дат вспомнила, что сегодня 1 апреля - у моей близкой подруги из Челябинска День рождение. И поняла, что провокация под кодовым названием " как убрать муху с экрана монитора" задумана Яндексом как розыгрыш в День дурака.

Потом коллега с ФБ Галина написала как убрать муху с экрана при помощи газетки. У меня газетки не оказалось на экране, зато было средство для уничтожения насекомых и мухобойки под логотипом Яндекса. Средство почему-то не сработало и муха продолжала бегать по экрану как сумасшедшая. Активировала мухобойку и убила муху за 4,97 секунды!

Друзья, без мухи стало скучно! Но мою коллегу с ФБ муха не только не оставила в покое (у нее не было мухобойки), но и размножилась до 3-ех мух. Потом вместо газетки у нее появился тапок. Погоню за мухами Галина продолжила тапком, но безуспешно. И тут появилась спасительная мухобойка. С 3-мя мухами Галина расправилась за 66,47 сек. Вот такую шутку сегодня с нами сыграл Яндекс.

Некоторые сотрудники сегодня собираются отметить День дурака. Если и вы собираетесь, подготовьтесь как следует: посмотрите , чтобы праздник удался на славу. Говорят, что из-за этой мухи сегодня не работало полстраны. По этой причине Правительство РФ сократило рабочий день на 2 часа. Так что смело собирайтесь на корпоратив, пока все столики не заняли.

Друзья, расскажите про розыгрыши, которые 1 апреля случились с вами. А может быть вы сами кого-то удачно разыграли, например загрузили приложение с мухой на компьютер своего коллеги. Кстати, осторожно шутите с начальством. Как бы вам не пришлось потом думать о том, не по собственному желанию

Видео для кошек на мониторе развивает, поддерживает навыки, заложенные природой, расслабляет, успокаивает, развлекает. Наверняка каждый владелец кошек замечал, как внимательно она смотрит телевизор, наблюдает за происходящим из окна. Специальные фильмы для котов – короткое видео с присутствием интересующих кошек героев. Птички, рыбки, мышки, мячики, движущиеся точки. Где найти подходящий фильм? Конечно, в интернете!

Совсем необязательно скачивать видео на компьютер, можно просто его найти в интернете, пригласить домашнего питомца на просмотр. Каждый день на этом сайте появляются новые забавные сюжеты, которые наверняка заинтересуют вашего питомца. Подборка самых интересных для кошек видео представлена в нашей статье.

Видео для котов с мышами

Мыши – единственное животное, к которому неравнодушен кот. Писк заставляет питомца наострить уши, стать в позу, готовиться к охоте. Интересно наблюдать, как кошка пытается понять, откуда идут звуки. Обнаружив мышку на мониторе, кот не может отвести взгляда, внимательно наблюдает за происходящим. А некоторые заглядывают за монитор с изумлением и непониманием, куда она подевалась. Когда же на мониторе появляется несколько мышей, животное не скрывает своей радости. Короткометражное видео длительностью 4 минуты позабавит и котов, и их владельцев.

Плавающие рыбки – видео для кошек

Наблюдать, как плавают экзотические рыбки, может часами человек. Такая картина успокаивает нервную систему, помогает справиться со стрессом, привести в норму свое самочувствие. Подобным образом действует видео на котов. Очень часто после такого просмотра коты спокойно сворачиваются в клубок, прячут лапки, засыпают. Видео в сопровождении приятной музыки понравится не только кошке, но и ее хозяину. Приятного просмотра!

Видео с птичками

Кошки не прочь поохотиться на маленьких птичек. Никогда не упускают возможности полакомиться мясом. Очень часто можно наблюдать, как кошка готовится к прыжку, затаившись в траве. Видео с птицами стимулирует охотничьи инстинкты, активизирует деятельность нервной системы, развивает наблюдательность. Во время просмотра сюжета кошка находится в напряженном состоянии, она выжидает благоприятный момент для прыжка. И нередко активное чириканье птички заставляет кота лапами трогать монитор. При этом, есть еще одна сторона медали. Такой тренажер подойдет тем, у кого в доме имеются попугайчики, канарейки. Кошка, просматривая видео с птицами, пытается схватить ее, но сталкивается с препятствием. При виде настоящего попугая, нервная система уже срабатывает таким образом, что кошка воспринимает ее как виртуальную, не делает никаких попыток, чтобы ее поймать.

Видео с мухой

Прыгать по подоконникам за мухой – еще одно любимое занятие котов, кошек и маленьких котят. И не столько того мяса от несчастной мухи, сколько гордости за свое мастерство – поймали! Назойливое жужжание мухи действует на нервы, хочется взять газетку, прихлопнуть. Такая же реакция у котов. Они не могут оставаться равнодушными. Оживленно наблюдают за насекомыми, трогают монитор лапками, мяукают, пытаются поймать.

Видео для кошек с лазером

Самый незамысловатый сюжет – маленькая светящаяся точка двигается по темному экрану. Однако именно она вызывает повышенный интерес у котов. Видео развивает бдительность, внимание. Можно заметить, как животное водит взглядом за светящейся точкой в надежде выяснить, что это такое. Усиливают интерес звуки птичек. Животное тренирует одновременно зрение, слух.

Видео для кошек – кошки

Пожалуй, самый большой раздел. Смешные видео смотрят с интересом взрослые, дети и домашние питомцы. Персонажи сюжета наблюдают за шариками, пытаются стянуть кусочек пиццы, карапкаются по авто, выпрашивают что-то, злятся, разговаривают.

Маленьких котят привлечет вот такое видео, где играются ему подобные.

Фильмы (кино) для кошек

Пушистые домашние питомцы тоже с интересом смотрят фильмы. Главные герои в них мышки, птички, белочки, рыбки, кролики, плавающие утки. Занять своего любимца можно на 2 часа. К примеру, когда нужно куда-то уйти, а кот тяжело переносит расставание.

Мультики для котов

Можно включить любой детский мультипликационный фильм с участием котов. В одно время можно занять и тех и других, а мама спокойно будет заниматься своими делами.

Вот такая приблизительно реакция на мультфильм у животных.

Игры для кошек

Понятно, что клацать клавиатурой, управлять мышкой домашний питомец не станет, каким бы умным он ни казался. Игры для котов – те же видео с участием интересующих котов персонажей. К примеру, игра с мышкой.

Кошки очень игривые существа. Даже взрослые особи иногда впадают в детство, не прочь погонять по дому, покувыркаться, покачаться на шторках. Интересно им и смотреть фильмы, наблюдать за себе подобными. Видео для кошек помогает справиться животным с нервным стрессом, депрессией, бессонницей. Используется не только в развлекательных целях, но и в терапевтических.