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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,133,740 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,855
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
http://www.cyberfоrum.ru/attachment.php?attachmentid=905389&stc=1&d=1516890785
Rimrat
29.01.2018 08:01
9 267
Пусть U-множество всех студентов института, А- множество всех студентов факультета математики, В-...
Semen98
28.01.2018 18:54
1 156
Привет всем,проверьте пожалуйста правильность решения,если не сложно.Заранее благодарю....
DieSeele
23.01.2018 14:02
1 168
Задача 2. Упростить логическое выражение, используя метод Карно. _ _ ...
bloodpsixer
22.01.2018 13:12
1 161
Найти область определения, область значений отношения Р. Является ли отношение Ррефлексивным,...
LelyaQueen
21.01.2018 22:03
4 188
Очень прошу помочь с 2 функциями- для каждой необходмио Таблицу истинности построить + СДНФ и СКНФ...
light-revan
21.01.2018 00:48
21 810
Доказать в исчислении высказываний ¬(¬(¬Z→X)→¬Y)≡(¬X&Y&¬Z) Используя теорему дедукции,...
spangegoth
19.01.2018 16:43
3 211
Доказать равенства, используя свойства операций над множествами и определения операций. Дальше...
stenok
18.01.2018 16:41
3 174
Прошу помочь с решением данной задачи. Увы этой темы не знаю :(
Степан_888
18.01.2018 09:29
1 116
необходимо построить логическую схему по готовым функциям, буду очень признателен за скорую помощь...
masterdov
18.01.2018 01:52
1 169
https://image.ibb.cо/iXZBSR/11111.jpg Заранее благодарен
xakok
17.01.2018 08:15
1 263
Приведите пример функции, которая сама по себе не образует полный класс, а вместе с f( x, y, z) = x...
------
16.01.2018 18:27
1 123
Даны множества: А={5,10,15,20} B={3,6,9,12,15} A/B (это разность или что?)={5,10,20} Правильно...
ЕкатеринаКатя1
15.01.2018 17:59
2 117
(\forall)x(\forall)y(\exists)z(\forall)u P(x,y,z,u)\rightarrow...
Hextech Pride
15.01.2018 17:45
17 809
Доказать примитивную рекурсивность предикатов: 1. x<y 2. z=ОД(x,y)
Edu_ondar
14.01.2018 21:15
1 721
В теме не поместилось. Выбрав подходящую сигнатуру на языке логики предикатов записать определение...
KardinalSlime
14.01.2018 20:35
1 102
Здравствуйте! Подскажите, пожалуйста, как записать следующее высказывание на языке логики...
Razzikale
12.01.2018 20:02
1 193
Всем привет.Есть задача, нужно доказать или опровергнуть равносильность формул с помощью бинарных...
chicken
12.01.2018 09:11
7 217
Помогите плиз (AхB)∩(CхB)∩(CхD) = (A∩C)х(B∩D).
smith84
10.01.2018 20:38
1 179
Ребят подскажите пожалуйста... ∃x∀yA(x,y)&B(x,y) ; от чего оттолкнутся? А&B является...
smith84
10.01.2018 20:35
1 153
F(X,Y,Z) = X⇔Y&¬X⊕ZvX&Y Помогите пожалуйста построить скнф и сднф!
Useer
09.01.2018 22:12
5 213
С ДНФ и КНФ установить выполнимость формул
antiflagg
09.01.2018 18:22
1 125
Помогите пожалуйста решить тесты, вопросы в приложении
kinderushka
09.01.2018 16:50
0 161
Помогите пожалуйста, как это дело проверить, и доказать. A→(¬B→¬(A→B))
Goshaa
09.01.2018 16:48
8 570
Вообщем необходимо составить полином Жегалкина методом неопределенных коэффициентов и проверить...
Goshaa
09.01.2018 03:59
7 271
На булевом кубе можно определить отношение порядка следующим образом: для двух наборов a =...
Ольга_Н
08.01.2018 22:18
1 248
Выясните , верны ли логические следования \inline (Z\rightarrow T,T\rightarrow...
buffon49
08.01.2018 21:57
6 180
({x}_{1}+{x}_{2}+{x}_{4})&({x}_{4}+\bar{{x}_{2}}+\bar{{x}_{4}})&(\bar{{x}_{1}}+\bar{{x}_{2}}+\bar{{x...
Antonasti
06.01.2018 23:03
1 108
Помогите люди добрые! Нужно написать логическое выражение для данной схемы. Буду вам сказочно...
DxAxD
05.01.2018 01:08
14 797
Найти минимальную ДНФ для функции, заданной столбцом своих значений (0,1,1,0,1,0,0,1)
Ольга_Н
03.01.2018 20:32
1 475
Методом неопределённых коэффициентов найти полином Жегалкина для функции, заданной столбцом своих...
Ольга_Н
03.01.2018 20:25
1 292
Найти число булевых функций от n переменных, сохраняющих 1
Ольга_Н
03.01.2018 20:19
1 361
1 Функция f от n переменных, такая, что f(x, …, y, … z) = y, - … . 2 На булевом кубе можно...
Ольга_Н
03.01.2018 17:59
3 522
Здравствуйте, может кто знает. В каких устройствах используется СДНФ? Именно устройствах.
Miriadin
29.12.2017 18:20
2 776
Найти фиктивные переменные у функции, заданной вектором значений: f = (1001001100110010) ...
Useer
29.12.2017 17:37
2 880
Здравствуйте,математики и просто гости) Я столкнулся с не пониманием и не нахождением понятного...
Goshaa
29.12.2017 02:14
11 297
Применяя равносильные преобразования (P\rightarrow \tilde{Q}) \Lambda ((P\rightarrow...
gachw
28.12.2017 00:27
1 144
Нужно задать отображение из целы числе в натуральные, то есть: f: Z –> N Помогите привести пример...
DubFection
27.12.2017 21:35
1 99
С помощью метода резолюций проверить, верно ли что P\rightarrow Q, Q\leftrightarrow R,P \vdash R
gachw
27.12.2017 12:25
0 124
Доказать выводимость теоремы
Witcher1
27.12.2017 00:37
1 150
Добрый день. Прошу помочь с записью предложения в виде формулы логики предикатов "Либо всякий...
olntux
26.12.2017 09:25
3 182
Для бинарного отношения, определенного на множестве R, найти область определения, область значений...
Nikitagg
25.12.2017 00:10
0 138
a. если из того, что (a,b)ÎR следует (b,a) ÎR b. если из того, что (a,b)ÎRи (b,c)ÎR следует (а,с)...
BATMAN956
24.12.2017 15:51
1 759
Помогите разобраться и решить задание. Доказать выводимость теоремы, пользуясь аксиомами A1-A3 или...
Evolf
24.12.2017 11:01
5 177
(A ∩ B) \ (A ∩ C) = (A ∩ B) \ C
pro100jack
23.12.2017 22:07
1 195
Для множества B перечислить все сочетания по k элементов с повторениями, в которых первый элемент...
igroman1266
23.12.2017 14:00
6 800
Расположить формулы в таком порядке, чтобы из каждой логически следовала любая из последющих
Mozzarella123
23.12.2017 10:35
0 162
Буду рада, если объясните как решать задания такого рода
Zerita-Chan
21.12.2017 18:36
1 123
Помогите пожалуйста!
RikiMorti
21.12.2017 18:03
4 808
Нужно перевести на язык алгебры логики следующее высказывание: Если число делится на 2 и не...
ErUnDAK
20.12.2017 02:56
1 105
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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