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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,123,667 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
Рейтинг темы: голосов - 29, средняя оценка - 4.93 OldFedor
26.03.2015 15:25
2 5,836
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Для функций, заданных по Вашему варианту, построить таблицы истинности,...
noobPascal
09.05.2013 18:09
2 1,272
Добрый день! Возникла проблема в составлении матрицы парных оценок. Прошу...
Evgenia87
08.05.2013 12:03
0 290
Добрый день. Посоветуйте пожалуйста литературу посвященную изучению и...
rambler87
07.05.2013 20:46
0 232
Помогите с заданием... Из двухместного предиката образуйте, пользуясь...
Satyana20
07.05.2013 17:00
0 256
1) установить порядок действий в логическом выражении (A\leftrightarrow B)&...
Рейтинг темы: голосов - 9, средняя оценка - 4.67 puchi
07.05.2013 16:18
1 1,210
Здравствуйте, прошу вас помогите с задачей по математической логике! ...
Рейтинг темы: голосов - 10, средняя оценка - 4.80 AzeHK
07.05.2013 15:26
3 1,298
3) упростите выражения (A & B v not A)\rightarrow not(A v B) = ? (A...
puchi
07.05.2013 15:12
2 542
(X->Y/\гZ)~(г(гX\/(Y->X/\Z))) Помогите пожалуйста получить ДНФ,КНФ ...
Redkill
07.05.2013 09:28
11 1,009
Добрый день. Подскажите, правильно ли решено: Необходимо упросить СДНФ: \bar...
ПростоЯ
06.05.2013 14:29
12 537
Здравствуйте! Задали задание, но не могу привести к пустой дизьюнкте....
Erato
06.05.2013 13:51
0 628
правильно ли я начал преобразовывать? и можно ли как-то дальше упростить его......
vladoscom93
05.05.2013 00:46
0 713
Комплекс задач АСУ разработали 5 программистов K,L,A,B,C. В процессе...
temacska1
04.05.2013 12:50
1 465
в таблице 1 заданы номера наборов аргументом, на которых логическая функция...
temacska1
04.05.2013 11:01
0 1,071
Записать предикатной формулой: Для всяких a,b: число a не делится на число b и...
temacska1
04.05.2013 10:57
0 391
Добрый день! Помогите пожалуйста разобраться, как с этим бороться....
Mutlu
01.05.2013 15:32
1 1,080
Парни, нужна помощь с упрощением. В выражении, как я понял, не хватает одной...
Рейтинг темы: голосов - 9, средняя оценка - 4.89 Skeich
01.05.2013 14:53
20 1,367
Помогите составить таблицу истинности. (a┴b)→((a→¬b)^(a→¬c)) Решал их очень...
dron121
01.05.2013 10:00
0 288
Всем доброго времени суток. Будьте добры, подскажите пожалуйста, как по ниже...
HaRuKy
25.04.2013 22:52
1 431
Используя метод, основанный на доказательстве теоремы Жегалкина (метод...
Amursk55
25.04.2013 22:48
1 366
для любого x(B(x)) -> существует y(A(y)-> B(x)) Записать "випереджену"...
zhenyaplus`
25.04.2013 22:24
1 479
Как записать логическими формулами следующие высказывание: Если медиана...
psihopat-прогр
25.04.2013 17:35
2 890
Подскажите в этом примере, как дальше она будет сокращаться? \bar {x} \bar {y}...
ПростоЯ
25.04.2013 11:37
11 665
Добрый вечер, прошу вас помочь с заданиями по математической логике. Нервы уже...
TOLSTOOO
25.04.2013 10:55
2 332
помогите решить систему...
Marselas
24.04.2013 23:24
0 839
Найдите множество X , удовлетворяющее условию A∩X=ø и A∪X=U.помогите решить...
Elena87
23.04.2013 23:40
3 610
Помогите пжл Правила, 5.16, 5.18. Задания набирать ручками. Один вопрос -...
Сергей816
23.04.2013 19:26
0 338
((А and B)<->(not C)) и ((A and (not B))<->C) чот долго сижу не получается...
mute
23.04.2013 16:08
5 779
Через некоторые 2 точки можно провести прямую. Составить интерпретацию, если:...
mute
23.04.2013 05:14
2 469
нужна помощь с решением задачи №3 , вариант 1 , буду очень благодарен) ...
frodoret
22.04.2013 18:14
0 300
Тема "Теории 1-го порядка. Интерпретации" Через любую точку, не лежащую на...
Рейтинг темы: голосов - 15, средняя оценка - 4.67 mute
22.04.2013 17:39
1 2,042
Карту я составил, а как описывать эти обороты не могу понять.
temasey
22.04.2013 17:32
1 414
помогите я пытаюсь решить и в итоге встаю в ступор секвенция зацикливается...
0_o_Killer_Ivan
22.04.2013 16:49
1 465
Доказать что множество X ={x(t) принадлежит С : |x(t)|<= 1/2 , t принадлежит }...
лизи
21.04.2013 23:18
1 465
доказать что формулыя вляются теоремами формализованного исчисления...
Stas12
21.04.2013 22:15
0 699
Используя два предиката, запишите предложение в виде формулы логики предикатов:...
Рейтинг темы: голосов - 22, средняя оценка - 4.73 GrukhvinEV
21.04.2013 19:57
5 3,769
Проверить сокращенным способом является ли логически правильным рассуждение:...
GrukhvinEV
21.04.2013 09:27
0 770
Помогите решить: 1)Является ли формула H логическим следствием формул ...
Fox007
20.04.2013 18:24
12 892
Добрые люди помогите)) 1. для любого числа можно найти большее число 2....
SANEK1990
20.04.2013 10:08
3 1,223
Найти следствия и посылки (не более 7) (z\leftrightarrow \bar{y})\wedge...
Наташа_87
20.04.2013 09:26
0 988
Доказать тождество, используя законы алгебры множеств и с помощью диаграммы...
Рейтинг темы: голосов - 23, средняя оценка - 4.74 proM20
19.04.2013 23:53
1 3,354
~ 1. Определите, какие из ниже приведенных отношений на Z являются...
Вита Иванова
19.04.2013 19:10
2 691
Найдите простейшую формулу для булевой функции трех переменных, которая...
dima31
19.04.2013 12:26
6 860
Упростить выражение алгебры множеств. Помогите пожалуйста.
proM20
18.04.2013 22:31
4 817
2.Нарисуйте диаграмму Хассе для каждого из след. частично упорядоченных...
Рейтинг темы: голосов - 27, средняя оценка - 4.93 Вита Иванова
18.04.2013 21:06
1 5,182
Как выглядит квантор "для каждого"? И символ "принадлежит"?
taras atavin
18.04.2013 14:01
3 356
найти логически эквивалентную систему, состоящую из меньшего числа высказываний
egorkadm
17.04.2013 22:52
0 395
Могу ли я воспользоваться свойством: -(A v B) = -A-B Для упрощения функции:...
FROSTEROID
17.04.2013 21:42
4 789
2. Определите, какие из следующих отношений на множестве людей рефлексивны,...
antiv_96
17.04.2013 20:24
0 1,143
I. ~ 1.Пусть R - отношение на множестве {1,2,3,4}, определяемое условием: uRv...
antiv_96
17.04.2013 20:24
0 443
XOR - это исключающее или, то есть оператор со следующей таблицей истинности:...
taras atavin
17.04.2013 18:17
13 539
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

Расширенный поиск

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