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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,151,259 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,923
Обычные темы
 
     
 
Задать вопрос
Дана произвольная несамодвойственная функция. Отождествить у нее переменные так, чтобы получилась...
kamilla516
31.10.2016 05:45
1 287
Свела по теореме дедукции к тому,что надо доказать только выводимость С. Но что-то не получается
Dashamath
30.10.2016 20:23
6 282
При нахождении мин. ДНФ по карте Карно нужно выделять единицы в количестве 2n, но если остается...
kolja_hejter
29.10.2016 18:48
5 309
преобразовать в скнф и сднф \tiny {x}_{3}\tiny {x}_{2}\tiny {x}_{1} y 0 0 0 1 0 0 1 1 0 ...
ядщ20134
29.10.2016 18:34
2 249
Как из данных гипотез вывести \vdash \varphi \vee \neg\varphi смог вывести эквивалентность...
Archi0
29.10.2016 18:31
3 782
Смотрите на картинку. Как решать эту логическую задачу?
Otabek_Mansurov
28.10.2016 16:40
4 183
Помогите. Не могу понять с чего начинать деревья. По определению дается 1 или более посылок и с...
NezamovMark
28.10.2016 13:20
1 156
Доброго времени суток. Требуется помощь с упрощением двух множеств, используя законы логики. В...
PiFFFko
27.10.2016 21:56
3 250
Здравствуйте! Например, есть выражение A \ (B U C) = (A \ B) пересечение (A \ C) Чтобы...
Никита Однороб
27.10.2016 21:39
1 174
Помогите пожалуйста (A⊃C)⊃C, A⊃B, B⊃C ├ C
zergreak
27.10.2016 15:25
2 314
Всем привет. Прошу помочь с решением данной задачи. Будет ли справедливо в общем случае...
Jolkr
27.10.2016 01:00
13 933
Универсум – множество животных. Предикаты: A(x)=истина тогда и только тогда, когда животное x –...
artem10
26.10.2016 19:17
1 518
Нужно доказать методом резолюций что ¬Q->¬P, есть логическое следствие (P->Q). Нужна помощь(
Xtremee
26.10.2016 18:52
1 382
Докажите по индукции, что равенство 1+2+...+n = n(n+1)/2 выполнимо при всех натуральных n ...
CyberPer4uk
26.10.2016 13:09
1 257
\bar{\huge A}\def{\huge a_i/a_i \huge \no\in A} def дважды подчёркнут. Как называется данная...
INNOS1990
25.10.2016 22:11
1 772
Найти область определения, область значений отношения. Является ли отношение рефлексивным,...
Milisa
25.10.2016 19:51
3 1,036
(A∩B)U(C/(AUB))
ViktorMakarov
25.10.2016 18:50
2 1,023
1. A\(A\B)=A∩B 2. (A\C)\(B\C)=(A\B)U(A∩C)
ViktorMakarov
25.10.2016 17:54
0 153
Даны нечеткие множества
Milisa
24.10.2016 20:42
0 220
Доказать, что для любой формулы существует эквивалентная ей формула с тесными отрицаниями, т.е....
kamilla516
24.10.2016 19:23
1 191
Пусть Z – множество целых чисел и отображение f(n)=n2 отображает Z в Z. Какие утверждения об...
artem10
24.10.2016 11:28
0 474
Пусть ρ={<x,a>,<a,b>,<b,b>,<e,b>,<e,x>}. Укажите элементы композиции отношений ρ°ρ
artem10
24.10.2016 11:26
0 291
Раймонд Смаллиан встретил на острове рыцарей и лжецов человека, который произнес: «Если 2×2=5, то...
artem10
24.10.2016 11:25
0 387
Универсум – множество людей. Предикаты: S(x) – человек x – студент. C(x) – человек x –...
artem10
24.10.2016 11:21
0 169
KRAbych
24.10.2016 10:30
0 173
KRAbych
24.10.2016 10:27
0 195
ruslan_kg
24.10.2016 10:06
0 127
Помогите найти полином Жегалкина методом неопределенных коэффициентов. Никак не могу понять этот...
kolja_hejter
24.10.2016 00:13
0 217
Что-то выпал с 2х задачек 1.) Есть посылки: 1.) F-->G ; 2.) G-->F из них вывести F==G (== -...
NS-17_R-18
23.10.2016 21:31
2 418
Решить задание (е)
Jmaqasa
21.10.2016 23:34
1 971
1) Задача: определить номер уцелевшего J(n). Составить таблицу первых значений J(n), где n=20. 2)...
3oidberg
21.10.2016 13:33
1 248
¬A /\ (B V C) /\ ¬C
dodge1969ss
21.10.2016 13:07
4 403
До завтра надо решить :( может кто помочь ?
DenySWMD
20.10.2016 22:09
1 131
Не могу понять как это сделать используя Стрелку Пирса и остальные доп знаки как на скрине
destruction2u
20.10.2016 21:26
5 287
Помогите пожалуйста Пусть A,B,A1,B1 - такие множества, что А находится во взаимно однозначном...
D3M
20.10.2016 14:34
1 170
Заданы множества: A= {1,3,5,6,7,8,9,0}, B= {x|хєZ и -4≤ x≤ 6}, C= {2, 4, 6, 8, 10, 12, 14}, D=∅,...
marysluva
19.10.2016 17:14
3 224
Здравствуйте. Подскажите, пожалуйста, как правильно записать вот это предложение: если А не...
Aidar
19.10.2016 16:58
1 144
Построить таблицу истинности, помогите
marysluva
19.10.2016 15:05
0 120
Привести примеры открытых множеств A и B на числовой прямой , для которых все следующие множества:A...
xdtab
19.10.2016 14:46
3 839
Заданы множества A = {x|x - четные числа}; В= {x|x - числа кратные 3}; С= Г - множество всех...
marysluva
19.10.2016 13:42
0 139
Помогите,пожалуйста, доказать
HITMAN366
18.10.2016 20:49
7 293
Добрый вечер, уважаемые форумчане. Дано выражение \bar{A}\vee \bar{B}. Данное выражение, как я...
skemtoputaete
18.10.2016 13:38
6 418
Ребят,помогите Записать формулой алгебры высказываний средующие предложение : Если формула Е...
zergreak
18.10.2016 09:37
0 169
На множестве {1,2,3,4,5,6,7,8,9} задано отношение сравнимости по модулю 4. Перечислите элементы,...
Dutenass
17.10.2016 11:03
1 230
Ребят, может кто подсказать по помоду минимизации СКНФ с помощью законов алгебры и логики. На...
a.n.o.n.i.m
17.10.2016 02:51
3 212
Можете проверить пожалуйста. В функции СКНФ Нужно минимизировать с помощью карт Карно Вопросы:...
a.n.o.n.i.m
17.10.2016 02:18
1 273
Объясните ктонить пожалуйста как это так получилось? 1)почему после первого знака "=" получается...
kolja_hejter
16.10.2016 21:10
1 173
Нужно решить 3 первых номера,сам не дохожу как
w33ha
16.10.2016 20:31
1 121
Дано число 19, перевести в двоичную систему. (010011), где h6=0; h5=1; h4=0; h3=0; h2=1;h1=1; ...
Blizzardgo
16.10.2016 20:10
0 175
Записать формулой логики предикатов "множество имеет не более двух элементов"
Апасный
16.10.2016 18:14
7 468
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru