Так что выбирай, что тебе необходимо и читай онлайн выбранную работу на русском языке или можешь скачать бесплатно и без регистрации!
Двоичное дерево. Матрица связей и таблица подстановок.
темы: Математическая логика
Особое место в анализе цепочек формального языка занимает двоичное дерево, в состав которого входят корень и два непересекающихся двоичных поддерева, называемые левым и правым поддеревьями данного корня. В отличие, от дерева разбора из корня и каждого узла дерева исходит не более двух дуг. Такое дер...
Формальные грамматики типа 0 и 1. Вывод цепочек терминальных символов.
темы: Математическая логика
Грамматика типа 0 - грамматика произвольного типа без каких-либо ограничений на цепочки символов. Продукции этой грамматики имеют вид: α ::= β. В обеих частях продукции могут быть в произвольном порядке и любом количестве терминальные и нетерминальные символы, т. е. α, β V*. Такой тип грамматики п...
Исчисление нечётких множеств. Основные понятия. Алгебра нечётких множеств.
темы: Математическая логика
Если универсальное множество U разбить на подмножества Xi, то для каждого элемента u U может быть найдена функция принадлежности μxi(U): U [0; 1], характеризующая степень принадлежности этого элемента множеству Xi. Функция μxi принимает значение в интервале [0; 1]. Если носитель множества Xi сос...
Исчисление нечётких отношений. Основные понятия. Алгебра нечётких отношений
темы: Математическая логика
Наряду с нечёткими множествами и нечёткими переменными в нечётком исчислении определённую роль играют нечёткие отношения, которые формируются в виде подмножества декартового произведения 2-х подмножеств, т. е. r: (X Y) X Y. При этом функция принадлежности μr(x; y)/(x; y) характеризует степень ...
Исчисление предикатов. Алгебра предикатов. Основные логические операции.
темы: Математическая логика
Пусть дан алфавитT = T1 T2 T3 T4 T5 T6 T7, гдеT1 = {x; y; z; …} – предметные переменные;T2 = {a; b; c; …} – предметные постоянные;T3 = {, &, , , } – лог. связки;T4 = {f1i; f2j; f3k; …} – функциональные символы;T5 = {P1i; P2j; P3k; …} – предикатные символы;T6 = {; } – кванторы;T...
Исчисление предикатов. Основные понятия.
темы: Математическая логика
В то время, как исчисление высказываний проявляет интерес только к внешним связям простых повествовательных предложений, исчисление предикатов проникает внутрь предложения, исследуя связи между его составными частями. Основной частью любого высказывания является понятие, как форма отражения реальной...
Исчисление высказываний (ив). Основные понятия.
темы: Математическая логика
Высказывания - предложения естественного языка, в которых содержится информация о предмете, факте, явлении, событии или процессе, и которые могут быть оценены как истинные или ложные (напр. повествовательные предложения). Пример: “Колумб открыл Америку” – истина; “Киев – столица Узбекистана” - ложь....
Реляционная логика. Основные понятия.
темы: Математическая логика
Известно, что соответствие, заданное на элементах одного множества X, называют отношением (relation). Правила, заданные отношением, формируют множество упорядоченных последовательностей элементов множества X. В свою очередь это множество является подмножеством декартового произведения множества X, т...