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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,151,324 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,923
Обычные темы
 
     
 
Задать вопрос
Объясните ктонить пожалуйста как это так получилось? 1)почему после первого знака "=" получается...
kolja_hejter
16.10.2016 21:10
1 173
Нужно решить 3 первых номера,сам не дохожу как
w33ha
16.10.2016 20:31
1 121
Дано число 19, перевести в двоичную систему. (010011), где h6=0; h5=1; h4=0; h3=0; h2=1;h1=1; ...
Blizzardgo
16.10.2016 20:10
0 175
Записать формулой логики предикатов "множество имеет не более двух элементов"
Апасный
16.10.2016 18:14
7 468
записать формулой логики высказываний ""Ложь, что по разделу числа 95 на 5 вытекает делимость числа...
Апасный
16.10.2016 14:08
0 143
Записать формулой в сигнатуре P1, P2, P3 утверждения: (Как я понял, Р1,2,3 надо брать с прошлого...
bellkross
16.10.2016 13:55
0 154
Какие два элемента отношения P={(x,y)|x,y\epsilon R, x<2y} показывают, что данное отношение не...
Milisa
16.10.2016 07:16
0 252
В учебнике приведена следующая форма задания множества через порождающую процедуру: M = {n | n:=0;...
Artmal
16.10.2016 00:37
7 744
Здравствуйте! Есть задача: "Имеется 20 больших коробок. Некоторые из них содержат внутри по 7...
Fox_x
15.10.2016 22:40
4 168
Какие два элемента отношения P={(x,y)|x,y∈R, xy>1} показывают, что данное отношение не транзитивно?...
Milisa
15.10.2016 21:45
2 329
Помогите пожалуйста решить заданице, уже 30 минут бездействую. не знаю с чего начать( ...
Okeyash
15.10.2016 19:23
1 321
(a&-b&c)or(a&b&-c) только начал изучение мат логики в общем проблем нет , но не могу упростить...
max19954
14.10.2016 02:27
3 144
X\rightarrow \bar{Y\bar{Z}} ДНФ: X\rightarrow...
Rainbow59
13.10.2016 18:14
2 219
Доказать тождества (A+B)+(A\wedge B)=A\vee B
Tommasis
12.10.2016 07:26
2 334
Здравствуйте! Не могу никак понять, как приводить выражения к СКНФ не используя таблицы. С СДНФ...
Dmitry21
11.10.2016 06:14
6 930
Это моя первая схема, есть сомнения в её верности. Основные трудности возникают в условных...
INNOS1990
11.10.2016 06:01
1 850
Подскажите пожалуйста, есть ли различие между знаками (4) (четверка в кружке) и \vdash в мат логике?
dune777
10.10.2016 22:14
4 831
Построить логическую цепь, реализующую функцию f={x}_{2}/{x}_{2} задав ее аналитически(в виде...
Artmal
10.10.2016 18:02
0 166
Если поступает сообщение «Кедр», то неверно, что система функционирует без отказов и не фиксируется...
Rainbow59
09.10.2016 18:54
1 878
Пусть a, b, c - элементы множества A. И на этом множестве задана операция *. Т.е. (A, *). Где * -...
alexhak
09.10.2016 15:37
3 183
Всем привет! Так получилось, что я пропустил несколько занятий, и скоро будет контрольная. Я к ней...
Nelsen97
09.10.2016 13:43
0 105
Доброго времени суток, ребят! Помогите, пожалуйста. У меня есть несколько функций. Их надо...
AleisterCrowley
06.10.2016 23:39
4 1,270
Можно ли поставить в соответствие единицу или ноль соответственно универсальному и пустому...
dzlkop
06.10.2016 17:08
2 256
Что есть множество А\В, если А – множество всех математических книг во всех библиотеках России, а В...
dzlkop
06.10.2016 12:19
1 200
Справедливы ли законы идемпотентности Булевой алгебры в алгебре действительных чисел? а)...
dzlkop
05.10.2016 23:35
5 370
Найти длину СКДНФ f=(x1\/ ...\/xn)*(x1\/ ...\/ xk \/ x(k+1) \/ xn) во второй скобке каждая...
_amper
05.10.2016 07:58
2 173
Объясните как как это делать?Буду очень благодарен.
SpaM_ZZ
05.10.2016 03:05
1 741
Чему равносильна конъюнкция контропозиции и ее конверсии? а) импликации; б) конверсии импликации;...
dzlkop
04.10.2016 20:31
1 438
Кто может помочь решить? я не могу понять как надо склеивать выражение. Заранее спасибо.
maksimelyan
04.10.2016 15:54
0 190
Если отношение А на множестве М рефлексивно, симметрично и транзитивно, можно ли разбить множество...
dzlkop
04.10.2016 15:36
2 188
Какая из переменных х1, х2, х3 является фиктивной в формуле f, где f задана условием f...
dzlkop
04.10.2016 10:42
0 146
Обладают ли свойством двойственности формулы поглощения? а) да; б) нет; в) одна обладает, другая...
dzlkop
04.10.2016 10:34
0 645
Вытекает ли из равенства А\В=С, что А=ВÈС? а) да; б) нет; в) вообще нет, но в частном случае да.
dzlkop
04.10.2016 10:33
0 195
Каково максимально возможное число классов, на которое можно разбить сумму трех пересекающихся...
dzlkop
04.10.2016 10:32
0 189
Отношение «х – победитель у» является : а) антирефлексивным; б) симметричным; в) транзитивным.
dzlkop
04.10.2016 10:31
0 154
Отношение «быть старше»: «х старше у» является : а) рефлексивным; б) симметричным; в)...
dzlkop
04.10.2016 10:31
0 187
Выделим в бесконечном множестве М счетное подмножество АÌМ. В каком отношении находятся мощности...
dzlkop
04.10.2016 10:30
0 195
Будет ли это отображение f : а) сюръективно; б) инъективно; в) биективно.
dzlkop
04.10.2016 10:29
0 105
Рассмотрим множество чисел R+. Будем считать, что между числами a и b задано отношение q, если...
Men007
04.10.2016 09:29
1 208
Нужна ваша помощь. Необходимо установить, является ли данное выражение формулой Если да, то...
dune777
03.10.2016 23:04
4 1,158
Доказать или опровергнуть умозаключение по заданному модусу путём построения диаграмм...
Rainbow59
03.10.2016 15:21
1 819
P- транзитивно. S- транзитивно. Привести пример P⋃S не транзитивно.
ko4a
03.10.2016 15:17
1 927
Я не понимаю этот метод.В интернете дается только табличный способ решения.у нас же по другому Я...
Kristina_S
03.10.2016 11:20
1 229
Думаю, что стоит доказывать через два вложения и рассматривать элементы (x,y) бинарных отношений:...
ko4a
02.10.2016 13:01
1 303
Добрый всем день! Прошу объяснить, почему в данном примере сначала идет A(x)&B(y), и почему нельзя...
dune777
01.10.2016 21:14
8 889
2 Для операции определенной на множестве R(рациональные числа), докажите, что операция...
riabokon_a
01.10.2016 20:32
7 707
Помогите доказать тождество -up
TRRx
30.09.2016 23:41
3 179
Будьте добры подскажите как по этим данным построить таблицу истинности? функция v(0 2 5 6 8 10...
Dimention
29.09.2016 02:24
1 219
Задания 2. Данное высказывание записать в виде формулы логики высказываний. Построить отрицание...
miryamusya
28.09.2016 11:51
0 292
Записать при помощи логических символов следующие свойства бинарных алгебраических операций:...
riabokon_a
27.09.2016 22:11
1 322
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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