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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,152,431 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,926
Обычные темы
 
     
 
Задать вопрос
Дана функция ((\bar{X\cup Y})\rightarrow\bar{Z})\cup XYZ Помогите найти минимальную ДНФ и...
dedlife
28.05.2014 05:38
1 648
Прошу проверить правильность синтеза в базисе И-НЕ:
Lar4ik
27.05.2014 20:36
0 177
Доброго времени суток, проблема такая: строю булевы функции в Матлабе, есть функция f=xQ1\Q2\ +...
Denque
27.05.2014 20:14
0 260
Докажите, что следующий предикат примитивно рекурсивный E(x): "x четно"; Помогите кто может. Я не...
атв2517
27.05.2014 20:09
0 147
как понять репликативна ли лог функция ? (результатом которой является 0 или 1) т.е. как...
andrejjjj
27.05.2014 19:07
3 488
примеры Загружайте изображения и файлы на форум и прикрепляйте к сообщению....
кевин92
27.05.2014 16:03
0 189
Изобразить на координатной прямой множество истинности предиката: (sinx>0)<->(cosx>п/2) Что...
Lom1
26.05.2014 22:17
34 2,049
помогите составить схему устройств в базисах и-не или-не для функций x2∙(x2) ̅+x3+x1∙x3∙(x2)...
TheBest777
26.05.2014 21:39
9 826
Изобразить на координатной прямой множество истинности предиката: (\sin x>0)\sim (\cos...
Lom1
26.05.2014 19:13
0 154
Каковы правила построения НДФ в записи с кванторами. то есть Ex P(x) и т д
coy_teapot
26.05.2014 18:14
0 218
Помоги пожалуйста. Доопределить функции f g h, чтобы f принадлежала M, g принадлежала L, а h...
loll
25.05.2014 18:44
1 757
Представить на диаграмме Эйлера множество:
Alexsandr2802
25.05.2014 18:41
1 417
Определить, является ли какой-либо из следующих предикатов, заданных на R, следствием другого: ...
Lom1
25.05.2014 14:43
0 360
Помогите, пожалуйста. Нужно доказать что предикат Vx(A>B(x))>(A>VxB(x)) . (V-для всех, > -...
nastenakawai
25.05.2014 13:52
0 316
Всем привет. По заданию нужно было продставить функцию y = (A*B)+(-A*-B): 1) в виде NAND 2) в виде...
Kvintero
24.05.2014 09:29
1 299
Добрый день. Помогите, пожалуйста, столкнулась с исчислением высказываний и никак понять не могу....
Paola
23.05.2014 12:09
3 877
3)Применяя равносильные преобразования, найдите СДНФ и СКНФ для данной формулы. Проверьте...
vanya95
23.05.2014 05:58
1 490
1)Приведите равносильными преобразованиями следующую формулу к ДНФ ¬(X ∧Y)∨ ¬(Z → Y)
vanya95
23.05.2014 03:55
1 967
2)Приведите равносильными преобразованиями следующую формулу к КНФ. (X ↔Y) ∧ (¬X ∨ Z)
vanya95
23.05.2014 03:38
1 566
Доказать методом резолюций теорему формальной теории групп: Для любого Х и для любого Y (X*X = e....
commissarii
23.05.2014 00:35
0 267
Мат. логика. не получается вывести формулу (X=>y)|- ((x=>y)=>y). Буду очень благодарен если...
Duke_Baal
23.05.2014 00:24
1 279
Доказать истинность заключения а) методом дедукции; б) методом резолюции; в) методом...
3dolvern
22.05.2014 16:17
0 415
Здравствуйте, можно ли на карте Карно для 5 переменных выделять такие контуры?
irina3456
22.05.2014 02:59
5 7,769
Доброго. Решил тут использовать нечеткость и малость подзавис. Суть проблемы: не могу сказать на...
LRx2
21.05.2014 21:26
0 303
Здравствуйте, если сможете, помогите пожалуйста. Преобразовать данную функцию в эквивалентную...
extreme795
21.05.2014 20:36
5 846
Найти общий унификатор для следующего множества формул: {P(a,x,f(g(y))),P(z,f(z),f(u))}
Karsar123
21.05.2014 19:52
1 629
помогите пожалуйста! Числа n и m представлены наборами символов « | » , разделенных « \ ». В конце...
Eva_23
19.05.2014 09:12
0 222
Подскажите, пожалуйста, приоритет операций в булевой алгебре.
Redmal
19.05.2014 03:30
3 627
помогите упростить функцию
sanek12
18.05.2014 19:17
6 899
Приветствую всех откликнувшихся. Возникло несколько вопросов: 1) нужно доказать что формула...
Rulevoi2
18.05.2014 13:37
6 483
Определить, является ли какой-либо из следующих предикатов, заданных на R, следствием другого: ...
Lom1
17.05.2014 17:18
4 706
Вот например мне дана формула: a^(¬(b→a)) Получается нужно найти ДНФ этой ф-лы,а потом через...
triadec_96
16.05.2014 23:39
0 366
Помогите построить полином Жегалкина методом неопределенных коэффициентов для F(1001110110011111),...
nostalex
15.05.2014 15:33
0 301
Для заданного предиката ,определить какие высказывания истинные,а какие ложные. А-квантор общности...
looc26kmv
15.05.2014 07:40
1 423
какие есть критерий выпуклости N-угольника Добавлено через 1 час 5 минут 1. Тот факт ,что...
Qazan
14.05.2014 22:02
0 183
Всем привет. Снова нужна ваша помощь. По заданию, нужно доказать, что рекурсивные функции...
Kvintero
14.05.2014 18:53
11 348
В первом доказать аналитическим путем справедливость выражений, а во втором упростить. Помогите...
kozachek123
14.05.2014 16:03
2 1,101
Пусть язык L над алфавитом V, рассмотрим язык M={\omega \omega ^R | \omega \in L , L \subseteq ...
tatiana4ka
14.05.2014 11:44
1 379
Для заданной функции Фи построить машину Тьюринга над алфавитом А, которая вычисляет эту функцию ...
Anton452
14.05.2014 08:40
0 198
Для заданной функции Фи построить нормальный алгоритм Маркова над алфавитом А, вычисляющий эту...
Anton452
14.05.2014 08:38
0 393
Привет всем. Мне нужно составить д.н.ф. функции f(x_1,x_2,x_3)= (x_1+x_2)\rightarrow x_3 под...
Sh@dow777
13.05.2014 23:19
8 291
Подскажите такой момент. Мне дана СДНФ....
Lar4ik
13.05.2014 22:53
8 359
Выручайте. Я думаю тут все просто, но додуматься не могу. Доказать, что для произвольных...
Egle
13.05.2014 21:03
10 920
найти мощность множества помеченных простых неориент. графов, имеющих 8 вершин, 15 ребер и 3...
for_while
13.05.2014 20:52
0 207
для произвольных булевых формул F' , F'' следующие 2 условия эквивалентны: 1) F'+F''= F''...
for_while
13.05.2014 20:45
0 165
подскажите пожалуйста, сколько различных ДНФ 3-х переменных можно составить без учета порядка...
for_while
13.05.2014 20:28
0 180
Помогите проверить двойственность функций {x\oplus y , x\vee \bar{y}} по таблице истинностиВот что...
alex7842
13.05.2014 11:24
1 1,318
помогите найти ошибку!! к среде надо уже сдать мне . Правила форума :rtfm: 4.7. Как можно более...
flatra
12.05.2014 20:19
0 180
Пусть заданы перестановки: (1 2 3 4 5)=a (2 5 3 1 4) (1 2 3 4 5)=b (3 2 5 1 4) ...
Gava1
11.05.2014 22:34
5 2,298
http://********************/show-image.php?id=af9d8afd43bacd2906d2715121c35cdc
supernet95
11.05.2014 21:34
2 223
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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