Записи с темой: дискретная математика (список заголовков)
21:03 

Tabry
У каждого в жизни есть кто-то, кто никогда тебя не отпустит, и кто-то, кого никогда не отпустишь ты.
Подскажите где ошибка?
1. `(x_1 vee bar(x_2)) to (x_2 to x_3) equiv`
2. `(bar(x_1 wedge bar(x_2))) to (bar(x_2) vee x_3) equiv`
3. `bar(x_1) wedge bar bar(x_2) to (bar(x_2) vee x_3) equiv`
4. `bar(x_1) wedge x_2 to (bar(x_2) vee x_3) equiv`
5. `bar(x_1) wedge bar(x_2) vee bar(x_2) vee x_3 equiv`
6. `bar(x_1) (bar(x_2) vee x_3) equiv`
7. `x_1 oplus 1 (x_2 oplus 1 oplus x_3) equiv`

@темы: Дискретная математика

19:56 

Tabry
У каждого в жизни есть кто-то, кто никогда тебя не отпустит, и кто-то, кого никогда не отпустишь ты.
Подскажите по диаграмме Вейча, что делать с оставшимися единицами? К чему их соединять?
Может решение не правильное?
`bar(x_1 wedge bar(x_2)) vee (x_3 oplus x_4)`
решение:

@темы: Дискретная математика

15:38 

Нумерация элементов

Как вы думаете, как лучше занумеровать N мерный массив, ну или проще, как превратить его в одномерный?

@темы: Векторная алгебра, Дискретная математика, Математическая логика

18:19 

Курсовая по мат логике

Здравствуйте, у меня стоит задача по написанию курсовой работы:

"Диагональный метод Кантора. Построение рекурсивной биекции f:N^2 -> N , где N множество натуральных чисел. Построение рекурсивной биекции из N^k -> N. Нумерующая B-геделева функция, нумерация последовательностей натуральных чисел."


Огромная просьба подскажите какие главы каких учебников, материалы из интернета иль еще чего помогут мне в успешном самостоятельном выполнении данной курсовой

@темы: Дискретная математика, Математическая логика

09:15 

Определить является ли функция примитивно-рекурсивно

elgarf
Добрый день.

Нужно определить является ли функция примитивно-рекурсивной:

f(x, y) = (x + y) - (x - y)

f(x, 0) = x - x = 0

Я дошёл до

f(x, y + 1) = (x + (y + 1)) - (x - (y + 1)) = ???

И залип...

*"-" - урезанное вычитание.

@темы: #, Дискретная математика

16:49 

Лайош
Я не понимаю, как искать попарно неизоморфные графы.
Например, как найти количество попарно неизоморфных простых графов с 16 вершинами, в которых степень каждой равна 2?
А как найти количество попарно неизоморфных графов с набором степеней (5, 5, 5, 5, 7, 7, 7, 7)?
Могу попытаться найти подбором. :nerve:

@темы: Дискретная математика

20:23 

Yni
Не надо пробовать яд, чтобы понять, что он убивает.
Всем Здрасте, осталась последняя надежда...

Нужно упростить логическое выражение

F= (P ↔ Q) ∧ (¬(R → P))


Типовое решение
Упростить логическое выражение F = А ∧ В V А ∧ ¬В
Решение

Это Булева алгебра, к сожалению темы не нашла. Если что ткните я исправлю, что не так в оформлении.

@темы: Математическая логика, Дискретная математика

21:57 

Найти коэффициент после раскрытия скобок

loz09
Нужно найти коэффициент возле x^2 после раскрытия скобок и приведения подобных членов `(x^(-1)-1+x^3)^(13)`
Здесь, наверное, нужно воспользоваться треугольником Паскаля и формулой Ньютона но каким образом? Поскольку в скобках находится три члена то подставить их прямо в формулу не получается... Или нужно вычислить коэффициент каким то другим способом?...

@темы: Дискретная математика

10:03 

Логика высказываний

sorata
Чем дороже нам кто-то,тем хуже мы видим,что причиняем боль этому человеку...
Здравствуйте!
Посоветуйте, пожалуйста, как поработать над этим? Основная проблема - перевод на математический язык.
читать дальше

@темы: Дискретная математика

17:51 

Tabry
У каждого в жизни есть кто-то, кто никогда тебя не отпустит, и кто-то, кого никогда не отпустишь ты.
Здравствуйте, опять я обращаюсь насчет дискретной математики (алгебра Жегалкина по формулам). Правильный ли ход решения?
`x_1 to (bar(x_2) vee x_3) equiv`
`x_1 to bar(bar(x_2) wedge x_3) equiv`
`x_1 to bar bar(x_2) wedge bar(x_3) equiv`
`x_1 to x_2 wedge bar (x_3) equiv`
`bar (x_1) vee x_2 wedge bar (x_3) equiv`
`x_1 oplus 1 vee x_2 wedge x_3 oplus 1 equiv`

@темы: Дискретная математика

21:25 

