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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,133,674 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,855
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Есть большое выражение, представляющее конъюнкцию более 100 дизъюнкций, состоящих из 1...13...
neryaxa
27.06.2015 02:52
1 282
В ходе экзаменационной сессии 12 студентов получили оценки "отлично", 12 - "хорошо", 13 -...
Alenka-
27.06.2015 00:00
6 500
Доказать, что функции примитивно рекурсивны: 1) f(x)=2x+1 2) f(x)=3x+1 3) f(x)=x+2 4) f(x)=x+3...
milka495
26.06.2015 21:35
3 330
Доказать, что бинарное отношение R на множестве A является отношением эквивалентности. Построить...
Alenka-
26.06.2015 19:19
1 1,026
Друзья, помогите решить задачку: На множестве натуральных чисел мы рассматриваем отношение m ∼ n...
lena-leto
26.06.2015 17:05
3 165
составить таблицу истинности формулы:
kat_bykova
26.06.2015 17:02
3 317
Дано множество L = {\{0;1}\}^{3} . Установлено отношение: (a;b;c) \preceq (d;e;f) тогда и только...
annussaa
26.06.2015 15:06
1 194
упростите пожалуйста а то путаюсь
EVGENCHIK
25.06.2015 20:12
5 236
f1(x1, х2, х3) = (х1 )→х3;
Guzel00007
25.06.2015 13:48
1 203
f1(x1, х2, х3, х4) = (х1 (х2→х3))→х4.
Guzel00007
25.06.2015 13:47
1 375
Добрый день! Помогите пожалуйста. Задали доказать равенство: A-(B\bigcup C)=(A-B)\bigcup (A-C)...
Maray
25.06.2015 03:11
7 309
Помогите разобраться с задачей, а именно с отношением А к B. Непонятно, что именно имеется в виду ...
game world
24.06.2015 22:22
1 182
Даны предикаты P(X):X<3, Q(Y):Y<6 Составьте предикаты а) P(X)^ Q(Y) б) P(X) v Q(Y)
Guzel00007
24.06.2015 17:54
0 285
\bar{A}+\bar{C}+B (где + дизъюнкция) Получили Если не правильно - пожалуйста, отредактируйте...
Skomaroha
24.06.2015 17:19
1 183
Доказать, что если множество X бесконечно, а его подмножество Y конечно, то существует биективное...
Bonaqua
24.06.2015 17:02
0 196
в общем само условие: Некоторые улитки являются горами. Все горы любят кошек. Значит, все улитки...
vampir_4_ik
24.06.2015 14:26
1 902
Здравствуйте. Никак не могу найти единичный (он же нейтральный) элемент. Задано: K = {Q}^{2} \...
annussaa
24.06.2015 14:18
1 165
Для следующей формулы алгебры высказываний с помощью ее таблицы истинности найдите СКН - форму: (X...
KostayZ
24.06.2015 08:29
2 344
Отображение множеств. (Не обязательно)
KostayZ
23.06.2015 15:30
0 103
Решите пожалуйста последняя задачка :help: На множестве M={1,2,…,19,20} заданы предикаты...
Kot9
23.06.2015 13:40
1 559
Ув. форумчане, можете проверить, правильно ли я решил данную задачу: Если я поеду автобусом (А),...
Tihonow
23.06.2015 10:36
2 1,249
Помогите минимизировать функцию. Вот я попробовал минимизировать вот что получилось Но когда...
yura123456
23.06.2015 03:02
1 237
Помогите доказать равенство множеств ,пожалуйста (слэши в другую сторону) B \cap (\bar{A}\Delta...
Timothy88
22.06.2015 22:39
1 583
Нарисовать лес, состоящий из трех деревьев. Это как будет выглядеть? Добавлено через 12 минут...
romaric
22.06.2015 14:43
3 822
Всем привет. Есть такая задача: 1) "Если Иванов не участвовал или Петров участвовал, то...
Shanty
21.06.2015 18:03
4 250
Связывая переменные кванторами превратите функции в высказывания
Guzel00007
21.06.2015 17:45
0 358
укажите множество соответствующей действительных ч соответствующей записи
Guzel00007
21.06.2015 16:08
1 306
Используя метод Карно-Вейча построить Dmin и Kmin для функции f: f(000)=0 f(001)=1 f(010)=0...
Nastya_Pyvo
21.06.2015 14:26
3 477
Переключательная функция от трех аргументов задана номером в десятичной системе счисления. Получить...
Bestolo4
19.06.2015 08:43
1 417
Здравствуйте, имеется такой вот вопрос: Равны ли множества: {x ∈ Z |x ⋮ 12} и {x ∈ Z |x2 ⋮ 12)
Monteys
19.06.2015 06:22
3 204
Допустим символ ' - логическое отрицание Без построения таблиц истинности докажите противоречие...
SgAndrey
19.06.2015 04:27
1 232
Допустим символ ' - логическое отрицание Без построения таблиц истинности доказать тавтологию (x'...
SgAndrey
19.06.2015 04:22
1 340
Доказать, что уравнение {x}^{2}=2*{y}^{2} в N не имеет решений
Krasotka130793
19.06.2015 01:14
2 784
Решить в кардинальных числах уравнение {x}^{y}=aleph_0
Krasotka130793
19.06.2015 01:05
1 134
Доказать, что в полукольце натуральных чисел: ∀х ∀n если n\leq x\leq n+1\Rightarrow x=n\vee x=n+1
Krasotka130793
19.06.2015 01:00
1 148
Докажите, что следующие функции вычислимы по Тьюрингу, для чего постройте машины Тьюринга,...
sashk
18.06.2015 14:02
0 224
Если можно, то лучше с решением. Спасибо! \forall x(A(x)\rightarrow B(y))\rightarrow \forall...
sashk
18.06.2015 13:57
0 248
Если можно, то лучше с решением. Спасибо! \forall y({P}_{1}(x))\wedge \forall...
sashk
18.06.2015 13:54
0 106
Секретарь составил отчет, в котором указано, что из 100 абитуриентов английский язык изучали 50...
АРТЕ
18.06.2015 09:53
1 311
Задание №1: Доказать, что следующая формула выводима в ИВ. ((A\vee (B\vee C))\leftrightarrow...
sashk
17.06.2015 20:00
0 189
Всем доброго времени суток! Никак не могу понять как должна выглядеть линейная функция в таблице...
OOP
17.06.2015 19:15
2 384
p(m,n,k)=p(1,1,1)=p(1,1,0)=p(1,0,0)=p(0,0,1)=1
kimak
17.06.2015 04:13
1 807
Постройте таблицу истинности для 0 и 1. Помогите , не знаю как вообще для конституенты 1 и 0...
АРТЕ
16.06.2015 17:15
1 823
Функция задана в СКНФ: f(x_1 x_2 x_3 x_4 )=(\bar{x_1} \vee \bar{x_2} \vee \bar{x_3} \vee {x_4})...
Sigin
16.06.2015 17:12
5 501
записать кванторами математическое определение: натуральное число m является простым если оно не...
АРТЕ
16.06.2015 16:49
2 850
Добрый день! Скажите пожалуйста чем руководствоваться для решения задания
Charle
16.06.2015 16:48
4 2,245
является ли функцией отношение R , заданное рисунком? Если да, то является и функцией отношение...
АРТЕ
16.06.2015 15:33
0 140
Ребят упростите плиз только подробно если можно \left(A \vee \bar{B} \right)\oplus A
inCome
16.06.2015 14:09
2 174
(\bar{A}+\bar{B}\rightarrow \bar{C})(\bar{B}+C)\rightarrow \bar{A}C
Людмила123
16.06.2015 08:12
3 662
(квантор(х)*{R}_{(x,y)})\sim(квантор(х)*квантор(y)*\bar{{Q}_{(x,y)}} Квантор(это перевернутая...
Mariya54
15.06.2015 23:20
4 564
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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