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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,150,695 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,922
Обычные темы
 
     
 
Задать вопрос
S держит в правой или левой руке что-то. Каждый раз отвечая на вопрос S или обманывает или...
oobarbazanoo
15.11.2016 07:42
9 904
Можно ли из системы функций {f1=(11001010), f3=xz+yz+y} получить ^(лог. И), НЕ X (отрицание X) и...
Dym
14.11.2016 09:50
5 381
Определите корень Х = ЭФ(А, В) логического уравнения Основное уравнение я упростил, что дальше?...
dzenis
14.11.2016 09:28
1 403
Мне нужно получить МДНФ, все разбил по парам, но 1 единица осталась ? Можно ли ее записывать как...
qwertyasdfgh
14.11.2016 00:30
1 196
Чему равняется число антисимметричных рефлексивных отношений на мн-ве А из n элементов?
EveresTGro
13.11.2016 16:50
0 208
Сравнить множества: А\tiny \bigcup(В\С) и (А\tiny \bigcupВ)\С Правила форума :rtfm: Официальными...
Avoks
13.11.2016 11:47
1 168
Уважаемые форумчане, помогите преобразовать логическое выражение к заданному виду: |(A&|B) &...
Kizer
13.11.2016 01:31
1 199
Всем Добрый день. Я снова пытаюсь разобраться в теме, но, прочитав много информации,мне не удаётся...
Каточка
12.11.2016 16:53
6 843
Всем привет. может кто по мочь ? с чего хоть начать хоть Даны множества А и В А={ x∈R :...
HARDF
12.11.2016 09:57
6 271
помогите пожалуйста доказать теорему о полноте (вторая часть): Всякая тавтология A-И=> является...
imperceptible
12.11.2016 02:44
1 249
помогите пожалуйста вывести формулу по шагам с помощью аксиом, свойств и правила MP В теории L...
imperceptible
12.11.2016 02:39
2 753
Правильно ли я понимаю алгоритм?? Предположим нам дано какое то выражение в логике предикатов.и...
Kristina_S
11.11.2016 23:18
1 628
Найти все не равносильные между собой и не тождественно истинные формулы алгебры высказываний,...
Бейсик рулит
11.11.2016 17:54
4 934
Подскажите пожалуйста какую-нибудь методичку или учебник ,где без тяжелой теории описаны примеры...
Kristina_S
10.11.2016 00:39
0 144
Выясните, справедливы ли следующие утверждения (если утверждение несправедливо, то постарайтесь...
EARMILKKK
09.11.2016 22:44
2 578
Добрый вечер! Нигде не могу найти как растолковать определение: изоморфное отношение векторного...
AliceMirror
09.11.2016 22:42
0 238
Добрый вечер, уважаемые форумчане. Возникли сложно в дискретной математике. Есть задание, в...
dZorro
09.11.2016 19:29
4 847
Ребята, столкнулась с проблемой в решении задачки.Звучит задание так:" Задайте отношение p на...
Каточка
09.11.2016 10:52
10 977
Доброго времени суток, форумчане. Есть задание: написать программу, приводящую формулу логики...
skemtoputaete
08.11.2016 20:19
0 252
Добрый день. Роюсь довольно давно в интернете, и никак не могу найти информации... В методички...
moDorks
08.11.2016 18:48
6 975
Формализовать умозаключение по заданному модусу в логике предикатов. Модус - Camenos, 4...
Rainbow59
07.11.2016 14:12
0 296
Помогите пожалуйста преобразовать такое выражение, не знаю, правильно ли я стал делать.
Бейсик рулит
06.11.2016 15:31
0 138
Здравствуйте, не нашел подходящего раздела,поэтому решил сюда написать. А не нашел,потому что это...
Satros1205
06.11.2016 14:59
0 152
Найти МКНФ, МДНФ для формулы: F=¬X→((¬Y∨Z)∨X)∨¬(X→¬Y→Z)↔X→¬Z Составить таблицу истинности: +...
Celldweller
06.11.2016 10:45
0 402
e_kate_rina7
05.11.2016 23:39
0 240
Объясните, почему A\oplus(AB)=A\bar B. Я так понимаю мы должны раскрыть скобки в следующем...
Artmal
05.11.2016 21:46
5 950
Подскажите, пожалуйста, один момент в данном доказательстве. Доказываем по индукции. База понятна....
oobarbazanoo
05.11.2016 21:41
7 864
Помогите решить X\C=D
vetalka2010
05.11.2016 20:03
1 281
Доброго времени суток, необходимо упростить логическую функцию и построить таблицу истинности. ...
sovun
05.11.2016 18:11
2 791
Дали мне задание по дискретной математике, которую я вообще понять не могу, в интернете найти...
Leon_java
05.11.2016 10:02
8 800
Верно ли, что если над полем целых чисел задана операция, обладающая дистрибутивностью относительно...
InterMasterFly
03.11.2016 13:23
2 175
Помогите решить
TEPOPNCT
02.11.2016 21:35
0 114
Ребят очень нужно натолкнуть на мысль. Я заочник ничего не понимаю 1 курс Прикладная математика и...
faggot48
02.11.2016 20:44
0 130
Понимаю что не по теме ,но можете помочь преобразить. X=(BvBvA&C)&(not(B)&CvCvnot(A))
Влад-3
02.11.2016 20:20
1 180
A={1,2,3}\{{1},{2,3}} Разностью множеств а и b называют множества которые только принадлежат a и...
iahka
02.11.2016 18:42
19 909
(B\!C)∪(B\!A)=B\(!(C∪A)) p.s.Я в мат.логике совсем 0, !-это палочка сверху,отрицание. В конце...
iahka
02.11.2016 17:23
1 141
Приветствую, есть множество Q^2(множество рациональных чисел в квадрате), никак не могу понять...
ToHuQ
02.11.2016 15:46
2 773
Задано множество продукций в форме Бекуса-Наура: \prec E\succ ::= (\prec E\succ)\mid \prec...
Anriuser
01.11.2016 18:16
0 220
Требуется построить МДНФ, МКНФ, Базис Пирса, Базис Шеффера Заранее спасибо :)
Igor9n
01.11.2016 15:06
0 265
\neg \varphi \vee \psi \equiv \varphi \to \psi Из (аксиома или можно вывести из 1 и контрапозиции...
Archi0
01.11.2016 13:06
0 182
Построить таблицу функции алгебры логики от 4 переменных, принимающую значение 1 только на тех...
Kyrie
31.10.2016 19:06
0 287
Пусть ×-символ для обозначения двухместной операции декартова произведения множеств Доказать,...
ViktorMakarov
31.10.2016 16:00
3 421
1)Доказать, что функцию f нельзя реализовать формулой над S 2)Реализовать функцию f формулой над...
happy_mugiwara
31.10.2016 10:55
0 178
Дана произвольная несамодвойственная функция. Отождествить у нее переменные так, чтобы получилась...
kamilla516
31.10.2016 05:45
1 287
Свела по теореме дедукции к тому,что надо доказать только выводимость С. Но что-то не получается
Dashamath
30.10.2016 20:23
6 282
При нахождении мин. ДНФ по карте Карно нужно выделять единицы в количестве 2n, но если остается...
kolja_hejter
29.10.2016 18:48
5 307
преобразовать в скнф и сднф \tiny {x}_{3}\tiny {x}_{2}\tiny {x}_{1} y 0 0 0 1 0 0 1 1 0 ...
ядщ20134
29.10.2016 18:34
2 248
Как из данных гипотез вывести \vdash \varphi \vee \neg\varphi смог вывести эквивалентность...
Archi0
29.10.2016 18:31
3 782
Смотрите на картинку. Как решать эту логическую задачу?
Otabek_Mansurov
28.10.2016 16:40
4 183
Помогите. Не могу понять с чего начинать деревья. По определению дается 1 или более посылок и с...
NezamovMark
28.10.2016 13:20
1 156
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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