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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,133,146 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,855
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Помогите решить задачу: Доказать, что ρ1 ◦ ρ2 является отношением эквивалентности тогда и только...
grook
24.09.2016 16:58
0 151
Собственно вопрос - это название темы) Добавлено через 1 час 57 минут Ну т.е. может ли СКНФ...
dune777
23.09.2016 22:23
4 806
Добавлено через 40 минут Начал решать левую часть ((x\vee y)\leftarrow \bar{((x\vee y)(\bar{x}\vee...
TRRx
22.09.2016 00:06
4 266
http://www.cyberforum.ru/cgi-bin/latex.cgi?\Leftrightarrow - это эквивалентность(~)...
TRRx
21.09.2016 20:37
2 179
Тут просто созрел вопрос: СКНФ и СДНФ можно найти с помощью равносильных преобразований? Или только...
dune777
21.09.2016 03:16
0 174
Не могу понять как расписать скобку там где отрицание над стрелкой Пирса и штрих Шеффера.
Artmal
20.09.2016 19:00
11 896
Допустим есть CДНФ: xyz v не х y не z Таблицей истинности нельзя!
TRRx
20.09.2016 04:36
20 1,309
R1 и R2 - бинарные отношения на множестве А = {1, 2, 3, 4}, где R1 = {(1, 2), (1, 3), (1,4), (2,...
Nikolaygman
19.09.2016 14:50
0 142
Пример решил, но не уверен что правильно. Если есть ошибки, прошу указать
lolopop12
18.09.2016 14:56
1 149
Нужна помощь в проверке этого выражения. Если где-то ошибки, то пожалуйста, объясните. Требовалось...
dune777
18.09.2016 13:43
1 170
Господа, прошу Вашей помощи. Помогите пожалуйста привести к КНФ, СКНФ, ДНФ, СДНФ следующий пример:
dune777
18.09.2016 02:50
1 351
Доказать (можно показать на конкретных примерах) справедливость следующего утверждения: Если...
Safari96
15.09.2016 19:39
3 822
Задача: Исходя из определений равенства множеств и операций над множествами, проверьте тождество и...
INNOS1990
15.09.2016 19:13
3 689
На системе координат дан квадрат; Доказать, что множество точек квадрата эквивалентно мн-ву точек...
ko4a
15.09.2016 18:48
6 259
Байт, проверь правильность вот этого задания: Определите, какие из следующих утверждений истинны,...
Safari96
15.09.2016 18:28
0 195
Используя операции над множествами, решить задачу: В классе 20 учеников. Каждый из них посещает...
marysluva
15.09.2016 18:23
2 403
Пусть A = {1, 2, 3, 4, 5, 6, 7}, B = {4, 5, 6, 7, 8, 9, 10}, C = {2, 4, 6, 8, 10}, а U = {1, 2, 3,...
Safari96
15.09.2016 17:57
7 803
Задача: представить множество, заданное алгебраическим выражением, заменив "лишние" операции на...
Artmal
14.09.2016 10:44
6 761
Заданы множества: A= {1,3,5,6,7,8,9,0}, B= {x|хєZ и -4≤ x≤ 6}, C= {2, 4, 6, 8, 10, 12, 14}, D=∅,...
marysluva
13.09.2016 22:07
1 184
{(x,y) принадлежит R^2 / y^2 > 2x+1}
riabokon_a
13.09.2016 10:14
1 847
Добрый день, на лекции препод рассказывал о симметрии, асимметрии и антисимметрии, но я так и не...
Jocker
13.09.2016 01:27
12 1,267
Помогите построить вывод для следующей формулы (X&Y)\Rightarrow Z \vdash (X\Rightarrow...
dar10
08.09.2016 13:05
4 252
Можете подсказать несколько книг?
jestero
06.09.2016 21:51
2 276
Важно любое ваше мнение)
Xtremee
29.08.2016 08:25
4 427
Собсно сабж. Хочется почитать о карте Карно и таблице истинности. Подскажите литературу. ...
klimnik
27.08.2016 18:05
1 238
Пусть предметная область D = {a, b, c}, а двухместному предикату Q(x, y) поставлена в соответствие...
Кли
22.08.2016 11:41
4 194
Всем доброго времени суток!!! Есть одна задача: написать таблицу булевой функции f(x, y, z),...
Искандер_61
22.08.2016 09:47
6 471
Пусть предметная область D — это множество людей, на котором определены такие предикаты: E(x, y) —...
Кли
19.08.2016 13:05
21 1,057
Пусть предметная область D — это множество людей, Q(x, y) = «x — ребенок y». Рассмотреть все...
Кли
19.08.2016 12:47
4 359
Найдите и удалите фиктивные переменные у функции, заданной вектором значений f=0111100101111001....
wolf232
16.08.2016 18:43
5 1,466
Всем привет Подскажите почему из \bar{A}\bar{B}\vee B\bar{C} получается \bar{A}\bar{B}\vee...
bySawka
16.08.2016 06:06
2 257
(A\cup B\cup C)\cap (A\cup B)\setminus (A\cup (B\setminus C))\cap A Правильно ли я понимаю, что...
jumpjet67
14.08.2016 22:52
4 826
Уважаемые, подскажите пожалуйста, правильно ли я решил задачу. Задача: Есть множество S=\left{1,...
NEvOl
12.08.2016 11:23
0 161
Задание прикрепления в виде фотографии ниже.
Vladlebedinsky
02.08.2016 14:42
0 169
Найти целое десятичное число X, являющееся решением уравнения NOT X EQV (A OR NOT B)=C, при A = 85,...
MoonikCode
01.08.2016 18:24
2 916
Помогите разобраться, пытаюсь понять почему для доказательства чего-либо нужно доказать импликацию....
NEvOl
29.07.2016 21:25
12 592
Эквивалентны ли данные формулы?
Programmer8
25.07.2016 20:45
1 243
1. СДНФ (совершенно дизъюнктивная нормальная форма) – это А) дизъюнкция всех возможных конъюнкций...
Igor1337
19.07.2016 00:22
1 268
Выразить формулами композиции f◯g, g◯f і g◯g. Какое решение с такой функцией g? Можете...
DarkPower
07.07.2016 20:10
2 231
В вузе уже пройден курс математической логики. Преподаватель читал лекции, придерживаясь книги Э....
Kaligulaa
05.07.2016 22:30
7 905
Преобразовать данную формулу так, чтобы она содержала только операции тесного отрицания, дизъюнкции...
t0lyan
02.07.2016 18:19
10 1,071
Доброго времени суток. Столкнулся с проблемой при решении задач по дискретной математике. ...
Pando
02.07.2016 13:14
1 922
TheGodfather007
01.07.2016 18:05
0 195
X^2+y^2>9 предиканты,как решить
lansmax
01.07.2016 13:48
1 148
A\cap\(B\cap C)=(A\cap B)\cap C Ниже привожу собственное доказательство, походящей больше на...
Kaligulaa
01.07.2016 12:09
1 882
Вычислить перманент квадратной матрицы порядка 5, у которой в каждой строке и каждом столбце только...
Wimion
30.06.2016 21:37
6 328
ДОБРЫЙ ДЕНЬ. ПОМОГИТЕ МНЕ РАЗОБРАТЬСЯ A→(B→C),(B→C) > C→ > A+B; ДОКАЗАТЬ МЕТОДОМ РЕЗОЛЮЦИЙ ...
luda T
30.06.2016 17:18
3 354
Построить таблицу истинности для формулы: \left({\bar x}_{3} \ \sim \ {x}_{2} \right) \...
t0lyan
30.06.2016 13:24
1 206
Решить систему уравнений: A\bigcup X = B \bigcap X A\bigcap X = B \bigcup X
Wimion
29.06.2016 16:07
2 189
Здравствуй, форум! Очень нужна помощь в построении вывода. Можно пользоваться 3 аксиомами,...
Jch
29.06.2016 01:05
4 238
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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