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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,133,763 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,855
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
можно ли переобразовать функцию и-не в или-не, желатьно еще схему
bronzer
08.12.2014 09:21
1 1,000
Добрый день, уважаемые пользователи форума. Просьба помочь с решением задачи. Вроде алгоритм...
Snows
07.12.2014 12:37
0 556
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 270
Найти выражение для 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 341
Как можно изобразить граф следующего расписания??Заранее спасибо Предмет Группа ...
Вероника99
06.12.2014 20:46
0 337
Ребята,проверьте правильно ли я построила диаграмму Хассе. Я толком не могу разобраться с этими...
Вероника99
06.12.2014 20:22
1 403
какими из свойств отношений обладает отношение R на множестве А А Множество студентов вуза R...
zhurik123
06.12.2014 13:26
1 503
(где or дизъюнкция) \bar{X}orZ\sim Y
CM_WEb
06.12.2014 12:27
3 240
Я нашел выражения но нужно построить таблицу к f, f* и найти f* по таблице
CM_WEb
06.12.2014 11:49
0 537
Добрый день. Требуется Ваша помощь в решении нескольких заданий по логике. Одно из них приведу в...
estorsky
05.12.2014 17:13
0 388
Для примера имеется карта 4х4.Как мне перейти от карты сразу к базису пирса, не используя...
1337Stas
05.12.2014 02:46
5 562
Собственно сабж
1337Stas
04.12.2014 19:10
0 216
P\wedge (P\vee R)\wedge (Q\vee \bar{R})
Katrrin
04.12.2014 17:09
1 783
F(X,Y,Z)=(\bar{X}\vee \bar{Y})\wedge Z
Katrrin
04.12.2014 17:00
1 251
Начертить Круги Эйлера-Вена для отрицания. Добавлено через 52 минуты Я перевелся из одного...
Александр_ТГМТ
04.12.2014 10:33
2 609
Найдите все целые числа Х, для которых истинно высказывание: (x>5)^(x+3<11) Добавлено через 21...
Александр_ТГМТ
04.12.2014 10:31
2 1,143
Какова мощность множества ((А∩В)\(C∪B)) ∩ D? Если: А={2,6,7,8,10,11,15}, ...
Sergei6117
04.12.2014 08:01
4 324
Доброго времени суток! Ребят, направьте на путь истинный. Дано R1={(a,b)|b=a^2}, R2={(a,b)|b=a+1}....
Chimera_
03.12.2014 22:55
6 355
помогите минимизировать по х
Ксения Шарабан
03.12.2014 21:34
2 240
Доказать закон: x^¬x=0. Добавлено через 11 минут Я перевелся из одного учреждения в другое....
Александр_ТГМТ
03.12.2014 20:50
1 388
Укажите, какое логическое выражение равносильно выражению: ¬(А^В)\/¬(B^¬C) 1. ¬A\/¬B\/¬C 2....
Александр_ТГМТ
03.12.2014 20:48
1 834
Составьте таблицу истинности логической формулы и определить ее вид: (A~¬B)->¬(A^B). Я...
Александр_ТГМТ
03.12.2014 20:34
3 432
Все машины дорогие Велосипед недорогой Велосипед – не машина
mm00
03.12.2014 19:38
1 349
Добрый день. Была дана таблица истинности, нашёл её сднф и скнф, сократил. получилось что функция...
alexhud
03.12.2014 17:02
1 2,344
\overline{(A/B)\cup (B/C)}=\overline{(A\cap \overline{B})\cup (B\cap...
qwestcl
03.12.2014 12:53
3 822
Будьте добры, помогите с заданием!!! Упростите выражение (символ \ означает разность множеств) 1)...
Ангел-лина
03.12.2014 10:57
5 1,095
Доброе утро. Помогите, пожалуйста, реализовать ф-ю в базисе и-нет с помощью штриха Шеффера. F= не...
Мария_К
02.12.2014 18:17
10 925
Добрый день, дорогие коллеги! Столкнулась с задачей, решение которой никак не приходит в голову....
ulyanao
02.12.2014 09:35
2 815
Доброе утро! Есть такая задача в процессе решения (во вложении). Из множества дизъюнктов не...
Надобр
02.12.2014 09:31
0 134
Как по заданной цифровой последовательности сформировать логическую схему, которая на выходе...
Mikky Mous
02.12.2014 08:30
1 406
Помогите решить задачу по матлогике. Пропустил тему, не могу разобраться. Задания 1.3 и 1.4.
Oooohh_Yeaahh
01.12.2014 23:42
0 182
Как доказать это? с помощью каких аксиом и правил вывода? как правильно удалить дизъюнкцию? {не...
kefh
01.12.2014 22:52
10 548
Помогите решить или подскажите куда посмотреть на что-нибудь подобное: Доказать, что любое...
vernon
01.12.2014 16:13
3 1,117
читаю конспект, а там много "страшных" терминов: сигма алгебры, внутрение меры и т.п. если...
nikkka
01.12.2014 16:10
0 288
Мэрия решила построить в каждом квартале города, имеющего 155 перекрестков и 260 отрезков улиц...
qwestcl
30.11.2014 19:17
5 973
Расскажите, пожалуйста, как работает алгоритм поглощения для предикатов. Очень нужны примеры, т.к....
РомкаРомка
29.11.2014 22:31
3 464
{A v B; не А} - B Как это доказать?
kefh
29.11.2014 13:15
0 204
Приведите к предваренной нормальной форме следующие формулы логики предикатов.
pre100
29.11.2014 13:05
1 1,321
Как доказать данную выводимость?
kefh
28.11.2014 20:29
0 176
Ребят помогите упростить сднф.
ВаняПр
28.11.2014 19:44
3 351
Помогите пожалуйста найти мднф на основе импликантной таблицы.
Ravgus
28.11.2014 19:19
0 496
Докажите равенство декартовых произведений множеств:
Karinakoneone
27.11.2014 15:07
1 582
Помогите упростить выражение, вот к чему пришла, не знаю правильно ли, и как дальше упрощать. Не...
oprog
27.11.2014 12:22
5 177
(нужна геом. решение задачи) A= {(x,y) ∈R^2 | sin(x)<y} B={(x,y)∈ R^2 |x>0,y<0} И еще...
voren
25.11.2014 22:04
2 368
1) Выводима ли формула (a->b)\/(b->a) Доказать не с помощью таблицы, а с помощью аксиом) 2)...
phantom3200
25.11.2014 01:29
0 207
Помогите составить легенду по клаузе, типа A->B => C. Вот условие: "Существуют две теории...
vovka_pw
25.11.2014 00:01
0 344
Помогите решить пожалуйста \inline \left(P{1\rightarrow P{2}_{}}_{}...
Анна41
24.11.2014 20:07
1 179
Помогите мне, пожалуйста, доказать следующие законы: Google не знает, к сожалению 1)A\bigcap...
ramires-lord
24.11.2014 10:38
4 962
Построить вывод в исчислении высказываний
Iofet
24.11.2014 08:11
1 557
помогите пожалуйста решить систему уравнений.
Maks_kiber
23.11.2014 18:31
5 624
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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