Информатика и вычислительная техника
  • формат pdf
  • размер 2.54 МБ
  • добавлен 26 ноября 2009 г.
Самохин А.В. Математическая логика и теория алгоритмов
М.: Изд-во Моск. гос. ун-та гражд. авиации, 2003. - 237 с. Учебное пособие.

Содержание: Множества и мощности. Упорядоченные множества. Логика высказываний. Языки первого порядка. Исчисление предикатов. Вычислимые и универсальные функции. Машины Тьюринга.

В основном тексте содержится более 200 задач теоретической направленности.
Читать онлайн
Похожие разделы
Смотрите также

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

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

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

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

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

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

Гук А.К. Математическая логика и теория алгоритмов

  • формат djvu
  • размер 556.29 КБ
  • добавлен 06 июля 2009 г.
Книга в формате djvu. Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспек- конспекты лекций, которые читались студентам второго курса отделения компьютерных наук Омского государственного университета в 2002 году. Для студентов, обучающихся по специальности 075200 — «Ком- «Компьютерная безопасность» и по специальности 220100 — «Вычисли- «Вычислительные машины, комплексы, си...

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

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

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

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

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

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

Подзоров С.Ю. Теория алгоритмов. Полный конспект лекций по курсу

  • формат pdf
  • размер 1002.44 КБ
  • добавлен 25 ноября 2010 г.
Новосибирск: НГУ, 2005. - 130 с. Курс по теории алгоритмов является составной частью дисциплины "Математическая логика", читаемого на 2-3 курсах механико-математического факультета НГУ. В настоящем курсе подробно рассматриваются конечные автоматы и языки, рекурсивные функции и понятие вычислимости, вопросы сложности вычислений.

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

Презентация
  • формат ppt
  • размер 159.5 КБ
  • добавлен 18 ноября 2010 г.
24 слайда//Теория алгоритмов это. Возникновение теории алгоритмов. Модели вычисления. Машина Тьюринга. Машина Поста. Устройство машины Тьюринга.

Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения

  • формат djvu
  • размер 3.55 МБ
  • добавлен 01 ноября 2009 г.
М., Наука, 1987г. -288 с. Важнейшие достижения теории алгоритмов. Приложения теории алгоритмов к математической логике, теории вероятностей, теории информации и др. Влияние теории алгоритмов на алгоритмическую практику. Содержание: Основные математические приложения теории алгоритмов: 1. Исследование массовых проблем. 2. Приложения к основаниям математики. 3. Приложения к математической логике. 4. Вычислимый анализ. Нумерованные структуры. 5....