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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,138,360 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,878
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Отношение эквивалентности являются? А) R = {(1,2), (3,2), (2,3), (4,1), (4,2), (1,4)} Б) R =...
OptiX
26.12.2016 13:09
6 308
Помогите, пожалуйста:resent: Пускай сигнатура состоит из символа одноместного предиката P и...
Katara98Katara
26.12.2016 01:16
1 152
Здраствуйте! Возникла трудность с этим заданием. Если есть возможность, пожалуйста помогите. ...
Hotu
25.12.2016 22:28
3 189
Доброго времени суток ещё раз! Прошу помочь с записью предложения в виде формулы логики предикатов....
StackEpic
25.12.2016 22:00
3 1,077
На множестве Z задано отношение: (m,n)є{R}_{8} <=> m*n парное число. Есть ли это отношение: ...
bellkross
25.12.2016 20:34
23 672
Доброго времени суток ув. форумчане. Получил такого рода задание: Запишите приведенное...
StackEpic
25.12.2016 18:07
5 755
Не получается 3 пункт в задании, как это раскладывать?
DMTRB
25.12.2016 16:50
1 194
Господа, прошу вашей помощи! Помогите разобраться с этими задачами! 1) Запишите аксиомы...
Diemento
25.12.2016 16:41
0 279
Записать аксиомы положительных величин на языке логики предикатов,используя ограниченные кванторы....
nikolaiks
25.12.2016 15:59
2 272
Для любых трех человек, играющих в одной баскетбольной команде, либо рост каждого из них более двух...
Татьяна 12345
25.12.2016 13:24
1 366
Симметричной разницей двух множеств A и B называется множество, определяется по формуле: A \oplus...
Anriuser
24.12.2016 23:14
22 990
Помогите, пожалуйста. Как это вообще делается?
Konark
24.12.2016 21:21
6 2,221
Объясните, как доказать тождество по дискретной математике.
Rahat93
24.12.2016 01:46
2 237
Доказать, что функция примитивно-рекурсивная f(x)={x}^{y}
masik9
23.12.2016 22:27
5 591
Какую мощность имеет множество Z\bigcap ? Ответ обосновать
Zebraya
23.12.2016 20:56
4 225
Записать на языке логики предикатов следующее определение: "Точка (X0; Y0) называется граничной...
Escritor123
23.12.2016 18:24
2 289
Помогите, нужно минимизировать функцию методом Блейка-Порецкого f(0 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0)
AnastasiaM24
23.12.2016 00:43
4 352
Здравствуйте! Скажите пожалуйста, где реально на практике применяется этот метод? Для чего?...
ChroniC_2
23.12.2016 00:31
0 184
Докажите, что среди булевых функций от n аргументов имеется ровно 2^(2^n-2)-2^(2^(n-1)-1) ...
klukovka
22.12.2016 18:44
1 233
найти функцию проводимости следующих релейно-контактных схем
Nikita1488
21.12.2016 22:57
3 269
Задана СКНФ функции: (x+y+!z)(!x+y+!z)(x+!y+z)(x+y+z)(!x+!y+z)(!x+!y+!z) Найти все ее тупиковые...
irensamara86
21.12.2016 17:46
0 281
Здравствуйте. Имеется логическая схема, по которой нужно составить алгебраическую форму, упростить...
poblenou
21.12.2016 15:13
1 344
¬A→(BvC),¬AvC,¬B⊢C помогите разобраться как решить
kazakerman
21.12.2016 11:51
3 173
найти сокращенную все тупиковые и минимальные днф булевой функции двумя способами а) методом...
marieakame
20.12.2016 19:15
1 508
Помогите пожалуйста, сделать нормализацию до 3й НФ.:senor: 1е задание сделал вроде но не факт что...
Jinlian
20.12.2016 14:52
1 186
Является ли алгеброй следующий набор В=(В;\sum_{}^{}) <R; *, :,-1>
marieakame
20.12.2016 00:29
1 480
2. Разложить для КНФ по аргументу x следующую функцию: f(x,y,z,t)=x¬y˅zt
Ler0i
19.12.2016 22:46
3 280
дана формула: ∀x∀yA(x,y) Какие равносильны ей: 1.∀y∀xA(x,y) 2.∀xA(x,y)^∀yA(x,y) 3.∀yxA(x,y)...
Gantel9i
19.12.2016 22:38
3 185
Помогите, пожалуйста, не могу разобраться как это сделать Найдите область определения, область...
marieakame
19.12.2016 22:18
0 179
Помогите, пожалуйста, понять отличия антисимметричного отношения от симметричного. есть множество...
Gantel9i
19.12.2016 22:09
3 211
Добрый день. Подскажите алгоритм действий? построить минимальную функциональную и минимальную...
Scharmel
19.12.2016 16:25
3 313
Добрые люди помогите решить пару задачек: 1. Исходя из определения логической...
Ler0i
19.12.2016 08:04
4 289
Помогите решить, а то я не знаю как его решать. Я посмотрел много материала, а так и не понял как...
Rebzya
19.12.2016 07:00
0 274
A \cup B \subseteq C = A \subseteq C \cup B \subseteq C?
Тер
19.12.2016 05:20
2 140
Добрый день, помогите решить такое задание: Назвать отношения:...
Nickname_2015
18.12.2016 19:27
5 181
Используя метод резолюций для логики высказываний, доказать справедливость вывода для заданного...
Vladislav132
18.12.2016 18:41
1 284
(F -> (F -> G)) -> (F -> G)
tyrbooo1
18.12.2016 12:28
0 202
Даны три множества. А{0, 1 , 7}, B{0,2,4}, C{5, 7 }, универсум I={0,1,2,3,4,5,6,7,8,9}. И дано...
Тер
17.12.2016 23:03
2 809
Приведите, пожалуйста, два примера модели теории первого порядка.
ohidano
17.12.2016 21:17
3 211
На кафедре лингвистики работают 13 человек, причем каждый из них знает хотя бы один иностранный...
Slashxdd
17.12.2016 19:19
1 648
Подскажите, пожалуйста, какие есть способы доказательства независимости аксиом? Знаю только один...
ohidano
17.12.2016 17:51
1 159
Найти ДНФ. Прошу помощи у вас, -> и <-> нужно убрать сразу. 1.(A\bar{BC}\Leftrightarrow...
Apocalypset
17.12.2016 08:00
0 174
Даны функциональная константа, предикатная константа и определённое количество аксиом. Как построит...
ohidano
16.12.2016 22:40
5 233
Всем привет. Почитав разные лекции, книжки, не смог понять, как это делается. Кто может помочь?...
Aidar
16.12.2016 18:29
2 202
Вопрос в следующем имеется часть дерева. рисунок 1, весь вопрос в последних 2-х строчках,...
NezamovMark
16.12.2016 16:57
3 219
Задание: Исходные данные: массив данных по некоторым условным объектам. У каждого объекта есть...
DrHev
16.12.2016 16:52
0 127
Множество содержит 7 цифр. Из булеана этого множества удалили все его те элементы, которые содержат...
mihail0896
16.12.2016 12:50
1 224
Может быть кто-нибудь сталкивался с такой задачей: необходимо сравнить математическую формулу,...
7900379003
16.12.2016 00:36
1 138
Как перевести эти ФАЛ в базис Шеффера ? Не совсем понятно как делать
bloodvlad
15.12.2016 21:27
1 298
Даны предикат P(x, y) - x и y взаимнопростые и функция f(x) - количество взаимнопростых с x...
ohidano
15.12.2016 00:42
3 890
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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