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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,133,602 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,855
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
{Ɐx(A(x)˅ B(x)), ⱯxA(x)→ƎxQ(x), Ɐx(B(x)→Q(x))} → ƎxQ(x)
ElenaP0103
05.05.2015 21:14
0 256
Ǝy(A(y)→ Ǝx A(x))
ElenaP0103
05.05.2015 21:03
0 128
Здравствуйте! Помогите пожалуйста с задачей. Построить бинарное отношение со следующими...
ir24
05.05.2015 15:41
3 1,048
(y\vee (\bar{z}\wedge x))\rightarrow (\bar{z}\sim y). Помогите, пожалуйста, преобразовать в СКНФ...
Кристина525
05.05.2015 11:31
1 188
Доброго времени суток! Помогите пожалуйста решить задачу. Нужно построить функционально полную...
ir24
05.05.2015 10:39
2 916
Установить, является ли данная формула тождественно-истинной. Привести доказательство .
salfalkon
05.05.2015 03:15
1 934
Помогите пожалуйста
ElenaP0103
05.05.2015 00:26
1 239
Всем привет, вот схема в базисе и-или-не нужно перевести в ИЛИ-НЕ набросок есть, подскажите...
Fakeoke
04.05.2015 21:00
0 167
Помогите найти ошибку в приведении ((x\rightarrow y)\rightarrow (z\rightarrow \bar{x}))\rightarrow...
Eru Iluvatar
04.05.2015 07:42
1 177
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного...
salfalkon
03.05.2015 14:34
0 225
Здравствуйте, кто нибудь помогите доказать, что данная формула \left(\left(A\rightarrow B...
valdemarus
02.05.2015 17:13
2 636
Может ли кто-то прокомментировать данную задачу. Не понимаю, по какому принципу составлена...
game world
02.05.2015 06:49
1 635
Если не трудно упростить и диаграмму
arti96_ufa
30.04.2015 15:02
0 260
Здравствуйте) Пропустила тему, запуталась.... ЗАДАНИЕ Определить, является ли данный предикат:...
Юля_программист
30.04.2015 11:47
3 1,226
6. Является формула \exists x\forall yQ(x,y)\rightarrow\forall y\exists xQ(x,y) тавтологией?
Эрик Тед
30.04.2015 11:27
3 776
Помогите пожалуйста :cry: Задать всеми возможными способами бинарное отношение p на множестве...
Mikan
29.04.2015 13:59
1 824
Пожалуйста помогите с заданием. Если есть возможность подробно объяснить буду только рад)...
Hades
29.04.2015 03:43
2 468
Ребят,помогите... Доказать равенства, используя свойства операций над множествами и определения...
RedSunrise
28.04.2015 15:33
0 174
¬(xvy)<=>(¬x&¬y) заранее спасибо
niki-020696
28.04.2015 03:25
1 780
Помогите, пожалуйста, Заданы номера наборов аргументов, на которых логическая функция принимает...
lusha
27.04.2015 23:13
4 530
Есть такие соотношения Вопрос: если P(x) и Q(x) - есть предикат, то чем является Q (не Q(x), а...
Python
27.04.2015 19:41
0 140
4. Доказать равносильность c\rightarrow\forall x B(x)\equiv\forall x методом конкретизации.
Эрик Тед
26.04.2015 14:40
3 291
5. Найти отрицание формулы \forall x(A(x)\rightarrow B(x))v\bar{\exists xR(x)} и записать её в...
Эрик Тед
26.04.2015 10:29
2 443
Прошу помогите с заданием. Если есть возможность подробно объяснить буду только рад. Записать...
Hunter0050
25.04.2015 12:20
2 272
нужна срочная помощь, так как в мат.логе очень плохо разбираюсь. пожалуйста помогите! Добавлено...
Эрик Тед
23.04.2015 21:16
2 454
2. Изобразить на координатной плоскости область истинности предиката (\bar{y\geq 1}&((x<-1)v(y<2))
Эрик Тед
23.04.2015 19:20
0 190
3. Записать решение неравенства \log_{2x}({x}^{2}-5x+6)<1 в виде последовательности равносильных...
Эрик Тед
23.04.2015 19:20
0 236
7. Даны предикаты: Е(x): "x – чётное число"; D(x, y): “х делит у” или “у делится на х”. Перевести...
Эрик Тед
23.04.2015 19:20
0 179
помогите пожалуйста со следующими заданиями. я не совсем понимаю мат. логику, и мне срочно нужна...
Эрик Тед
23.04.2015 18:11
1 127
верно ли следующее утверждение ИВ,доказать. A -> B, A -> C, A -> -B |- A
arh42kem
23.04.2015 09:58
3 330
Для данной формулы булевой функции 1.Найти ДНФ, КНФ, СДНФ, СКНФ методом равносильных ...
Аня В
23.04.2015 02:06
3 1,634
Привет, дорогие форумчане. Мне срочно нужна помощь. Нужно найти СКНФ такой булевой функции с...
RUsskaya
23.04.2015 01:39
9 352
Добрый вечер всем форумчанам! Скажите пожалуйста,можно ли таким образом обводить контурами?Для...
Anabolic
22.04.2015 20:23
0 315
Здравствуйте! Помогите пожалуйста, нужно сделать СКНФ Вот так я начал, дальше не знаю что...
xak512
22.04.2015 16:02
2 171
Хотела спросить насчет минимазиции функции с помощью карт карно.......
amm
22.04.2015 09:36
2 465
Доказать справедливость тождеств я чет ни как не пойму как доказывать :С
Mikan
22.04.2015 04:22
2 846
добрый день! такой вопрос: представим множество действительных чисел как универсальное множество....
MouseLI
22.04.2015 01:12
1 262
Определите количество булевых функций f(x1,x2,x3,x4), подчиненных условию: значения f(x1,x2,x3,x4)...
vlavik007
21.04.2015 22:27
1 1,106
Выяснить, какими из свойств: рефлексивность, антирефлексивность, симметричность,...
Владленка
21.04.2015 21:23
1 491
привести пример бинарного отношения, заданного на множестве Д, которое: а) является симметричным,...
Владленка
21.04.2015 21:21
1 448
исследовать на инъективность, сюръекивность и биективность отображение f: R-> R, f(x)=x в квадрате...
Владленка
21.04.2015 21:11
1 428
Пусть A и B - множества. доказать, что A = B. 1. Берём произвольный элемент a ∈ A и доказываем,...
archar
21.04.2015 17:12
6 769
Здравствуйте. Сколько есть шестизначных натуральных чисел, десятичная запись которых содержит...
MouseLI
21.04.2015 16:50
5 401
Здравствуйте. Хотелось бы узнать ответ на два вопроса - Существует ли СДНФ у тождественно...
DISTURB
21.04.2015 15:09
8 406
Здравствуйте. Очень нужна помощь по нахождению СКНФ такой БФ
mracobes9
21.04.2015 14:58
8 335
синтезировать в булевом базисе и в базисе И-НЕ, неx1х2нех3х4 \/нех1нех2 \/х1х2\/ х3
Iren-ira
21.04.2015 14:08
1 195
С<->(A∧B)
mike_pro
21.04.2015 10:03
3 213
Помогите пожалуйста с решением
АндрейФК
20.04.2015 23:15
0 150
Дана клауза (А -> С) -> ( -А & В) =>А v В Нужно доказать клаузу аксиоматическим методом.Помогите...
lueatomo
20.04.2015 04:59
9 553
Рассмотрим множество действительных чисел как универсальное множество. Определим мно- жества: A =...
Ангел-лина
19.04.2015 19:51
2 306
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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