Артикул №1070773
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 01.12.2017)
Алгебра логики. (реферат)


Артикул №1068237
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 13.11.2017)
Дана булева функция f (x, y) = (x ∨ y) → (x ∧ y ∨ x →y) . Составить таблицу значений функции и указать значение f (0, 1).
Дана булева функция  f (x, y) = (x ∨ y) → (x ∧ y ∨ x →y) .  Составить таблицу значений функции и указать значение f (0, 1).


Артикул №1068236
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 13.11.2017)
Дана формула алгебры логики A = (z ∨ (x→ x ∧ y)) ∧ (y → z)
Требуется:
1) при помощи равносильных преобразований упростить формулу;
2) построить релейно-контактные схемы для исходной и упрощенной формул.

Дана формула алгебры логики A = (z ∨ (x→ x ∧ y)) ∧ (y → z) <br />  Требуется: <br /> 1)	при помощи равносильных преобразований упростить формулу; <br /> 2)	построить релейно-контактные схемы для исходной и упрощенной формул.


Артикул №1060945
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 24.09.2017)
Построить интерпретацию формулы логики предикатов:
(ⱯxⱯyP(x,y)→ⱻxⱻyⱻzR(x,y,z)) →ⱻzS(z)

Построить интерпретацию формулы логики предикатов: 	<br />(ⱯxⱯyP(x,y)→ⱻxⱻyⱻzR(x,y,z)) →ⱻzS(z)


Артикул №1060944
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 24.09.2017)
Разбить высказывание на элементарные и записать в виде кванторной формулы логики предикатов, используя наименьшее возможное число предикатов наименьшей местности:
Через всякую точку, не лежащую на прямой, можно провести не более одной прямой, параллельной данной.



Артикул №1060942
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 24.09.2017)
Ниже приведена клауза
B → D, B → A,A V B, A → (B V C) → D V C
Необходимо выяснить при помощи алгоритма Вонга и метода резолюции является ли клауза теоремой.

Ниже приведена клауза  <br />B →  D, B → A,A V B, A → (B V C) → D V C  <br /> Необходимо выяснить при помощи алгоритма Вонга и метода резолюции является ли клауза теоремой.


Артикул №1060941
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 24.09.2017)
Используя равносильности логики высказываний, упростить исходную формулу ((А ^ B) → C) V A ≈ A ^ C Для исходной формулы и упрощенной построить таблицу истинности.
Используя равносильности логики высказываний, упростить исходную формулу  ((А ^ B) → C) V A ≈ A ^ C   Для исходной формулы и упрощенной построить таблицу истинности.


Артикул №1060940
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 24.09.2017)
Записать высказывание в виде формулы логики высказываний, используя пропозициональные (логические) переменные для обозначения элементарных высказываний, т.е. таких, которые уже не могут быть построены из каких-либо других высказываний: Неверно, что если Сидоров - не кассир, то Сидоров убил кассира; следовательно, фамилия кассира – Сидоров.


Артикул №1060939
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 24.09.2017)
Представьте заштрихованные области диаграммы Эйлера-Венна (рис) максимально компактным аналитическим выражением, в котором используется минимальное количество операций и букв.
Представьте заштрихованные области диаграммы Эйлера-Венна (рис) максимально компактным аналитическим выражением, в котором используется минимальное количество операций и букв.


Артикул №1060471
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 18.09.2017)
Нечетка логика
1. удалить из табл. 5а и 5b по четыре вершины и сформировать из оставшихся строк и столбцов отношения индивидуального задания (r1 и r2); индексы вершин не изменять,
2. выполнить операции (r1∪r2), (r1∩r2), (r1\r2), (r1⦁r2), для каждой операции написать формулы, составить таблицы отношений-результатов,
3. вычислить свойства отношений r1 и r2 и определить класс отношений (нечеткой эквиваленции, нечеткого нестрогого или нечеткого строгого порядка.

Нечетка логика<br />1.	удалить из табл. 5а и  5b по четыре вершины и сформировать из оставшихся строк и столбцов отношения индивидуального задания (r1 и r2); индексы вершин не изменять, <br />2.	выполнить операции (r1∪r2), (r1∩r2), (r1\r2), (r1⦁r2), для каждой операции написать формулы, составить  таблицы отношений-результатов, <br />3.	вычислить свойства отношений r1 и r2 и определить класс отношений (нечеткой эквиваленции, нечеткого нестрогого или нечеткого строгого порядка.


Артикул №1060470
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 18.09.2017)
Реляционная логика
1. удалить из отношений r1 и r2 (см. табл. 3) четыре пары (столбец, строка) и сформировать из оставшихся строк и столбцов отношения индивидуального задания (r1 и r2); имена атрибутов не изменять,
2. выполнить операции (r1∪r2), (r1∩r2), (r1\r2) согласно п.п. 1, 2, 3 задания (см. табл. 4); написать формулы реляционной алгебры, реляционного исчисления с переменными-кортежами, нарисовать результирующие таблицы r’,
3.написать по п. 4 задания формулы реляционной алгебры, реляционного исчисления с переменными-кортежами, составить таблицы для операций: ⊗, >< или >θ<, δ, π.

Реляционная логика<br />1.	удалить из отношений r1 и r2 (см. табл. 3) четыре пары (столбец,  строка) и сформировать из оставшихся строк и столбцов отношения индивидуального задания (r1 и r2); имена атрибутов не изменять,<br />2. выполнить операции (r1∪r2), (r1∩r2), (r1\r2) согласно п.п. 1, 2, 3  задания (см. табл. 4); написать формулы реляционной алгебры, реляционного исчисления с переменными-кортежами, нарисовать результирующие таблицы r’, <br />3.написать по п. 4 задания формулы реляционной алгебры,  реляционного исчисления с переменными-кортежами, составить таблицы для операций: ⊗, >< или >θ<, δ, π.


Артикул №1060468
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 18.09.2017)
Логика предикатов
1. преобразовать формулу к виду ПНФ, затем КНФ и ССФ,
2. сформировать множество дизъюнктов К,
3. выполнить унификацию дизъюнктов множества К.

Логика предикатов<br />1.	преобразовать формулу к виду ПНФ, затем КНФ и ССФ, <br />2.	сформировать множество дизъюнктов К, <br />3.	выполнить унификацию дизъюнктов множества  К.


Артикул №1060467
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 18.09.2017)
1. составить таблицу истинности, число строк которой равно 2n, где n – число пропозициональных переменных, а число столбцов равно числу пропозициональных переменных, посылок и заключения, а также дополнительно столбцы для конъюнкции всех посылок и импликации заключения из этой конъюнкции,
2. выделить штриховкой строки, в которых истинны все посылки и заключение,
3. указать необходимые значения пропозициональных переменных для истинных значений всех посылок и заключения;
4. доказать истинность заключения:
а) методом дедукции и нарисовать граф дедуктивного вывода,
b) методом резолюции и нарисовать граф вывода пустой резольвенты.

1. составить таблицу истинности, число строк которой равно 2n, где n – число пропозициональных переменных, а число столбцов равно числу пропозициональных переменных, посылок и заключения, а также дополнительно столбцы для конъюнкции всех посылок и импликации заключения из этой конъюнкции,  <br />2. выделить штриховкой строки, в которых истинны все посылки и заключение,  <br />3. указать необходимые значения пропозициональных переменных для истинных значений всех посылок и заключения;  	<br />4.  доказать истинность заключения:  <br />а) методом дедукции и нарисовать граф дедуктивного вывода, <br />b) методом резолюции и нарисовать граф вывода пустой резольвенты.


Артикул №1060446
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 18.09.2017)
Логика предикатов
Получить множество дизъюнктов

Логика предикатов<br />Получить множество дизъюнктов


Артикул №1060445
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 18.09.2017)
Логика предикатов
Записать на языке предикатов
1. некоторые студенты отличники;
2. «Все счастливые семьи похожи друг на друга, каждая несчастливая семья несчастлива по-своему»



Артикул №1060444
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 18.09.2017)
Получить МДНФ для формул
Получить МДНФ для формул


Артикул №1060443
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 18.09.2017)
Получить СКНФ, а затем перейти к СДНФ
Получить СКНФ, а затем перейти к СДНФ


Артикул №1060442
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 18.09.2017)
Получить СДНФ для формул, а затем перейти к СКНФ
Получить СДНФ для формул, а затем перейти к СКНФ


Артикул №1060441
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 18.09.2017)
Доказать полноту (неполноту) систем булевых функций {|} (штрих Шеффера)
Доказать полноту (неполноту) систем булевых функций {|} (штрих Шеффера)


Артикул №1060437
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 18.09.2017)
Доказать, что формулы являются тавтологиями
Доказать, что формулы являются тавтологиями


    Категории
    Заказ решения задач по ТОЭ и ОТЦ
    Заказ решения задач по Теоретической механике
    Популярные теги в выбранной категории:
    Не нашли нужной задачи или варианта? Вы всегда можете воспользоваться быстрым заказом решения.

    Быстрый заказ решения

    Студенческая база

    Наш сайт представляет из себя огромную базу выполненных заданий по разым учебным темам - от широкораспространенных до экзотических. Мы стараемся сделать так, чтобы большиство учеников и студентов смогли найти у нас ответы и подсказки на интересующие их темы. Каждый день мы закачиваем несколько десятков, а иногда и сотни новых файлов, а общее количество решений в нашей базе превышает 150000 работ (далеко не все из них еще размещены на сайте, но мы ежедневно над этим работаем). И не забывайте, что в любой большой базе данных умение правильно искать информацию - залог успеха, поэтому обязательно прочитайте раздел «Как искать», что сильно повысит Ваши шансы при поиске нужного решения.

    Мы в социальных сетях: