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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,152,566 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,926
Обычные темы
 
     
 
Задать вопрос
Подскажите, как доказать данную секвенцию дедуктивным методом {AvB -> D; не F -> не D }|-...
kefh
28.12.2014 13:24
0 194
помогите формализовать высказывание: Некоторые птицы, гордящиеся своим хвостом, не могут петь. Ни...
ya123
28.12.2014 12:57
0 180
Помогите пожалуйста с задачей,с чего начать? или может быть есть подобие ее: Найдите логические...
lili-72
27.12.2014 19:41
4 260
Необходимо привести к СДНФ и СКНФ с помощью равносильных преобразований: xyz ˅ x̅ y̅z̅
An_Pe
27.12.2014 12:37
1 3,354
Проверить тождество A\(B∩C) = (A\B)∪(A\C). Буду очень благодарен вашей помощи.
swat032
27.12.2014 08:35
2 501
Синтезировать в базисе И-НЕ (ИЛИ-НЕ) устройство, заданное логической функцией: F(x1,x2,x3,x4) =...
Rawzes
26.12.2014 22:29
3 489
-Arabella-
- - -
Помогите пожалуйста. Заранее спасибо. 1) Является ли тавтологией формула ((A⊃B) ⊃A) ⊃A? 2)...
swat032
26.12.2014 16:57
1 528
Здравствуйте. Как доказать, что мощность множества рациональных чисел счетна?
-Arabella-
26.12.2014 11:47
2 189
Доброго времени суток!) Помогите пожалуйста проверить таблицу истинности для заданной функции: ...
ir24
26.12.2014 10:20
2 876
перечислить подмножества множества {1,2{3,4}}. Помогите, пожалуйста, а то я не совсем понимаю,...
MyChemicalKillj
26.12.2014 00:52
3 2,873
Здравствуйте! Помогите решить пожалуйста Доказать тождество А ∩ (B-C)=(A ∩ B)-(A ∩ C)=(A ∩ B)-C
NeoVirus
25.12.2014 10:20
2 512
Задание такое: С помощью карт Карно найдите сокращенную, все тупиковые и минимальные ДНФ, КНФ...
teaetry
24.12.2014 14:08
3 2,787
(x\rightarrow y)\rightarrow \vdash x\vee y\vee z помогите решить Добавлено через 1 час 28 минут...
xXotabx
24.12.2014 12:59
3 729
Здравствуйте! Помогите пожалуйста, вообще не разбираюсь в данной теме. Если кто-то что-то знает,...
Yar_
24.12.2014 11:12
1 187
помогите решить пожалуйста
xXotabx
24.12.2014 10:20
17 931
Помогите пожалуйста доказать, что (А\В)\С =(А\С)\(В\С).
ir24
24.12.2014 02:34
1 844
x1x2x3x4 y 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 ...
FaNyR
23.12.2014 22:10
2 903
Если Р и S рефлексивны, то P \vee S тоже рефлексивно.
ir24
23.12.2014 20:33
0 214
докажите что отношения будут отношения эквивалентности "принадлежность до одной группы" в...
Кучерявая_Ксю
23.12.2014 19:41
2 1,936
x!y!z v !xy!z v !xyz v xyz =!z v yz но мне препод сказал ,что !z не верно ...помогите с ошибкой
StudentHelp
23.12.2014 16:55
9 869
Как умножаются бинарные матрицы? Мне нужно узнать, транзитивна ли она или нет. Вот эта матрица...
NiKrOmAnT
23.12.2014 02:46
5 3,358
Задание: Проанализируйте следующие рассуждения на предмет их правильности. Для этого выявите...
Soroka1995
21.12.2014 12:43
0 386
Помогите пожалуйста решить. Постройте релейно-контактную схему с тремя переключателями, которая не...
masha16085
21.12.2014 12:12
1 335
Помогите пожалуйста. Запишите при помощи символов алгебры предикатов определение функции,...
masha16085
21.12.2014 11:24
0 162
Помогите пожалуйста разобраться. Сформулируйте теорему, используя термины: "необходимое" и...
masha16085
21.12.2014 11:20
0 234
Прогулял пару теперь не знаю как делать xD. Читаю методичку не чего не понятно... Кто может сделать...
Skampf
21.12.2014 09:49
7 1,222
Пожалуйста, помогите составить ДНФ. z\bar{x}\rightarrow y\bar{z}\equiv y \downarrow z \mid ...
Praud
21.12.2014 07:25
5 251
Приветствую вас форумчане. Мне необходимо минимизировать переключательную функцию...
zorgo
20.12.2014 17:08
2 462
Помогите преобразовать функцию
Victoria_Orel
20.12.2014 15:20
2 484
Эквивалентны ли множества? Доказать. A={y: y=3 в степени x, 0<x<беск.} и B={y: y=3 в степени n,...
Karinakoneone
19.12.2014 22:22
0 370
Сколько разбиений имеет множество {1,2,3,4}
fourston
19.12.2014 21:37
0 177
Доказать выводимость теоремы, пользуясь аксиомами Клини или (A1)-(A3).
Fear1911
19.12.2014 21:32
1 560
Задача по теории множеств
tatattv
19.12.2014 17:12
1 408
"Составьте логическую функцию, соответствующую данной схеме. Какое значение будет иметь данная...
Kov_D
19.12.2014 14:06
1 238
Доказать при помощи полинома Жегалкина ((a↓b)V (a+b))─((c─d)↓(c~d))=((c→a)^(c→b))→(a↓d)V(b↓d)) ...
Марина_Киев_КПИ
19.12.2014 04:12
0 223
Из таблиц истинности у меня вышло следующее УПРОСТИТЬ ...
Марина_Киев_КПИ
19.12.2014 03:22
4 327
Добрый день! Подскажите, как делать следующее задание: Методом резолюций доказать, что формула...
Севак
18.12.2014 22:53
0 165
Помогите построить формулу от трех переменных U(A, B, C), чтобы выполнялись следующие условия 1)...
v0l0d1ka
18.12.2014 16:25
0 319
Помогите разобраться: Для произвольных множеств S, R, Q проверить, является ли выполнение включения...
NiKrOmAnT
18.12.2014 13:45
1 351
Всем добрый вечер! Задание состоит в следующем: найти фиктивные и значимые переменные для функции:...
Vika_V
17.12.2014 21:18
0 250
Форум 1.Составить целевую функцию своей будущей жизни 2.Написать логическую функцию для шахматной...
mary2109s
17.12.2014 20:12
0 221
Построить полином Жегалкина для функции f= 10111000
opium95
17.12.2014 18:01
2 1,234
Правильно ли нашел КНФ? f(x,y,z) = (x\sim y)\vee (x\rightarrow y)\wedge (y\rightarrow z)=...
AlisherIITU
17.12.2014 17:03
0 163
\overline{(Z\rightarrow X)\Leftrightarrow \overline{(Y\wedge X)} КНФ: (неX v Y) /\ (X v Z) ДНФ:...
textyreee
17.12.2014 13:08
1 209
Что будет записано в функции f(x,y), если g(x)=x, a h(x,y,z)=z^2? Ребят, большая просьба, помогите...
Zodt
17.12.2014 11:25
0 166
Мне нужна помощь, как выполнить доказательство? Подскажите кто чем может (по теме).... Докажите,...
Ангел-лина
17.12.2014 09:57
1 706
1) G\rightarrow (G\rightarrow (E\rightarrow G)) 2) G\rightarrow (E\rightarrow (G\rightarrow E))
Marlboro_August
17.12.2014 04:19
1 1,423
На множестве натуральных чисел I={1..20} (от 1 до 20) заданы предикаты: P1(x)=" х делится на 5 без...
Erondondon
16.12.2014 21:54
0 319
Построить полином Жегалкина
робот
16.12.2014 19:58
1 309
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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