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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,133,732 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,855
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
В гост 8.585-2001 много ошибок в коэффициентах полиномов. Из за этого не могу решить некоторые...
asd192
08.06.2012 16:31
3 543
блин как найти скнф любым способом х|х
LaSkReN
08.06.2012 13:19
1 336
Помогите пожалуйста найти сднф (x<->y)|z
kojakin
08.06.2012 12:20
3 729
и если не сложно тоже на задачу х|у
LaSkReN
08.06.2012 12:07
0 268
1) Доказать с помощью таблиц истинности тождественную истинность формул: (y→z)→((x v y)→(x v z))...
pipec-kapec
08.06.2012 02:03
11 6,467
Кто-нибудь помогите, может кто уже делал. Нужно составить логическую схему для элементов xyz, а для...
Шпилька
07.06.2012 22:01
9 1,243
Привет всем) решил задачу в контрольной своей, проверьте кто может правильно решил или нет. Если...
Mix@siK
07.06.2012 18:29
4 403
Добрый день, есть задание(\bar{x\wedge y}\rightarrow y)\vee (\bar{y\rightarrow\bar{x}}). Найти...
top4top
07.06.2012 17:22
2 1,175
С помощью формул и свойств доказать тождество P.s. очень срочно нужно, выручайте
Stranger31
07.06.2012 16:21
0 572
Помогите!!!))) перепечатывайте задания на форум
Vanek-klass
07.06.2012 11:45
0 254
Доброго времени суток. Суть такая: Необходимо доказать, что теория являтся теорией первого...
Taori
06.06.2012 21:53
0 427
Надо вывести десятую формулу из остальных.. (возможно 9 и 11). На картинке аксиомы..
AnZet
06.06.2012 20:29
0 3,067
1.Проверьте тождество и проиллистрируйте решение с помощью диаграм Эйлера-Венна 2.Исходя из...
Reisch Helena
06.06.2012 09:09
0 593
Помогите сделать задания, сам слабо понимаю как это делать, смог только по таблицам истинности...
Sergey_Sega
05.06.2012 18:10
1 687
Доказать выводимости формул с помощью теоремы дедукции a) б)
ilkulgan
05.06.2012 17:28
0 742
Добрый вечер ДРУЗЬЯ! Помогите привести формулу к днф Заранее премного благодарен!
1986
04.06.2012 22:40
0 386
Доказать, что множество Tr геделевых номеров всех формул теории S (формальной арифметики),...
ildar0722
04.06.2012 20:57
0 385
Помогите, пожалуйста! проверить двумя способами будут ли эквивалентны данные формулы 1 способ -...
klubni4ka
04.06.2012 14:11
0 814
Путём равносильных преобразований привести к СКНФ и СДНФ.
Stranger31
04.06.2012 14:10
0 980
Доказать что (A \ (A \ B)) \ (A пересекает B) = пустое множество,методом от противного?
Tony_Quick
03.06.2012 20:44
2 826
Спасибо огромное заранее Вариант помечен кругляшком
bboyostin
03.06.2012 17:20
0 588
Ребят,помогите пожалуйста построить схему: 1) Построить схему по заданной функции проводимости:
Даниил 173
03.06.2012 14:24
6 625
Здравствуйте! помогите, пожалуйста, решить задачу.. совсем не понимаю этот раздел математики....
klubni4ka
03.06.2012 13:23
0 776
(\bar{Y}\vee Z)\wedge (ZX\vee Y)
Tepliar
02.06.2012 15:21
7 2,911
Нужен хелп! Последнее задание для допуска к зачету, а я в этой теме полный дуб) Мне бы хоть...
Fаith
02.06.2012 13:31
0 852
Господа , прошу помощи : с помощью алгебры логики проверьте истинность соотношения для любых...
hppnd
01.06.2012 21:22
0 1,437
упростить таким образом, чтобы схема содержала: 1)только ф–ции «или–не» 2)только «и–не»...
miles_slade
01.06.2012 18:41
2 523
дана ДНФ: (x ∧ не(z)) ∨ (z ∧ не(x)) ∨ (x ∧ y) помогите получить из нее КНФ, ставлю двойное...
Dam1an
01.06.2012 18:36
10 2,960
Комитет состоит из 5 человек(включая председателя).Решение выносится большинством голосов.если...
яблоко
01.06.2012 16:25
0 1,716
{A^B,C^D} или {A U B, C U D}
sergey1993
01.06.2012 15:46
1 464
решал решал.. в конце получается P={не R,B,C} как довести до FALSE
sergey1993
31.05.2012 23:16
3 896
Для заданной легенды запишите с использованием 5-6 различных букв (пропорциональных термов) клаузу,...
sergey1993
31.05.2012 20:54
0 623
Помогите найти симметрическую разность множества А A = {n | n=2k, k≥1 & k≤4 } B = {n | for n=1 to...
sranger
31.05.2012 17:59
0 626
Необходимы примеры использования машины произвольного доступа (МПД). Киньте пожалуйста ссылочку,...
skovord2011
31.05.2012 17:56
0 938
Задача: Отношение эквивалентности на ℝ задано следующим образом: x~y ⇔ (∃q∈ℚ)(q≠0&x=qy) Какова...
Дарья Романова
31.05.2012 17:27
0 1,350
Проверьте эквивалентность следующих пар формул. путем приведения их к СДНФ с помощью элементарных...
chunas
31.05.2012 14:32
0 708
Помогите решить 3 и 5 задание, все решил кроме ПНФ. Завтра уже сдавать, Пнф не понимаю. выручите...
luk_as
30.05.2012 15:29
6 2,267
Добрый вечер форумчани, прошу у вас помощи. Решить задачу 5. Если не можете, то помогите советом,...
vnaumenko
30.05.2012 14:44
0 879
Добрый вечер форумчани, прошу у вас помощи. Решить задачу 4. Если не можете, то помогите советом,...
vnaumenko
30.05.2012 14:44
0 543
помогите пожалуста, нужно доказать что функция примитивно-рекурсивная! max(x1,x2,...,xn)
koshka1
30.05.2012 14:10
0 613
Привет. Как можно проверить себя на правильность нахождения ДНФ и КНФ способом простых...
Flashded
30.05.2012 00:43
0 433
1е: 2е: если можно, то второе доделать и сделать соответствие по формулам. заранее благодарен
Banzay
29.05.2012 23:50
2 573
собственно, вот задание: помогите решить, пожалуйста. буду очень благодарен
Banzay
29.05.2012 23:32
2 389
Помогите, пожалуйста, решить тождество методом резолюций. Заранее спасибо
WarDen
29.05.2012 21:33
15 4,574
Проверьте, пожалуйста, правильно ли составил таблицу истинности и принадлежность к T0 и Т1. Так...
fullgream
29.05.2012 20:22
5 6,302
Оцените умным взглядом кто-нибудь!!!! Какую мощность имеет множество все а) конечных б)...
Шпилька
29.05.2012 18:50
0 498
Помогите упростить формулу
nansy
28.05.2012 18:52
0 428
Помогите, пожалуйста, решить КР по матану.. завтра нужно сдавать... Выручайте.. очень нужно,...
serg9393
28.05.2012 17:59
2 498
Максимально упростить выражение, воспользовавшись законами логики Буля. С помощью таблиц истинности...
DjNekromant
27.05.2012 23:23
1 775
Народ помогите! Для заданной ФАЛ: • минимизировать с помощью законов алгебры Буля; • проверить...
maximaal
27.05.2012 11:54
4 612
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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