Лавров C.C. Программирование - Основы Средства Теория

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

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

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

Битюцкий В.П., Папуловская Н.В. Теория алгоритмов

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

Екатеринбург: ГОУ ВПО УГТУ-УПИ, 2006. - 17 с. Методическое пособие по дисциплине «Математическая логика и теория алгоритмов». Приводится формализация понятия «алгоритм». Обсуждаются два способа формального описания алгоритма –с помощью нормальных алгоритмов Маркова и через машины Тьюринга. Приводятся меры сложности алгоритмов, определяются легко и трудноразрешимые задачи, классы задач P и NP, алгоритмически неразрешимые проблемы.

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

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

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

Громкович Ю. Теоретическая информатика. Введение в теорию автоматов, теорию вычислимости, теорию сложности, теорию алгоритмов, рандомизацию, теорию связи и криптографию

формат pdf
размер 2.09 МБ
добавлен 30 марта 2010 г.

Пер. с нем. / Под ред. Б. Ф. Мельникова. - 3-е изд. - СПб.: БХВ-Петербург, 2010. - 336с (Учебная литература для вузов) Изложены основные понятия теоретической информатики: алфавиты, слова, языки, алгоритмические проблемы, конечные автоматы, машины Тьюринга. Рассматриваются теория вычислимости, теория сложности, алгоритмизация труднорешаемых задач, рандомизация, теория связи и криптографические методы. Книга известного ученого вышла на 4-х языках...

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

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

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

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

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

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

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

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

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

Марков А.А., Нагорный Н.М. Теория алгоритмов

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

М.: Наука, 1984. - 432 с. В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые ее применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам этой теории.

Основы математической логики и теории алгоритмов

формат doc
размер 1.96 МБ
добавлен 22 октября 2009 г.

Автор неизвестен. Конспект лекций по курсу "Матем. логика и теория алгоритмов". 2008 год. - 80 стр. Исчисления высказываний. Определение формального исчисления. Исчисление высказываний генценовского типа. Эквивалентность формул. Нормальные формы. Семантика исчисления секвенций. Исчисление высказываний гильбертовского типа. Алгоритмы проверки общезначимости и противоречивости в ИВ. Логика и исчисления предикатов. Алгебр. системы. Формулы сигнатуры...

Презентация - Теория алгоритмов

Презентация

формат ppt
размер 159.5 КБ
добавлен 18 ноября 2010 г.

24 слайда//Теория алгоритмов это. Возникновение теории алгоритмов. Модели вычисления. Машина Тьюринга. Машина Поста. Устройство машины Тьюринга.