Так же решение контрольных, написание курсовых и рефератов по другим предметам.

logo

Решение контрольных по математике!!!

Связаться с нами

E-mail: matica@narod.ru

ICQ 229036787, ICQ 320619

 

Home Методички по математике Курс лекций по математической логике и теории алгоритмов (Алиев)
Курс лекций по математической логике и теории алгоритмов (Алиев)
Фильтр     Показывать по 
Название
1.1. Основные способы задания двоичных функций. Табличный способ задания
1.2. Геометрический способ задания
1.3. Задание двоичных функций формулами
10. Понятие о теории моделей
11. Элементы теории алгоритмов
11.1. Основные требования к алгоритмам
11.2. Машина Тьюринга и функции, вычислимые по Тьюрингу
11.3. Машины произвольного доступа и вычислимые функции
12. Частично рекурсивные функции и их вычислимость
12.1. Вычислимость суперпозиции
12.2. Вычислимость рекурсии
12.3. Вычислимость минимизации
13. Нумерация наборов чисел и слов
14. Нормальные алгоритмы
15. Нумерация алгоритмов. Нумерация машин Тьюринга
15.1. Нумерация МПД-программ
15.2. Универсальные функции
16.1. Алгоритмически неразрешимые проблемы
16.2. Примечательные алгоритмически неразрешимые проблемы
17. Характеристики сложности вычислений
18.1. Классы сложности P и NP и их взаимосвязь
18.2. NP-полные задачи. Теорема Кука
18.3. Основные NP-полные задачи. Сильная NP-полнота
2.1. Основные способы задания двоичных функций (продолжение). Нормальные формы двоичных функций
2.2. Многочлен Жегалкина и действительный многочлен двоичной функции
2.3. Теорема о разложении в ряд Фурье
3.1. Полнота и замкнутость. Функционально полные системы
3.2. Замкнутые классы булевых функций
3.3. Критерий полноты системы булевых функций
4.1. Псевдобулевы функции
4.2. Функции K-значной логики
5.1 Минимизация двоичных функции
5.2. Геометрическая интерпретация минимизации ДНФ
6.1. Метод Квайна;— Мак-Класки нахождения сокращённой ДНФ двоичной функции
6.2. Метод нахождения тупиковых ДНФ
6.3. Метод Петрика нахождения тупиковых ДНФ
7.1. Алгебраические системы. Булевы алгебры
7.2. Изоморфизм алгебраических систем
8.1. Алгебры высказываний. Предикаты и операции над ними. Основные логические операции и их свойства
8.2. Предикаты и операции над ними
9.1. Исчисление предикатов. Общее понятие о логическом исчислении
9.2. Формулы алгебры предикатов
9.3. Равносильность формул. Основные отношения равносильности
9.4. Использование равносильностей для упрощения формул
9.5. Построение исчисления предикатов
9.6. Выводимость и доказуемость формул
9.7. Семантика исчисления предикатов
ВВЕДЕНИЕ
Список Литературы
 
Яндекс.Метрика
Наверх