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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,138,847 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,881
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Даны предикат P(x, y) - x и y взаимнопростые и функция f(x) - количество взаимнопростых с x...
ohidano
15.12.2016 00:42
3 890
Дана интерпретация <N*, *, =>, где N* - множество конечных последовательностей натуральных чисел, а...
Myst
14.12.2016 18:56
0 182
2. Является ли формула выводимой в исчислении предикатов? Если да, то построить вывод, если нет, то...
vladpr
14.12.2016 15:52
1 206
Согласно варианту (см. табл. 4): • удалить из отношений r1 и r2 (см. табл. 3) четыре пары...
christianka
14.12.2016 15:36
0 132
. Перевести на язык формул ЛП следующее предложение , предварительно введя предметное множество и ...
11
14.12.2016 13:42
0 179
Здравствуйте! Есть 2 задания по дисциплине мат. логика, которые вызывают затруднения. Помогите с...
vladpr
14.12.2016 10:56
0 174
R(P)=(-бескон; 0], а следовательно D(P^-1)=(-бескон; 0]. А вот как быть с остальным затрудняюсь
Elsa Meier
12.12.2016 20:41
0 181
Доказать клаузу методом резолюций
marina_petrova
12.12.2016 20:26
1 474
Добрый день! Тоже есть задача по упрощению, и там встречаются записи типа 2^A и B^C где А, B, C -...
Eumi
11.12.2016 21:27
7 118
Доказать, что функция примитивно рекурсивна f(y)=y^4
KIrilqqqqqqqkaa
11.12.2016 12:20
1 328
Помогите с решением. Составить бинарное отношение R, заданное на множестве М={ 1,2,3,4,5}, и...
Dimensio
10.12.2016 18:11
3 278
Вот задание дословно
Alleksandrgall
10.12.2016 10:36
0 183
В Excel-е то я таблицу истинности расписал, а вот как упростить, используя законы и правила логики...
George_Smith
09.12.2016 21:10
8 231
Помогите построить дерево доказательств. (A>B) |- ((неB или C)>(неA или C))
Екатерина3333
09.12.2016 18:31
4 205
записать на языке предикатов определение бесконечно малой функции (функция f(x) называется...
Xakas
08.12.2016 17:00
0 164
Доказать клаузу.
marina_petrova
05.12.2016 14:28
1 280
Выяснить, что представляет из себя отношение : \Phi \circ \Phi, \; \Phi \circ {\Phi}^{-1} Дано...
GalinaMineeva
05.12.2016 09:25
1 338
Например: 1,45,65,2,43,52,4,5 3, 3, 5, 3,5, 2, 5,3 q= от 0 до 1 qq = 1-q Перемножаем,...
Njk_elfxb11
05.12.2016 08:17
6 182
Не все кошки серы, поэтому все кошки не серы. Поскольку не все птицы могут летать, то есть...
NegaTiVzbs
04.12.2016 20:19
7 655
привет народ . может кто помочь в воскресный вечер ? Построить таблицу истинности данной...
HARDF
04.12.2016 19:07
9 295
помогите пожалуйста!!! Пусть даны предикаты: P(x): x — четное число и Q(x): x кратно 3,...
Анякорепанова
04.12.2016 18:24
1 980
Применить оператор суперпозиции к функции f=2x,g=x+3
Апасный
04.12.2016 18:22
11 281
Помогите построить логическую схему по данной задаче: Пусть три цеха A, B, C снабжаются...
vetalka2010
04.12.2016 15:30
2 792
Помогите, пожалуйста. Таблицу истинности составил, а с упрощением всегда на обе ноги хромал. ...
zavi
04.12.2016 14:58
2 201
сама функция f(x, y) = (y - x) + y (используется усеченная разность)
Tarnado
03.12.2016 18:41
1 203
Доброго времени суток! На вашем форуме в первый раз, привело сюда отсутствие конспекта по данной...
Metcore
03.12.2016 12:47
1 166
Вертел и так и сяк, получил некоторые доп. посылки, но вывод не построил:wall:
ko4a
03.12.2016 02:26
3 268
Булева функция: +{x}_{2} Система \Psi : \begin{Bmatrix}x/y\end{Bmatrix} Объясните, как решаются...
Artmal
02.12.2016 21:44
14 935
\forall x P(x)\rightarrow \exist x Q(x) - Это формула которую надо проверить на общезначимость. Я...
Тер
02.12.2016 16:09
4 510
Помогите решить: A= x|x \epsilon R; (x-4)^2(x^2+x-1)=0
Azazel-San
02.12.2016 14:05
1 153
Нужна как можно более компактная формула. Например, если выражать импликацию, то можно получить x...
Artmal
01.12.2016 22:45
1 807
Помогите решить Не знаю правильно ли решил пункт а, но вот Пункт б думаю можно устно обьяснить,...
oneshottwoshot
01.12.2016 17:26
0 187
Построить реверсивный счетчик, осуществляющий либо сложение, либо вычитание одиночных единичных...
66Sterben99
01.12.2016 16:09
0 198
Проверить правильность рассуждения средствами логики суждений. "Он сказал, что придет, если не...
DmitryM5
01.12.2016 01:56
1 399
Ребят. Я чёт запутался. Не уверен в правильности решения задание: Посредством операций над...
Nickname_2015
01.12.2016 00:43
1 195
С права это функции которые я составил по таблице истинности а с лева их склейка вено ли я сделаль?
Leon_java
30.11.2016 21:27
0 83
Народ подскажите пожалуйста что не правильно я сделал? X2=ABvABCDvABCDvABCD С этим сокращением А...
kokostyac
30.11.2016 19:10
1 202
Мне дали задание написать функции ДНФ и скоратить их с помощью карты Карно, сделав карту Карно я...
Leon_java
30.11.2016 10:40
0 158
Помогите пожалуйста минимизировать табл. истинности f(x4,x3,x2,x1)=0101010101001011 В приложение...
DantistOO
29.11.2016 19:14
0 151
Помогите правильно вынести кванторы в этой формуле за общую скобку: \forall y \exist z(\neg Q(x,y)...
JayLim
27.11.2016 22:24
3 403
Записать утверждение на языке логики предикатов: Для любых 3 точек существует содержащая их...
Milisa
27.11.2016 21:17
2 358
Вычислите степень истинности составного нечеткого высказывания ( A ∧ B ) ∨ (C ∧B¯ ) при условии,...
Andrew123456
24.11.2016 16:56
0 323
как написать программу минимизации булевых функций на основе Карт Карно
mylt
24.11.2016 16:46
0 117
Упростите схему:
romazeroma
23.11.2016 12:59
8 889
Как можно найти p? Если A=<{0,1,2,...,14}; F(n)=n+1(mod 15)> n, m \in A,...
Patbet
22.11.2016 21:44
1 157
Объясните, откуда берутся все эти запутанные булевы функции, запутанные записи множества(много...
Artmal
22.11.2016 21:36
3 840
Рассмотрим предметную область, которую можно назвать «Учеба на факультете». Для представления...
work_on
22.11.2016 08:23
9 309
f(x,y,x)=00101110
Breezeblocks
21.11.2016 15:39
12 451
Подскажите, пожалуйста, верно ли я ответила на вопрос? Бинарное отношение, обладающее свойством...
Каточка
21.11.2016 12:00
2 352
II. Составить высказывание, соответствующее формуле: (А∨В)⊃А Задание из логики высказываний....
Каточка
21.11.2016 05:16
3 551
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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