![](/user_photo/2706_HbeT2.jpg)
- •30) Элементы теории нечетких множеств Нечеткие алгоритмы.
- •31) Современные неклассические логики. Перспективы развития логики.
- •32) Алгоритм и его свойства
- •33) Схемы алгоритмов
- •34) Задачи теории алгоритмов
- •35) Логические исчисления: исчисление предикатов
- •36) Система натурального вывода
- •37) Теоремы Гегеля
- •38) Получение по схеме алгоритма графа эквивалентного автомата.
- •39) Получение по схеме алгоритма переключательных функций эквивалентного автомата.
- •40) Получение по схеме алгоритма схемы эквивалентного автомата
- •41) Рекурсивные ф-ции
- •42) Машина Тюринга
- •43) Машина Поста
- •44) Нормальные алгорифмы Маркова
- •46) Сложность алгоритмов
- •47) Понятие о математической лингвистике. Формальный язык. Кодирование цепочек.
- •48) Формальные грамматики и их св-ва
- •49) Автоматное представление регулярных языков
- •50) Суждения. Модальные и категорические суждения
- •51) Простые категорические суждения
- •52) Семантика простого категорического суждения
- •53) Отношения между суждениями. Логический квадрат
- •54) Виды умозаключений
- •55) Непосредственное умозаключение. Таблица непосредственных суждений
- •Умозаключение путем обращения суждения меняются субъект и предикат исходного суждения:
- •56) Опосредованное дедуктивное умозаключение
- •Фигуры пкс
- •57) Дополнительные виды силлогизмов
- •58) Индуктивное умозаключение. Математическая индукция.
- •59) Синтаксис и семантика языка логики высказываний. Формализация высказываний. Проблема дедукции
- •II закон противоречия
- •III закон исключенного третьего
- •60) Равносильные преобразования в логике высказываний
32) Алгоритм и его свойства
Алгоритм- это точное предписание определяющее вычислительный процесс, от начальных данных к искомому результату. Свойства: 1) массовость, предполагается, что алгоритм может быть пригоден для решения всех задач данного типа. 2) результативность, алгоритм должен приводить к получению результата за конечное число шагов. 3) определенность, однозначность результата вычислительного процесса при заданных исходных данных. 4) Дискретность, описываемый алгоритмом процесс и сам процесс и сам алгоритм могут быть разбиты на элементарные этапы.
33) Схемы алгоритмов
Логическая схема алгоритмов- это выражение, состоящие из символов операторов, логических условий, следующих в определенном порядке, а также нумерованных стрелок, расставленных особым способом. Матричная схема алгоритмов – это квадратная матрица, элементы которой указывают условия передачи управления от i-го оператора строки к j-му оператору столбца. Граф-схема алгоритма - это ориентированный граф особого вида. Он содержит вершины 4 типов:1. операторные (прямоугольник) 2. условные (ромб), начальная вершина (овал) 4. конечная вершина (овал).вершины соединяются дугами.
Гост 19.701-90
-терминатор
(начало, конец)
- поток
данных
- соединитель
- решение
-процесс
-
комментарий
34) Задачи теории алгоритмов
Задачи:1. алгебраически разрешимые: а) сложные б) простые
-
алгебраически не разрешимые
35) Логические исчисления: исчисление предикатов
Алфавит и определение формулы исчисления предикатов совпадают с логикой предикатов, за исключением того, что в качестве логических операций используем только операции , -.
Аксиомы исчисления предикатов: в качестве трех первых берутся, например, аксиомы исчисления высказываний:А1. А(ВА);
А2. (А(ВС))((АВ)(АС));
А3.
(
)((
А)В).
Добавляются «собственные» аксиомы:
А4. xi [A(xi) A(xj)], где формула A(xi) не содержит переменной xj.
А5. [A(xi)xj A(xj)], где формула A(xi) не содержит переменной xj.
Правила вывода:
1.
Правило m.p:
.
2. Правило связывания квантором общности:
,где
формула В не содержит переменной xi.
Воспользуемся «метадовказательством»:
соответствующее множество дизъюнктов
невыполнимо
(функция Сколема).
3.
Правило связывания квантором существования:
где формула В не содержит переменной xi..
4. Правило переименования связанной переменной .Связанную переменную формулы А можно заменить другой переменной, не являющейся свободной в А.
36) Система натурального вывода
Система натурального вывода- это доказательство по Генцену. Правила вывода в этой формальной системы делятся на правила введения
1.
введение конъюнкции: (В)
,Н-некоторое
мн-во формул (гипотез) - метасимвол
«влечет»
2.
введение дизъюнкции: : (В)
,
;
3.
введение импликации: (В)
;
4введение
инверсии: (В )
.
правила исключения логических операций:
5.
исключение конъюнкции: (И)
,
;
6.исключение
дизъюнкции(И)
7.исключение
импликации(И)
;
8.исключение
инверсии(И )
.
Базисные правила:
Б1:
Б2: