Форум программистов, компьютерный форум, киберфорум
Наши страницы

Мат. логика и множества


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Просмотров: 3,188,792 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 6,130
Обычные темы
 
     
 
Задать вопрос
начал разбираться как доказываются теоремы с помощью необходимости и достаточности возникли вопросы...
MyNameO1eg
Вчера 16:35
1 94
отображение, прообраз. Задача Здравствуйте, по теории нашел немало книг, все объясняется. А на...
Сергей Кос
Вчера 11:18
0 64
Электронные часы для отображения текущего времени в формате часы:минуты используют четыре системных...
blkmg
15.07.2019 13:54
3 188
Пусть через a,b,c,d обозначены булевские переменные. Сколько решений имеет следующая система...
blkmg
12.07.2019 18:01
3 962
Доброго времени суток! Необходимо математически описать, что N равно количество сотрудников...
levlol
09.07.2019 23:23
3 116
Прошу помочь решить задачи под номерами 3 и 4
sven2019
06.07.2019 15:50
0 170
Доброго времени суток, ребят! Помогите, пожалуйста. У меня есть несколько функций. Их надо...
windsey
06.07.2019 09:41
0 144
Помогите найти мднф и мкнф
naru_2
02.07.2019 15:42
1 206
Помогите выполнить задание
Николай Зубий
01.07.2019 16:01
3 476
Помогите пожалуйста упростить уравнение , вот такое уравнение у меня получилось как дальше...
Proffaner
28.06.2019 08:39
3 830
Здравствуйте. Помогите пожалуйста упростить выражение, желательно с подробным решением.
cocsoa
28.06.2019 08:15
2 128
2. Найти простейшую формулу от трёх переменных, принимающую значение 1 только на следующих наборах...
xSage
28.06.2019 04:14
1 142
Добрый день, не совсем понимаю следующий пример: Дано: B = {1,2,3,4,5,6,7} R ⊂ B × B...
Kraike
26.06.2019 18:17
1 166
Помогите пожалуйста, правильно ли я сделал =| (∀(x) (A(x) ∧ ∃(x) B(x)) → ∀(X) A(x) ∧ ∀(x) B(x)...
Hans_Zimmer
23.06.2019 15:05
0 140
(A ∧ B) → C) → (A → (B → C) Помогите пожалуйста решить с помощью естественного вывода
Hans_Zimmer
23.06.2019 01:36
3 240
Помогите разобраться. (∀xP(x)→∀xR(x))→∀x(R(x)&P(x))
Johnny Cage
20.06.2019 20:16
1 208
Помогите проверить и доказать: (¬P⇒Q)~(¬Q⇒P)
Johnny Cage
20.06.2019 20:09
1 158
Проверить являются ли данные схемы равносильными.
Радужный
19.06.2019 17:04
3 882
Построить РКС для F (x,y,z), если известно что F(1,0,1) = F(1,1,0) = 1, а остальные значение...
Радужный
19.06.2019 13:30
3 916
По формуле:
Радужный
19.06.2019 13:22
1 862
Помогите доказать равенство множества :bravo:
zub48432
17.06.2019 18:48
0 168
Помогите решить эту задачку: Мария Васильевна вернулась в школу из городской олимпиады по...
Vladislav9784
15.06.2019 14:46
9 298
Упростить РКС
Радужный
15.06.2019 04:36
1 898
1. существует ли в алгебре логики базис мощности 5, 10,15,20? 2. существует ли в алгебре логики...
kaylyona
14.06.2019 23:07
1 252
Проверить правильность логического рассуждения сокращенным способом. Какими еще способами может...
TanyaLoga
14.06.2019 23:05
1 186
1. приведите пример базиса мощности 1 в алгебре логики 2. приведите пример базиса мощности 2 в...
kaylyona
14.06.2019 23:02
1 212
Не совсем пойму что от меня хотят :(. Заранее большое спасибо. Пользуясь определением формулы...
bananchik007
14.06.2019 22:56
1 198
Для формул булевых функций трёх переменных h(x,y,z) и g(x,y,z) построить таблицы истинности....
Радужный
13.06.2019 07:18
1 898
Halacky
11.06.2019 23:10
7 968
Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна,...
bananchik007
11.06.2019 18:49
7 278
Здравствуйте! Подскажите пожалуйста, как найти биекцию между: 1) (0;a] и (a;+∞) 2) и (a;+∞) Где...
Chronita
08.06.2019 22:31
1 894
af = (1010), ag = (0110) h(x3) = f(x3, g(x1,x2))
Радужный
08.06.2019 14:08
1 228
Привет, уважаемые форумчане! Имеется такое выражение.. Нужно упростить. Я как то кручу-верчу его с...
TR0073N
08.06.2019 13:50
7 1,058
x → y ∧ z = (x → y) ∧ (x → z)
Радужный
08.06.2019 05:45
1 848
Помогите пожалуйста решить
a15ghn93s
06.06.2019 16:19
0 194
Дана функция f(x,\,y,\,z)=(z\vee \bar{y})(x\leftrightarrow x\oplus z) Требуется найти формулу...
rabbbit
06.06.2019 09:41
18 1,098
Представить функцию (например методом неопределённых коэффициентов) \bar{j_1(x)} полиномом в P_k -...
rabbbit
06.06.2019 00:45
4 226
Дана функция. Требуется представить её в простом виде только с существенными переменными. Можно...
rabbbit
06.06.2019 00:26
7 292
Здравствуйте! Пожалуйста, помогите решить данное задание... Определить, является ли данный...
Caoli
06.06.2019 00:12
5 372
Почему алгебра логики тесно связана с теорией множеств? Почему законы булевой алгебры сильно...
rabbbit
05.06.2019 17:28
13 288
Здравствуйте. Подскажите как подобрав элементарные предикаты записать формулой высказывания: Две...
Виктор2014
05.06.2019 08:52
9 328
Почему множество арифметических истин неперечислимо ?
shadyABC
04.06.2019 19:11
1 934
Все задания
kerl9283
03.06.2019 13:17
0 120
Покажите с помощью формулы или схемы, реализованной над А = { x1 \rightarrow x2; x1 \wedge x2...
DuchessAcid
02.06.2019 22:04
1 218
Здравствуйте, есть следующая задачка и моё решение (см. ниже) требуется доказать или опровергнуть...
DabblerS
02.06.2019 18:54
8 1,114
Исследовать на истинность (∀x)(∃y)(∀z)((z>y)∨(z<x^2)) на множествах N,Z,R
annie35
31.05.2019 17:36
2 184
Имею равенство: Ax(B\C)=(AxB)\(AxC) Доказываю включение левой части в правую: ∀<a,b>∈Ax(B\C)→...
Krivougolnik
30.05.2019 22:10
7 304
Помогите пожалуйста с заданием ! 1)написать формулу по данной диаграмме Эйлера-Венна ...
alalala131
28.05.2019 21:16
1 188
Есть следующая формула: \exists x (R(x,y,z)) \to \bar \forall x \bar Q(x,y) Моё решение,...
DabblerS
28.05.2019 18:42
5 256
z\oplus \bar{xyz}=(\bar{z}\oplus\bar{yz})\oplus(\bar{yz}\oplus xyz)
rabbbit
27.05.2019 08:09
2 244
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

Расширенный поиск Темы без ответов

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2019, vBulletin Solutions, Inc.
Рейтинг@Mail.ru