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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,133,504 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,855
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Добрый день, Нет опыта в решении логических задач и построении доказательств через язык логики....
ZhiSE
04.07.2017 16:07
5 324
Помогите, пожалуйста. (X∨(Y→!Z))→((Y→X)∨Z Я упростил до !X∨Z. Это и будет являться Днф'ом? А...
Detoxer
02.07.2017 21:53
9 708
Помогите, пожалуйста, упростить выражения 1)(A \times B) \bigcap (A \times C)\; \; 2)(A...
acidrain333
01.07.2017 18:57
3 213
Используя таблицу истинности, установить эквивалентность функций в формуле: ...
nonamex
28.06.2017 20:59
7 280
Вот ДНФ : X1∨X2(с отрицанием)∨X3
marveeeel
28.06.2017 02:23
2 224
2 вариант помогите!
3JlaK
27.06.2017 23:46
1 191
таблиц истинности
AlenaNik
27.06.2017 15:25
0 170
Найти функцию f(x,y), полученную из функций g(x) и h(x,y,z) по схеме примитивной рекурсии...
dadaddaa
27.06.2017 12:57
6 1,029
Вот есть задание. Записать формально следующие рассуждение на языке логике высказываний и доказать...
ПЬюПИК
26.06.2017 22:08
2 832
а) Можно ли отметить на плоскости 99 точек так, чтобы какое бы целое число от 1 до 19 ни назвали,...
Субхия
26.06.2017 14:40
3 274
Введем предикаты Point (x) Line (x) Belong (x,y) Сформулируем на языке предикатов аксиому ...
Kaligulaa
25.06.2017 20:29
1 170
a) "Все, что не запрещено, то разрешено" и "Все, что не разрешено, то запрещено" б) "В этой...
ПЬюПИК
24.06.2017 22:17
2 292
Чтобы доказать утверждение что если число делится на 6, то оно так делится на 2 и на 3, я введу...
Kaligulaa
24.06.2017 00:05
1 833
По эквивалентным преобразованиям построить кнф функции f=(x1&x2->(x1~x3))->x2&x3 Мне очень нужна...
Зинира97
22.06.2017 18:50
3 247
Булевы функции.Составить таблицу f и f*(f*- двойственная функция) {x}_{1}\rightarrow (...
jeneralak
22.06.2017 12:44
1 221
Ребят помогите, 2 решил, 1 , 3 , 4 вообще не понимаю, 3 из-за стрелки Пирса(очень плохо с ним у...
prsolden
22.06.2017 12:17
2 239
Добрый день! задачка по мат. логике: ¬X1→X2, X1→X3, X2→X3├X3* 1. ((X2→X3)→(¬X1→(X2→X3)))* (A1)*...
Keri773
20.06.2017 18:22
3 194
Для двух данных в таблице выражений показать справедливость их выполнения, используя законы теории...
lyyb
19.06.2017 20:37
0 203
Даны 3 клаузы, доказать их аксиоматическим методом и методом натурального исчисления
Hellicops
19.06.2017 07:24
0 281
На языке предикатов записать определение параллельных плоскостей, используя следующие предикаты...
Quest6501
18.06.2017 22:00
3 223
Аллах велик! Нужно доказать вот эту штуку: \phi \left(\bigcap_{0}^{n}Ai \right) = \bigcap_{0}^{n}...
IslamAlahovich
18.06.2017 13:07
4 207
Всем привет! Пытаюсь доказать примитивную рекурсивность функции f(x,y) = (x+y)mod2 таким...
JulyYoung
15.06.2017 23:53
1 261
Ребята, помогите, пожалуйста, разобраться с этим: Пусть P(x,y) Q(x,y) - - предикаты на множестве...
bormogloda
14.06.2017 14:32
1 299
Равносильными преобразованиями привести формулу логики высказываний к СДНФ и СКНФ (если это...
The_Pride
14.06.2017 08:30
10 871
Доказать выводимость формул, используя аксиомы теории Чёрча и теоремами, модус понус и т.д Всем...
Keri773
13.06.2017 23:41
13 339
Ребята в чем ошибка ? применив все нужные законы я получил предваренную нормальную форму но...
HapkoBaron
13.06.2017 21:09
7 843
Помогите, пожалуйста. Нужно формулу привести к предваренной нормальной форме.
The_Pride
13.06.2017 19:52
0 197
Здравствуйте, нужна помощь с методом, который позволил бы найти все значения, не попадающие под...
Draid
12.06.2017 23:16
3 229
Ребята нужна помощь
HapkoBaron
12.06.2017 22:15
11 818
Построить МП–транслятор для преобразования цепочек вида: { 0 ( n) 1 ( m ) 0 ( k) }  { 1...
Дмитрий1810
11.06.2017 12:55
0 219
Выясните, в каких случаях классификация выполнена верно: а) целые числа можно разбить на...
Yulianochka
11.06.2017 00:01
2 289
Доброго времени суток! Нужно построить ДНФ для f(x,y,z)=01001011 методом минимизирующих карт и...
RaiDYT
11.06.2017 00:00
3 217
Составьте выражение для решения задачи Велосипедист за t часов проехал а км. Длина всего маршрута...
Yulianochka
10.06.2017 17:43
1 218
Даны множества: Х – множество чисел, кратных 36, У – множество чисел, кратных 9. Укажите, какое из...
Yulianochka
10.06.2017 16:46
1 252
Даны множества: А – множество равносторонних треугольников и В – множество прямоугольных...
Yulianochka
10.06.2017 16:43
1 253
Какой закон операций над множествами «распоряжается» только скобками: 1. Коммутативный; 2....
Yulianochka
10.06.2017 16:41
1 845
Известно, что С – множество натуральных решений уравнения а+9=3; Д – множество нечетных чисел,...
Yulianochka
10.06.2017 16:09
0 186
Даны отношения:R:A->B Q:B->C R:{(1,1);(1,3)(2,1);(2,5);(4,3);(6,7)}...
Mindfure
09.06.2017 12:16
3 329
Система уравнений 3x-y=0 x+y=2 не имеет решений.
aannaivanovna
08.06.2017 22:21
4 264
1)AvB->(C->CvD) 2)A->((B->C)->A) Помогите пожалуйста, не получается решить т.к. не понимаю как...
mironkarton
08.06.2017 22:03
1 249
Корректно ли я, используя символы математической логики, доказала, что для любой функции f и для...
K_A
08.06.2017 12:58
4 179
Преобразовать выражение используя только стрелку Пирса: неА+B+C
Кира11111
07.06.2017 21:30
6 208
Друзья, буду благодарен если кто-то поможет составить секвенцию, ну или хотя-бы даст совет. Не знаю...
temsku2
07.06.2017 20:48
1 230
Ребята нужна помощь нужно привести к предваренной нормальной форме
HapkoBaron
06.06.2017 19:14
3 238
Число неупорядоченных разбиений множества из 6 различных элементов на 3 подмножества мощности 1,2,2...
Mindfure
05.06.2017 11:07
3 533
Помогите решить
zarar384
04.06.2017 18:10
0 216
A={a,b,f} B={c,d,e,j,h} Чему равно мощность B\A? Добавлено через 3 часа 41 минуту Скорее всего 5
Mindfure
04.06.2017 13:32
2 274
Сколькими способами можно распределить 2 билета на разные спектакли в группе из 6 человек, если...
Mindfure
04.06.2017 05:53
6 881
Помогите выполнить задание
Николай Зубий
03.06.2017 23:32
2 181
Число неупорядоченных элементов множества из 6 различных элементов на 2 подмножества мощностью 3...
Mindfure
03.06.2017 19:17
10 1,120
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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