|
|
| Другие темы раздела | |
|
Логика и множества Установить, истинны или нет формулы
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1796147.html Пусть предметная область D = {a, b, c}, а двухместному предикату Q(x, y) поставлена в соответствие логическая функция, заданная таблицей истинности: x a а a b b b c c c y a b c a b c a b c Q(x,y Л И И Л И И Л И И Установить, истинны или нет формулы ∀x Q(x, a), ∃x Q(x, a), ∀x Q(a, x), ∃x Q(a, x), ∀x ∀y Q(x, y), ∃x ∃y Q(x, y), ∀y ∃x... |
Записать формулы, выражающие следующие утверждения Логика и множества Пусть предметная область D — это множество людей, на котором определены такие предикаты: E(x, y) — «x и y — один и тот же человек», D(x, y) — «x потомок y», H(x, y) — «x муж y», M(x) — «x — мужчина», W(x) — «x — женщина». Записать формулы, выражающие следующие утверждения: 1) x — свекор; 2) x — теща; 3) у некоторых людей нет братьев. Помогите пожалуйста!!! |
|
Логика и множества Рассмотреть все варианты одновременной квантификации переменных двухместного предиката Q(x, y)
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1795555.html Пусть предметная область D — это множество людей, Q(x, y) = «x — ребенок y». Рассмотреть все варианты одновременной квантификации переменных двухместного предиката Q(x, y). Определить истинность получаемых выражений |
Логика и множества Фиктивные переменные + СДНФ и полином Жегалкина
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1794325.html Найдите и удалите фиктивные переменные у функции, заданной вектором значений f=0111100101111001. Для функции, полученной после удаления фиктивных переменных, постройте СДНФ,полином жигалкина. В постройке СДНФ и полинома жигалкина разобраться можно, хоть что-то помню. Но как убрать фиктивные переменные. От скольки переменных надо считать данный вектор и строить таблицы (вроде расcчитывалось 2^n... |
|
Логика и множества Проверить доказательство Уважаемые, подскажите пожалуйста, правильно ли я решил задачу. Задача: Есть множество S=\left{1, 2, 3, 4, 5, ... ,20\right}. Нужно доказать что, взяв любые 11 элементов (разных) множества S всегда найдется такой элемент который делит хотя бы один из оставшихся. Решение: Определяю функцию f:A \to B. Функция сопоставляет каждому элементу множества A наибольший нечетный делитель. Таким образом,... |
Логика и множества Подскажите книги о карте Карно и таблице истинности
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1786549.html Собсно сабж. Хочется почитать о карте Карно и таблице истинности. Подскажите литературу. Добавлено через 1 минуту Не знаю в ту тему ли попал) Надо было в математику идти.) Если что извиняюсь.. |
|
Логика и множества Подскажите как решать уравнения такого типа
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1786269.html Найти целое десятичное число X, являющееся решением уравнения NOT X EQV (A OR NOT B)=C, при A = 85, B = 11, C = 101. Все значения даны в десятичной системе. Представления числа: беззнаковый байт. Заранее Спасибо! |
Почему для доказательства чего-либо нужно доказать импликацию Логика и множества Помогите разобраться, пытаюсь понять почему для доказательства чего-либо нужно доказать импликацию. Например в книге написано: если надо доказать равенство 1+2+3+...+n=\frac{n(n+1)}{2} то его обозначают как предикат: P(n)=1+2+3+...+n=\frac{n(n+1)}{2} и нужно доказать истинность импликации P(n)\Rightarrow P(n+1), тогда равенство будет истинным т.к. P(n) истинно. Непонятно почему P(n) истинно,... |
| Логика и множества Эквивалентны ли данные формулы? Эквивалентны ли данные формулы? https://www.cyberforum.ru/ mathematical-logic-sets/ thread1785490.html |
Логика и множества Тестовые определения СДНФ, СКНФ, МДНФ
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1782399.html 1. СДНФ (совершенно дизъюнктивная нормальная форма) – это А) дизъюнкция всех возможных конъюнкций Б) дизъюнкция конъюнкций всех единичных наборов В) дизъюнкция конъюнкций всех нулевых наборов 2. СКНФ (совершенная конъюнктивная нормальная форма) – это А) конъюнкция всех возможных дизъюнкций Б) конъюнкция дизъюнкций всех единичных наборов В) конъюнкция дизъюнкций всех нулевых наборов |
|
Логика и множества Упростить выражение (множества) (A\cup B\cup C)\cap (A\cup B)\setminus (A\cup (B\setminus C))\cap A Правильно ли я понимаю, что первым делом из (A\cup B\cup C)\cap (A\cup B) получим просто (A\cup B)? |
Логика и множества Композиция функция
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1777313.html Выразить формулами композиции f◯g, g◯f і g◯g. Какое решение с такой функцией g? Можете показать как решать таки задачи с функцией с условиями (с 2-мя / 3-мя)? |
|
Ушел с форума
 16279 / 7604 / 1065
Регистрация: 11.11.2010
Сообщений: 13,617
|
|
| 29.08.2016, 08:25 | 0 |
Посоветуйте супер книгу по Мат логике для начинающего, чтобы хотя бы основы знать, пожалуйста - Логика и множества - Ответ 949463929.08.2016, 08:25. Показов 1628. Ответов 4
Метки (Все метки)
Ответ
angor6,
до редактирования поста у вас была одна ссылка, напомните пожалуйста автора и название я имел ввиду книгу Андерсон Дж. А. "Дискретная математика и комбинаторика" просто два соседних топика перепутал... 
Вернуться к обсуждению: Посоветуйте супер книгу по Мат логике для начинающего, чтобы хотя бы основы знать, пожалуйста Логика и множества
0
|
|
| 29.08.2016, 08:25 | |
|
Готовые ответы и решения:
4
посоветуйте книгу по javascript для начинающего Посоветуйте книгу по ООП для начинающего Посоветуйте книгу для начинающего node.js
|
| 29.08.2016, 08:25 | |
| 29.08.2016, 08:25 | |
|
Помогаю со студенческими работами здесь
0
Посоветуйте какую-нибудь книгу для начинающего HTML Прошу посоветуйте книгу по акцессу для начинающего. Спасибо. Посоветуйте пожалуйста книгу для работы с базами данных в C# Посоветуйте пожалуйста книгу или пример для изучения PHP+MySQL+HTML |
Наверх