Записать предложения на логическом языке логоки предикатов и на графовом логическом языке
Автор: saman2203 • Май 5, 2023 • Лабораторная работа • 697 Слов (3 Страниц) • 149 Просмотры
МИНИСТЕРСТВО ПО РАЗВИТИЮ ИНФОРМАЦИОННЫХ
ТЕХНОЛОГИЙ И КОММУНИКАЦИЙ РЕСПУБЛИКИ
УЗБЕКИСТАН
ТАШКЕНТСКИЙ УНИВЕРСИТЕТ ИНФОРМАЦИОННЫХ
ТЕХНОЛОГИЙ ИМЕНИ МУХАММАДА АЛ-ХОРАЗМИЙ
Факультет: «ТАТУ-БГУИР совместный факультет информационных
технологий»
Направление: «Исскуственный Интелект»
Лабораторная работа 2
На тему: «Записать предложения на логическом языке логоки предикатов и на графовом логическом языке:”
Выполнил(а):Иномов Самандар
Студент группы: 11-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, и поэтому данное предложение выполняется для этого графа и выбранных вершин.
...