- •Алгоритм приведения к сднф:
- •Правила вывода
- •Символы логики предикатов
- •Кванторы всеобщности и существования. Свободные и связные переменные лп.
- •Равносильные и приведенные формулы лп. Теорема о существовании приведенной формулы.
- •Выводимость в ип:
- •Логические основы эвм. Простейшие преобразователи информации. Структурная формула. Функциональная схема.
- •Свойства нечетких множеств
- •Алгоритм — это упорядоченный набор однозначных выполнимых шагов.
- •Свойства:
- •Теорема. Всякая частично рекурсивная функция f является вычислимой функцией.
- •Определение алгоритма применимого к слову. Определение алгоритма над алфавитом. Простая и заключительная подстановки в теории нормальных алгоритмов Маркова. Схема алгоритма.
- •Нумерация алгоритмов. Нумерация машин Тьюринга. Существование невычислимых по Тьюрингу функций.
- •Примеры алгоритмически неразрешимых проблем.
-
Логические основы эвм. Простейшие преобразователи информации. Структурная формула. Функциональная схема.
Для описания логики функционирования аппаратных и программных средств ЭВМ используется алгебра логики(булева).
Булева алгебра оперирует логическими переменными, которые могут принимать только два значения: истина или ложь (true или false), обозначаемые соответственно 1и 0.
Основной СС ЭВМ является двоичная СС, в которой используются только 2 цифры –1 и 0.
Логическим элементом называется преобразователь, который получая сигналы об истинности отдельных высказываний, выдаѐт результат обработки в виде логического отрицания, логической сумму или логического произведения. Введѐм условные обозначения логических элементов:
1. Инвертор (Логический элемент НЕ).
. 2. Конъюнктор (логический элемент И). Физически последовательное соединение переключателей
Дизъюнктор (логический элемент ИЛИ).
Функциональной схемой логического устройства называется схема соединения логических элементов, реализующая логическую функцию.
Структурная формула логического устройства - это форма описания функции, реализуемой логическим устройством. Построим функциональную схему по формуле и наоборот:
-
Нечеткая логика. Основные понятия (нечеткое множество, лингвистические переменные). Основные свойства нечетких множеств.
Пусть - универсальное множество, т.е. полное множество, охватывающее всю проблемную область. Нечеткое множество представляет собой набор пар , где и - функция принадлежности, которая представляет собой некоторую субъективную меру соответствия элемента нечеткому множеству .
Свойства нечетких множеств
а) нечеткое множество пустое, т.е. , если , .
б) нечеткие множества и эквивалентны, т.е. , если
, .
в) нечеткое множество является подмножеством нечеткого множества , т.е. , если , .
Лингвистическую переменную можно определить как переменную, значениями которой являются не числа, а слова или предложения естественного (или формального) языка.
-
Интуитивное определение алгоритма. Возможные случаи протекания алгоритмического процесса. Определение алгоритма, применимого к исходному набору данных. Характерные черты алгоритма. Область применимости алгоритма.
Интуитивное понятие алгоритма позволяет определить является ли данный процесс алгоритмом. Но существуют и алгоритмически неразрешимые задачи, т .е. задачи для которых построить алгоритм в принципе невозможно.
Алгоритм — это упорядоченный набор однозначных выполнимых шагов.
Пусть алгоритм A имеет исходный набор данных P . Возможны следующие три случая протекания алгоритмического процесса.
1.На некотором шаге возникает состояние, опознаваемое как заключительное. При этом происходит остановка вычислений и выдается результат Q.
2.Каждое очередное состояние сменяется последующим до бесконечности, т.е. процесс вычислений никогда не останавливается.
3.При некотором состоянии возникает ситуация, когда процесс вычислений обрывается без выдачи результата (например, не срабатывает инструкция для определения результата вычислений). Тем самым нет перехода к следующему шагу и нет результата вычислений. В этом случае говорим, что произошла безрезультатная остановка.