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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,153,025 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,927
Обычные темы
 
     
 
Задать вопрос
Здравствуйте! Помогите в решении! Надо доказать выводимость. (P\vee Q)\wedge R\vdash P\wedge...
Игорь2013
23.12.2013 18:45
1 720
Трендец имени первой сессии подкрался незаметно.Я понимаю,что,возможно,многим мои вопросы покажутся...
Ферзь
23.12.2013 18:24
2 1,238
http://www.cyberforum.ru/attachment.php?attachmentid=345772&stc=1&d=1387707019 Помогите пожалуйста...
n1ce3696
23.12.2013 17:28
9 1,029
Помогите пожалуйста упростить через карту карно..никак не могу понять, как это сделать...
Юля_программист
23.12.2013 16:42
2 321
Множество М задается следующей порождающей процедурой 1)10\inМ;2)если a\inM, то 2а\inM;3) если...
dmasta92
23.12.2013 15:35
13 741
Доказать, что класс всех одномерных векторных пространств над полем R не является аксиоматизируемым...
Foxa
23.12.2013 14:59
0 293
Здравствуйте форумчане! Прошу помощи вот в чём. Правильно ли я решил данное задание, если нет, то...
Rurouni
23.12.2013 14:57
2 432
(\bar{b}(\bar{a}+\bar{c})\rightarrow b)(\bar{a}+b\rightarrow \bar{c})
andreyrussian
23.12.2013 11:58
1 1,057
Докажите выводимость в исчислении высказываний следующей формулы. При выводе можно пользоваться...
TheSN
22.12.2013 18:33
5 809
Является ли данная формула общезначимой? Докажите. \forall x ( A(x) \rightarrow (B(x)...
TheSN
22.12.2013 18:21
2 359
Здравствуйте. Помогите, пожалуйста, с задачей: "Найти наиболее общий унификатор для вводимой...
vorobiov19
22.12.2013 18:05
1 472
Является ли данная формула общезначимой? Докажите. \forall x \exists y \forall z P(x, y, z)...
TheSN
22.12.2013 16:42
1 2,127
Функция, заданная СДНФ , имеет столбец значений?
dmasta92
22.12.2013 16:20
7 405
Помогите записать следующие определения на языку логики предикатов а) монотонной...
fReekufa
22.12.2013 15:10
1 1,950
Зная уравнение сднф,как построить столбец значений истинности?
dmasta92
22.12.2013 13:09
2 339
В школе разбили окно. Подозревают: Лешу, Диму, Толю, Мишу. Лёша утверждает: Я не виноват. Я...
supra7sky
21.12.2013 20:26
2 1,360
Здравствуйте,помогите пожалуйста решить вот такое задание. Аналитическим способом, т.е. на...
Haifisch
21.12.2013 19:00
2 267
Примеры в тесте 1)Булева функция 0 → x тождественно равна функции 2)Булева функция 0 | x...
dmasta92
21.12.2013 18:34
14 666
Здравствуйте! Помогите, пожалуйста, с помощью эквивалентных преобразований проверить, равносильны...
RomanVVV
21.12.2013 00:02
0 384
Докажите, что \wedge нельзя выразить через \vee и \rightarrow
TheSN
20.12.2013 21:38
1 229
Доброго времени суток, прошу помощи со вторым заданием, буду очень благодарен) задание прикрепил) ...
Yoghurt_92
20.12.2013 21:22
2 407
Пусть Т-теория сигнатуры { <= }, задаваемая аксиомами А1-А5: А1: для любого х (х=х) А2: для...
Foxa
20.12.2013 17:30
0 203
Написать машину Тьюринга, которая бы подсчитывала количество единиц на ленте в десятичной системе....
WurZerr
20.12.2013 13:56
0 211
Я запутался в составление таблицы. Нужна помощь.
Иван21390995
20.12.2013 12:23
6 1,447
Максимально упростите выражение своего варианта, воспользовавшись законами логики Буля. Затем с...
yznau
20.12.2013 10:00
1 477
Помогите пожалуйста решить парочку заданий по темам базис Шеффера, базис Пирса. Завтра последняя...
Nuteruls
20.12.2013 09:30
5 2,425
http://sceptic-ratio.narod.ru/ma/dm1-3d.htm 14 выражение помогите пожалуйста Добавлено через...
quqer14
20.12.2013 06:26
2 494
Максимально упростите выражение, воспользовавшись законами логики Буля. Затем с помощью таблиц...
Dexet
20.12.2013 05:31
1 519
http://sceptic-ratio.narod.ru/ma/dm1-3d.htm 19 лог. выражение
sl1m111
20.12.2013 05:22
3 292
Максимально упростите выражение , воспользовавшись законами логики Буля. Затем с помощью таблиц...
Lifesider
19.12.2013 23:38
2 510
Затем с помощью таблиц истинности сравните упрощенное выражение с исходным. P.S. знак " ' "...
MP-21KY
19.12.2013 23:07
0 243
5. (а ∧ c) ∨ ((b ∨ d) ∧ (а ∨ d) ∧ (d ∨ b) ∧ (а ∨ d)) ∨ (а ∧ c), ...
Алексей2508
19.12.2013 19:30
13 388
Объясните, пожалуйста, на пальцах, что означает xAb, например, или yBz. Я просто не понимаю...
Vorobushek
19.12.2013 19:30
4 327
Здравствуйте! Подскажите плз, как проверить следующее отношение на рефлексивность и...
some_name
19.12.2013 17:03
4 371
представить в виде сднф и скнф и найти двойственную булеву функцию f(x,y,z)= (x¡y)->(yiz).
Byhalov
19.12.2013 15:39
1 412
1.Докажите,что формула(не х -> не y)<->(x->y) является тавтологией 2. Найти СДНФ и СКНФ формулы...
Глория
19.12.2013 15:31
1 302
Указать процедуру, которая важная вовремя использования алгоритма сортировки кучей? а) поддержка...
Grom4ikk
19.12.2013 15:25
1 269
Если кто нибудь может помогите решить пожалуйста. С помощью формул равносильности. Правила,...
mo2820
19.12.2013 15:23
1 541
Здравствуйте. Не могу справится с задачей, подскажите как ее решить:
toner2040
19.12.2013 14:52
2 472
Всем добрый вечер! Прошу подсказать\направить\сказатьчтопочитать\каксделать номера 3-6, с...
olginger
19.12.2013 09:05
2 620
(а ∧ d) ∨ (((c ∧ b) ∨ d) ∧ (c ∨ b)) ∨ ((d ∨ c) ∧ (c ∨ b)),
Алексей2508
19.12.2013 08:55
0 242
(⌐x→z)→⌐(⌐y→⌐x)=нужно привести к кнф.
Alexandr111
19.12.2013 04:06
3 326
Максимально упростите выражение своего варианта, воспользовавшись законами логики Буля. Затем с...
Diegas
19.12.2013 04:00
1 966
Даны временные диаграммы, характеризующие последовательность смены состояний триггера. Какие...
extrimally
19.12.2013 02:23
3 366
В текстовом файле, который состоит из 70 тыс. знаков, определено частоту (в тыс), с которой...
Grom4ikk
18.12.2013 23:21
2 816
Помогите пожалуйста с алгоритмом, у самого уже башка кипит, хотя по идее несложная задача! Дан...
HOPDOK
18.12.2013 16:15
0 182
На множестве целых чисел построено соотношение R={(x,y):xy-парное число}. Какие свойства имеет это...
Grom4ikk
18.12.2013 15:46
10 402
Пусть Φ, Ψ,Θ - формулы исчисления предикатов. Доказать: 1 ∀yΦ(y) `∀x(Φ(x)∨Ψ(x)), 2 ∃z∀xΦ(z,z,x)...
dirt94
18.12.2013 15:35
0 244
Добрый вечер, уважаемые форумчане. Пожалуйста помогите решить тест по мат.логике и теории...
Grom4ikk
18.12.2013 15:09
2 390
На множестве R заданы предикаты P(x):x^2+x+1>0,Q(x):x^2-4x+3=0, установить истинность или ложь...
Grom4ikk
18.12.2013 15:03
4 490
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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