.Широ
i wanna make you bleed just like me.
Сегодня писали тест по дискретной математике. Я честно всё решала, но мои ответы либо не совпадали с вариантами ответов, либо были не правильные. Помогите найти ошибку.(
`overline(C_5^3) = C_(5+3-1)^3=C_7^3= (7!)/(3!) =(1*2*3*4*5*6*7)/(1*2*3)=840`

читать дальше

В тесте варианты ответов:
а) 243
б) 60
в) 75
г) 125

@темы: Комбинаторика, Дискретная математика

18:42 

Бинарные отношения

Марго Ивановна
Яой - это зло. И не важно, что это зло занимает кучу гигабайт на моем компе!
Здравствуйте всем! Подскажите, пожалуйста как решить...

1. Докажите, что если P - транзитивное и симметричное бинарное отношение на множестве A, область определения которого совпадает с A, то P рефлексивно.
2. Приведите примеры бинарных отношений рефлексивных и симметричных, но не транзитивных.

@темы: Дискретная математика

21:57 

St.Shorh
Рано или поздно, так или иначе. ©
Здравствуйте всем!
Может кто знает, как доказать, что если в графе 2n вершин и n^2+1 ребро, то в нем существует треугольник (три вершины, попарно соединенные ребрами)?

@темы: Дискретная математика, Теория графов

23:35 

Теория алгоритмов

Как доказать полноту по Тьюрингу некоторого языка программирования? Может кто знает, где можно почитать материалы, где об этом написано.

@темы: Дискретная математика, Математическая логика

16:50 

Задание автомата каноническими уравнениями

Марго Ивановна
Яой - это зло. И не важно, что это зло занимает кучу гигабайт на моем компе!
Для задания автомата уравнениями, я составила систему булевых функций, Нашла минимальную ДНФ для каждого выходного символа.
Получила вот что:
`bar(x) cap bar(z1) cap bar(z2)`
`bar(x) cap bar(z1)`
`bar(z1) cap bar(z2)`
Дальше, я так понимаю, необходимо избавиться от всех отрицаний и "или" и "и".
Как я предположила решение
запись создана: 25.04.2013 в 18:19

@темы: Дискретная математика

10:20 

Теория множеств

sorata
Чем дороже нам кто-то,тем хуже мы видим,что причиняем боль этому человеку...
Здравствуйте! Помогите, пожалуйста, понять, как решать, или оправдайте опасения об ошибке в задании =)

Задано множество U={1,2,3,4,5,6,7,8,9}.
Также даны множества:
A={1,3,5,7,9};
B={2,4,6,8};
C={3,6,9};
D={4,7,9};
E={2,5,8}.
Через них нужно выразить множество F={2,3}.
Элемент {3} я нашел так: `(A nn C) setminus D = {3}`
А выразить {2} никак не получается, так как во всех множествах, где этот элемент есть, он входит вместе с {8}.
Подскажите пожалуйста, что с этим можно сделать.

@темы: Дискретная математика

13:32 

Основы алгебры логики

Всем приятного времени суток, помогите пожалуйста понять смысл задания
"Перечислите все функции от трех переменных, существенно зависящие не менее чем от двух переменных и принадлежащие классу S⋂Т1⋂M
S -самодвойственная функция
Т1 - это функция из кучи единичек
М - это монотонная функция...
Но я даже представить не могу себе такие функции как их находить и так далее, поискал в интернете там вообще ничего...А так то ведь придумать функций от трех переменных можно бесконечно много...
Яблонского прочитал - ничего не понял, чтоб именно по этому заданию...

@темы: Дискретная математика

21:55 

Задача на использование леммы о разрастании(накачке).

Здравствуйте. Затрудняюсь решить задачу, надеюсь найти тут помощь.

Условие:
Используя лемму о разрастании для регулярных языков, докажите нерегулярность языка
{`a^(k^n)` | `n>0, k>2`} в алфавите {`a`}.

Пытаясь "накачать" выражение большой длинны из данного языка сталкиваюсь с трудностями.
Насколько я понимаю, можно сколько угодно накачивать выражение, и оно будет принадлежать данному языку,
если `n=1`. То есть при `n=1` получаем язык `a^k`, где `k>2`, который,
насколько я понимаю, регулярен.
Тогда я пытаюсь использовать метод пересечения данного в условии языка с каким-либо регулярным и доказать
нерегулярность полученного пересечения. Но я уже несколько дней не могу подобрать необходимый регулярный язык,
с которым можно было бы продуктивно пересечь язык .
Очень надеюсь найти здесь хоть какую-нибудь помощь.

@темы: Дискретная математика

21:00 

Tabry
У каждого в жизни есть кто-то, кто никогда тебя не отпустит, и кто-то, кого никогда не отпустишь ты.
Извините, снова нужна помощь с алгеброй Жегалкина (по формулам)
`(bar{x_1} -> x_2) wedge x_3`
дальше
`(bar bar{x_1} vee x_2) wedge x_3`
`(x_1 vee x_2) wedge x_3`
`(x_1 wedge x_3) vee (x_2 wedge x_3)`?

@темы: Дискретная математика

16:08 

Дискретная математика!

Помогите пожалуйста! С помощью кругов Эйлера доказать тождество: А+А=пустое множество (+ в кружочке, пустое множество-перечеркнутый круг)

@темы: Дискретная математика

Не решается алгебра/высшая математика?.. ПОМОЖЕМ!

главная