Лекции - Машины Тьюринга. Основы теории вычислимости. Булевы функции и пропозициональные формулы

Лекции - Машины Тьюринга. Основы теории вычислимости. Булевы функции и пропозициональные формулы
  • лекции
  • pdf
  • 276.83 КБ
  • скачан 50 раз
  • добавлен 05.01.2012
Автор Д. Ицыксон (ПОМИ РАН), 2008. - 91 с.

План.
O-символика и ассимптотические классы функций
Машины Тьюринга
Элементы теории вычислимости: разрешимые перечислимые языки
Булевы функции и пропозициональные формулы.

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


Нет изображения

Лекции по дискретной математике

  • лекции
  • doc
  • 4.03 МБ
  • скачан 179 раз
  • добавлен 22.12.2009
Лекции для студентов Бурятского филиала ФГОУ ВПО СибГУТИ. Раздел 1 Основы теории множеств. Раздел 2 Формулы логики. Раздел 3 Булевы функции. Раздел 4 Предикаты и бинарные отношения. Раздел 5 Отображения. Подстановки. Раздел 6 Метод математической индукции. Раздел 7 Основы теории графов. Раздел 8 Элементы теории алгоритмовrn ...
Wegener I. The Complexity of Boolean Functions

Wegener I. The Complexity of Boolean Functions

  • разное
  • pdf
  • 1.88 МБ
  • скачан 10 раз
  • добавлен 11.05.2011
Wegener I. The Complexity of Boolean Functions. (Wiley-Teubner series in computer science).
John Wiley & Sons Ltd, and B. G. Teubner, Stuttgart, 1987.
Различные аспекты теории сложности: булевы функции, схемы, формулы, программы итд.
Булевы функции и схемы.
Минимизация булевых функций.
Разработка эффектив...
Дехтярь М.И. Основы дискретной математики. Лекции 1-7

Дехтярь М.И. Основы дискретной математики. Лекции 1-7

  • разное
  • docx
  • 844.29 КБ
  • скачан 78 раз
  • добавлен 16.01.2011
Предварительные сведения.
Содержание:
Множества.
Операции над множествами.
Как доказывать равенство множеств?
Отношения и функции. Мощность множества.
Задачи.
Индукция и комбинаторика.
Содержание:
Метод математической индукции.
Задачи.
Элементы комбинаторики.
Размещения, перестанов...
Ершов С.С. Элементы теории алгоритмов

Ершов С.С. Элементы теории алгоритмов

  • разное
  • pdf
  • 622.95 КБ
  • скачан 77 раз
  • добавлен 05.11.2010
Учебное пособие. ЮУрГУ, кафедра ЭВМ, 2009. - 64 стр.

В пособии рассматриваются общие особенности теории алгоритмов, а также конкретные алгоритмические системы, такие как «Рекурсивные функции», «Машины Поста и Тьюринга», «Нормальные алгоритмы Маркова» и т. п. В соответствии с предметом дисциплины «Математическая логика и...
Гаврилов Г.П. Сапоженко А.А. Задачи и упражнения по дискретной математике

Гаврилов Г.П. Сапоженко А.А. Задачи и упражнения по дискретной математике

  • разное
  • djvu
  • 3.26 МБ
  • скачан 882 раза
  • добавлен 16.08.2008
Учебное пособие - М.: ФИЗМАТЛИТ, 2005 г. - 416 с. В пособии включены задачи и упражнения по конечнозначным логикам (втч и по алгебре логики), по теории алгоритмов, теории графов и сетей, теории кодирования, комбинаторике, минимизации булевых функций и синтезу схем и формул, реализующих булевы функции. Имеются задачи, предназначе...
Кулабухов С.Ю. Дискретная математика

Кулабухов С.Ю. Дискретная математика

  • разное
  • pdf
  • 912.93 КБ
  • скачан 59 раз
  • добавлен 13.01.2008
Таганрог, 2001 г.
Введение в теорию множество, основы комбинаторики, алгебра высказываний, булевы функции, исчисление высказываний, алгебра предикатов, Основы теории алгоритмов
Гисин В.Б. Лекции по дискретной математике

Гисин В.Б. Лекции по дискретной математике

  • разное
  • pdf
  • 2.08 МБ
  • скачан 78 раз
  • добавлен 20.12.2008
Множества. Отображения и соответствия. Отношения. Натуральные числа. Логика высказываний. Логика предикатов. Формальные теории. Алгоритмы и вычислимость. Булевы функции. Элементы теории кодирования. Функции выбора и их логическая форма. Элементы комбинаторики. Биномиальная модель. Биномиальный ряд. Производящие. Рекуррентные пос...
Нет изображения

Лекции по дискретной математике

  • лекции
  • doc
  • 319.58 КБ
  • скачан 316 раз
  • добавлен 05.11.2007
Все лекции по дискретной математике факультета Информационных технологий. Элементы общей алгебры. Различные виды алгебраических структур. Элементы математической логики. Логические функции. Булевы алгебры. Булевы алгебры и теория множеств. Полнота и замкнутость. Язык логики предикатов. Комбинаторика. Графы: основные понятия и оп...
Нет изображения

Лекции по дискретной математике

  • лекции
  • doc
  • 442.66 КБ
  • скачан 214 раз
  • добавлен 22.12.2006
Множества и операции над ними.
Соответствия и функции.
Отношения и их свойства.
Основные виды отношений.
Элементы общей алгебры.
Различные виды алгебраических структур.
Элементы математической логики.
Логические функции.
Булевы алгебры.
Булевы алгебры и теория множеств.
Полнота и замкнуто...
Лекция - Машина Тьюринга

Лекция - Машина Тьюринга

  • лекции
  • doc
  • 29.26 КБ
  • скачан 69 раз
  • добавлен 21.03.2011
Элементы модели алгоритма. Машина Тьюринга имеет 3 алфавита. Правила работы машины (правила обращения УУ с программой и СЗУ ). Замечания. Пример (Пусть программа машины Тьюринга имеет вид, Предъявим машине ленту, которую она воспринимает в состоянии q1).