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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
Показов: 431,895 Посмотреть объявление Объявление: Поддержите наш форум!
23.08.2020 mik-a-el (Администратор)
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,201,202 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
OldFedor
27.03.2022 11:20
3 9,324
Обычные темы
 
     
 
Задать вопрос
С помощью эквивалентных преобразований привести к ДНФ следующую формулу (a ⊕ b)↑¬(¬c ⋅d → a)
234323232
Вчера 00:08
6 199
1. Задано множество А={11,19,8,17,0} Определить на данном множестве все известные отношения...
MyLifeDeBaf
22.04.2024 20:28
1 212
Прилось столкнуться с посетами, ну и их частным случаем - цепью. У меня возникло непонимание...
Coffeini
19.04.2024 16:06
4 197
ac→¬b≡a→c¬b Правила форума, пункт 4.7. Как можно более полно описывайте суть проблемы или вопроса,...
snailbite85
18.04.2024 21:55
10 688
Здравствуйте! Помогите, пожалуйста. Проверить аргумент методом резолюций. Получить все следствия...
VarvaraS
17.04.2024 22:34
2 167
Доказать или опровергнуть секвенцию в данном модельном исчислении, очень подробно
Loki111
17.04.2024 19:25
2 244
Решить контрольную работу по дискретной математике Правила форума, пункт 4.3. Создавайте темы с...
jokeqwe
03.04.2024 08:29
0 184
ПРИМЕР: (символы дизъюнкции и конъюнкции не нашла, поэтому заменила на математический аналог) ->...
Meralissa
02.04.2024 17:44
1 192
Мой вопрос в следующем учебном примере: Составляют множество, которое является объединением...
Daniel Waiton
01.04.2024 14:44
2 185
Составить релейно – контактную схему из функциональных элементов, реализующих данную формулу...
jokeqwe
01.04.2024 12:02
1 307
Ещё со школы меня учили пользоваться буквенными выражениями в алгебре. Когда-то давно учительница,...
buhanka
28.03.2024 02:05
4 369
Задача из учебника информатики. Известны запросы и количество найденных по ним страниц...
Bazaroff
27.03.2024 19:22
13 491
Приведите формулу ЛП к ПНФ: ∀xQ(x,y)∨∃xP(x)->∀x∀yQ(x,y) Второй день пытаюсь решить, никак не...
qwertych22
27.03.2024 17:38
1 179
Учебник информатики. Задача. В таблице приведены запросы к поисковому серверу. Для обозначения...
Bazaroff
23.03.2024 18:35
5 238
Fдснф=(X1X2X3)∨(X1X3¬X4)∨(X2X3¬X4)∨(¬X1¬X2¬X3¬X4)∨(X1¬X2¬X3X4)∨(¬X1¬X2X3X4) Привести к базису:...
Fierce23
20.03.2024 18:38
2 211
Упростите следующие релейно-контактные схемы:
Dinoo
20.03.2024 14:55
7 20,805
Доброго времени суток, уважаемые Форумчане. Скажу честно в алгебре, да и в целом математике, у...
Yoms
19.03.2024 22:48
4 340
Решите задачу, используя формулу мощности объединения множеств. На первом курсе учатся 40...
solvo23
18.03.2024 20:37
2 218
Написать функцию и составить таблицу истинности. Дополнительно: Если кто-то знает как...
vixxxq
15.03.2024 00:35
5 297
Определены четыре логические функции: A(X,Y,Z)=X∧Y→(not Y)∧Z B(X,Y,Z)=Y∧Z→​(not Z)∧X...
zarizer
12.03.2024 19:59
7 291
Товарищи, помогите пожалуйста решить Задачку. не совсем понимаю, как нажатием одной кнопки...
antlantis
12.03.2024 19:10
3 485
Постройте релейно-контактную схему для формулы yz∧x'∧x'y'∨xyz∨z'∨y∨z Правила форума, пункт 4.7....
Good_vin
11.03.2024 20:57
2 196
Какое минимальное количество листьев с пометкой «1» может быть в протоколе для функции РАВНО16? ...
alexprogramsbr
10.03.2024 22:27
0 294
Часть доказательства смог построить, на другой части затупил, очень нужна помощь, получилось так,...
Loki111
03.03.2024 20:12
1 166
Суть задания: используя машину с неограниченными регистрами, найти число простых делителей числа х....
shennpie
25.02.2024 19:19
1 238
X+(Y∙Z ̅ ) ̅+(X ̅+Y+Z ̅ ) ̅= При копировании из Woprd знаки инверсии "уехали". Заменил их на not...
nikola129
19.02.2024 18:10
7 425
Всем здравствуйте! Помогите с решением логической задачки. Нужен именно алгоритм решения: ...
ilja123
17.02.2024 22:24
21 1,682
Найти X. Решить аналитически или с помощью кругов Эйлера. Помогите пожалуйста, завтра утром дедлайн...
fucti
15.02.2024 00:34
11 629
(x→y)→((y→z)→(x→z))=(x∧¬y)∨(y∧¬z)∨(¬x∨z) разложил импликации а дальше не знаю как доказывать...
snailbite85
13.02.2024 00:55
13 647
Здравствуйте! Есть числовая прямая S, точки A и B на ней, и логические выражения для них. Две...
mikello
30.01.2024 08:55
4 670
Найти число структур соответствующей сигнатуры на универсе из n элементов, в которых истинно...
helga2004
19.01.2024 00:40
12 1,443
2) Найти множество истинности предикатов: a) P(x): "x² + 4х - 5 ≤ 0" на множестве целых чисел...
Rtzu2004
18.01.2024 17:54
2 362
Необходимо для данной ФАЛ f(x1,x2,x3,х4) найти ее ДСНФ,КСНФ,ПСНФ,ЭСНФ,ИСНФ, принимающей значение 1...
Sergey1111
13.01.2024 22:18
1 2,531
Построить релейно-контактную схему с заданными условиями работы:...
abcdefg_
12.01.2024 21:45
3 1,188
Здравствуйте, необходимо перейти к базису Шеффера и Пирса в 2 примерах. 1)Y=(~A+~B)*(C+D)...
zxcha1ka_
09.01.2024 21:49
2 436
Здравствуйте, помогите пожалуйста справиться со следующим заданием: Привести формула к СДНФ, СКНФ...
PeacDuck
02.01.2024 19:41
2 499
Очень прошу помочь упростить СКНФ. Сам делал, но тестирующая система говорит, что неверно, бьюсь...
gauterWZ
30.12.2023 16:10
3 355
Постройте релейно-контактную схему с тремя переключателями, которая не проводит ток тогда и только...
Nikolai_Reedz
28.12.2023 18:48
3 416
Всем привет! На данный момент прохожу обучение в универе и нам задали задачи по мат.логике, но я не...
Ugolnikova
28.12.2023 10:55
3 993
Nikolai_Reedz
24.12.2023 17:08
1 280
Ниже приведены по три клаузы. Каждую клаузу необходимо доказать следующими методами:...
Boombastick
24.12.2023 13:45
5 590
А: {x^2+ 6x+5<=0} B: {x^2-2x+3<=0} Найти 1) пересечение множеств : я так понимаю это (-...
BelkaMatilda
24.12.2023 00:48
5 410
помогите, пропустил тему и не могу понять, что делать (желательно решить) Правила форума, пункт...
Boombastick
23.12.2023 23:40
1 392
По словесному описанию машины Тьюринга построить ее программу (в алфавите {0,1}): При заданном l≥1...
Squisssee
14.12.2023 22:50
5 568
Проверить на функциональную полноту: с помощью сведения к заведомо функционально полной системе A...
Squisssee
14.12.2023 22:21
3 680
Вот мое решение, не уверен в правильности сделанного в последнем. Задание: ∀x(∀y∃zC(x,y,z)→A(x))...
Squisssee
14.12.2023 15:16
3 261
Выяснить, применима ли машина Тьюринга Т, задаваемая программой П, к слову Р (P=1^2 ^2). Если...
Squisssee
14.12.2023 13:29
5 417
Помогите, пожалуйста преобразовать выражение в днф, используя дистрибутивный закон и формулу...
MelWindDas
12.12.2023 16:11
3 456
Как построить вывод формулы?
Katya36073
08.12.2023 20:00
5 330
Здравствуйте! Помогите, пожалуйста, решить задачу: Доказать, что множество точек окружности и...
Toomanyitems
08.12.2023 13:38
2 661
Задать вопрос
       
 
Новая тема
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru