Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
Другие темы раздела
Логика и множества Метод автоморфизма для последовательности натуральных чисел Дана интерпретация <N*, *, =>, где N* - множество конечных последовательностей натуральных чисел, а * - конкатенация. Необходимо методом автоморфизмов доказать, что в данной интерпретации невыразим предикат "В последовательности u нет повторных элементов". Никак не могу найти подходящий автоморфизм. Из-за конкатенации выходит, что нам необходимо каждый символ(цифру) переводит независимо от... https://www.cyberforum.ru/ mathematical-logic-sets/ thread1878320.html Логика и множества Задание по реляционной логике
Согласно варианту (см. табл. 4): • удалить из отношений r1 и r2 (см. табл. 3) четыре пары (столбец, строка) и сформировать из оставшихся строк и столбцов отношения ин-дивидуального задания (r1 и r2); имена атрибутов при этом не изменять, • выполнить операции (r1∪r2), (r1∩r2), (r1\r2), (r1r2): написать формулы реляционной алгебры, реляционного исчисления с...
Логика и множества Существуют натуральные числа, которые одновременно делятся без остатка на 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/ thread1877910.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/ thread1875963.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}. Не могу понять как с этим работать и что это? поскажите, пожалуйста, на просто примере
Логика и множества Доказать, что функция примитивно рекурсивна https://www.cyberforum.ru/ mathematical-logic-sets/ thread1874675.html
Доказать, что функция примитивно рекурсивна f(y)=y^4
Логика и множества Составить бинарное отношение
Помогите с решением. Составить бинарное отношение R, заданное на множестве М={ 1,2,3,4,5}, и состоящее из пар (а, в), таких, что (а + 1) - делитель (а + в). Установить свойства бинарного отношения, построить его граф, составить для графа матрицу инцидентности и матрицы смежности. Упорядочить вершины графа, используя алгоритм Фалкерсона.
Логика и множества Привести пример таких равных выражений множеств, чтобы их диаграммы Венна не совпадали Вот задание дословно Правила форума: 5.18. Запрещено размещать задания и решения в виде картинок и других файлов с их текстом. Задания и решения надо перепечатывать на форум (для набора формул есть Редактор формул). Картинки (вложения) - исключительно для схем, чертежей, диаграмм, графиков. Задание, код программы, формулы, решение - текстом в теме. https://www.cyberforum.ru/ mathematical-logic-sets/ thread1873678.html
Эксперт по математике/физике
5003 / 3615 / 1162
Регистрация: 01.09.2014
Сообщений: 9,768
16.12.2016, 22:40 0

Даны функциональная константа, предикатная константа и определённое количество аксиом. Как построить модель - Логика и множества - Ответ 9907303

16.12.2016, 22:40. Показов 980. Ответов 5
Метки (Все метки)

Ответ

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

Вернуться к обсуждению:
Даны функциональная константа, предикатная константа и определённое количество аксиом. Как построить модель Логика и множества
1
Заказать работу у эксперта

Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
16.12.2016, 22:40
Готовые ответы и решения:

Константа, как количество элементов массива
Код: public class NewClass() { /* Константы */ final int iMaxNumOfMass = 200; // Максимальное...

Ошибка константа. как исправить?
помогите пожалуйста, как убрать эту ошибку?

Как определить - переменная или константа?
Уважаемые знатоки! Помогите разобраться с переменными На нескольких листах есть ячейки с...

Константа в качестве параметра метода - как?
Класс Vehicle хранит информацию о транспортных средствах: скорость, направление, имя владельца, id....

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

Как понять, какого типа константа?
константу обычно обо значают типа s = 'stroka'; n = 1344; Как понять какого типа константа n?...

Константа как объединение других констант
В других языках можно константу-член класса задать как результат объединения других констант. А в...

Как указать что это именно константа?
Есть констант штук 10 Хочу вывести нужную echo CONST_.$n; И вместо значения выводит CONST_1...

Код Алгоритма Полларда как устранить большие константа?
Приветствую Всех! Очень интересуюсь фа́кторингом в сети нашел статью &quot;Алгоритм Ро Полларда для...

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