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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,152,129 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,925
Обычные темы
 
     
 
Задать вопрос
В вузе уже пройден курс математической логики. Преподаватель читал лекции, придерживаясь книги Э....
Kaligulaa
05.07.2016 22:30
7 931
Преобразовать данную формулу так, чтобы она содержала только операции тесного отрицания, дизъюнкции...
t0lyan
02.07.2016 18:19
10 1,404
Доброго времени суток. Столкнулся с проблемой при решении задач по дискретной математике. ...
Pando
02.07.2016 13:14
1 1,024
TheGodfather007
01.07.2016 18:05
0 199
X^2+y^2>9 предиканты,как решить
lansmax
01.07.2016 13:48
1 154
A\cap\(B\cap C)=(A\cap B)\cap C Ниже привожу собственное доказательство, походящей больше на...
Kaligulaa
01.07.2016 12:09
1 910
Вычислить перманент квадратной матрицы порядка 5, у которой в каждой строке и каждом столбце только...
Wimion
30.06.2016 21:37
6 350
ДОБРЫЙ ДЕНЬ. ПОМОГИТЕ МНЕ РАЗОБРАТЬСЯ A→(B→C),(B→C) > C→ > A+B; ДОКАЗАТЬ МЕТОДОМ РЕЗОЛЮЦИЙ ...
luda T
30.06.2016 17:18
3 385
Построить таблицу истинности для формулы: \left({\bar x}_{3} \ \sim \ {x}_{2} \right) \...
t0lyan
30.06.2016 13:24
1 208
Решить систему уравнений: A\bigcup X = B \bigcap X A\bigcap X = B \bigcup X
Wimion
29.06.2016 16:07
2 204
Здравствуй, форум! Очень нужна помощь в построении вывода. Можно пользоваться 3 аксиомами,...
Jch
29.06.2016 01:05
4 245
Запишите 2^А перечислением множеств
Manomano
28.06.2016 13:04
4 778
Друзья, нужна помощь в построении биекции, как это сделать? :scratch:
mnffy
28.06.2016 12:51
3 1,036
Упростив предикатную формулу, определить тип (тождественно истинный, тождественно ложный,...
SV_RaVeN
27.06.2016 19:35
1 346
Здравствуйте. Объясните, пожалуйста, подробно доказательство следующей теоремы:...
Garold
27.06.2016 16:17
1 231
Если f(x)=s(s(x)), то 1) f(x)=2x+1 2) f(x)=x+2 3) f(x)=2x+2
Asly
26.06.2016 16:15
1 152
Даны пять объектов (A,B,C,D,E), указать энумераторы и денумераторы сочетаний с повторениями при...
Wimion
26.06.2016 16:08
1 164
Построить отношение aRb, где a делит b на M =...
Wimion
26.06.2016 10:13
0 146
11. Если f(x,y) получена с помощью оператора примитивной рекурсии из функций g(x)=x и h(x,y,z)=z2,...
Asly
25.06.2016 14:24
0 156
10. Если f(x)=s(s(s(o(x)))), то 1) f(x)=3x+1 2) f(x)=x+3 3) f(x)=3
Asly
25.06.2016 14:23
0 97
Даны умозаключения: "Охранники стадиона обыскивали всякого, кто проходил на стадион,кроме членов...
Gaga99123
25.06.2016 14:04
1 222
Добрый вечер, форум. Нужна ваша помощь. Не знаю как построить вывод формулы. A->(B->C) |-...
DaffyDuck12
23.06.2016 20:11
7 603
Добрый день! Подскажите пожалуйста, как мне установить биекцию между двумя множествами Q и N2...
mnffy
20.06.2016 22:03
10 1,710
Составьте формулы, используя для формализации всех фраз задачи только два атомарных высказывания....
Gaga9123
19.06.2016 19:09
6 475
Пусть на множестве языков программирования заданы предикаты:С(x)-x компилируемый язык,F(x)-x...
Gaga9123
19.06.2016 00:37
1 237
1. Укажите правильную запись высказывания: «любое рациональное число не больше самого себя» a)...
Pashqalgd
17.06.2016 16:40
5 421
Найдите все неравносильные между собой и не тождественно истинные следствия из данных посылок (X...
Allllll
16.06.2016 23:11
2 679
Записать данные рассуждения в виде формулы логики высказываний - 7.1***Выяснить правилен ли вывод...
MD9398
16.06.2016 20:59
1 393
Помогите, пжл, решить задание Минимизировать с помощью карты карго по кн F...
оксана96
16.06.2016 10:48
0 198
В общем, коллеги. Эту задачу мне задал Дмитрий Александрович Жуков - доцент кафедры «Информационная...
ТрАВаНаТр
15.06.2016 21:45
1 241
нужно сделать задания по микроэлектронике. Сама не могу понять( Вариант 24 Оптимизируйте...
Аниса111
15.06.2016 18:38
0 121
Y=X1*X3*X4 V X1*X2*X3 V X2*X3*X4 V X1*X2*X4 V !X2*!X3*!X4 V !X1*!X2*!X4 V !X1*!X2*!X3 помогите...
Peter29
15.06.2016 17:47
3 205
Имею синтаксическое дерево. Как мне отследить область видимости, например скобочную ? У меня...
Qazan
15.06.2016 15:02
4 239
Здравствуйте друзья. Используя теорему Поста, проверить полноту системы булевых функций...
ka4eLu
15.06.2016 01:54
3 2,548
никак не могу понять как ее написать помогите плз!!
Dasdatet
14.06.2016 21:30
1 342
Записать данные рассуждения в виде формулы логики высказываний - 7.2. ***Выяснить правилен ли вывод...
MD9398
14.06.2016 19:25
0 127
Записать данные рассуждения в виде формулы логики высказываний - 7.3. ***Выяснить правилен ли вывод...
MD9398
14.06.2016 19:25
0 74
Записать данные рассуждения в виде формулы логики высказываний - 7.4. ***Выяснить правилен ли вывод...
MD9398
14.06.2016 19:25
0 128
Записать данные рассуждения в виде формулы логики высказываний - 7.10. ***Выяснить правилен ли...
MD9398
14.06.2016 19:25
0 118
Записать данные рассуждения в виде формулы логики высказываний - 7.5. ***Выяснить правилен ли вывод...
MD9398
14.06.2016 19:25
0 94
Записать данные рассуждения в виде формулы логики высказываний - 7.6. ***Выяснить правилен ли вывод...
MD9398
14.06.2016 19:25
0 83
Записать данные рассуждения в виде формулы логики высказываний - 7.7. ***Выяснить правилен ли вывод...
MD9398
14.06.2016 19:25
0 112
Записать данные рассуждения в виде формулы логики высказываний - 7.8. ***Выяснить правилен ли вывод...
MD9398
14.06.2016 19:25
0 88
Записать данные рассуждения в виде формулы логики высказываний - 7.9. ***Выяснить правилен ли вывод...
MD9398
14.06.2016 19:25
0 147
Друзья, помогите плиз решить номера(кроме рк2 - сам уже решил), очень срочно нужно:cry:
gleb14
12.06.2016 13:50
0 249
Необходимо привести функцию алгебры логики \ F(X) = x1 x3 x4 \vee x1 x3 x5\vee x1 x3 x9\vee x1 x3...
pomanxxx
12.06.2016 07:40
2 256
Найти сокращённую, ядровую и все тупиковые ДНФ для функции f=0011 1000 0010 0001; решить методом...
Fall
11.06.2016 17:41
1 550
Форум, нужна ваша помощь, где-то в выводе ошибка, не знаю как исправить. A->(B->C) |- B->(A->C)...
EasyPeas
10.06.2016 21:09
2 225
Задан алгоритм функционирования некоторого комбинационного цифрового устройства в виде связи между...
Allllll
10.06.2016 20:56
0 201
Помогите найти Днф, Сднф, Метод Жигалкина при помощи эквивалентных преобразований. Булева формула:...
Mulyuk
10.06.2016 06:24
14 473
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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