Работы по предмету: Математическая логика - рефераты, доклады, курсовые работы, контрольные и дипломы

Особое место в анализе цепочек формального языка занимает двоичное дерево, в состав которого входят корень и два непересекающихся двоичных поддерева, называемые левым и правым поддеревьями данного корня. В отличие, от дерева разбора из корня и каждого узла дерева исходит не более двух дуг. Такое дер...

Грамматика типа 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, т...