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



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

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

Комментарии


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


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

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

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

Wegener I. The Complexity of Boolean Functions

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

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

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

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

разное
Учебное пособие. ЮУрГУ, кафедра ЭВМ, 2009. - 64 стр.

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

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

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

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

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

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

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

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

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

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

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

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

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