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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
Показов: 430,350 Посмотреть объявление Объявление: Поддержите наш форум!
23.08.2020 mik-a-el (Администратор)
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,198,965 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
OldFedor
27.03.2022 11:20
3 9,321
Обычные темы
 
     
 
Задать вопрос
ac→¬b≡a→c¬b Правила форума, пункт 4.7. Как можно более полно описывайте суть проблемы или вопроса,...
snailbite85
Сегодня 15:46
9 597
Здравствуйте! Помогите, пожалуйста. Проверить аргумент методом резолюций. Получить все следствия...
VarvaraS
Вчера 22:34
2 140
Доказать или опровергнуть секвенцию в данном модельном исчислении, очень подробно
Loki111
Вчера 19:25
2 216
Решить контрольную работу по дискретной математике Правила форума, пункт 4.3. Создавайте темы с...
jokeqwe
03.04.2024 08:29
0 167
ПРИМЕР: (символы дизъюнкции и конъюнкции не нашла, поэтому заменила на математический аналог) ->...
Meralissa
02.04.2024 17:44
1 182
Мой вопрос в следующем учебном примере: Составляют множество, которое является объединением...
Daniel Waiton
01.04.2024 14:44
2 184
Составить релейно – контактную схему из функциональных элементов, реализующих данную формулу...
jokeqwe
01.04.2024 12:02
1 291
Ещё со школы меня учили пользоваться буквенными выражениями в алгебре. Когда-то давно учительница,...
buhanka
28.03.2024 02:05
4 358
Задача из учебника информатики. Известны запросы и количество найденных по ним страниц...
Bazaroff
27.03.2024 19:22
13 482
Приведите формулу ЛП к ПНФ: ∀xQ(x,y)∨∃xP(x)->∀x∀yQ(x,y) Второй день пытаюсь решить, никак не...
qwertych22
27.03.2024 17:38
1 168
Учебник информатики. Задача. В таблице приведены запросы к поисковому серверу. Для обозначения...
Bazaroff
23.03.2024 18:35
5 236
Fдснф=(X1X2X3)∨(X1X3¬X4)∨(X2X3¬X4)∨(¬X1¬X2¬X3¬X4)∨(X1¬X2¬X3X4)∨(¬X1¬X2X3X4) Привести к базису:...
Fierce23
20.03.2024 18:38
2 201
Упростите следующие релейно-контактные схемы:
Dinoo
20.03.2024 14:55
7 20,736
Доброго времени суток, уважаемые Форумчане. Скажу честно в алгебре, да и в целом математике, у...
Yoms
19.03.2024 22:48
4 328
Решите задачу, используя формулу мощности объединения множеств. На первом курсе учатся 40...
solvo23
18.03.2024 20:37
2 207
Написать функцию и составить таблицу истинности. Дополнительно: Если кто-то знает как...
vixxxq
15.03.2024 00:35
5 284
Определены четыре логические функции: 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 284
Товарищи, помогите пожалуйста решить Задачку. не совсем понимаю, как нажатием одной кнопки...
antlantis
12.03.2024 19:10
3 473
Постройте релейно-контактную схему для формулы yz∧x'∧x'y'∨xyz∨z'∨y∨z Правила форума, пункт 4.7....
Good_vin
11.03.2024 20:57
2 185
Какое минимальное количество листьев с пометкой «1» может быть в протоколе для функции РАВНО16? ...
alexprogramsbr
10.03.2024 22:27
0 286
Часть доказательства смог построить, на другой части затупил, очень нужна помощь, получилось так,...
Loki111
03.03.2024 20:12
1 163
Суть задания: используя машину с неограниченными регистрами, найти число простых делителей числа х....
shennpie
25.02.2024 19:19
1 227
X+(Y∙Z ̅ ) ̅+(X ̅+Y+Z ̅ ) ̅= При копировании из Woprd знаки инверсии "уехали". Заменил их на not...
nikola129
19.02.2024 18:10
7 422
Всем здравствуйте! Помогите с решением логической задачки. Нужен именно алгоритм решения: ...
ilja123
17.02.2024 22:24
21 1,674
Найти X. Решить аналитически или с помощью кругов Эйлера. Помогите пожалуйста, завтра утром дедлайн...
fucti
15.02.2024 00:34
11 623
(x→y)→((y→z)→(x→z))=(x∧¬y)∨(y∧¬z)∨(¬x∨z) разложил импликации а дальше не знаю как доказывать...
snailbite85
13.02.2024 00:55
13 635
Здравствуйте! Есть числовая прямая S, точки A и B на ней, и логические выражения для них. Две...
mikello
30.01.2024 08:55
4 663
Найти число структур соответствующей сигнатуры на универсе из n элементов, в которых истинно...
helga2004
19.01.2024 00:40
12 1,434
2) Найти множество истинности предикатов: a) P(x): "x² + 4х - 5 ≤ 0" на множестве целых чисел...
Rtzu2004
18.01.2024 17:54
2 356
Необходимо для данной ФАЛ f(x1,x2,x3,х4) найти ее ДСНФ,КСНФ,ПСНФ,ЭСНФ,ИСНФ, принимающей значение 1...
Sergey1111
13.01.2024 22:18
1 2,526
Построить релейно-контактную схему с заданными условиями работы:...
abcdefg_
12.01.2024 21:45
3 1,156
Здравствуйте, необходимо перейти к базису Шеффера и Пирса в 2 примерах. 1)Y=(~A+~B)*(C+D)...
zxcha1ka_
09.01.2024 21:49
2 430
Здравствуйте, помогите пожалуйста справиться со следующим заданием: Привести формула к СДНФ, СКНФ...
PeacDuck
02.01.2024 19:41
2 493
Очень прошу помочь упростить СКНФ. Сам делал, но тестирующая система говорит, что неверно, бьюсь...
gauterWZ
30.12.2023 16:10
3 342
Постройте релейно-контактную схему с тремя переключателями, которая не проводит ток тогда и только...
Nikolai_Reedz
28.12.2023 18:48
3 400
Всем привет! На данный момент прохожу обучение в универе и нам задали задачи по мат.логике, но я не...
Ugolnikova
28.12.2023 10:55
3 988
Nikolai_Reedz
24.12.2023 17:08
1 274
Ниже приведены по три клаузы. Каждую клаузу необходимо доказать следующими методами:...
Boombastick
24.12.2023 13:45
5 576
А: {x^2+ 6x+5<=0} B: {x^2-2x+3<=0} Найти 1) пересечение множеств : я так понимаю это (-...
BelkaMatilda
24.12.2023 00:48
5 407
помогите, пропустил тему и не могу понять, что делать (желательно решить) Правила форума, пункт...
Boombastick
23.12.2023 23:40
1 383
По словесному описанию машины Тьюринга построить ее программу (в алфавите {0,1}): При заданном l≥1...
Squisssee
14.12.2023 22:50
5 554
Проверить на функциональную полноту: с помощью сведения к заведомо функционально полной системе A...
Squisssee
14.12.2023 22:21
3 667
Вот мое решение, не уверен в правильности сделанного в последнем. Задание: ∀x(∀y∃zC(x,y,z)→A(x))...
Squisssee
14.12.2023 15:16
3 254
Выяснить, применима ли машина Тьюринга Т, задаваемая программой П, к слову Р (P=1^2 ^2). Если...
Squisssee
14.12.2023 13:29
5 389
Помогите, пожалуйста преобразовать выражение в днф, используя дистрибутивный закон и формулу...
MelWindDas
12.12.2023 16:11
3 450
Как построить вывод формулы?
Katya36073
08.12.2023 20:00
5 321
Здравствуйте! Помогите, пожалуйста, решить задачу: Доказать, что множество точек окружности и...
Toomanyitems
08.12.2023 13:38
2 649
Приведите пожалуйста формулу равносильными преобразованиями к дизъюнктивной нормальной форме: ...
zaklinanie92
08.12.2023 08:45
10 887
Здравствуйте. В интуиционистской логике закон исключенного третьего не работает и ¬(a \neq b)...
mikello
05.12.2023 23:33
15 1,363
Здравствуйте. Помогите, пожалуйста, решить следующее задание. Необходимо доказать истинность...
ivan_2004
05.12.2023 17:12
0 215
Задать вопрос
       
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru