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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Просмотров: 3,159,100 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,953
Обычные темы
 
     
 
Задать вопрос
Доказать полноту системы из одной связки { f }. Где f(p,q,r) = \bar{r} \wedge (p \leftrightarrow ...
firefox123
23.11.2013 22:55
8 1,160
Преобразовать формулу так, чтобы она содержала только булевы операции ...
ОксанаН
23.11.2013 09:55
3 491
Преобразовать формулу так, чтобы она содержала только булевы операции, упростить Øx3 ® (Øx1 Ú...
ОксанаН
23.11.2013 03:13
1 365
Здоавствуйте! Подскажите плз, справедливо ли это тождество. У меня получилось что НЕТ ...
some_name
22.11.2013 19:57
7 275
Найдите десятичные номера минтермов, входящих в следующие булевы функции четырех аргументов. При...
IrinaCk
22.11.2013 16:38
0 700
Пусть F: X \rightarrow Y G: Y \rightarrow X Известно, что G \circ F = {id}_{X}. Верно...
firefox123
22.11.2013 16:13
3 292
Докажите, что любое счетное линейно упорядоченное множество изоморфно некоторому подмножеству...
firefox123
22.11.2013 15:13
1 331
Здравствуйте! Подскажите плз, как доказать. Заранее спс!
some_name
22.11.2013 09:11
3 561
С помощью метода дедуктивного вывода вывести заключение \bar{B(y)}->A(x) из посылки ∀x...
aker
21.11.2013 17:21
2 599
Проверить с помощью диаграмм Эйлера-Венна утверждение, доказать каким либо способом....
танюхаа
21.11.2013 14:07
0 401
доказать,что не является логически истинным надо привести пример предикатов \varphi (x),\psi...
notya
21.11.2013 02:41
1 244
Прошу вашей помощи в решении задач, так как оформление подобных задач (составление выражений и пр.)...
prosto_tex
20.11.2013 23:47
4 632
Кто может помочь? Применяя правило подстановки установить доказуемость формулы (A & B\rightarrow...
Larkin888
20.11.2013 09:56
1 761
что можно сказать об истинности предиката? Правила, 5.18. Запрещено размещать задания в виде...
notya
20.11.2013 05:36
4 282
найти лебегову меру множеств {(x.y):x^2<=y<=4}
Torres__9
20.11.2013 04:54
1 325
Здравствуйте. Нужно решить две задачи, уже не знаю на что и опираться. Лекции не помогают, а...
Elysi
20.11.2013 04:52
1 1,500
Помогите пожалуйста проверить или опровергнуть утверждение: Проверить для произвольных отношений...
roman3847
20.11.2013 01:12
8 1,961
Преобразовать в КНФ функцию ((x1~x3)|(x2~x3)) ↓(x1⊕x2)
Славянка
19.11.2013 22:10
0 266
какова мощность множества всех последовательностей натуральных чисел не содержащих числа 7?
Torres__9
19.11.2013 16:26
2 848
задает ли функция функция x->tg(x) отображения множества действительных чисел в себя?
Torres__9
19.11.2013 16:20
1 254
Является ли метрическим пространством множество всех действительных чисел, если под расстоянием...
Torres__9
19.11.2013 15:17
1 703
Думаю задача больше не на физику, а на математику, так что выложил сюды.. Школьницы Алиса и...
Rodion2703
19.11.2013 09:24
6 1,397
Всем привет! Помогите, пожалуйста, упростить множество! Приложил изображение! Большое спасибо!
d3vn
18.11.2013 22:39
0 179
Указать условие и заключение. Переформулировать утверждение. "Чтобы функция была дифференцируемой...
notya
18.11.2013 20:53
1 399
y={x}_{1} \bar{x}_{2} {x}_{3} + {x}_{1} {x}_{2} \bar{x}_{3} + \bar{x}_{1} \bar{x}_{2} \bar{x}_{3}...
Homer33
18.11.2013 17:25
3 273
Установить и изобразить графически область истинности предиката: x2 + y2=16 , x=r2
алексей007
18.11.2013 14:14
1 643
Пусть M = {1, 2, 3, 4, 5, 6, 7, 8, 9}. Исследовать отношение ρ, заданное на M: xρy <=> x + y ∈ M. ...
yura097
17.11.2013 18:29
4 467
СДНФ Y3 будет равна 0?
sergst52
17.11.2013 17:14
0 180
Получился полином z+x+y+1. Опечатка в задании (по условию вроде как не должна быть замкнутой) или я...
Renevity
17.11.2013 14:53
1 712
Читаю Колмогорова-Фомина, вот что там написано: "Примером полукольца, не являющегося кольцом...
Karchok
17.11.2013 14:29
2 570
Здравствуйте! Подскажите плз, такие св-ва БО как "рефлексивность" и "антирефлексивность",...
some_name
17.11.2013 13:57
0 267
Дорогие друзья. Помогите,пожалуйста,доказать это выражение: А->В, В->С |-- A->С Я вот думаю,...
Виктория404
16.11.2013 07:18
2 374
Буквы фамилии, имени, отчества заменить единицами (до «М») и полученную функцию представить в Карте...
drwho94
15.11.2013 16:39
1 635
привет всем) помогите :scratch: минимизировать конъюнктивную форму F({x}_{1}, {x}_{2},...
superNoy
15.11.2013 16:34
7 414
Помогите х1 х2 х3 F 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 ...
sveta18
14.11.2013 19:41
9 2,299
Преобразовать в Скнф
sveta18
14.11.2013 16:30
0 164
Выявить свойства бинарного отношения коаксиальность на множестве кругоцилиндрических поверхностей.
Ainur5
14.11.2013 15:54
0 403
Выявить свойства бинарного отношения "иметь одинаковый цвет" на множестве цветных предметов (не...
frontez
14.11.2013 15:32
0 312
Помогите решить пример, пожалуйста, не могу разобраться. Построить таблицу истинности для формулы:...
Andrey13
14.11.2013 14:29
2 295
Доказать клаузу аксиоматическим методом \bar{C}, D\rightarrow C, A\rightarrow...
Аселечка
14.11.2013 09:17
0 500
На потоке обучается 65 студентов, все они посещают дисциплины по выбору. "Теорию графов" изучает 39...
Аленчик 1991
14.11.2013 05:51
5 786
Помогите, пожалуйста, с помощью эквивалентных преобразований построить ДНФ функцию...
Славянка
13.11.2013 22:44
5 1,253
Доброго времени суток? Может кто дать ссылку, где бы можно было увидеть как решаются подобные...
TheAlpha
13.11.2013 22:19
0 198
Доказать клаузу методом Вонга A, \bar{B}\rightarrow (A\rightarrow D), C\rightarrow ...
Аселечка
13.11.2013 21:25
0 473
1. составить таблицу истинности, записать СДНФ и СКНФ логической функции, доказать эквивалентность...
ВикаCat
13.11.2013 20:28
4 408
Укажите характеристическое свойство элементов множества: {111, 222, 333, 444, 555, 666, 777, 888,...
Аленчик 1991
13.11.2013 18:04
3 2,642
Добрый вечер. Народ помогите построить СКНФ функции: f=(¯a ¯b ¯c→(¯a~c) )&(¬(a│b)+ (¯a→c)) над...
Parik315
13.11.2013 17:39
9 762
Привет всем! Пожалуйста, помогите решить задачу!!! Определить истинность высказывания: «Если Париж...
Tatajna
13.11.2013 15:42
1 414
Из 71 школьников в волейбол играют 51, футбол – 45, баскетбол – 31. Во все три игры играют 8...
vladiq
13.11.2013 15:10
1 848
Такая проблема. Вот таблица истинности. По ней составляется Диаграмма Вейча для СДНФ и СКНФ. Надо...
Homer33
13.11.2013 15:01
5 3,267
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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