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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,133,404 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,855
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Какие из следующих выражений являются формулами логики предикатов? В каждой формуле выделить...
Анна111
08.12.2015 22:26
1 599
помогите сделать задания пожалуйста,не могу=( 1).Доказать, что для любой формулы существует...
еленааГ
08.12.2015 17:10
1 180
пожалуйста,как решить?? 1) Пусть функции f(x) и g(x) правильно вычислимы. Показать, что функция...
еленааГ
08.12.2015 17:04
1 115
2).С помощью алгоритма Квайна и алгоритма редукции доказать тождественную истинность аксиом...
еленааГ
08.12.2015 15:17
0 180
Обладает ли следующее отображение свойством инъективности, сюръективности и биективности ? P.S....
Namatrasnik
08.12.2015 13:53
0 145
R={<x,y>|x,y \epsilon D, x+y\leq0} Обладает ли оно свойствами рефлексивности, симметричности и...
futureprogramer
07.12.2015 15:59
7 291
Формализовать логическое суждение, введя одно- и двухместные предикаты. Выше любого квадрата...
VxVxN
07.12.2015 15:31
3 864
изобразить на координат.плоскости обл.истинности двумест.предикатов \sqrt{y-2x-3}<\sqrt{3-2x}
кок
07.12.2015 13:28
0 144
Найти области истинности одноместных предикатов,заданных на мн-ве действительных чисел...
кок
07.12.2015 13:26
0 110
какое будет подлогарифмическое выражение y={log}_{2}(x^2-4x+5) найти логические значения
кок
07.12.2015 13:24
0 117
Подскажите, как правильно упростить выражение? Мои мысли исчезли, слабоумие на лицо...
2516260
07.12.2015 03:19
1 132
http://upload.akusherstvo.ru/images/896135.png Правила форума :rtfm: 5.16. Запрещено...
Alexei Orlovski
06.12.2015 22:09
0 479
Выяснить, какие переменные функции f (x, y, z) , заданной вектором,...
Alexei Orlovski
06.12.2015 21:50
0 136
Добрый день! К сожалению, я не силён в доказательствах и был бы благодарен за помощь. Готовлюсь к...
DanilStudent
06.12.2015 11:31
0 137
Каждый десятый математик — шахматист, а каждый шестой шахматист — математик. Кого больше —...
Crash Override
05.12.2015 19:47
0 612
Помогите разобраться. На загородную прогулку поехали 92 человека Бутерброды с колбасой взяли К=47...
Dimabendera
05.12.2015 19:30
1 190
Лучший математик среди шахматистов и лучший шахматист среди математиков — один и тот же человек или...
Crash Override
05.12.2015 00:37
1 396
Перечислите элементы следующих множеств A=x: x∈Z; −7<x^3≤555 B=x: x∈Z; 4x^2+3x−1≤0 C=x: x∈Z;...
мишутка
05.12.2015 00:12
0 245
Всем привет! Помогите выполнить задание методом резолюций: Это нужно доказать с помощью метода...
Andrea13
03.12.2015 23:20
1 259
Я хочу создать множество "людей" элементы которого тройки: уникальный номер человека (ID), оценка...
Crash Override
03.12.2015 20:49
0 152
Обладает ли http://savеpic.su/6639235.png свойствами рефлексивности, антирефлексивности,...
Namatrasnik
03.12.2015 15:45
0 142
a + b = X; a-b = X; a * b = X; a / b = X; a и b не беск.
rasulbabbr
03.12.2015 12:46
8 204
Помогите пожалуйста, упростил как мог, облазил весь ваш форум. Не могу дойти до конца. ∸ -...
Vadim1193
03.12.2015 00:17
4 817
Помогите пожалуйста преобразовать функцию в базис Шеффера
qwerty2345
02.12.2015 20:44
0 319
Убедиться, является ли данная формула ДНФ, КНФ, СДНФ или СКНФ: (A(над А отрицание)vD)^(AvB(над В...
Анна111
01.12.2015 23:29
6 868
Разбираюсь с минимизацией логических функций, читаю статью на вики о методе Куайна. Там есть пункт...
Александр_Алекс
01.12.2015 20:42
4 901
Всем привет. надо написать функцию А>B базис и-или-не А и Б - 3х разрядные числа, первый...
Fakeoke
30.11.2015 23:29
1 128
У кого есть пример решения или кто может помочь с задачей ? Премного благодарен тем кто осмелиться...
Pashaa2
30.11.2015 15:41
0 148
Добрый день, у меня есть 2 множества, я, фактически, понимаю, что они эквивалентны, но не приходит...
Enflamed
30.11.2015 13:43
3 876
ИМХО, это множество из двух подмножеств: одно подмножество состоит из элементов высказываний, а...
Crash Override
30.11.2015 11:04
25 522
После преобразований КНФ получилось \bar{X}\bar{Y}Z Это является ДНФ? Если да, является ли это...
Orthlus
30.11.2015 06:54
1 778
Помогите пожалуйста решить задания. 6) Исследовать свойства отношения. Ответ сопроводить...
Blasto
29.11.2015 19:30
1 199
Задано бинарное отношение p= {<2, 2>, <2, 3>, <3, 2>, <3, 1>, <4, 1>}.Найти D(р), P(р), р, р0,р^-1....
Voices3
28.11.2015 23:15
0 355
Всем привет. Для M ={1,2,3,4,5,6} задать на M *M графом отношение R ={(a,b) / a =...
MPermyakM
28.11.2015 21:38
5 687
Задано бинарное отношение p= {<2, 2>, <2, 3>, <3, 2>, <3, 1>, <4, 1>}.Найти D(р), P(р), р, р0,р^-1....
Sentenceqq
28.11.2015 17:08
0 216
Применима ли машина Тьюренга для алфавита A={0,1} НЕ могу понять, как и что тут нужно делать?
Viktor1234
27.11.2015 22:10
7 218
p = {<1, 2>, <2, 3>, <1,3>, <1, 1>, <2, 2>}. ρ∘ρ-?
ali_baby_sweet
27.11.2015 20:10
2 235
Здравствуйте. Нужны примеры(желательно с решением) на определение функциональной сложности....
blackhawkjkee
26.11.2015 23:34
3 238
Логика предикатов. Построить пнф. {\varepsilon}_{x}{A}_{y}\bar{{R}_{x,y}}\sim {\varepsilon...
Alecksandra
26.11.2015 21:58
8 433
Помогите пожалуйста решить задания. 5) Задано отношение. Построить график. Найти область...
Blasto
26.11.2015 12:37
0 206
Всем привет, подскажите как, используя свойства операций для множеств, можно упростить данное...
СвободныйНик
26.11.2015 01:08
12 544
Подскажите правильно нашел кнф и днф? (AC\rightarrow B)(\bar{BC}+\bar{A\rightarrow \bar{C}}) КНФ...
___Артемка__
24.11.2015 23:36
13 885
Добрый вечер Помогите пожалуйста найти СКНФ и СДНФ Думал успею разобраться что к чему......
Gleb_KK
24.11.2015 10:35
1 204
Как доказать, что не существует биекция N на R?
Ola03
24.11.2015 10:01
3 193
Здравствуйте, у меня возник вопрос, можно ли применить штрих Шеффера сразу к трём значениям, то...
azdws
24.11.2015 06:01
2 202
Есть выражение: \overline{A}B+A\overline{B}+AC Оно же равно: (A \oplus B)+AC - - - - - - -...
azdws
24.11.2015 04:26
1 155
Найти третий член разложения (z^2+1/3*3^√z) если сумма всех биномиальных кофициентов этого...
Сми
23.11.2015 22:34
6 252
P=дополениеA^(BUC)Uдополнение B^(AUC)UдополнениеC^(AUB) ^-это пересичение U-обьединение
Сми
23.11.2015 21:29
1 122
c) определите существенные и фиктивные переменные; d) разложите двумя способами в полином...
Wifi
23.11.2015 04:30
0 246
Здравствуйте, нужно сделать функцию которая дает еденицу только при таких значения аргументов 0110,...
Kulya1
23.11.2015 03:43
9 281
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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