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

(Добавлено: 13.12.2018)
Построить полином Жегалкина
Построить полином Жегалкина


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

(Добавлено: 13.12.2018)
Минимизировать двоичную функцию по методу Блейка
Минимизировать двоичную функцию по методу Блейка


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

(Добавлено: 03.12.2018)
Упростить функции используя аксиомы и законы булевой алгебры
Упростить функции используя аксиомы и законы булевой алгебры


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

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

Разбить высказывание на элементарные и записать в виде кванторной формулы логики предикатов, используя наименьшее возможное число предикатов; указать область определения использованных предикатов; привести формулу к предваренной нормальной форме. <br /><b> Если всякий предок предка данного человека есть также предок того же человека и никакой человек не есть предок самого себя, то существует некто, не имеющий предков.</b> <br />


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

(Добавлено: 03.12.2018)
Укажите свойства (типы) перечисленных ниже отношений (симметричное, антисимметричное, асимметричное, рефлексивное, антирефлексивное, транзитивное, эквивалентности, толерантности, порядка, строгого порядка или предпорядка, полного порядка или частичного):
Определено отношение R «иметь общий делитель отличный от единицы» на множестве натуральных чисел N.



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

(Добавлено: 03.12.2018)
На множестве M = {1,3,6,8} задано отношение R = {(1,1), (3,3,), (6,6), (8,8), (3,6), (6,3), (1,8), (8,1)}.
Выяснить, является ли это отношение отношением эквивалентности, отношением частичного порядка, отношением строгого порядка или отношением линейного порядка.



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

(Добавлено: 03.12.2018)
Найти декартово произведение множеств А={5,1} и В={1,5,4}


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

(Добавлено: 03.12.2018)
Даны числовые множества А={ 26,18, 46,16}, В={46,18,47, 26}, С={ 26,48,50,51}
Найти: A& (B\C)



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

(Добавлено: 03.12.2018)
Найти множество всех подмножеств множества С={ 3,5,8}


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

(Добавлено: 03.12.2018)
Является ли множество А={1,2,3} подмножеством множества В={{1}, {2,3}}


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

(Добавлено: 03.12.2018)
Придумать пример множеств А, В, так, чтобы выполнялось: A ⊆ A∩ B
Придумать пример множеств А, В, так, чтобы выполнялось:  A ⊆ A∩ B


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

(Добавлено: 03.12.2018)
По диаграмме с помощью операций пересечения, объединения, разности и дополнения напишите формулу заштрихованного множества
По диаграмме с помощью операций пересечения, объединения, разности и дополнения напишите формулу заштрихованного множества


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

(Добавлено: 03.12.2018)
Проверить истинность, доказать, что из одного включения следует другое А∩В⊆ С ⇒ А∪В⊆ (А∩В) ∪(А∩С)
Включение А∩В⊆ С изобразим при помощи кругов Эйлера.



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

(Добавлено: 03.12.2018)
1) Для формулы алгебры высказываний найти равносильные ей: а) ПНФ, ДНФ, КНФ; б) СДНФ, СКНФ двумя способами
2) Выяснить только с помощью нормальных форм, является ли формула тавтологией, противоречием, выполнимой, опровержимой?
3) Построить наиболее простую РКС, реализующую функцию, которую представляет данная формула.
(X→Y)∙(Y→Z)→(X↔Z)

1) Для формулы алгебры высказываний найти равносильные ей: а) ПНФ, ДНФ, КНФ; б) СДНФ, СКНФ двумя способами 	<br /> 2) Выяснить только с помощью нормальных форм, является ли формула тавтологией, противоречием, выполнимой, опровержимой? <br />3)	Построить наиболее простую РКС, реализующую функцию, которую представляет данная формула.<br />  (X→Y)∙(Y→Z)→(X↔Z)


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

(Добавлено: 03.12.2018)
Логика предикатов
Представить формулой на модели ML = (2), Ch(2), C(2), M(1), W(1)>, где
M(x): ”x – мужчина”,
W(x): ”x – женщина”,
C(x, y):
”x и y супруги”,
E(x, y): ”x и y – один и тот же человек”,
Ch (x, y): ”x - ребенок y”,
следующие утверждения: x –кузен (двоюродный брат)



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

(Добавлено: 03.12.2018)
Логика предикатов
Представить формулой на модели
ML = (2), Ch(2) ,C(2), M(1), W(1)>, где
M(x): ”x – мужчина”,
W(x): ”x – женщина”,
C(x, y): ”x и y супруги”,
E(x, y): ”x и y – один и тот же человек”,
Ch (x, y): ”x - ребенок y”,
следующие утверждения: x –Зять (муж дочери)



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

(Добавлено: 03.12.2018)
Доказать, используя метод резолюций (G→H)→(G→(F→H))≡1
Доказать, используя метод резолюций (G→H)→(G→(F→H))≡1


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

(Добавлено: 27.11.2018)
Упростить выражения, используя законы алгебры множеств
Упростить выражения, используя законы алгебры множеств


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

(Добавлено: 27.11.2018)
На диаграммах Эйлера-Венна изобразить результат операций, предварительно указав порядок действий в формуле

На диаграммах Эйлера-Венна изобразить результат операций, предварительно указав порядок действий в формуле <br />


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

(Добавлено: 24.11.2018)
Проверить, является ли полной система функций:
Проверить, является ли полной система функций:


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

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

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

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

    Мы в социальных сетях:
    ИП Евсеев Р.П. ИНН421700235331 ОГРНИП308774632500263