Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
Другие темы раздела
Логика и множества Существуют натуральные числа, которые одновременно делятся без остатка на 2 , 3 и 5 . Перевести на язык формул ЛП следующее предложение , предварительно введя предметное множество и используя предикат Р(х,у)= ’ x делится без остатка на у’: “существуют натуральные числа, которые одновременно делятся без остатка на 2 , 3 и 5”. 2.Доказать выполнимость на множестве натуральных чисел формулы ЭхР(х) . https://www.cyberforum.ru/ mathematical-logic-sets/ thread1877956.html Логика и множества Является ли формула выводимой в исчислении предикатов?
2. Является ли формула выводимой в исчислении предикатов? Если да, то построить вывод, если нет, то проверить выводимость в одну из сторон. Что в данном примере означает "выводимость", "построить вывод"? Заранее очень благодарен за помощь.
Логика и множества Доказать общезначимость формул в алгебре предикатов https://www.cyberforum.ru/ mathematical-logic-sets/ thread1877833.html
Здравствуйте! Есть 2 задания по дисциплине мат. логика, которые вызывают затруднения. Помогите с ними, пожалуйста. Еще было бы здорово посоветовать какие-то статьи по этой теме. В интернете почти не нашел нормальных примеров для решения подобных заданий. 1. Доказать общезначимость формул в алгебре предикатов Заранее очень благодарен за помощь.
Логика и множества Найти область определения и область значений https://www.cyberforum.ru/ mathematical-logic-sets/ thread1876261.html
R(P)=(-бескон; 0], а следовательно D(P^-1)=(-бескон; 0]. А вот как быть с остальным затрудняюсь
Доказать клаузу методом резолюций Логика и множества
Доказать клаузу методом резолюций
Логика и множества Объяснить вывод логики высказываний https://www.cyberforum.ru/ mathematical-logic-sets/ thread1875919.html
Вопрос в следующем имеется часть дерева. рисунок 1, весь вопрос в последних 2-х строчках, интуитивно оно понятно (дерево делал сам) но преподаватель сказал объяснить как я вывел такое дело. что привело меня сюда....
Логика и множества Как работать с такими выражениями? https://www.cyberforum.ru/ mathematical-logic-sets/ thread1875131.html
Добрый день! Тоже есть задача по упрощению, и там встречаются записи типа 2^A и B^C где А, B, C - конечные множества. Например A={1}, B={2,3}, C={4,5}. Не могу понять как с этим работать и что это? поскажите, пожалуйста, на просто примере
Доказать, что функция примитивно рекурсивна Логика и множества
Доказать, что функция примитивно рекурсивна f(y)=y^4
Логика и множества Составить бинарное отношение Помогите с решением. Составить бинарное отношение R, заданное на множестве М={ 1,2,3,4,5}, и состоящее из пар (а, в), таких, что (а + 1) - делитель (а + в). Установить свойства бинарного отношения, построить его граф, составить для графа матрицу инцидентности и матрицы смежности. Упорядочить вершины графа, используя алгоритм Фалкерсона. https://www.cyberforum.ru/ mathematical-logic-sets/ thread1874004.html Логика и множества Привести пример таких равных выражений множеств, чтобы их диаграммы Венна не совпадали Вот задание дословно Правила форума: 5.18. Запрещено размещать задания и решения в виде картинок и других файлов с их текстом. Задания и решения надо перепечатывать на форум (для набора формул есть Редактор формул). Картинки (вложения) - исключительно для схем, чертежей, диаграмм, графиков. Задание, код программы, формулы, решение - текстом в теме. https://www.cyberforum.ru/ mathematical-logic-sets/ thread1873678.html
Построить дерево доказательств Логика и множества
Помогите построить дерево доказательств. (A>B) |- ((неB или C)>(неA или C))
Логика и множества Записать на языке предикатов определение записать на языке предикатов определение бесконечно малой функции (функция f(x) называется бесконечно малой в точке x=a, если существует окрестность этой точки, в которой для любого x справедливо неравенство f(x)<e при любом e>0 https://www.cyberforum.ru/ mathematical-logic-sets/ thread1872230.html
0 / 0 / 0
Регистрация: 14.12.2016
Сообщений: 2
0

Задание по реляционной логике - Логика и множества - Ответ 9896308

14.12.2016, 15:36. Показов 873. Ответов 0
Метки (Все метки)

Author24 — интернет-сервис помощи студентам
Согласно варианту (см. табл. 4):
• удалить из отношений r1 и r2 (см. табл. 3) четыре пары (столбец, строка) и сформировать из оставшихся строк и столбцов отношения ин-дивидуального задания (r1 и r2); имена атрибутов при этом не изменять,
• выполнить операции (r1∪r2), (r1∩r2), (r1\r2), (r1r2): написать формулы реляционной алгебры, реляционного исчисления с переменными-кортежами, составить таблицы,
• выполнить операции, представленные в графе 3 табл. 4: написать формулы реляционной алгебры, реляционного исчисления с переменными-кортежами, составить таблицы для операций >< или >θ< (в зависимости от варианта), δ, π.
таблица 3а
r1 A1A2A3A4A5A6A7A8
 a1b2c3d41234
 a2b3c4d12341
 a3b4c1d23412
 a4b1c2d34123
 a1b1c1d14321
 a2b2c2d23214
 a3b3c3d42143
 a4b4c4d41432

таблица 3b
r2A1A2A3A4A5A6A7A8
 a1b2c3d41234
 a2b3c4d12341
 a3b4c1d23412
 a4b1c2d34123
 a1b1c1d14321
 a2b2c2d23214
 a3b3c3d42143
 a4b4c4d41432

таблица 4
ВариантУдалить (столбец,строка)Выполнить заданные операции
123
16r1: (3,1),(4,2),(7,4),(8,7) r2: (3,2),(4,5),(7,6),(8,7) π(r2.A2, r1A5, r2.A6)(δ((r1>θ<r2, r1.A5=r2.A6), r2.A2≠b3 and r2.A6≥2))


Вернуться к обсуждению:
Задание по реляционной логике Логика и множества
0
Заказать работу у эксперта
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
14.12.2016, 15:36
Готовые ответы и решения:

Задание по мат. логике
люди добрые помогите решить задание никто ладу дать не может не нашел ничего подобного --найти...

Задание по логике высказываний
a. С -&gt; A, B v C, B -&gt; D, D -&gt; A =&gt; A b. D -&gt; E, E -&gt; C, A ~ D, B ~ C =&gt; A -&gt; B c. A v B, A -&gt;...

Построение реляционной БД с IF
Пишу тест задание: Менеджер вкладов. Требуется БД (логически верная организация структуры,...

Разобраться с реляционной БД
Привет! Помогите пожалуйста с реляционной базой. Знаю, просьба так себе, но может найдется время...

0
14.12.2016, 15:36
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
14.12.2016, 15:36
Помогаю со студенческими работами здесь

Выбор не реляционной БД
Посоветуйте не реляционную базу данных. Структура данных будет иметь вид рекуррентной семантической...

Структура реляционной БД MS Access
Здравствуйте! Подправьте, пожалуйста модель данных, сделанную мной в MS Access, уже просто не вижу...

из реляционной в схему данных
всем привет) сразу в лоб: такая проблема.с преподом нарисовали реляционную модельку данных, говорит...

Построение реляционной модели
Задание - создать БД про Формулу 1. Сущностей, которые уже созданы, вполне достаточно. Помогите,...

0
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru