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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,152,905 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,927
Обычные темы
 
     
 
Задать вопрос
(A U A ∩ B` U A` ∩ C) ∩ A` ∩ B \ C применяем закон идемпотентности получим (A ∩ B` U A` ∩ C) ∩...
n00baS_
02.10.2017 19:35
2 294
Симметричная разность (P^-1) равна симметричной разности (P)^-1
help_
02.10.2017 19:11
2 290
Здравствуйте, тебуется решить две задачи. Докажите, что существует вычислимая функция, которая...
Campbala
01.10.2017 20:15
1 110
Есть некая дискретная функция f(x) вход и выход одинаковой размерности в n-бит, заданая...
VolodymyrL
01.10.2017 16:55
4 157
Для бинарного отношения X \rho Y \Leftrightarrow X\bigcap Y = \emptyset выясните какими свойствами...
Pantheonptz
27.09.2017 15:50
5 388
Впервые сталкиваюсь с таким , подскажите пожалуйста
deh9
24.09.2017 21:38
1 153
Подскажите пожалуйста
deh9
24.09.2017 19:26
0 212
Проверить тождество A\subseteq B\bigcup C\Leftrightarrow A\bigcap B\subseteq C Докажем, что если...
Pantheonptz
24.09.2017 18:24
6 771
Помогите написать цикл for в gar systems. Условие:Для заданного универсального множества...
kripipasta
24.09.2017 13:09
0 100
Помогите пожалуйста решить задание. С подробным решением, что бы можо было разобраться как это...
Ученик Комара
22.09.2017 22:28
12 945
Добрый вечер! Подскажите,как установить биекцию между
Menshakovich
22.09.2017 19:52
3 896
Доброго времени суток! помогите пожалуста найти композиции отношений(минимаксную, максиминную и...
Shnaider_Tania
18.09.2017 15:22
1 523
Пусть предикаты P(x) и Q(x) имеют одну и ту же область определения M, а их множества истинности –...
vmma
17.09.2017 23:40
1 340
Тут два варианта: либо помогите с доказательством, либо (что будет еще лучше), направьте на...
marat kuznetsov
16.09.2017 18:31
2 455
(a) Если (X ∪ Z) = (Y ∪ Z) и (X ∩ Z) = (Y ∩ Z), то X = Y. (b) Если (X ∩ Z) ⊆ Y ⊆ (X ∪ Z), то...
Sleeper31
16.09.2017 16:15
1 240
Здравствуйте, есть у меня задание: Доказать, что: A\oplus (B\oplus C)\simeq (A\oplus B)\oplus C...
bellkross
12.09.2017 20:50
6 411
Подскажите как решить данное задание Определите интерпретации, на которых выполняются...
ilyaburmaka
12.09.2017 15:07
2 148
С помощью алгебры логики докажите тождества: A ∩ (B \ C) = (A ∩ B) \ (A ∩ C) Помогите...
Анна Голованова
12.09.2017 15:01
3 471
Помогите составить таблицу истинности формулы высказывай в работе с gap-system, буду чрезмерно...
kripipasta
10.09.2017 15:03
0 141
Сколько существует множеств, состоящих из 4 натуральных чисел, в каждом из которых среди шести...
simmax21
08.09.2017 07:09
8 345
В исчислении предикатов есть вывод (для всех x F(x)) из F(x). Значит между формулами выполняется...
glutamat
28.08.2017 00:18
3 825
Здравствуйте! Есть вопрос по одному номеру по дискретной математике. Задача: Во множествах A,B,C...
teagrow
25.08.2017 17:26
6 422
Добрый день! Решите, пожалуйста, задачку и расскажите, какие вы законы для этого используете....
NSTR
09.08.2017 01:06
13 1,247
Здравствуйте, нужна помощь с упрощением следующего выражения: (A\cup B\cup C)\cap (A\cup...
onlyeffect
06.07.2017 22:40
3 864
Добрый день, Нет опыта в решении логических задач и построении доказательств через язык логики....
ZhiSE
04.07.2017 16:07
5 358
Помогите, пожалуйста. (X∨(Y→!Z))→((Y→X)∨Z Я упростил до !X∨Z. Это и будет являться Днф'ом? А...
Detoxer
02.07.2017 21:53
9 905
Помогите, пожалуйста, упростить выражения 1)(A \times B) \bigcap (A \times C)\; \; 2)(A...
acidrain333
01.07.2017 18:57
3 217
Используя таблицу истинности, установить эквивалентность функций в формуле: ...
nonamex
28.06.2017 20:59
7 322
Вот ДНФ : X1∨X2(с отрицанием)∨X3
marveeeel
28.06.2017 02:23
2 232
2 вариант помогите!
3JlaK
27.06.2017 23:46
1 196
таблиц истинности
AlenaNik
27.06.2017 15:25
0 173
Найти функцию f(x,y), полученную из функций g(x) и h(x,y,z) по схеме примитивной рекурсии...
dadaddaa
27.06.2017 12:57
6 1,169
Вот есть задание. Записать формально следующие рассуждение на языке логике высказываний и доказать...
ПЬюПИК
26.06.2017 22:08
2 865
а) Можно ли отметить на плоскости 99 точек так, чтобы какое бы целое число от 1 до 19 ни назвали,...
Субхия
26.06.2017 14:40
3 311
Введем предикаты Point (x) Line (x) Belong (x,y) Сформулируем на языке предикатов аксиому ...
Kaligulaa
25.06.2017 20:29
1 179
a) "Все, что не запрещено, то разрешено" и "Все, что не разрешено, то запрещено" б) "В этой...
ПЬюПИК
24.06.2017 22:17
2 335
Чтобы доказать утверждение что если число делится на 6, то оно так делится на 2 и на 3, я введу...
Kaligulaa
24.06.2017 00:05
1 929
По эквивалентным преобразованиям построить кнф функции f=(x1&x2->(x1~x3))->x2&x3 Мне очень нужна...
Зинира97
22.06.2017 18:50
3 250
Булевы функции.Составить таблицу f и f*(f*- двойственная функция) {x}_{1}\rightarrow (...
jeneralak
22.06.2017 12:44
1 230
Ребят помогите, 2 решил, 1 , 3 , 4 вообще не понимаю, 3 из-за стрелки Пирса(очень плохо с ним у...
prsolden
22.06.2017 12:17
2 270
Добрый день! задачка по мат. логике: ¬X1→X2, X1→X3, X2→X3├X3* 1. ((X2→X3)→(¬X1→(X2→X3)))* (A1)*...
Keri773
20.06.2017 18:22
3 199
Для двух данных в таблице выражений показать справедливость их выполнения, используя законы теории...
lyyb
19.06.2017 20:37
0 221
Даны 3 клаузы, доказать их аксиоматическим методом и методом натурального исчисления
Hellicops
19.06.2017 07:24
0 305
На языке предикатов записать определение параллельных плоскостей, используя следующие предикаты...
Quest6501
18.06.2017 22:00
3 233
Аллах велик! Нужно доказать вот эту штуку: \phi \left(\bigcap_{0}^{n}Ai \right) = \bigcap_{0}^{n}...
IslamAlahovich
18.06.2017 13:07
4 215
Всем привет! Пытаюсь доказать примитивную рекурсивность функции f(x,y) = (x+y)mod2 таким...
JulyYoung
15.06.2017 23:53
1 296
Ребята, помогите, пожалуйста, разобраться с этим: Пусть P(x,y) Q(x,y) - - предикаты на множестве...
bormogloda
14.06.2017 14:32
1 369
Равносильными преобразованиями привести формулу логики высказываний к СДНФ и СКНФ (если это...
The_Pride
14.06.2017 08:30
10 921
Доказать выводимость формул, используя аксиомы теории Чёрча и теоремами, модус понус и т.д Всем...
Keri773
13.06.2017 23:41
13 364
Ребята в чем ошибка ? применив все нужные законы я получил предваренную нормальную форму но...
HapkoBaron
13.06.2017 21:09
7 881
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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