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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,133,623 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,855
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
записать формулой логики высказываний ""Ложь, что по разделу числа 95 на 5 вытекает делимость числа...
Апасный
16.10.2016 14:08
0 132
Записать формулой в сигнатуре P1, P2, P3 утверждения: (Как я понял, Р1,2,3 надо брать с прошлого...
bellkross
16.10.2016 13:55
0 150
Какие два элемента отношения P={(x,y)|x,y\epsilon R, x<2y} показывают, что данное отношение не...
Milisa
16.10.2016 07:16
0 235
В учебнике приведена следующая форма задания множества через порождающую процедуру: M = {n | n:=0;...
Artmal
16.10.2016 00:37
7 743
Здравствуйте! Есть задача: "Имеется 20 больших коробок. Некоторые из них содержат внутри по 7...
Fox_x
15.10.2016 22:40
4 163
Какие два элемента отношения P={(x,y)|x,y∈R, xy>1} показывают, что данное отношение не транзитивно?...
Milisa
15.10.2016 21:45
2 279
Помогите пожалуйста решить заданице, уже 30 минут бездействую. не знаю с чего начать( ...
Okeyash
15.10.2016 19:23
1 267
(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 193
Доказать тождества (A+B)+(A\wedge B)=A\vee B
Tommasis
12.10.2016 07:26
2 294
Здравствуйте! Не могу никак понять, как приводить выражения к СКНФ не используя таблицы. С СДНФ...
Dmitry21
11.10.2016 06:14
6 901
Это моя первая схема, есть сомнения в её верности. Основные трудности возникают в условных...
INNOS1990
11.10.2016 06:01
1 847
Подскажите пожалуйста, есть ли различие между знаками (4) (четверка в кружке) и \vdash в мат логике?
dune777
10.10.2016 22:14
4 808
Построить логическую цепь, реализующую функцию f={x}_{2}/{x}_{2} задав ее аналитически(в виде...
Artmal
10.10.2016 18:02
0 165
Если поступает сообщение «Кедр», то неверно, что система функционирует без отказов и не фиксируется...
Rainbow59
09.10.2016 18:54
1 851
Пусть a, b, c - элементы множества A. И на этом множестве задана операция *. Т.е. (A, *). Где * -...
alexhak
09.10.2016 15:37
3 160
Всем привет! Так получилось, что я пропустил несколько занятий, и скоро будет контрольная. Я к ней...
Nelsen97
09.10.2016 13:43
0 101
Доброго времени суток, ребят! Помогите, пожалуйста. У меня есть несколько функций. Их надо...
AleisterCrowley
06.10.2016 23:39
4 991
Можно ли поставить в соответствие единицу или ноль соответственно универсальному и пустому...
dzlkop
06.10.2016 17:08
2 253
Что есть множество А\В, если А – множество всех математических книг во всех библиотеках России, а В...
dzlkop
06.10.2016 12:19
1 189
Справедливы ли законы идемпотентности Булевой алгебры в алгебре действительных чисел? а)...
dzlkop
05.10.2016 23:35
5 359
Найти длину СКДНФ f=(x1\/ ...\/xn)*(x1\/ ...\/ xk \/ x(k+1) \/ xn) во второй скобке каждая...
_amper
05.10.2016 07:58
2 166
Объясните как как это делать?Буду очень благодарен.
SpaM_ZZ
05.10.2016 03:05
1 740
Чему равносильна конъюнкция контропозиции и ее конверсии? а) импликации; б) конверсии импликации;...
dzlkop
04.10.2016 20:31
1 406
Кто может помочь решить? я не могу понять как надо склеивать выражение. Заранее спасибо.
maksimelyan
04.10.2016 15:54
0 183
Если отношение А на множестве М рефлексивно, симметрично и транзитивно, можно ли разбить множество...
dzlkop
04.10.2016 15:36
2 183
Какая из переменных х1, х2, х3 является фиктивной в формуле f, где f задана условием f...
dzlkop
04.10.2016 10:42
0 137
Обладают ли свойством двойственности формулы поглощения? а) да; б) нет; в) одна обладает, другая...
dzlkop
04.10.2016 10:34
0 506
Вытекает ли из равенства А\В=С, что А=ВÈС? а) да; б) нет; в) вообще нет, но в частном случае да.
dzlkop
04.10.2016 10:33
0 188
Каково максимально возможное число классов, на которое можно разбить сумму трех пересекающихся...
dzlkop
04.10.2016 10:32
0 182
Отношение «х – победитель у» является : а) антирефлексивным; б) симметричным; в) транзитивным.
dzlkop
04.10.2016 10:31
0 151
Отношение «быть старше»: «х старше у» является : а) рефлексивным; б) симметричным; в)...
dzlkop
04.10.2016 10:31
0 166
Выделим в бесконечном множестве М счетное подмножество АÌМ. В каком отношении находятся мощности...
dzlkop
04.10.2016 10:30
0 180
Будет ли это отображение f : а) сюръективно; б) инъективно; в) биективно.
dzlkop
04.10.2016 10:29
0 103
Рассмотрим множество чисел R+. Будем считать, что между числами a и b задано отношение q, если...
Men007
04.10.2016 09:29
1 186
Нужна ваша помощь. Необходимо установить, является ли данное выражение формулой Если да, то...
dune777
03.10.2016 23:04
4 949
Доказать или опровергнуть умозаключение по заданному модусу путём построения диаграмм...
Rainbow59
03.10.2016 15:21
1 784
P- транзитивно. S- транзитивно. Привести пример P⋃S не транзитивно.
ko4a
03.10.2016 15:17
1 870
Я не понимаю этот метод.В интернете дается только табличный способ решения.у нас же по другому Я...
Kristina_S
03.10.2016 11:20
1 195
Думаю, что стоит доказывать через два вложения и рассматривать элементы (x,y) бинарных отношений:...
ko4a
02.10.2016 13:01
1 263
Добрый всем день! Прошу объяснить, почему в данном примере сначала идет A(x)&B(y), и почему нельзя...
dune777
01.10.2016 21:14
8 868
2 Для операции определенной на множестве R(рациональные числа), докажите, что операция...
riabokon_a
01.10.2016 20:32
7 577
Помогите доказать тождество -up
TRRx
30.09.2016 23:41
3 177
Будьте добры подскажите как по этим данным построить таблицу истинности? функция v(0 2 5 6 8 10...
Dimention
29.09.2016 02:24
1 215
Задания 2. Данное высказывание записать в виде формулы логики высказываний. Построить отрицание...
miryamusya
28.09.2016 11:51
0 259
Записать при помощи логических символов следующие свойства бинарных алгебраических операций:...
riabokon_a
27.09.2016 22:11
1 291
4 Определены ли на множестве: N(натуральные числа), Z(целые числа), Q, 2Z(четные числа),...
riabokon_a
27.09.2016 21:15
3 362
Найти пересечение А и В. А={0^m 1^3n | n>0 m>0}, B={0^3n 1^m | n>0 m>0}. Выяснить чему равно...
arturion
27.09.2016 13:00
1 184
Подскажите пожалуйста какие-нибудь методические пособия по математической логике и теории...
Kristina_S
27.09.2016 12:58
0 126
Составить таблицу истинности
Andryuxa1994
27.09.2016 04:48
1 173
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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