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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,133,132 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,855
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
A при условии, что для B, а B влечет C и A, но A не эквивалентно C перевел ее на язык логики...
diaryofsummer
25.11.2012 02:29
0 1,375
По заданной таблице истинности построена следующая функция: Подскажите, пожалуйста, как её...
Светлана71
25.11.2012 02:00
1 476
Помогите пожалуйста. Только мне нужно через равносильные преобразования. 1. x→(у→х&у) 2....
Анастасия_014
25.11.2012 01:47
1 2,021
Доказать в исчислении высказываний (буквы обозначают произвольные формулы): 1. ((X->Z) ->((Y->Z)...
liliya87
25.11.2012 01:36
1 946
Доброго времени суток. Вот мое задание. Пусть W- множество людей. На множестве W заданы следующие...
Extro
24.11.2012 20:57
5 978
подскажите пожалуйста, в скобке (y+z->y+z) импликация там идет как (y+z)->(y+z) или y+(z->y)+z
lol123
24.11.2012 15:17
1 479
Петров,Иванов и Сидоров сдавали экзамен по математике.Если Петров не сдал экзамен на отлично,то и...
alyonaos
24.11.2012 13:19
0 1,372
Согласно опросу 250 телезрителей 95 из них нравится смотреть новости, 125 предпочитают смотреть...
Viktoriya1993
23.11.2012 23:49
5 1,021
не получается решить никак может знает кто?
Lena1808
23.11.2012 20:22
3 1,254
Построить машину Тьюринга, которая будет считать записанные подряд (без пропусков) единицы (их...
yamaschi
23.11.2012 19:20
10 2,963
Перевести минимизированное уравнение P = x2*x3+lx1*x3+x1*lx2*lx3 в базис «И - НЕ » пользуясь...
antone
23.11.2012 19:18
1 2,581
Прокоп
23.11.2012 02:09
1 811
нужно определить методом косвенного доказательства тип формулы:тождественно истинная, тождественно...
guTana
22.11.2012 19:32
0 380
Помогите, пожалуйста, упростить выражение Заранее спасибо. \left(C-\left(A\bigcap D\bigcap C...
Kseniya Shelest
21.11.2012 19:07
2 616
Помогите пожалуйста доказать истинность заключения методом дерева доказательств {не(a) или...
Rayd057
21.11.2012 18:53
0 544
помоните решить!) http://s019.***********/i636/1211/12/745971708301.jpg
ryan_star
21.11.2012 18:05
1 301
Небходимо построить машину Тьюринга для преобразования слова P=abab в слово Q=abababcdab Заранее...
Rio5
21.11.2012 15:36
0 348
Возможно довольно глупый вопрос, но в учебнике не написано. Имеется два таких выражения -...
vruleb
21.11.2012 14:21
0 371
Это пример задачи подобного типа, который я никак не могу понять каким образом делать... Желательно...
morkovka-13
21.11.2012 01:03
2 753
Доказать равенство, используя свойства операций над множествами : 1) A\(B\C)=(A\B)U(AnC)2)...
topdevice
20.11.2012 21:17
2 1,116
Math23
20.11.2012 09:54
3 1,110
Дана формула нашел КНФ никак не понимаю как находится ДНФ подскажите
DIMA_N
20.11.2012 03:28
1 717
Множество: (D ∪ C – B ∆ (B ∪ A) ∆ C) ∩ A 1. Представить множество в нормальной форме Кантора. 2....
ikris
18.11.2012 20:27
0 1,094
Каковы свойства отношения R1 - "быть степенью", заданного на множестве натуральных чисел. Каковы...
PerfectNv
17.11.2012 22:54
5 842
Если в карте Карно есть несколько вариантов склейки то их все надо использовать?Например на...
castiel92
17.11.2012 15:32
9 1,708
Дано:A\B содержит не С Доказать:С содержит (С\А)U(С∩В) Помогите пожалуйста доказать
Ann 94
17.11.2012 12:09
0 353
Помогите пожалуйста построить нормальный алгоритм для преобразования слова P=bbcab в слово...
Rio5
16.11.2012 20:58
6 404
Помогите пожалуйста! Нужно доказать истинность заключения методом дедукции
guTana
16.11.2012 20:34
0 660
Решила задание, хочу узнать ваше мнение правильно ли решение. Если нет, то хотелось бы услышать...
YuliaK
15.11.2012 19:54
0 1,405
Пусть Х-множество людей. Х * Х задано бинарное отношение м:<x,y> принадлеж м, если х является...
kobrachka
15.11.2012 14:54
1 279
Почему высказывание: "Некоторые верующие(S) не являются монахами(P)" обозначается так: S-oP+
Lotles
15.11.2012 14:04
0 275
Подскажите пожалуйста ка найти все фиктивные переменные f(x^4)=(1011010110110101) Добавлено...
Ольга12
15.11.2012 13:52
0 479
(A\bigcup (B/A) \bigcup \bar{A}\bigcap C)\bigcap \bar{A}\bigcap C/C
alexander62
13.11.2012 19:51
1 485
Ребята, подскажите пожалуйста: Нужно построить отношение R на множесте A1 не могу решить, я...
monro
13.11.2012 10:08
3 513
В старинной лаборатории есть чашечные весы (которые могут показать на какой чашке груз тяжелее или...
Fylhtq1997
12.11.2012 01:10
0 458
Составить высказывания, разделить на простые и записать символически: А)если в треугольнике...
ЕКАТЕРИНКА УМНА
11.11.2012 22:22
0 490
(A → B) ∧ (B→¬ A ) ∧(C→A) упростите формулу на основе законах логики, A → B =¬ A ⌵B
ЕКАТЕРИНКА УМНА
11.11.2012 22:10
3 616
Показать, что формула является логически общезначимой в исчислении предикатов...
wow44rus
11.11.2012 13:07
0 904
Задана формула f(x,y,z) : \bar{x}yz\vee \bar{x}y\bar{x}z\vee xz\vee y (это уже ее упрощенный вид)....
Ricco
09.11.2012 22:57
0 3,367
Добрый день. Имеется задание: представить формулу в виде суперпозиции только следующих...
kkk008009kkk
09.11.2012 18:45
1 3,268
Добрый день! помогите доказать в исчислении высказываний: X->Y -> ((X->!Y)->!X) Использовать...
andreyk
09.11.2012 11:11
0 351
Задание: Преобразовать формулу в конъюнктивную нормальную форму. Дано: A&Cυ(A→B)&┐C Мое решение:...
yamaschi
09.11.2012 01:33
1 492
Задание: Преобразовать формулу в конъюнктивную нормальную форму. Дано: A&Cυ(A→B)&┐C Мое решение:...
ma477
09.11.2012 01:32
2 1,392
Здравствуйте! Полдня уже сижу и пытаюсь что-либо поделать... Нашел всё кроме КНФ - табл. истиности,...
AuraAD
08.11.2012 22:05
1 4,358
Используя метод косвенного доказательства (способ "от противного") необходимо доказать, являеться...
guTana
08.11.2012 18:37
0 572
«число х делится на число у без остатка» - на множестве R. = Полный порядок Рефлексивность ...
Ирина197708
08.11.2012 18:12
3 2,269
Подскажите пожалуйста, как упростить или к каким правилам обратиться, что бы это сделать на данном...
Inkognitoo
08.11.2012 16:47
3 873
Помогите
wwumen
08.11.2012 11:58
4 510
найти Х , при котором выражение будет истинным A*B+X(B :с чертой" +А*С "с чертой у...
juliajul
08.11.2012 06:38
2 419
Используя законы алгебры логики преобразовать пошагово функцию в ДНФ z\bar{x}\rightarrow...
ula-la
08.11.2012 04:27
0 485
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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