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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,123,498 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
Рейтинг темы: голосов - 29, средняя оценка - 4.93 OldFedor
26.03.2015 15:25
2 5,833
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Здравствуйте! Помогите в решении! Надо доказать выводимость. (P\vee...
Игорь2013
23.12.2013 18:45
1 682
Трендец имени первой сессии подкрался незаметно.Я понимаю,что,возможно,многим...
Ферзь
23.12.2013 18:24
2 1,213
http://www.cyberforum.ru/attachment.php?attachmentid=345772&stc=1&d=1387707019...
n1ce3696
23.12.2013 17:28
9 985
Помогите пожалуйста упростить через карту карно..никак не могу понять, как это...
Юля_программист
23.12.2013 16:42
2 303
Множество М задается следующей порождающей процедурой 1)10\inМ;2)если a\inM, то...
dmasta92
23.12.2013 15:35
13 709
Доказать, что класс всех одномерных векторных пространств над полем R не...
Foxa
23.12.2013 14:59
0 269
Здравствуйте форумчане! Прошу помощи вот в чём. Правильно ли я решил данное...
Rurouni
23.12.2013 14:57
2 414
(\bar{b}(\bar{a}+\bar{c})\rightarrow b)(\bar{a}+b\rightarrow \bar{c})
andreyrussian
23.12.2013 11:58
1 1,001
Докажите выводимость в исчислении высказываний следующей формулы. При выводе...
TheSN
22.12.2013 18:33
5 777
Является ли данная формула общезначимой? Докажите. \forall x ( A(x)...
TheSN
22.12.2013 18:21
2 351
Здравствуйте. Помогите, пожалуйста, с задачей: "Найти наиболее общий...
vorobiov19
22.12.2013 18:05
1 450
Является ли данная формула общезначимой? Докажите. \forall x \exists y...
Рейтинг темы: голосов - 10, средняя оценка - 4.80 TheSN
22.12.2013 16:42
1 2,008
Функция, заданная СДНФ , имеет столбец значений?
dmasta92
22.12.2013 16:20
7 393
Помогите записать следующие определения на языку логики предикатов а)...
Рейтинг темы: голосов - 9, средняя оценка - 4.78 fReekufa
22.12.2013 15:10
1 1,777
Зная уравнение сднф,как построить столбец значений истинности?
dmasta92
22.12.2013 13:09
2 332
В школе разбили окно. Подозревают: Лешу, Диму, Толю, Мишу. Лёша утверждает:...
supra7sky
21.12.2013 20:26
2 1,235
Здравствуйте,помогите пожалуйста решить вот такое задание. Аналитическим...
Haifisch
21.12.2013 19:00
2 262
Примеры в тесте 1)Булева функция 0 → x тождественно равна функции ...
dmasta92
21.12.2013 18:34
14 639
Здравствуйте! Помогите, пожалуйста, с помощью эквивалентных преобразований...
RomanVVV
21.12.2013 00:02
0 360
Докажите, что \wedge нельзя выразить через \vee и \rightarrow
TheSN
20.12.2013 21:38
1 222
Доброго времени суток, прошу помощи со вторым заданием, буду очень благодарен)...
Yoghurt_92
20.12.2013 21:22
2 399
Пусть Т-теория сигнатуры { <= }, задаваемая аксиомами А1-А5: А1: для любого х...
Foxa
20.12.2013 17:30
0 194
Написать машину Тьюринга, которая бы подсчитывала количество единиц на ленте в...
WurZerr
20.12.2013 13:56
0 206
Я запутался в составление таблицы. Нужна помощь.
Рейтинг темы: голосов - 9, средняя оценка - 4.78 Иван21390995
20.12.2013 12:23
6 1,376
Максимально упростите выражение своего варианта, воспользовавшись законами...
yznau
20.12.2013 10:00
1 442
Помогите пожалуйста решить парочку заданий по темам базис Шеффера, базис Пирса....
Рейтинг темы: голосов - 13, средняя оценка - 4.62 Nuteruls
20.12.2013 09:30
5 2,212
http://sceptic-ratio.narod.ru/ma/dm1-3d.htm 14 выражение помогите пожалуйста...
quqer14
20.12.2013 06:26
2 472
Максимально упростите выражение, воспользовавшись законами логики Буля. Затем с...
Dexet
20.12.2013 05:31
1 494
http://sceptic-ratio.narod.ru/ma/dm1-3d.htm 19 лог. выражение
sl1m111
20.12.2013 05:22
3 286
Максимально упростите выражение , воспользовавшись законами логики Буля. Затем...
Lifesider
19.12.2013 23:38
2 475
Затем с помощью таблиц истинности сравните упрощенное выражение с исходным....
MP-21KY
19.12.2013 23:07
0 237
5. (а ∧ c) ∨ ((b ∨ d) ∧ (а ∨ d) ∧ (d ∨ b) ∧ (а ∨ d)) ∨ (а ∧ c), ...
Алексей2508
19.12.2013 19:30
13 384
Объясните, пожалуйста, на пальцах, что означает xAb, например, или yBz. Я...
Vorobushek
19.12.2013 19:30
4 320
Здравствуйте! Подскажите плз, как проверить следующее отношение на...
some_name
19.12.2013 17:03
4 366
представить в виде сднф и скнф и найти двойственную булеву функцию f(x,y,z)=...
Byhalov
19.12.2013 15:39
1 402
1.Докажите,что формула(не х -> не y)<->(x->y) является тавтологией 2. Найти...
Глория
19.12.2013 15:31
1 293
Указать процедуру, которая важная вовремя использования алгоритма сортировки...
Grom4ikk
19.12.2013 15:25
1 261
Если кто нибудь может помогите решить пожалуйста. С помощью формул...
mo2820
19.12.2013 15:23
1 531
Здравствуйте. Не могу справится с задачей, подскажите как ее решить:
toner2040
19.12.2013 14:52
2 444
Всем добрый вечер! Прошу подсказать\направить\сказатьчтопочитать\каксделать...
olginger
19.12.2013 09:05
2 587
(а ∧ d) ∨ (((c ∧ b) ∨ d) ∧ (c ∨ b)) ∨ ((d ∨ c) ∧ (c ∨ b)),
Алексей2508
19.12.2013 08:55
0 236
(⌐x→z)→⌐(⌐y→⌐x)=нужно привести к кнф.
Alexandr111
19.12.2013 04:06
3 314
Максимально упростите выражение своего варианта, воспользовавшись законами...
Diegas
19.12.2013 04:00
1 915
Даны временные диаграммы, характеризующие последовательность смены состояний...
extrimally
19.12.2013 02:23
3 354
В текстовом файле, который состоит из 70 тыс. знаков, определено частоту (в...
Grom4ikk
18.12.2013 23:21
2 771
Помогите пожалуйста с алгоритмом, у самого уже башка кипит, хотя по идее...
HOPDOK
18.12.2013 16:15
0 173
На множестве целых чисел построено соотношение R={(x,y):xy-парное число}. Какие...
Grom4ikk
18.12.2013 15:46
10 386
Пусть Φ, Ψ,Θ - формулы исчисления предикатов. Доказать: 1 ∀yΦ(y)...
dirt94
18.12.2013 15:35
0 233
Добрый вечер, уважаемые форумчане. Пожалуйста помогите решить тест по...
Grom4ikk
18.12.2013 15:09
2 379
На множестве R заданы предикаты P(x):x^2+x+1>0,Q(x):x^2-4x+3=0, установить...
Grom4ikk
18.12.2013 15:03
4 397
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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