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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Просмотров: 3,158,205 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,951
Обычные темы
 
     
 
Задать вопрос
Вот ДНФ : X1∨X2(с отрицанием)∨X3
marveeeel
28.06.2017 02:23
2 233
2 вариант помогите!
3JlaK
27.06.2017 23:46
1 199
таблиц истинности
AlenaNik
27.06.2017 15:25
0 174
Найти функцию f(x,y), полученную из функций g(x) и h(x,y,z) по схеме примитивной рекурсии...
dadaddaa
27.06.2017 12:57
6 1,224
Вот есть задание. Записать формально следующие рассуждение на языке логике высказываний и доказать...
ПЬюПИК
26.06.2017 22:08
2 883
а) Можно ли отметить на плоскости 99 точек так, чтобы какое бы целое число от 1 до 19 ни назвали,...
Субхия
26.06.2017 14:40
3 317
Введем предикаты Point (x) Line (x) Belong (x,y) Сформулируем на языке предикатов аксиому ...
Kaligulaa
25.06.2017 20:29
1 179
a) "Все, что не запрещено, то разрешено" и "Все, что не разрешено, то запрещено" б) "В этой...
ПЬюПИК
24.06.2017 22:17
2 343
Чтобы доказать утверждение что если число делится на 6, то оно так делится на 2 и на 3, я введу...
Kaligulaa
24.06.2017 00:05
1 966
По эквивалентным преобразованиям построить кнф функции f=(x1&x2->(x1~x3))->x2&x3 Мне очень нужна...
Зинира97
22.06.2017 18:50
3 251
Булевы функции.Составить таблицу f и f*(f*- двойственная функция) {x}_{1}\rightarrow (...
jeneralak
22.06.2017 12:44
1 231
Ребят помогите, 2 решил, 1 , 3 , 4 вообще не понимаю, 3 из-за стрелки Пирса(очень плохо с ним у...
prsolden
22.06.2017 12:17
2 278
Добрый день! задачка по мат. логике: ¬X1→X2, X1→X3, X2→X3├X3* 1. ((X2→X3)→(¬X1→(X2→X3)))* (A1)*...
Keri773
20.06.2017 18:22
3 200
Для двух данных в таблице выражений показать справедливость их выполнения, используя законы теории...
lyyb
19.06.2017 20:37
0 224
Даны 3 клаузы, доказать их аксиоматическим методом и методом натурального исчисления
Hellicops
19.06.2017 07:24
0 314
На языке предикатов записать определение параллельных плоскостей, используя следующие предикаты...
Quest6501
18.06.2017 22:00
3 244
Аллах велик! Нужно доказать вот эту штуку: \phi \left(\bigcap_{0}^{n}Ai \right) = \bigcap_{0}^{n}...
IslamAlahovich
18.06.2017 13:07
4 216
Всем привет! Пытаюсь доказать примитивную рекурсивность функции f(x,y) = (x+y)mod2 таким...
JulyYoung
15.06.2017 23:53
1 312
Ребята, помогите, пожалуйста, разобраться с этим: Пусть P(x,y) Q(x,y) - - предикаты на множестве...
bormogloda
14.06.2017 14:32
1 403
Равносильными преобразованиями привести формулу логики высказываний к СДНФ и СКНФ (если это...
The_Pride
14.06.2017 08:30
10 977
Доказать выводимость формул, используя аксиомы теории Чёрча и теоремами, модус понус и т.д Всем...
Keri773
13.06.2017 23:41
13 373
Ребята в чем ошибка ? применив все нужные законы я получил предваренную нормальную форму но...
HapkoBaron
13.06.2017 21:09
7 914
Помогите, пожалуйста. Нужно формулу привести к предваренной нормальной форме.
The_Pride
13.06.2017 19:52
0 200
Здравствуйте, нужна помощь с методом, который позволил бы найти все значения, не попадающие под...
Draid
12.06.2017 23:16
3 240
Ребята нужна помощь
HapkoBaron
12.06.2017 22:15
11 887
Построить МП–транслятор для преобразования цепочек вида: { 0 ( n) 1 ( m ) 0 ( k) }  { 1...
Дмитрий1810
11.06.2017 12:55
0 242
Выясните, в каких случаях классификация выполнена верно: а) целые числа можно разбить на...
Yulianochka
11.06.2017 00:01
2 348
Доброго времени суток! Нужно построить ДНФ для f(x,y,z)=01001011 методом минимизирующих карт и...
RaiDYT
11.06.2017 00:00
3 221
Составьте выражение для решения задачи Велосипедист за t часов проехал а км. Длина всего маршрута...
Yulianochka
10.06.2017 17:43
1 234
Даны множества: Х – множество чисел, кратных 36, У – множество чисел, кратных 9. Укажите, какое из...
Yulianochka
10.06.2017 16:46
1 282
Даны множества: А – множество равносторонних треугольников и В – множество прямоугольных...
Yulianochka
10.06.2017 16:43
1 273
Какой закон операций над множествами «распоряжается» только скобками: 1. Коммутативный; 2....
Yulianochka
10.06.2017 16:41
1 855
Известно, что С – множество натуральных решений уравнения а+9=3; Д – множество нечетных чисел,...
Yulianochka
10.06.2017 16:09
0 188
Даны отношения: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 438
Система уравнений 3x-y=0 x+y=2 не имеет решений.
aannaivanovna
08.06.2017 22:21
4 282
1)AvB->(C->CvD) 2)A->((B->C)->A) Помогите пожалуйста, не получается решить т.к. не понимаю как...
mironkarton
08.06.2017 22:03
1 271
Корректно ли я, используя символы математической логики, доказала, что для любой функции f и для...
K_A
08.06.2017 12:58
4 185
Преобразовать выражение используя только стрелку Пирса: неА+B+C
Кира11111
07.06.2017 21:30
6 235
Друзья, буду благодарен если кто-то поможет составить секвенцию, ну или хотя-бы даст совет. Не знаю...
temsku2
07.06.2017 20:48
1 266
Ребята нужна помощь нужно привести к предваренной нормальной форме
HapkoBaron
06.06.2017 19:14
3 254
Число неупорядоченных разбиений множества из 6 различных элементов на 3 подмножества мощности 1,2,2...
Mindfure
05.06.2017 11:07
3 577
Помогите решить
zarar384
04.06.2017 18:10
0 223
A={a,b,f} B={c,d,e,j,h} Чему равно мощность B\A? Добавлено через 3 часа 41 минуту Скорее всего 5
Mindfure
04.06.2017 13:32
2 298
Сколькими способами можно распределить 2 билета на разные спектакли в группе из 6 человек, если...
Mindfure
04.06.2017 05:53
6 912
Помогите выполнить задание
Николай Зубий
03.06.2017 23:32
2 184
Число неупорядоченных элементов множества из 6 различных элементов на 2 подмножества мощностью 3...
Mindfure
03.06.2017 19:17
10 1,245
Здравствуйте, уважаемые. Очень нужна ваша помощь. В общем, нужно доказать выводимость этих двух...
Detoxer
01.06.2017 12:00
7 916
В задачах на конечном множестве с помощью перечисления задано отношение. Постройте мат- рицу...
AsphaltHero
31.05.2017 21:32
1 262
Здравствуйте. Если кто знает решение, буду благодарен :) 1. Провести тождественные...
devStyle
31.05.2017 21:26
2 162
Доказать, что для любого множества M: M^2 ○ M^2 = M^2 ○ — символ композиции; Знаю, что M×M =...
K_A
30.05.2017 22:59
1 139
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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