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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,151,271 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,923
Обычные темы
 
     
 
Задать вопрос
a OR b OR c, (b OR c) \rightarrow (a AND b) |= a OR (a AND b)
CM_WEb
07.12.2014 12:22
5 280
Найти выражение для f*(x,y,z) и N(f*), если f(x,y,z)=\bar{(x AND y)\rightarrow (\bar{y} ↓ z)} ~ (y...
CM_WEb
07.12.2014 10:46
0 428
Как можно изобразить граф следующего расписания??Заранее спасибо Предмет Группа ...
Вероника99
06.12.2014 20:46
0 340
Ребята,проверьте правильно ли я построила диаграмму Хассе. Я толком не могу разобраться с этими...
Вероника99
06.12.2014 20:22
1 439
какими из свойств отношений обладает отношение R на множестве А А Множество студентов вуза R...
zhurik123
06.12.2014 13:26
1 522
(где or дизъюнкция) \bar{X}orZ\sim Y
CM_WEb
06.12.2014 12:27
3 243
Я нашел выражения но нужно построить таблицу к f, f* и найти f* по таблице
CM_WEb
06.12.2014 11:49
0 647
Добрый день. Требуется Ваша помощь в решении нескольких заданий по логике. Одно из них приведу в...
estorsky
05.12.2014 17:13
0 391
Для примера имеется карта 4х4.Как мне перейти от карты сразу к базису пирса, не используя...
1337Stas
05.12.2014 02:46
5 614
Собственно сабж
1337Stas
04.12.2014 19:10
0 219
P\wedge (P\vee R)\wedge (Q\vee \bar{R})
Katrrin
04.12.2014 17:09
1 788
F(X,Y,Z)=(\bar{X}\vee \bar{Y})\wedge Z
Katrrin
04.12.2014 17:00
1 258
Начертить Круги Эйлера-Вена для отрицания. Добавлено через 52 минуты Я перевелся из одного...
Александр_ТГМТ
04.12.2014 10:33
2 647
Найдите все целые числа Х, для которых истинно высказывание: (x>5)^(x+3<11) Добавлено через 21...
Александр_ТГМТ
04.12.2014 10:31
2 1,323
Какова мощность множества ((А∩В)\(C∪B)) ∩ D? Если: А={2,6,7,8,10,11,15}, ...
Sergei6117
04.12.2014 08:01
4 334
Доброго времени суток! Ребят, направьте на путь истинный. Дано R1={(a,b)|b=a^2}, R2={(a,b)|b=a+1}....
Chimera_
03.12.2014 22:55
6 361
помогите минимизировать по х
Ксения Шарабан
03.12.2014 21:34
2 245
Доказать закон: x^¬x=0. Добавлено через 11 минут Я перевелся из одного учреждения в другое....
Александр_ТГМТ
03.12.2014 20:50
1 425
Укажите, какое логическое выражение равносильно выражению: ¬(А^В)\/¬(B^¬C) 1. ¬A\/¬B\/¬C 2....
Александр_ТГМТ
03.12.2014 20:48
1 890
Составьте таблицу истинности логической формулы и определить ее вид: (A~¬B)->¬(A^B). Я...
Александр_ТГМТ
03.12.2014 20:34
3 444
Все машины дорогие Велосипед недорогой Велосипед – не машина
mm00
03.12.2014 19:38
1 363
Добрый день. Была дана таблица истинности, нашёл её сднф и скнф, сократил. получилось что функция...
alexhud
03.12.2014 17:02
1 2,623
\overline{(A/B)\cup (B/C)}=\overline{(A\cap \overline{B})\cup (B\cap...
qwestcl
03.12.2014 12:53
3 823
Будьте добры, помогите с заданием!!! Упростите выражение (символ \ означает разность множеств) 1)...
Ангел-лина
03.12.2014 10:57
5 1,104
Доброе утро. Помогите, пожалуйста, реализовать ф-ю в базисе и-нет с помощью штриха Шеффера. F= не...
Мария_К
02.12.2014 18:17
10 964
Добрый день, дорогие коллеги! Столкнулась с задачей, решение которой никак не приходит в голову....
ulyanao
02.12.2014 09:35
2 824
Доброе утро! Есть такая задача в процессе решения (во вложении). Из множества дизъюнктов не...
Надобр
02.12.2014 09:31
0 139
Как по заданной цифровой последовательности сформировать логическую схему, которая на выходе...
Mikky Mous
02.12.2014 08:30
1 408
Помогите решить задачу по матлогике. Пропустил тему, не могу разобраться. Задания 1.3 и 1.4.
Oooohh_Yeaahh
01.12.2014 23:42
0 185
Как доказать это? с помощью каких аксиом и правил вывода? как правильно удалить дизъюнкцию? {не...
kefh
01.12.2014 22:52
10 603
Помогите решить или подскажите куда посмотреть на что-нибудь подобное: Доказать, что любое...
vernon
01.12.2014 16:13
3 1,237
читаю конспект, а там много "страшных" терминов: сигма алгебры, внутрение меры и т.п. если...
nikkka
01.12.2014 16:10
0 330
Мэрия решила построить в каждом квартале города, имеющего 155 перекрестков и 260 отрезков улиц...
qwestcl
30.11.2014 19:17
5 1,005
Расскажите, пожалуйста, как работает алгоритм поглощения для предикатов. Очень нужны примеры, т.к....
РомкаРомка
29.11.2014 22:31
3 488
{A v B; не А} - B Как это доказать?
kefh
29.11.2014 13:15
0 208
Приведите к предваренной нормальной форме следующие формулы логики предикатов.
pre100
29.11.2014 13:05
1 1,354
Как доказать данную выводимость?
kefh
28.11.2014 20:29
0 182
Ребят помогите упростить сднф.
ВаняПр
28.11.2014 19:44
3 355
Помогите пожалуйста найти мднф на основе импликантной таблицы.
Ravgus
28.11.2014 19:19
0 548
Докажите равенство декартовых произведений множеств:
Karinakoneone
27.11.2014 15:07
1 624
Помогите упростить выражение, вот к чему пришла, не знаю правильно ли, и как дальше упрощать. Не...
oprog
27.11.2014 12:22
5 182
(нужна геом. решение задачи) A= {(x,y) ∈R^2 | sin(x)<y} B={(x,y)∈ R^2 |x>0,y<0} И еще...
voren
25.11.2014 22:04
2 381
1) Выводима ли формула (a->b)\/(b->a) Доказать не с помощью таблицы, а с помощью аксиом) 2)...
phantom3200
25.11.2014 01:29
0 210
Помогите составить легенду по клаузе, типа A->B => C. Вот условие: "Существуют две теории...
vovka_pw
25.11.2014 00:01
0 351
Помогите решить пожалуйста \inline \left(P{1\rightarrow P{2}_{}}_{}...
Анна41
24.11.2014 20:07
1 181
Помогите мне, пожалуйста, доказать следующие законы: Google не знает, к сожалению 1)A\bigcap...
ramires-lord
24.11.2014 10:38
4 1,085
Построить вывод в исчислении высказываний
Iofet
24.11.2014 08:11
1 584
помогите пожалуйста решить систему уравнений.
Maks_kiber
23.11.2014 18:31
5 645
Подскажите ,пожалуйста, сайт или книгу где можно найти информацию про:"Упорядоченные разбиения...
pre100
23.11.2014 12:06
0 260
Какой из вариантов ответов являетсья отражением множества А{1,2,3,4} во множестве B{a,b,c,d,e,f}. ...
Grafnet
23.11.2014 07:05
2 307
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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