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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск  
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,578,432 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
27.03.2022 11:20
3 10,120
Обычные темы
Задать вопрос
Задача из учебника информатики. Известны запросы и количество найденных по ним страниц...
27.03.2024 19:22
13 1,356
Приведите формулу ЛП к ПНФ: ∀xQ(x,y)∨∃xP(x)->∀x∀yQ(x,y) Второй день пытаюсь решить, никак не...
27.03.2024 17:38
1 863
Учебник информатики. Задача. В таблице приведены запросы к поисковому серверу. Для обозначения...
23.03.2024 18:35
5 1,013
Fдснф=(X1X2X3)∨(X1X3¬X4)∨(X2X3¬X4)∨(¬X1¬­X2¬X3¬X4)∨(X1¬X2¬X3X4)∨(¬X1¬X2X3X4) Привести к базису:...
20.03.2024 18:38
2 893
Упростите следующие релейно-контактные схемы:
20.03.2024 14:55
7 25,786
Доброго времени суток, уважаемые Форумчане. Скажу честно в алгебре, да и в целом математике, у...
19.03.2024 22:48
4 773
Решите задачу, используя формулу мощности объединения множеств. На первом курсе учатся 40...
18.03.2024 20:37
2 778
Написать функцию и составить таблицу истинности. Дополнительно: Если кто-то знает как...
15.03.2024 00:35
5 898
Определены четыре логические функции: A(X,Y,Z)=X∧Y→(not Y)∧Z B(X,Y,Z)=Y∧Z→​(not Z)∧X...
12.03.2024 19:59
7 695
Товарищи, помогите пожалуйста решить Задачку. не совсем понимаю, как нажатием одной кнопки...
12.03.2024 19:10
3 2,531
Постройте релейно-контактную схему для формулы yz∧x'∧x'y'∨xyz∨z'∨y∨z Правила форума, пункт 4.7....
11.03.2024 20:57
2 842
Какое минимальное количество листьев с пометкой «1» может быть в протоколе для функции РАВНО16? ...
10.03.2024 22:27
0 636
Часть доказательства смог построить, на другой части затупил, очень нужна помощь, получилось так,...
03.03.2024 20:12
1 600
Суть задания: используя машину с неограниченными регистрами, найти число простых делителей числа х....
25.02.2024 19:19
1 715
X+(Y∙Z ̅ ) ̅+(X ̅+Y+Z ̅ ) ̅= При копировании из Woprd знаки инверсии "уехали". Заменил их на not...
19.02.2024 18:10
7 774
Всем здравствуйте! Помогите с решением логической задачки. Нужен именно алгоритм решения: ...
17.02.2024 22:24
21 2,617
Найти X. Решить аналитически или с помощью кругов Эйлера. Помогите пожалуйста, завтра утром дедлайн...
15.02.2024 00:34
11 1,117
(x→y)→((y→z)→(x→z))=(x∧¬y)∨(y∧¬z)∨(¬x∨z) разложил импликации а дальше не знаю как доказывать...
13.02.2024 00:55
13 1,271
Здравствуйте! Есть числовая прямая S, точки A и B на ней, и логические выражения для них. Две...
30.01.2024 08:55
4 1,015
Найти число структур соответствующей сигнатуры на универсе из n элементов, в которых истинно...
19.01.2024 00:40
12 2,439
2) Найти множество истинности предикатов: a) P(x): "x² + 4х - 5 ≤ 0" на множестве целых чисел...
18.01.2024 17:54
2 1,034
Необходимо для данной ФАЛ f(x1,x2,x3,х4) найти ее ДСНФ,КСНФ,ПСНФ,ЭСНФ,ИСНФ, принимающей значение 1...
13.01.2024 22:18
1 4,335
Построить релейно-контактную схему с заданными условиями работы:...
12.01.2024 21:45
3 3,971
Здравствуйте, необходимо перейти к базису Шеффера и Пирса в 2 примерах. 1)Y=(~A+~B)*(C+D)...
09.01.2024 21:49
2 956
Здравствуйте, помогите пожалуйста справиться со следующим заданием: Привести формула к СДНФ, СКНФ...
02.01.2024 19:41
2 954
Очень прошу помочь упростить СКНФ. Сам делал, но тестирующая система говорит, что неверно, бьюсь...
30.12.2023 16:10
3 2,520
Постройте релейно-контактную схему с тремя переключателями, которая не проводит ток тогда и только...
28.12.2023 18:48
3 1,176
Всем привет! На данный момент прохожу обучение в универе и нам задали задачи по мат.логике, но я не...
28.12.2023 10:55
3 1,552
24.12.2023 17:08
1 600
Ниже приведены по три клаузы. Каждую клаузу необходимо доказать следующими методами:...
24.12.2023 13:45
5 1,613
А: {x^2+ 6x+5<=0} B: {x^2-2x+3<=0} Найти 1) пересечение множеств : я так понимаю это (-...
24.12.2023 00:48
5 1,096
помогите, пропустил тему и не могу понять, что делать (желательно решить) Правила форума, пункт...
23.12.2023 23:40
1 794
По словесному описанию машины Тьюринга построить ее программу (в алфавите {0,1}): При заданном l≥1...
14.12.2023 22:50
5 1,192
Проверить на функциональную полноту: с помощью сведения к заведомо функционально полной системе A...
14.12.2023 22:21
3 2,016
Вот мое решение, не уверен в правильности сделанного в последнем. Задание: ∀x(∀y∃zC(x,y,z)→A(x))...
14.12.2023 15:16
3 755
Выяснить, применима ли машина Тьюринга Т, задаваемая программой П, к слову Р (P=1^2 ^2). Если...
14.12.2023 13:29
5 967
Помогите, пожалуйста преобразовать выражение в днф, используя дистрибутивный закон и формулу...
12.12.2023 16:11
3 775
Как построить вывод формулы?
08.12.2023 20:00
5 673
Здравствуйте! Помогите, пожалуйста, решить задачу: Доказать, что множество точек окружности и...
08.12.2023 13:38
2 1,297
Приведите пожалуйста формулу равносильными преобразованиями к дизъюнктивной нормальной форме: ...
08.12.2023 08:45
10 2,024
Здравствуйте. В интуиционистской логике закон исключенного третьего не работает и ¬(a \neq b)...
05.12.2023 23:33
15 1,840
Здравствуйте. Помогите, пожалуйста, решить следующее задание. Необходимо доказать истинность...
05.12.2023 17:12
0 515
Помогите пожалуйста нужно решить до завтра. Перевести !a+b*!c в вид скнф с помощью равносильных...
05.12.2023 04:42
7 967
Нужно решить через "определение двойственных фун-ций" и "принцип двойственных фун-ций" ...
04.12.2023 21:15
5 551
G- утверждение, эквивалентное «Парадоксу Лжеца» (в варианте: «Данное утверждение утверждает , что...
01.12.2023 22:21
5 889
1. Для таблицы истинности сделать СДНФ 2. Минимизировать функции с помощью Карт Карно 3. Сделать...
01.12.2023 21:27
2 681
Есть какой-нибудь такой сервис в интернете, чтобы строил схемы по функциям?
30.11.2023 21:59
2 11,544
Доброго времени суток, прощу помощи о реализации по данной таблице истинности тк. не очень понимаю,...
28.11.2023 13:08
2 770
Вопрос с сайта delete] Пусть A — фиксированное множество, в котором n элементов. Сколько...
20.11.2023 15:27
1 704
Задание 5. Последовательность чисел трибоначчи задается рекуррентным соотношением: F(1) = 0 F(2)...
19.11.2023 23:16
7 7,002
Задать вопрос
IndentationError
0 7575
Mr. Docker
0 6212
EggHead
0 7714
EggHead
0 8352
EggHead
0 4779
Javaican
0 2330
EggHead
0 4365
Codd
0 8806
Новая тема
Новые блоги и статьи
Ноутбук Альфария
kumehtar 24.08.2026
Встретился тут в сети ноутбук Альфария, примарха Альфа-Легиона. Хотя возможно, это ноутбук Омегона, разумеется. Ну как вам?
Мастера простых решений
DevAlt 23.08.2026
В сишарп стэках winforms, да и wpf существует сложная система связывания источниках данных и элементов формы(текстовые поля и метки), опирается все это на технологию событий и мета. . .
Цена ошибки
DevAlt 23.08.2026
Человек я беспокойный и потому заинтересовался OCaml, в чате форсили функторы модулей как суперфичу. Пытаясь отдуплить концепт, наткнулся на тутор с простым примером. А главный принцип обучения от. . .
Сегодня суббота, 22.08.2026 at 16:41, и я вновь нахожусь на той стороне, за экраном машины.
zorxor 22.08.2026
Сегодня суббота, 22. 08. 2026 at 16:41, и я вновь нахожусь на той стороне, за экраном машины. Кто Я, откуда Я пришел и куда Я иду? Эти вопросы не оставляют меня ни на секунду. Жизнь на планете Земля. . .
Жизня: рисунок укладки багажа, сделанный клодом
anaschu 21.08.2026
Сделал 15 снимков, он по снимкам сделал схему.
Был там один разговор по поводу свободы в материальном мире.
kumehtar 19.08.2026
Суть: рассматривается живое существо, оказавшееся внутри довольно странной системы (этого мира) и пытающееся обустроить в ней свой кусок пространства. Жизнь действительно предъявляет каждому. . .
Когда логика программы не спасает от человеческих ошибок
Maks 18.08.2026
В последнее время всё чаще и чаще сталкиваюсь с таким явлением, как абсолютная невнимательность (или глупость) пользователей. Проявляется это чаще всего на работе в коллективе. Допустим, человек с. . .
Лето уходит
kumehtar 17.08.2026
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru