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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,151,371 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,923
Обычные темы
 
     
 
Задать вопрос
помогите решить..
Оксааана
25.11.2012 22:40
2 627
Построить машину Тьюринга, которая будет считать записанные подряд (без пропусков) единицы (их...
Rio5
25.11.2012 20:24
0 268
картинка:
Sanjke123
25.11.2012 17:42
1 1,143
Всё на картинке
Sanjke123
25.11.2012 17:41
1 846
вся соль в картинке, прошу помощи.
Sanjke123
25.11.2012 17:39
1 1,034
Проверьте, пожалуйста, приавильно ли составлены предваренная и сколемовская формы
diaryofsummer
25.11.2012 17:37
1 898
Картинка
Sanjke123
25.11.2012 15:03
0 495
A при условии, что для B, а B влечет C и A, но A не эквивалентно C перевел ее на язык логики...
diaryofsummer
25.11.2012 02:29
0 1,382
По заданной таблице истинности построена следующая функция: Подскажите, пожалуйста, как её...
Светлана71
25.11.2012 02:00
1 478
Помогите пожалуйста. Только мне нужно через равносильные преобразования. 1. x→(у→х&у) 2....
Анастасия_014
25.11.2012 01:47
1 2,073
Доказать в исчислении высказываний (буквы обозначают произвольные формулы): 1. ((X->Z) ->((Y->Z)...
liliya87
25.11.2012 01:36
1 977
Доброго времени суток. Вот мое задание. Пусть W- множество людей. На множестве W заданы следующие...
Extro
24.11.2012 20:57
5 1,015
подскажите пожалуйста, в скобке (y+z->y+z) импликация там идет как (y+z)->(y+z) или y+(z->y)+z
lol123
24.11.2012 15:17
1 481
Петров,Иванов и Сидоров сдавали экзамен по математике.Если Петров не сдал экзамен на отлично,то и...
alyonaos
24.11.2012 13:19
0 1,422
Согласно опросу 250 телезрителей 95 из них нравится смотреть новости, 125 предпочитают смотреть...
Viktoriya1993
23.11.2012 23:49
5 1,032
не получается решить никак может знает кто?
Lena1808
23.11.2012 20:22
3 1,275
Построить машину Тьюринга, которая будет считать записанные подряд (без пропусков) единицы (их...
yamaschi
23.11.2012 19:20
10 3,011
Перевести минимизированное уравнение P = x2*x3+lx1*x3+x1*lx2*lx3 в базис «И - НЕ » пользуясь...
antone
23.11.2012 19:18
1 2,741
Прокоп
23.11.2012 02:09
1 815
нужно определить методом косвенного доказательства тип формулы:тождественно истинная, тождественно...
guTana
22.11.2012 19:32
0 386
Помогите, пожалуйста, упростить выражение Заранее спасибо. \left(C-\left(A\bigcap D\bigcap C...
Kseniya Shelest
21.11.2012 19:07
2 623
Помогите пожалуйста доказать истинность заключения методом дерева доказательств {не(a) или...
Rayd057
21.11.2012 18:53
0 552
помоните решить!) http://s019.***********/i636/1211/12/745971708301.jpg
ryan_star
21.11.2012 18:05
1 310
Небходимо построить машину Тьюринга для преобразования слова P=abab в слово Q=abababcdab Заранее...
Rio5
21.11.2012 15:36
0 351
Возможно довольно глупый вопрос, но в учебнике не написано. Имеется два таких выражения -...
vruleb
21.11.2012 14:21
0 373
Это пример задачи подобного типа, который я никак не могу понять каким образом делать... Желательно...
morkovka-13
21.11.2012 01:03
2 768
Доказать равенство, используя свойства операций над множествами : 1) A\(B\C)=(A\B)U(AnC)2)...
topdevice
20.11.2012 21:17
2 1,150
Math23
20.11.2012 09:54
3 1,114
Дана формула нашел КНФ никак не понимаю как находится ДНФ подскажите
DIMA_N
20.11.2012 03:28
1 739
Множество: (D ∪ C – B ∆ (B ∪ A) ∆ C) ∩ A 1. Представить множество в нормальной форме Кантора. 2....
ikris
18.11.2012 20:27
0 1,118
Каковы свойства отношения R1 - "быть степенью", заданного на множестве натуральных чисел. Каковы...
PerfectNv
17.11.2012 22:54
5 865
Если в карте Карно есть несколько вариантов склейки то их все надо использовать?Например на...
castiel92
17.11.2012 15:32
9 1,727
Дано:A\B содержит не С Доказать:С содержит (С\А)U(С∩В) Помогите пожалуйста доказать
Ann 94
17.11.2012 12:09
0 354
Помогите пожалуйста построить нормальный алгоритм для преобразования слова P=bbcab в слово...
Rio5
16.11.2012 20:58
6 408
Помогите пожалуйста! Нужно доказать истинность заключения методом дедукции
guTana
16.11.2012 20:34
0 670
Решила задание, хочу узнать ваше мнение правильно ли решение. Если нет, то хотелось бы услышать...
YuliaK
15.11.2012 19:54
0 1,428
Пусть Х-множество людей. Х * Х задано бинарное отношение м:<x,y> принадлеж м, если х является...
kobrachka
15.11.2012 14:54
1 280
Почему высказывание: "Некоторые верующие(S) не являются монахами(P)" обозначается так: S-oP+
Lotles
15.11.2012 14:04
0 282
Подскажите пожалуйста ка найти все фиктивные переменные f(x^4)=(1011010110110101) Добавлено...
Ольга12
15.11.2012 13:52
0 482
(A\bigcup (B/A) \bigcup \bar{A}\bigcap C)\bigcap \bar{A}\bigcap C/C
alexander62
13.11.2012 19:51
1 489
Ребята, подскажите пожалуйста: Нужно построить отношение R на множесте A1 не могу решить, я...
monro
13.11.2012 10:08
3 527
В старинной лаборатории есть чашечные весы (которые могут показать на какой чашке груз тяжелее или...
Fylhtq1997
12.11.2012 01:10
0 460
Составить высказывания, разделить на простые и записать символически: А)если в треугольнике...
ЕКАТЕРИНКА УМНА
11.11.2012 22:22
0 501
(A → B) ∧ (B→¬ A ) ∧(C→A) упростите формулу на основе законах логики, A → B =¬ A ⌵B
ЕКАТЕРИНКА УМНА
11.11.2012 22:10
3 647
Показать, что формула является логически общезначимой в исчислении предикатов...
wow44rus
11.11.2012 13:07
0 937
Задана формула 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,459
Добрый день. Имеется задание: представить формулу в виде суперпозиции только следующих...
kkk008009kkk
09.11.2012 18:45
1 3,395
Добрый день! помогите доказать в исчислении высказываний: X->Y -> ((X->!Y)->!X) Использовать...
andreyk
09.11.2012 11:11
0 355
Задание: Преобразовать формулу в конъюнктивную нормальную форму. Дано: A&Cυ(A→B)&┐C Мое решение:...
yamaschi
09.11.2012 01:33
1 500
Задание: Преобразовать формулу в конъюнктивную нормальную форму. Дано: A&Cυ(A→B)&┐C Мое решение:...
ma477
09.11.2012 01:32
2 1,454
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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