Абрамов С.М. Методы метавычислений и их применение

формат pdf
размер 1.07 МБ
добавлен 30 сентября 2011 г.

Абрамов С.М. Методы метавычислений и их применение. — Издание второе, дополненное и переработанное, Переславль-Залесский, Издательство «Университет города Переславля имени А.К.Айламазяна», 2006. —128 с., ил.

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

Язык реализации
Представление множеств
Дерево процессов
Окрестностный анализ
Окрестностное тестирование программ
Универсальный решающий алгоритм
Инверсное программирование
Нестандартные семантики

Похожие разделы

Смотрите также

Алферова З.В. Теория алгоритмов

формат djvu
размер 1.63 МБ
добавлен 02 сентября 2009 г.

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

Головешкин В.А., Ульянов М.В. Теория рекурсии

формат djvu
размер 7.81 МБ
добавлен 07 июня 2010 г.

Головешкин В. А., Ульянов М. В., Теория рекурсии - ФИЗМАТЛИТ, 2006. - 296с. Книга является учебным пособием по теории рекурсии в аспекте ее применения в области программирования. В ней рассматриваются основы теории рекурсии и ее использование в области разработки и анализа рекурсивных алгоритмов. Приводятся основные сведения о рекурсивных последовательностях и функциях, даны примеры рекурсивных алгоритмов, разработанных на основе рекуррентных со...

Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи

формат djvu
размер 11.5 МБ
добавлен 15 января 2011 г.

Издательство: Мир Год: 1982 Страниц: 416 300 dpi Монография американских ученых, посвященная вопросам сложности решения комбинаторных задач, возникающих в дискретной оптимизации, математическом программировании, алгебре, теории чисел, теории автоматов, математической логике, теории множеств, теории графов и т. п. Книга отличается строгим и систематическим изложением теории, в приложении содержится более 300 труднорешаемых задач из различных разд...

Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи

формат pdf
размер 14.5 МБ
добавлен 15 января 2011 г.

Дроздов С. Комбинаторные задачи и элементы теории вычислительной сложности

формат doc
размер 140.3 КБ
добавлен 23 мая 2007 г.

В пособии рассмотрено понятие комбинаторной задачи, приведены примеры таких задач, основные методы их решения и оценки эффективности алгоритмов. Рассмотрены основные понятия теории вычислительной сложности и приведены в кратком изложении основные результаты теории. Рассмотрены приемы доказательства NP-полноты и примеры NP-полных задач. Предназначено для студентов, изучающих курс «Структуры и алгоритмы обработки данных», а также для специалистов,...

Кнут Д.Э. Устойчивость супружеских пар и другие комбинаторные задачи: Введение в математический анализ алгоритмов

формат djvu
размер 546.15 КБ
добавлен 25 сентября 2011 г.

М.: МЦНМО, 2001 г., 78 с. "Цель данной работы состоит в том, чтобы ознакомить читателя с основами анализа алгоритмов, причём сделать это с помощью примеров, а не систематического изложения теории. Надеюсь, что такой подход позволит читателю быстро войти в курс дела, познакомиться с идеями, используемыми в этой области, а также понять взаимосвязь анализа алгоритмов с другими математическими дисциплинами. Задача об устойчивых супружеских парах наи...

Курсовая работа - Теория алгоритмов. Разработка эффективных алгоритмов

Курсовая работа

формат doc
размер 1.16 МБ
добавлен 09 сентября 2011 г.

Содержание Введение: Актуальность темы Понятие алгоритма Признаки алгоритмов Структуры данных и их представление в памяти ЭВМ Эффективность алгоритмов и методы её достижения Форма алгоритмов Эффективность алгоритмов Машина Тьюринга Краткое содержание курсовой работы Разработка эффективных алгоритмов: Типы алгоритмов Линейный алгоритм Задание 1 Алгоритмы разветвляющейся структуры Задание 2 Циклические вычислительные процессы Задание 3 Словесн...

Марков А.А. Теория алгоритмов

формат djvu
размер 3.51 МБ
добавлен 11 июня 2010 г.

В оригинале - "Теория Алгорифмов". М. -Л.: Издательство Академии Наук СССР, 1954. - 377 с. Книга вводит читателя в область теории алгоритмов. В ней отыскали отблеска эти нюансы доктрины как многоцелевые, обычные методы, исчеслия Поста, комбинаторная неувязка Поста, неувязка определения применимости алгоритмов и всякое разное. Книга написана на высочайшем математическом уровне.

Пильщиков В.Н., Абрамов В.Г., Вылиток А.А., Горячая И.В. Машина Тьюринга и алгоритмы Маркова. Решение задач

формат djvu
размер 255.05 КБ
добавлен 04 января 2012 г.

М.: МГУ, 2006. – 47 с. Учебно-методическое пособие Задачи на составление алгоритмов в виде машины Тьюринга и нормальных алгоритмов Маркова, а также задачи теоретического характера. Сведения по теории алгоритмов, типичные приёмы решения задач и большой набор задач для самостоятельного решения. Пособие рассчитано на студентов 1 курса факультета ВМК МГУ и преподавателей, ведущих семинарские занятия по программированию.

Скиена С. Алгоритмы. Руководство по разработке

формат djvu
размер 10.81 МБ
добавлен 16 января 2012 г.

2-е изд.: Пер. с англ. — СПб.: БХВ-Петербург. 2011. — 720 с.: ил. Книга является наиболее полным руководством по разработке эффективных алгоритмов. Первая часть книги содержит практические рекомендации по разработке алгоритмов: приводятся основные понятия, дается анализ алгоритмов, рассматриваются типы структур данных, основные алгоритмы сортировки, операции обхода графов и алгоритмы для работы со взвешенными графами, примеры использования комбин...