Essays.club - Получите бесплатные рефераты, курсовые работы и научные статьи
Поиск

Записать предложения на логическом языке логоки предикатов и на графовом логическом языке

Автор:   •  Май 5, 2023  •  Лабораторная работа  •  697 Слов (3 Страниц)  •  152 Просмотры

Страница 1 из 3

МИНИСТЕРСТВО ПО РАЗВИТИЮ ИНФОРМАЦИОННЫХ
ТЕХНОЛОГИЙ И КОММУНИКАЦИЙ РЕСПУБЛИКИ
УЗБЕКИСТАН

ТАШКЕНТСКИЙ УНИВЕРСИТЕТ ИНФОРМАЦИОННЫХ
ТЕХНОЛОГИЙ ИМЕНИ МУХАММАДА АЛ-ХОРАЗМИЙ

Факультет: «ТАТУ-БГУИР совместный факультет информационных
технологий»


Направление: «Исскуственный Интелект»

Лабораторная работа 2

На тему: «Записать предложения на логическом языке логоки предикатов и на графовом логическом языке:”

                                                                 

                                                                 

                                                               Выполнил(а):Иномов Самандар
                                                                                  Студент группы: 1
1-21

    Ташкент 2023

ВАРИАНТЫ ЗАДАНИЙ:

Записать предложения на логическом языке логоки предикатов и на графовом логическом языке:

Вариант g - 7

1)Простая цеп - цеп, у которой все вершины различны;

2) Рёберно-независимые маршруты - множество маршрутов, у которых рёбра различны;

Задания 1

Для любого натурального числа n и любых различных вершин v1, v2, ..., vn в графе G существует цепь, соединяющая вершины v1 и vn, и состоящая только из различных вершин v1, v2, ..., vn.

Формально: nℕ, v1,v2,...,vn  V(G) (v1 ≠ v2 ≠ ... ≠ vn  простая цепь между v1 и vn, проходящая только через вершины v1, v2, ..., vn).

Здесь V(G) обозначает множество вершин графа G.

[pic 1]

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

Например, мы можем выбрать вершину A и вершину C и проверить, существует ли простая цепь длины 2 между этими вершинами. Мы можем видеть, что существует простая цепь A → B → C, и поэтому данное предложение выполняется для этого графа и выбранных вершин.

...

Скачать:   txt (5.3 Kb)   pdf (314.9 Kb)   docx (742.5 Kb)  
Продолжить читать еще 2 страниц(ы) »
Доступно только на Essays.club