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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,138,557 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,880
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Здравствуйте! Задали задание, но не могу привести к пустой дизьюнкте. Подскажите, пожалуйста, может...
Erato
06.05.2013 13:51
0 643
правильно ли я начал преобразовывать? и можно ли как-то дальше упростить его... вот исходный...
vladoscom93
05.05.2013 00:46
0 726
Комплекс задач АСУ разработали 5 программистов K,L,A,B,C. В процессе опытной эксплуатации...
temacska1
04.05.2013 12:50
1 467
в таблице 1 заданы номера наборов аргументом, на которых логическая функция принимает значение,...
temacska1
04.05.2013 11:01
0 1,117
Записать предикатной формулой: Для всяких a,b: число a не делится на число b и неверно, что их...
temacska1
04.05.2013 10:57
0 395
Добрый день! Помогите пожалуйста разобраться, как с этим бороться. Требуется доказать...
Mutlu
01.05.2013 15:32
1 1,136
Парни, нужна помощь с упрощением. В выражении, как я понял, не хватает одной скобки. Так вот,...
Skeich
01.05.2013 14:53
20 1,401
Помогите составить таблицу истинности. (a┴b)→((a→¬b)^(a→¬c)) Решал их очень давно и уже половину...
dron121
01.05.2013 10:00
0 293
Всем доброго времени суток. Будьте добры, подскажите пожалуйста, как по ниже приведенным...
HaRuKy
25.04.2013 22:52
1 441
Используя метод, основанный на доказательстве теоремы Жегалкина (метод неопределенных...
Amursk55
25.04.2013 22:48
1 372
для любого x(B(x)) -> существует y(A(y)-> B(x)) Записать "випереджену" нормальную и сколемовскую...
zhenyaplus`
25.04.2013 22:24
1 485
Как записать логическими формулами следующие высказывание: Если медиана треугольника, проведенная...
psihopat-прогр
25.04.2013 17:35
2 899
Подскажите в этом примере, как дальше она будет сокращаться? \bar {x} \bar {y} \bar {z} \bar {w}...
ПростоЯ
25.04.2013 11:37
11 668
Добрый вечер, прошу вас помочь с заданиями по математической логике. Нервы уже на срыве, не могу...
TOLSTOOO
25.04.2013 10:55
2 337
помогите решить систему http://pikucha.ru/iaVTr/thumbnail/IMG_20130424_231220.jpeg
Marselas
24.04.2013 23:24
0 848
Найдите множество X , удовлетворяющее условию A∩X=ø и A∪X=U.помогите решить пожалуйста
Elena87
23.04.2013 23:40
3 630
Помогите пжл Правила, 5.16, 5.18. Задания набирать ручками. Один вопрос - одна тема. Для формул...
Сергей816
23.04.2013 19:26
0 340
((А and B)<->(not C)) и ((A and (not B))<->C) чот долго сижу не получается помогите пожалуйста
mute
23.04.2013 16:08
5 788
Через некоторые 2 точки можно провести прямую. Составить интерпретацию, если: T(x) - точка "x"...
mute
23.04.2013 05:14
2 477
нужна помощь с решением задачи №3 , вариант 1 , буду очень благодарен) Правила, 5.18. Задания...
frodoret
22.04.2013 18:14
0 309
Тема "Теории 1-го порядка. Интерпретации" Через любую точку, не лежащую на данной плоскости, можно...
mute
22.04.2013 17:39
1 2,101
Карту я составил, а как описывать эти обороты не могу понять.
temasey
22.04.2013 17:32
1 419
помогите я пытаюсь решить и в итоге встаю в ступор секвенция зацикливается \large...
0_o_Killer_Ivan
22.04.2013 16:49
1 469
Доказать что множество X ={x(t) принадлежит С : |x(t)|<= 1/2 , t принадлежит } является полным...
лизи
21.04.2013 23:18
1 470
доказать что формулыя вляются теоремами формализованного исчисления высказываний, построив...
Stas12
21.04.2013 22:15
0 712
Используя два предиката, запишите предложение в виде формулы логики предикатов: “Все мыши любят...
GrukhvinEV
21.04.2013 19:57
5 3,890
Проверить сокращенным способом является ли логически правильным рассуждение: «Вещественное число –...
GrukhvinEV
21.04.2013 09:27
0 780
Помогите решить: 1)Является ли формула H логическим следствием формул F1,F2,F3? ...
Fox007
20.04.2013 18:24
12 899
Добрые люди помогите)) 1. для любого числа можно найти большее число 2. «Все счастливые семьи...
SANEK1990
20.04.2013 10:08
3 1,244
Найти следствия и посылки (не более 7) (z\leftrightarrow \bar{y})\wedge (x\rightarrow z) я...
Наташа_87
20.04.2013 09:26
0 1,000
Доказать тождество, используя законы алгебры множеств и с помощью диаграммы Эйлера – Венна. ...
proM20
19.04.2013 23:53
1 3,465
~ 1. Определите, какие из ниже приведенных отношений на Z являются рефлексивными, симметричными, а...
Вита Иванова
19.04.2013 19:10
2 710
Найдите простейшую формулу для булевой функции трех переменных, которая принимает то же значение,...
dima31
19.04.2013 12:26
6 886
Упростить выражение алгебры множеств. Помогите пожалуйста.
proM20
18.04.2013 22:31
4 829
2.Нарисуйте диаграмму Хассе для каждого из след. частично упорядоченных множеств: а)...
Вита Иванова
18.04.2013 21:06
1 5,514
Как выглядит квантор "для каждого"? И символ "принадлежит"?
taras atavin
18.04.2013 14:01
3 362
найти логически эквивалентную систему, состоящую из меньшего числа высказываний
egorkadm
17.04.2013 22:52
0 398
Могу ли я воспользоваться свойством: -(A v B) = -A-B Для упрощения функции: -(A v B v C) И...
FROSTEROID
17.04.2013 21:42
4 806
2. Определите, какие из следующих отношений на множестве людей рефлексивны, симметричны или...
antiv_96
17.04.2013 20:24
0 1,186
I. ~ 1.Пусть R - отношение на множестве {1,2,3,4}, определяемое условием: uRv тогда и только...
antiv_96
17.04.2013 20:24
0 466
XOR - это исключающее или, то есть оператор со следующей таблицей истинности: a|b|a XOR b...
taras atavin
17.04.2013 18:17
13 550
Требуется доказать клаузу аксиоматическим методом. Помогите найти ошибку D -> E, E -> C, A = D,...
Ксения7
17.04.2013 16:06
0 425
Есть две фомы 1)\bar{xyzw} \vee \bar{xy} z \bar{w} \vee \bar{xy} zw \vee x \bar{yzw} \vee xyzw ...
ПростоЯ
17.04.2013 11:02
4 297
равносильным преобразованием привести к сднф и скнф днф и кнф к сднф и скнф я поняла как привести...
Наташа_87
17.04.2013 05:36
2 991
Помогите упростить!
varkl
16.04.2013 19:04
1 1,731
Доказать тождество и проверить его с помощью диаграммы Эйлера Венна. Помогите решить!...
varkl
16.04.2013 14:24
3 1,707
Друзья мои реально запутался. помогите найти ДНФ и КНФ
Puchok063
16.04.2013 09:53
0 443
Написать регулярное выражение, которое содержит хотя бы одну 1 и один 0 Добавлено через 2 минуты...
Vlad1993
14.04.2013 10:26
0 383
Есть формула Поясните, плз, что здесь значит и какой логический знак имеется ввиду тут...
ПростоЯ
12.04.2013 19:26
16 543
Правильно ли получилось? Задание: записать в виде полинома Жегалкина логическую функцию:...
ПростоЯ
12.04.2013 19:16
5 381
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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