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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,152,156 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,925
Обычные темы
 
     
 
Задать вопрос
Здравствуйте! По заданию надо было минимизировать СДНФ и представить минимизированную запись в...
AlexAll
04.02.2018 11:05
7 970
Помогите, пожалуйста, с решением задачи. Заранее спасибо. На множестве R\{0} задана операция...
КартохаВареная
31.01.2018 21:03
4 185
(A xor C) or (A and B and C)
dsfsaegf
29.01.2018 20:49
3 185
Дано множество A и его подмножества B и C. Заданы условия. |A-(B\bigcap C)|=8 |B|=5 |X-(B\bigcup...
avral
29.01.2018 20:19
1 226
Подскажите, пожалуйста, книгу по теории отношений. Имею ввиду книгу, где бы рассматривались...
oobarbazanoo
29.01.2018 15:52
5 809
Доказать, что если функция f инъективна, то существует f^-1. (П.Ы объясните как это доказать. т.е....
Rimrat
29.01.2018 15:41
3 219
Подскажите, пожалуйста, сколько соответствий существует в каждом из двух случаев, если |A| = n,...
oobarbazanoo
29.01.2018 08:42
3 758
http://www.cyberfоrum.ru/attachment.php?attachmentid=905389&stc=1&d=1516890785
Rimrat
29.01.2018 08:01
9 270
Пусть U-множество всех студентов института, А- множество всех студентов факультета математики, В-...
Semen98
28.01.2018 18:54
1 198
Привет всем,проверьте пожалуйста правильность решения,если не сложно.Заранее благодарю....
DieSeele
23.01.2018 14:02
1 182
Задача 2. Упростить логическое выражение, используя метод Карно. _ _ ...
bloodpsixer
22.01.2018 13:12
1 174
Найти область определения, область значений отношения Р. Является ли отношение Ррефлексивным,...
LelyaQueen
21.01.2018 22:03
4 206
Очень прошу помочь с 2 функциями- для каждой необходмио Таблицу истинности построить + СДНФ и СКНФ...
light-revan
21.01.2018 00:48
21 1,144
Доказать в исчислении высказываний ¬(¬(¬Z→X)→¬Y)≡(¬X&Y&¬Z) Используя теорему дедукции,...
spangegoth
19.01.2018 16:43
3 264
Доказать равенства, используя свойства операций над множествами и определения операций. Дальше...
stenok
18.01.2018 16:41
3 215
Прошу помочь с решением данной задачи. Увы этой темы не знаю :(
Степан_888
18.01.2018 09:29
1 122
необходимо построить логическую схему по готовым функциям, буду очень признателен за скорую помощь...
masterdov
18.01.2018 01:52
1 180
https://image.ibb.cо/iXZBSR/11111.jpg Заранее благодарен
xakok
17.01.2018 08:15
1 326
Приведите пример функции, которая сама по себе не образует полный класс, а вместе с f( x, y, z) = x...
------
16.01.2018 18:27
1 127
Даны множества: А={5,10,15,20} B={3,6,9,12,15} A/B (это разность или что?)={5,10,20} Правильно...
ЕкатеринаКатя1
15.01.2018 17:59
2 124
(\forall)x(\forall)y(\exists)z(\forall)u P(x,y,z,u)\rightarrow...
Hextech Pride
15.01.2018 17:45
17 873
Доказать примитивную рекурсивность предикатов: 1. x<y 2. z=ОД(x,y)
Edu_ondar
14.01.2018 21:15
1 733
В теме не поместилось. Выбрав подходящую сигнатуру на языке логики предикатов записать определение...
KardinalSlime
14.01.2018 20:35
1 124
Здравствуйте! Подскажите, пожалуйста, как записать следующее высказывание на языке логики...
Razzikale
12.01.2018 20:02
1 199
Всем привет.Есть задача, нужно доказать или опровергнуть равносильность формул с помощью бинарных...
chicken
12.01.2018 09:11
7 265
Помогите плиз (AхB)∩(CхB)∩(CхD) = (A∩C)х(B∩D).
smith84
10.01.2018 20:38
1 205
Ребят подскажите пожалуйста... ∃x∀yA(x,y)&B(x,y) ; от чего оттолкнутся? А&B является...
smith84
10.01.2018 20:35
1 179
F(X,Y,Z) = X⇔Y&¬X⊕ZvX&Y Помогите пожалуйста построить скнф и сднф!
Useer
09.01.2018 22:12
5 294
С ДНФ и КНФ установить выполнимость формул
antiflagg
09.01.2018 18:22
1 128
Помогите пожалуйста решить тесты, вопросы в приложении
kinderushka
09.01.2018 16:50
0 163
Помогите пожалуйста, как это дело проверить, и доказать. A→(¬B→¬(A→B))
Goshaa
09.01.2018 16:48
8 1,224
Вообщем необходимо составить полином Жегалкина методом неопределенных коэффициентов и проверить...
Goshaa
09.01.2018 03:59
7 334
На булевом кубе можно определить отношение порядка следующим образом: для двух наборов a =...
Ольга_Н
08.01.2018 22:18
1 303
Выясните , верны ли логические следования \inline (Z\rightarrow T,T\rightarrow...
buffon49
08.01.2018 21:57
6 193
({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 123
Помогите люди добрые! Нужно написать логическое выражение для данной схемы. Буду вам сказочно...
DxAxD
05.01.2018 01:08
14 809
Найти минимальную ДНФ для функции, заданной столбцом своих значений (0,1,1,0,1,0,0,1)
Ольга_Н
03.01.2018 20:32
1 652
Методом неопределённых коэффициентов найти полином Жегалкина для функции, заданной столбцом своих...
Ольга_Н
03.01.2018 20:25
1 414
Найти число булевых функций от n переменных, сохраняющих 1
Ольга_Н
03.01.2018 20:19
1 531
1 Функция f от n переменных, такая, что f(x, …, y, … z) = y, - … . 2 На булевом кубе можно...
Ольга_Н
03.01.2018 17:59
3 760
Здравствуйте, может кто знает. В каких устройствах используется СДНФ? Именно устройствах.
Miriadin
29.12.2017 18:20
2 782
Найти фиктивные переменные у функции, заданной вектором значений: f = (1001001100110010) ...
Useer
29.12.2017 17:37
2 988
Здравствуйте,математики и просто гости) Я столкнулся с не пониманием и не нахождением понятного...
Goshaa
29.12.2017 02:14
11 321
Применяя равносильные преобразования (P\rightarrow \tilde{Q}) \Lambda ((P\rightarrow...
gachw
28.12.2017 00:27
1 167
Нужно задать отображение из целы числе в натуральные, то есть: f: Z –> N Помогите привести пример...
DubFection
27.12.2017 21:35
1 103
С помощью метода резолюций проверить, верно ли что P\rightarrow Q, Q\leftrightarrow R,P \vdash R
gachw
27.12.2017 12:25
0 142
Доказать выводимость теоремы
Witcher1
27.12.2017 00:37
1 163
Добрый день. Прошу помочь с записью предложения в виде формулы логики предикатов "Либо всякий...
olntux
26.12.2017 09:25
3 243
Для бинарного отношения, определенного на множестве R, найти область определения, область значений...
Nikitagg
25.12.2017 00:10
0 172
a. если из того, что (a,b)ÎR следует (b,a) ÎR b. если из того, что (a,b)ÎRи (b,c)ÎR следует (а,с)...
BATMAN956
24.12.2017 15:51
1 776
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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