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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,496,688 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
27.03.2022 11:20
3 10,001
Обычные темы
Задать вопрос
СДНФ:(P1\wedge \bar{P2})V(\bar{P1}\wedge P2) CКНФ:(P1\vee P2)\wedge (\bar{P1}\vee \bar{P2}) А как...
17.02.2012 12:52
6 4,108
Задание звучит так: "Пусть М - множество всех параллелограммов на плоскости, А1 - множество...
16.02.2012 22:19
7 2,668
не мог найти куда написать свой пост ,решил сюда , задача из контрольной по информатике по ЕГЭ....
16.02.2012 16:57
14 45,221
Здравствуйте! 1) Равносильны ли суждения "Я не верю в существование Бога" и "Я верю, что Бог не...
16.02.2012 16:48
6 4,897
Существует ли эффективный алгоритм минимизации булевых функций в произвольном базисе, где каждая из...
15.02.2012 13:23
1 1,281
2&3=11 7&7=63 3&5=29 5&5=45 8&6=? Надо понять логику и написать ответ. P.S. не знал в какой...
14.02.2012 17:34
8 1,344
просто не понимаю как делать(((
13.02.2012 23:51
2 1,287
Здравствуйте! Помогите, пожалуйста, решить несколько примеров с множествами. Заранее спасибо!
13.02.2012 21:52
1 651
на вложенной картинке формула исчисления предикатов преобразовываю ее в нормальную форму проблема...
11.02.2012 18:30
2 838
Нужно решить две задачи: 1)Пусть формула А не содержит никаких логических символов кроме...
10.02.2012 23:21
0 2,017
Доброго времени суток, уважаемые соучастники! Возникло затруднение с представлением высказывания ...
09.02.2012 22:35
3 3,103
Заданное выражение упрастить, используя законы алгебры множеств
09.02.2012 22:34
3 1,215
Операции над соответствиями. Образ и прообраз. Сужение и продолжение соответствия.
09.02.2012 22:22
0 3,473
Задание2:Операции над множествами
09.02.2012 22:15
11 1,303
Здравствуйте! Помогите, пожалуйста доказать тождество A+B=A+(B-A). Не знаю какой закон(ы)применить...
09.02.2012 12:29
1 1,549
картинка выражения здесь
09.02.2012 12:21
1 1,690
Ввести предикаты на соответствующих областях (возможно многоместные) и записать с их помощью...
08.02.2012 20:00
1 1,980
Помогите подробно решить задачку.. Чето не так выходит... Вот начал решать посмотрите... А...
08.02.2012 02:39
12 2,806
Здравствуйте. Помогите пожалуйста. дано А={я,ты}, В={1,2,3} написать примеры отношений из А в В, и...
06.02.2012 17:37
2 856
Нужно изобразить на координатной прямой или на координатной плоскости множества истинности...
05.02.2012 21:31
2 12,282
Определите, является ли один из следующих предикатов, заданных на множестве действительных чисел,...
05.02.2012 20:12
0 3,881
Данную функцию f(x,y,z)=(10001000) 1.Представить всеми способами. 2.Представить в виде СДНФ и...
05.02.2012 19:58
7 11,576
Ребята, срочно нужна помощь! Помогите решить 4 задачи по мат логике. от этого зависит мое...
05.02.2012 15:43
0 1,175
Здравствуйте! Мне по информатике дали задачку на составление таблицы истинности,но у меня не...
05.02.2012 13:11
0 774
см. рис.
04.02.2012 15:57
2 1,944
Добрый вечер! Может кто-нибудь помочь с данной темой? Дана контрольная, 4 задания сделал, 1 не...
02.02.2012 11:07
2 4,488
Пожалуйста помогите! Наа сессию дали задание минимизировать выражение ФАЛ, а я алгебру логики уже...
02.02.2012 08:08
1 2,031
Помогите решить!!Срочно очень надо!!!!
01.02.2012 17:24
0 1,287
Помогите ПОЖАЛУЙСТА!!! A=Q, (a/b)*(c/d)=(b/a)+(c/d), где a,b,c,d принадлежат Z.
31.01.2012 18:17
1 2,585
Помогите решить задание. Задачи довольно простые, но мне сейчас не вспомнить законы операций с...
31.01.2012 15:28
11 7,580
Здравствуйте уважаемые жители этого форума! Так получилось, что по информатике у меня знания...
28.01.2012 17:42
7 4,395
(x|z) \vee y
28.01.2012 17:12
1 1,842
Помогите пожалуйста решить пример: Найти множество истинности предиката, заданного на множестве А
27.01.2012 17:56
0 955
f(x_1,x_2,x_3,x_4)= \bar{(x_1\vee x_2)}\vee \bar{(x_3\vee x_4)}\wedge \bar{(x_1\leftrightarrow x_3...
26.01.2012 12:21
1 3,791
1.Записать функцию проводимости для заданной переключательной схемы, упростить её. 2. Для...
25.01.2012 18:01
3 10,162
Доказать, что множество А всех положительных целых четных чисел равно множеству В всех...
25.01.2012 12:14
1 2,146
Надо выразить конъюнкцию через строгую дизъюнкцию и константу 1 Как это сделать? Добавлено...
24.01.2012 20:19
4 3,487
мне даны такие данные: f=(0,0,1) f=(1,0,0) f=(1,1,0) = 1 (\bar{X}\vee\bar{Y}\vee...
24.01.2012 19:06
5 8,706
Дана функция f (1100 0111).Сделайте пожалуйста. Добавлено через 48 минут Сделал по методу...
24.01.2012 16:55
3 11,149
Скажите, где можно о нем почитать? Особенно интересует теорема и доказательство того, что...
24.01.2012 13:39
1 2,409
Что значит выполнимость формулы? Упростить? или Что с ней делать?
23.01.2012 18:22
1 3,138
1. Выразить \bar{(x_1\vee \bar{x_2}) \rightarrow (\bar{x_3} + x_4)} через функции \varphi_1 =...
22.01.2012 21:43
0 639
Как его построить? Алгоритм построения я понял, но я не понимаю как именно подставлять, при...
22.01.2012 19:11
1 1,350
Выразить все основные логические операции над высказываниями через конъюнкцию и отрицание ...
22.01.2012 13:50
0 1,073
Здравствуйте. Что дано: (a\vee b\vee c)\vee Нужно преобразовать это в базис И-ИЛИ-НЕ и...
20.01.2012 18:36
0 968
Условие состоит в том, что нужно найти, либо СДНФ, либо СКНФ а потом перейти, либо к СКНФ, либо к...
19.01.2012 19:56
2 34,499
Найти СДНФ по таблицы истинности: X|Y\oplus Z.
19.01.2012 16:29
7 17,507
Найти область определения,область значений отношения. Является ли оно всюду определённым,...
19.01.2012 08:44
0 1,154
Не могу разобратся как получить множество дизъюнктов.
19.01.2012 03:11
0 876
Всем доброго времени суток, у меня следующая задача: Построить минимальную сокращенную ДНФ c...
19.01.2012 00:08
1 3,692
Задать вопрос
IndentationError
0 4958
Mr. Docker
0 5041
EggHead
0 7027
EggHead
0 7024
EggHead
0 4262
Javaican
0 1847
EggHead
0 3473
Codd
0 7502
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

Новые блоги и статьи
SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++
8Observer8 10.03.2026
Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:
Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE
8Observer8 10.03.2026
Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .
Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки
Neotwalker 08.03.2026
Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .
Модульная разработка через nuget packages
DevAlt 07.03.2026
Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .
Модульный подход на примере F#
DevAlt 06.03.2026
В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .
Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование
8Observer8 05.03.2026
Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .
SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D
8Observer8 04.03.2026
Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .
SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий
8Observer8 02.03.2026
Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru