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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
Показов: 432,667 Посмотреть объявление Объявление: Поддержите наш форум!
23.08.2020 mik-a-el (Администратор)
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,202,076 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
OldFedor
27.03.2022 11:20
3 9,324
Обычные темы
 
     
 
Задать вопрос
1. нужно разложить функцию в полином по данному модулю: j0(x)+j3(x)+j4(x)(mod5) 2. использую...
Irkaa
04.12.2012 23:52
0 1,109
Здравствуйте! подскажите поалуйста как на языке логики предикатов будет выглядеть: Все A суть...
diaryofsummer
05.12.2012 01:46
1 989
Разложить функцию f(u,x,y,z)=(1110 0110 1001 0101) а) по переменным u,x б) по переменным y,z...
Saddiel
05.12.2012 11:56
1 2,582
Доброго времени суток, уважаемые соучастники. Попалось мне по мат.логике следующее задание: Найти...
vetvet
05.12.2012 19:22
4 4,079
извините но оно не сохраняется при копировании потому пришлось сделатьего вложеным Наберите...
Taftis
06.12.2012 00:22
8 32,312
\bar{{x}_{1}}\bar{{x}_{2}}\bar{{x}_{3}}\bar{{x}_{4}}V\bar{{x}_{1}}{x}_{2}{x}_{3}­\bar{{x}_{4}}V{x}_{1...
Oksana_ks
06.12.2012 22:22
1 2,954
как выразить конъюнкцию через импликацию и отрицание? и импликацию через конъюнкицию
Oksana_ks
07.12.2012 00:55
1 20,614
Перевести в базис или-не
AndrewJon
07.12.2012 03:58
1 2,501
Помогите доказать общезначимость формулы. AxEyAzP(x,y,z) -> EyAxEzP(x,y,z); где A - квантор...
Zanexess
07.12.2012 15:11
1 1,006
ребят помогите плиз нужно привести пример интерпретации, для который данная формула истинна :
roni0k
07.12.2012 20:47
0 3,385
Доброго времени суток! Помогите пожалуйста получить КНФ и ДНФ следующей функции: ...
Anastasiya_1692
08.12.2012 14:28
8 2,221
Прошу помощи в решении задания.
Grafnet
08.12.2012 19:45
1 899
Минимизировать автомат МИЛИ
Yura2
08.12.2012 21:45
0 1,081
f(u,x,y,z)=(1100 1100 0100 0100) .подтолкните в верное направление,а то кучу книг перерыл.
Supergun777
09.12.2012 12:07
0 431
минимизировать автомат Мура.
Yura2
09.12.2012 13:07
0 1,303
1. Записать в формуле логики предикатов. Если некоторые А суть В, но не все В суть С, то существует...
раф
09.12.2012 13:47
0 511
Помогите решить это
Raam555
09.12.2012 21:01
2 2,202
Задали доказать в исчислении высказываний формулу ((А -> B) -> A) -> A 1. (А -> B) -> A //...
Vlad435
09.12.2012 21:02
0 448
Здравствуйте! Помогите решить задачу дедуктивным выводом и задания на доказательства Пожалуйста!...
guTana
09.12.2012 22:19
1 911
Задали РГР по дискретке : построить график, и определить его свойства (сюрьективен, транзитивен и...
Real2222
09.12.2012 23:39
1 1,271
Vx((X\in \begin{Bmatrix}3,5\end{Bmatrix}\rightarrow ({x}^{2}-6x+8<0));
elfozar
10.12.2012 16:16
2 8,449
Является ли отношение на множестве Z, отношением частичного порядка?
Angellok
10.12.2012 20:08
33 2,936
дано выражение по теме упрощение множест. Нужно упростить. Подскажите пожалуйста какая операция...
fang
11.12.2012 01:08
1 766
Для того, чтобы натуральное число a было нечётным, достаточно, чтобы оно было простым и большим...
Sveta_001
11.12.2012 17:05
2 1,948
Доказать или опровергнуть утверждение C (B\DeltaU)(A\DeltaU)=(C \ B)(C \ A)
ZloiPasha
11.12.2012 20:32
0 659
Пожалуйста помогите в решении с предикатами. И если можете объясните мне как это делается. На...
alexcherep
11.12.2012 20:38
0 856
"lg x\leq 1" , "1\leq x\leq 10"
elfozar
11.12.2012 21:06
0 1,824
составить таблицу истинности для функции алгебры логики 4-х переменных (х3, х2, х1, х0), заданной в...
sergan
11.12.2012 23:11
4 5,017
Применяя равносильные преобразования, приведите следующую формулу к предварительной нормальной...
elfozar
12.12.2012 16:00
3 1,213
Докажите, что симметрическая разность ассоциативна:...
kateAhr
12.12.2012 18:02
0 1,608
Проанализировать и построить универсальную модель для последовательного и параллельного процесса...
zmei89
12.12.2012 20:26
0 710
Привет всем. Помогите решить задачки пожалуйста Тема: Отображения, задача 14 и Тема:...
skiff.
13.12.2012 12:46
0 396
Доказать, что формулы являются общезначимыми: перепечатайте задание на форум Добавлено через 18...
elfozar
13.12.2012 17:06
2 1,247
A\bigcup \bar{B}\Delta C\bigcap \bar{A}\bigcap \bar{B}
fang
13.12.2012 18:59
1 2,487
Добрый день помогите пожалуйста составить ркс для формулы xyzV(неXнеYнеZ)VнеXY
New year 2013
13.12.2012 20:19
2 1,836
ПОМОГИТЕ ОЧЕНЬ ПРОШУ!!! а) найти ДНФ, КНФ, СДНФ, СКНФ методом равносильных преобразований; б)...
Элеонора_Л
14.12.2012 15:56
0 450
boy1995boy
14.12.2012 20:22
0 783
как записать на логике предикатов теоремы средняя линия традиции параллельная основаниям и равна...
DIMA_N
15.12.2012 11:56
0 337
Определить, является ли данный предикат: 1. Тождественно истинным. 2. Тождественно ложным. 3....
doman
15.12.2012 18:43
0 1,005
Задано универсальное множество U={1,2,3,4,5,6,7} и внем подмножества...
Paylo
15.12.2012 18:46
0 618
Доказать или опровергнуть утверждение (A\B)\C=(ABC Δ A)ΔA Над А,второй А и В и последней...
Paylo
15.12.2012 18:58
2 1,726
Помогите пожалуйста упростить ...
FORZE
15.12.2012 22:21
2 1,370
помогите доказать тождественную истинность или ложность этих выражений: (x\rightarrow...
morgan57
15.12.2012 23:13
2 1,949
Отношение эквивалентности:Вычислить A/R, где А{1,2,3,4} и R=i_A U...
Angellok
16.12.2012 16:01
0 315
Если Смит не был убийцей, то Джонс не встречал Смита этой ночью и убийство имело место после...
NIKALEX1995
16.12.2012 17:57
0 933
Используя канонический метод структурного синтеза конечных автоматов построить логическую схему...
Yura2
16.12.2012 19:40
0 1,027
Посоветуйте пожалуйста книгу, учебник или практическое пособие с помощью которого можно научится...
boberjajtsegolo
16.12.2012 21:21
2 1,198
Помогите решить
lakki1990
17.12.2012 00:36
0 451
Всем привет. Есть задание найти двойственную функцию в k-значной логики относительно заданнйо...
ogcjm
17.12.2012 20:52
0 810
Помогите. Нужно прдеставаить графически логические переключатели и построить для них ДНФ и СДНФ
qwesa
18.12.2012 12:33
1 587
Задать вопрос
       
 
Новая тема
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru