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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,123,549 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
Рейтинг темы: голосов - 29, средняя оценка - 4.93 OldFedor
26.03.2015 15:25
2 5,833
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Подскажите, пожалуйста, какие есть способы доказательства независимости аксиом?...
ohidano
17.12.2016 17:51
1 152
Найти ДНФ. Прошу помощи у вас, -> и <-> нужно убрать сразу....
Apocalypset
17.12.2016 08:00
0 169
Даны функциональная константа, предикатная константа и определённое количество...
ohidano
16.12.2016 22:40
5 219
Всем привет. Почитав разные лекции, книжки, не смог понять, как это делается....
Aidar
16.12.2016 18:29
2 196
Вопрос в следующем имеется часть дерева. рисунок 1, весь вопрос в последних 2-х...
NezamovMark
16.12.2016 16:57
3 216
Задание: Исходные данные: массив данных по некоторым условным объектам. У...
DrHev
16.12.2016 16:52
0 121
Множество содержит 7 цифр. Из булеана этого множества удалили все его те...
mihail0896
16.12.2016 12:50
1 195
Может быть кто-нибудь сталкивался с такой задачей: необходимо сравнить...
7900379003
16.12.2016 00:36
1 131
Как перевести эти ФАЛ в базис Шеффера ? Не совсем понятно как делать
bloodvlad
15.12.2016 21:27
1 263
Даны предикат P(x, y) - x и y взаимнопростые и функция f(x) - количество...
ohidano
15.12.2016 00:42
3 364
Дана интерпретация <N*, *, =>, где N* - множество конечных последовательностей...
Myst
14.12.2016 18:56
0 169
2. Является ли формула выводимой в исчислении предикатов? Если да, то построить...
vladpr
14.12.2016 15:52
1 191
Согласно варианту (см. табл. 4): • удалить из отношений r1 и r2 (см. табл. 3)...
christianka
14.12.2016 15:36
0 127
. Перевести на язык формул ЛП следующее предложение , предварительно введя...
11
14.12.2016 13:42
0 163
Здравствуйте! Есть 2 задания по дисциплине мат. логика, которые вызывают...
vladpr
14.12.2016 10:56
0 166
R(P)=(-бескон; 0], а следовательно D(P^-1)=(-бескон; 0]. А вот как быть с...
Elsa Meier
12.12.2016 20:41
0 178
Доказать клаузу методом резолюций
marina_petrova
12.12.2016 20:26
1 440
Добрый день! Тоже есть задача по упрощению, и там встречаются записи типа 2^A и...
Eumi
11.12.2016 21:27
7 115
Доказать, что функция примитивно рекурсивна f(y)=y^4
KIrilqqqqqqqkaa
11.12.2016 12:20
1 317
Помогите с решением. Составить бинарное отношение R, заданное на множестве М={...
Dimensio
10.12.2016 18:11
3 221
Вот задание дословно
Alleksandrgall
10.12.2016 10:36
0 178
В Excel-е то я таблицу истинности расписал, а вот как упростить, используя...
George_Smith
09.12.2016 21:10
8 216
Помогите построить дерево доказательств. (A>B) |- ((неB или C)>(неA или C))
Екатерина3333
09.12.2016 18:31
4 186
записать на языке предикатов определение бесконечно малой функции (функция...
Xakas
08.12.2016 17:00
0 155
Доказать клаузу.
marina_petrova
05.12.2016 14:28
1 255
Выяснить, что представляет из себя отношение : \Phi \circ \Phi, \; \Phi \circ...
GalinaMineeva
05.12.2016 09:25
1 326
Например: 1,45,65,2,43,52,4,5 3, 3, 5, 3,5, 2, 5,3 q= от 0 до 1 qq =...
Njk_elfxb11
05.12.2016 08:17
6 177
Не все кошки серы, поэтому все кошки не серы. Поскольку не все птицы могут...
NegaTiVzbs
04.12.2016 20:19
7 606
привет народ . может кто помочь в воскресный вечер ? Построить таблицу...
HARDF
04.12.2016 19:07
9 259
помогите пожалуйста!!! Пусть даны предикаты: P(x): x — четное число и Q(x): x...
Анякорепанова
04.12.2016 18:24
1 850
Применить оператор суперпозиции к функции f=2x,g=x+3
Апасный
04.12.2016 18:22
11 264
Помогите построить логическую схему по данной задаче: Пусть три цеха A, B, C...
vetalka2010
04.12.2016 15:30
2 185
Помогите, пожалуйста. Таблицу истинности составил, а с упрощением всегда на...
zavi
04.12.2016 14:58
2 195
сама функция f(x, y) = (y - x) + y (используется усеченная разность)
Tarnado
03.12.2016 18:41
1 196
Доброго времени суток! На вашем форуме в первый раз, привело сюда отсутствие...
Metcore
03.12.2016 12:47
1 158
Вертел и так и сяк, получил некоторые доп. посылки, но вывод не построил:wall:
ko4a
03.12.2016 02:26
3 253
Булева функция: +{x}_{2} Система \Psi : \begin{Bmatrix}x/y\end{Bmatrix} ...
Artmal
02.12.2016 21:44
14 428
\forall x P(x)\rightarrow \exist x Q(x) - Это формула которую надо проверить на...
Тер
02.12.2016 16:09
4 471
Помогите решить: A= x|x \epsilon R; (x-4)^2(x^2+x-1)=0
Azazel-San
02.12.2016 14:05
1 148
Нужна как можно более компактная формула. Например, если выражать импликацию,...
Artmal
01.12.2016 22:45
1 639
Помогите решить Не знаю правильно ли решил пункт а, но вот Пункт б думаю...
oneshottwoshot
01.12.2016 17:26
0 182
Построить реверсивный счетчик, осуществляющий либо сложение, либо вычитание...
66Sterben99
01.12.2016 16:09
0 180
Проверить правильность рассуждения средствами логики суждений. "Он сказал, что...
DmitryM5
01.12.2016 01:56
1 365
Ребят. Я чёт запутался. Не уверен в правильности решения задание: Посредством...
Nickname_2015
01.12.2016 00:43
1 172
С права это функции которые я составил по таблице истинности а с лева их...
Leon_java
30.11.2016 21:27
0 80
Народ подскажите пожалуйста что не правильно я сделал? X2=ABvABCDvABCDvABCD С...
kokostyac
30.11.2016 19:10
1 193
Мне дали задание написать функции ДНФ и скоратить их с помощью карты Карно,...
Leon_java
30.11.2016 10:40
0 150
Помогите пожалуйста минимизировать табл. истинности...
DantistOO
29.11.2016 19:14
0 146
Помогите правильно вынести кванторы в этой формуле за общую скобку: \forall y...
JayLim
27.11.2016 22:24
3 394
Записать утверждение на языке логики предикатов: Для любых 3 точек существует...
Milisa
27.11.2016 21:17
2 316
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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