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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск  
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,591,351 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
27.03.2022 11:20
3 10,127
Обычные темы
Задать вопрос
На плоскости задано бесконечное множество попарно непересекающихся окружностей. Верно ли, что оно...
19.12.2021 01:43
1 554
Приведите пример такого бесконечного множества попарно непересекающихся отрезков, лежащих на одной...
19.12.2021 01:34
3 587
помогите решить (вложение)
19.12.2021 01:31
3 805
На плоскости задано бесконечное множество попарно непересекающихся кругов. Докажите, что это...
19.12.2021 01:28
3 484
Докажите, что множество всех периодических (с некоторого момента) бесконечных двоичных...
19.12.2021 01:24
3 1,073
Пусть |A| = n. Сколько существует различных биекций из A в A?
19.12.2021 01:18
3 1,918
f = (x⊕¬y)↑(x≡yz) Преобразовать булеву функцию f к виду: а) СДНФ с помощью алгоритма; б) СКНФ с...
18.12.2021 21:30
7 1,279
Докажите, что множество бесконечных двоичных последовательностей, все цифры которых начиная с...
18.12.2021 20:01
1 1,114
Предметной областью является множество людей и литературных произведений; А(х,у) означакт что...
18.12.2021 18:30
1 528
Не могу тождество доказать, помогите пожалуйста. Задание во вложении
18.12.2021 16:18
1 1,105
Представить булевую функцию, заданную таблицей, формулой в ДДНФ, ДКНФ: f(x1,x2,x3)=(x1 v x2)->x3.
17.12.2021 14:45
2 668
Нужно решить 3 способами только 9 и 12 примеры, буду премного благодарен Правила форума :rtfm:...
17.12.2021 12:33
3 1,090
Задана система четырех функций, которая описывает работу логического устройства. Минимизировать...
17.12.2021 10:45
0 738
Один из трёх братьев Витя, Толя, Коля - разбил окно. В разговоре участвуют ещё двое братьев: Андрей...
15.12.2021 20:07
11 1,376
Помогите решить
15.12.2021 16:19
4 630
Докажите, что следующие формулы являются теоремами формализованного исчисления высказываний ,...
15.12.2021 14:22
3 2,864
Помогите пожалуйста построить вывод: ├ (A ^ B) ^ C→A ^ (B ^ C) Аксиомы: 1) A→(B→A) 2)...
15.12.2021 00:21
1 815
Вывести секвенцию ~a ^ ~ b |- ~(a v b). Можно используя допустимые аксиомы: |- a v ~a ; ~~a |- a....
15.12.2021 00:10
1 772
В качестве аксиом выбираются формулы следующих видов : (A1) F->(G->F), (A2)...
13.12.2021 22:10
5 1,731
Доброго времени суток. Помогите пожалуйста с решением задачи. В формуле указать свободные и...
13.12.2021 12:29
1 956
Доброго времени суток! Помогите пожалуйста с решением задачи. Заранее благодарен. На...
13.12.2021 12:24
1 872
Здравствуйте! Наткнулся на тест по логике и там был вопрос: Есть истинное высказывание: "Если...
12.12.2021 23:08
5 2,876
Подскажите как вывести секвенцию, использовав только указанные правила.
12.12.2021 19:20
0 438
Помогите решить задачу :help: Пусть U-множество всех студентов института, А- множество всех...
12.12.2021 10:37
2 1,547
Второй день не могу решить ни одну из указанных задач. Нужно аксиоматическим методом доказать...
11.12.2021 21:09
6 951
Задача 2 : Командир осажденной крепости послал следующие три сообщения: а) Если нам удастся...
11.12.2021 17:37
1 757
Задача 1 : Упростите следующие высказывания : Администрация небольшого завода спешно дала в связи...
11.12.2021 17:35
1 693
Найти функцию f(x,y), полученную из функций g(x) и h(x,y,z) по схеме примитивной рекурсии. g(x) =...
11.12.2021 15:13
3 1,681
Если Аня пойдет на вечеринку, то она пойдет с Верой или с Галей. Если Вера не пойдет на вечеринку,...
11.12.2021 15:11
3 715
Записать таблицу истинности для схемы абстрактных устройств
10.12.2021 14:49
2 828
Решить систему соотношений относительно множества X Правильно ли я решил через круги Эйлера-Венна?
10.12.2021 13:17
0 819
Никак не получается написать формулы (A→B)∧(C→B) эквивалентными преобразованиями. По таблице...
08.12.2021 21:12
3 1,519
Задача: На координатной плоскости даны множества А и В (А ограничено красным цветом, В – синим,...
08.12.2021 20:51
1 610
Сколько существует не равносильных между собой формул F(P, Q, R) от трех переменных, из каждой из...
08.12.2021 16:35
17 1,599
Выражения: 1. Любое число отличное от 1 имеет хотя бы один простой делитель. 2. Все приборы...
08.12.2021 16:13
8 1,961
Докажите, что полуинтервал
07.12.2021 22:00
5 3,558
Задание (\bar{x\wedge y})\vee(x\rightarrow y) у меня получилось так (\bar{x\wedge...
07.12.2021 18:50
3 1,641
Рассуждение: "Если шкаф будет собран, то либо я его собрал, либо мой отец собрал, либо шкаф...
07.12.2021 18:43
22 3,029
Записать высказывания посредством формулы и построить таблицу истинности: 1. Если собака лает, то...
07.12.2021 15:25
1 863
Произвести минимизацию одной из заданных логических функций, используя законы и тождества булевой...
07.12.2021 13:41
1 1,323
Здравствуйте, не знаю как довести решение до ума : 1) выписываю в столбик значения F1F2F3 2)...
07.12.2021 12:36
12 1,657
КНФ=(X3+X2+X0)&(X3+X1+X0)&(X3+not(X2)+no­t(X0))&(not(X3)+not(X2)+not(X1)+X0)&(not­(X3)+X2+not(X1)+X0)...
07.12.2021 01:42
1 498
Помогите пожалуйста построить вывод данной формулы:(
06.12.2021 18:52
1 481
Здравствуй, я уже определил, что данное отношение является отношением эквивалентности. Но вот я...
05.12.2021 21:13
6 1,287
Здравствуйте. Никак не могу разобраться в том, как делать это задание. Стрелка Пирса возвращает...
05.12.2021 19:44
6 1,855
2. Построить исчисление с конечным числом аксиом и правил вывода, в котором слова вида a^n b^m a^k...
05.12.2021 12:06
0 656
1. Построить исчисление с конечным числом аксиом и правил вывода, в котором слова вида a^n b^m a^k...
05.12.2021 12:06
0 359
Пусть отображения f, g: R → R имеют вид: \text{f(x)}\begin{cases} & 2x ----------------- x \geq 0...
05.12.2021 10:03
1 622
Помогите пожалуйста найти ДНФ, КНФ, СДНФ, СКНФ методом тождественных преобразований ¬(x~y) ⊃ (x ∨...
04.12.2021 22:34
1 748
Построить схему, управляющую спуском лифта со второго этажа на первый. Условия, определяющие...
04.12.2021 10:24
1 1,201
Задать вопрос
IndentationError
0 7693
Mr. Docker
0 6304
EggHead
0 7850
EggHead
0 8582
EggHead
0 4863
Javaican
0 2396
EggHead
0 4448
Codd
0 8963
Новая тема
Новые блоги и статьи
Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого
zorxor 21.09.2026
Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .
Мобильное приложение ColorStep
pavlinmavlin 17.09.2026
Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .
Запрет дублирования строк в табличной части
Maks 13.09.2026
Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .
Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр.
Jin X 06.09.2026
Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .
Программа опроса у.з. расходомера SLS-720F
Argus19 02.09.2026
Программа опроса у. з. расходомера SLS-720F Программа опрашивает один раз в минуту три ультразвуковых расходомера SLS-720F через интерфейс RS-485 по протоколу Modbus RTU. Опрашиваются регистры. . .
Hyper-V: Компьютер должен поддерживать доверенный платформенный модуль 2.0.
Maks 31.08.2026
При установке Windows 11 на виртуальную машину Hyper-V 2-го поколения вылезла такая ошибка: Решение: в параметрах виртуальной машины, в разделе "Безопасность" (Security) активировать флаг. . .
Архитектура биовида Стива в Майнкрафте: Зачем бонобо кубический каннибализм
anaschu 30.08.2026
Кубический Вагинокапитализм в Minecraft: Математический инвариант ОДУ и рок Стивов-бонобо Главная задача разработанной «Модели Всего» — наглядно продемонстрировать наличие системной «судьбы». . .
Оттачиваю умение писать js программы.
russiannick 30.08.2026
Проектом выходного дня стало написание Книги шифров Виженера. Итогом стала версия 200, синий туман. Синий туман назван так, потому что замораживает текст под собой. Нажатие синих кнопок управляют. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru