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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,122,976 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
Рейтинг темы: голосов - 29, средняя оценка - 4.93 OldFedor
26.03.2015 15:25
2 5,832
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Помогите написать формулу для этой диаграммы
Scripton
06.10.2017 11:54
1 182
Для отображения f : R → R, заданного правилом f(x) = x^2 − 3*x + 2, найти: a)...
ulyana_md
06.10.2017 11:29
1 158
Как вывести 6ю аксиому исчисления высказываний из 1ой, 2ой и 10ой?
Ariel_123
04.10.2017 20:57
1 118
(A U A ∩ B` U A` ∩ C) ∩ A` ∩ B \ C применяем закон идемпотентности получим ...
n00baS_
02.10.2017 19:35
2 175
Симметричная разность (P^-1) равна симметричной разности (P)^-1
help_
02.10.2017 19:11
2 208
Здравствуйте, тебуется решить две задачи. Докажите, что существует...
Campbala
01.10.2017 20:15
1 96
Есть некая дискретная функция f(x) вход и выход одинаковой размерности в n-бит,...
VolodymyrL
01.10.2017 16:55
4 147
Для бинарного отношения X \rho Y \Leftrightarrow X\bigcap Y = \emptyset...
Pantheonptz
27.09.2017 15:50
5 252
Впервые сталкиваюсь с таким , подскажите пожалуйста
deh9
24.09.2017 21:38
1 114
Подскажите пожалуйста
deh9
24.09.2017 19:26
0 176
Проверить тождество A\subseteq B\bigcup C\Leftrightarrow A\bigcap B\subseteq C...
Pantheonptz
24.09.2017 18:24
6 159
Помогите написать цикл for в gar systems. Условие:Для заданного...
kripipasta
24.09.2017 13:09
0 92
Помогите пожалуйста решить задание. С подробным решением, что бы можо было...
Ученик Комара
22.09.2017 22:28
12 272
Добрый вечер! Подскажите,как установить биекцию между
Menshakovich
22.09.2017 19:52
3 167
Доброго времени суток! помогите пожалуста найти композиции...
Shnaider_Tania
18.09.2017 15:22
1 471
Пусть предикаты P(x) и Q(x) имеют одну и ту же область определения M, а их...
vmma
17.09.2017 23:40
1 251
Тут два варианта: либо помогите с доказательством, либо (что будет еще лучше),...
marat kuznetsov
16.09.2017 18:31
2 258
(a) Если (X ∪ Z) = (Y ∪ Z) и (X ∩ Z) = (Y ∩ Z), то X = Y. (b) Если (X ∩ Z) ⊆ Y...
Sleeper31
16.09.2017 16:15
1 179
Здравствуйте, есть у меня задание: Доказать, что: A\oplus (B\oplus C)\simeq...
bellkross
12.09.2017 20:50
6 249
Подскажите как решить данное задание Определите интерпретации, на которых...
ilyaburmaka
12.09.2017 15:07
2 135
С помощью алгебры логики докажите тождества: A ∩ (B \ C) = (A ∩ B) \ (A ∩ C)...
Анна Голованова
12.09.2017 15:01
3 299
Помогите составить таблицу истинности формулы высказывай в работе с gap-system,...
kripipasta
10.09.2017 15:03
0 134
Сколько существует множеств, состоящих из 4 натуральных чисел, в каждом из...
simmax21
08.09.2017 07:09
8 305
В исчислении предикатов есть вывод (для всех x F(x)) из F(x). Значит между...
glutamat
28.08.2017 00:18
3 209
Здравствуйте! Есть вопрос по одному номеру по дискретной математике. Задача:...
teagrow
25.08.2017 17:26
6 291
Добрый день! Решите, пожалуйста, задачку и расскажите, какие вы законы для...
NSTR
09.08.2017 01:06
13 397
Здравствуйте, нужна помощь с упрощением следующего выражения: (A\cup B\cup...
onlyeffect
06.07.2017 22:40
3 250
Добрый день, Нет опыта в решении логических задач и построении доказательств...
ZhiSE
04.07.2017 16:07
5 317
Помогите, пожалуйста. (X∨(Y→!Z))→((Y→X)∨Z Я упростил до !X∨Z. Это и будет...
Detoxer
02.07.2017 21:53
9 653
Помогите, пожалуйста, упростить выражения 1)(A \times B) \bigcap (A \times...
acidrain333
01.07.2017 18:57
3 205
Используя таблицу истинности, установить эквивалентность функций в формуле: ...
nonamex
28.06.2017 20:59
7 272
Вот ДНФ : X1∨X2(с отрицанием)∨X3
marveeeel
28.06.2017 02:23
2 219
2 вариант помогите!
3JlaK
27.06.2017 23:46
1 177
таблиц истинности
AlenaNik
27.06.2017 15:25
0 164
Найти функцию f(x,y), полученную из функций g(x) и h(x,y,z) по схеме...
dadaddaa
27.06.2017 12:57
6 484
Вот есть задание. Записать формально следующие рассуждение на языке логике...
ПЬюПИК
26.06.2017 22:08
2 317
а) Можно ли отметить на плоскости 99 точек так, чтобы какое бы целое число от 1...
Субхия
26.06.2017 14:40
3 263
Введем предикаты Point (x) Line (x) Belong (x,y) Сформулируем на языке...
Kaligulaa
25.06.2017 20:29
1 168
a) "Все, что не запрещено, то разрешено" и "Все, что не разрешено, то...
ПЬюПИК
24.06.2017 22:17
2 279
Чтобы доказать утверждение что если число делится на 6, то оно так делится на 2...
Kaligulaa
24.06.2017 00:05
1 315
По эквивалентным преобразованиям построить кнф функции...
Зинира97
22.06.2017 18:50
3 240
Булевы функции.Составить таблицу f и f*(f*- двойственная функция) ...
jeneralak
22.06.2017 12:44
1 214
Ребят помогите, 2 решил, 1 , 3 , 4 вообще не понимаю, 3 из-за стрелки...
prsolden
22.06.2017 12:17
2 231
Добрый день! задачка по мат. логике: ¬X1→X2, X1→X3, X2→X3├X3* 1....
Keri773
20.06.2017 18:22
3 190
Для двух данных в таблице выражений показать справедливость их выполнения,...
lyyb
19.06.2017 20:37
0 198
Даны 3 клаузы, доказать их аксиоматическим методом и методом натурального...
Hellicops
19.06.2017 07:24
0 273
На языке предикатов записать определение параллельных плоскостей, используя...
Quest6501
18.06.2017 22:00
3 219
Аллах велик! Нужно доказать вот эту штуку: \phi \left(\bigcap_{0}^{n}Ai...
IslamAlahovich
18.06.2017 13:07
4 202
Всем привет! Пытаюсь доказать примитивную рекурсивность функции f(x,y) =...
JulyYoung
15.06.2017 23:53
1 252
Ребята, помогите, пожалуйста, разобраться с этим: Пусть P(x,y) Q(x,y) - -...
bormogloda
14.06.2017 14:32
1 290
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

Расширенный поиск

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