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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,133,441 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,855
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Доказать эквивалентность с лева на право и справа на лево: С помощью 9 секвенций: Свойств...
I_Masha_I
01.06.2013 20:06
1 1,554
Нужна помощь!!!! Требуется доказать, что множество не пересекающихся квадратов является счётным.
nata6752
31.05.2013 18:19
11 1,034
а)Сумма целых чисел - целое число б)Если плоскости пересекаются, то они имеют единственную общую...
Dazerr
30.05.2013 15:45
0 350
как придумать к 3ей?никак в голову не приходит.
Bely
30.05.2013 15:31
1 328
Помогите пожалуйста. Я вот тут решила, но уверена не во всем. Что у меня решено - проверьте...
kareglasaya
30.05.2013 12:45
0 723
Помогите пожалуйста решить задачу. Найти фиктивные переменные данной функции.
kareglasaya
30.05.2013 12:27
4 1,074
нужно проверить на функциональную полноту двумя способами 1.сведением к заведомо функционально...
ssstodol
29.05.2013 22:11
0 889
Помогите пожалуйста. Преобразовать данную функцию в эквивалентную ей, но не содержащую фиктивных...
kareglasaya
29.05.2013 20:23
8 1,724
Нужно упростить, построить таблицу истинности, построить СДНФ и СКНФ методом преобразований и по...
KiraPANDA
29.05.2013 18:40
6 373
Преобразовать данную формулу так, чтобы она содержала операции тесного отрицания, дизъюнкции и...
viktorius
29.05.2013 14:05
0 372
xy v \bar{x}\bar{y} v z При переводе в канонический многочлен Жегалкина у меня получилось xy (+)...
zEROma
28.05.2013 11:03
3 1,698
x y z f 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 0 1...
zEROma
28.05.2013 10:40
0 474
Помогите построить вывод)))
Прокоп
28.05.2013 01:01
3 511
F(x,y,z) (Yv(X~Y))Z Нужно привести формулу к многочлену Жигалкина, составить таблицу истинности,...
he6oxhyui7ox
27.05.2013 23:15
3 604
Здравствуйте мне опять нужна ваша помощь! нужно решить по математической логике если можно? 13....
фели
27.05.2013 23:14
1 395
Является ли система функций замкнутым классом? Множество всех функций, выражаемых полигоном...
ambrosio
27.05.2013 00:21
3 895
Ребят нужна помощь, не могу сделать алгоритм вычисляющий функцию f(x)=3x для f(x)=2x разобрался и...
Stas12
27.05.2013 00:19
0 517
Пусть R1 и R2 отношения эквивалентности на А. Кол-во элементов в фактор-множестве R1 = n а в R2=k....
Demesld
26.05.2013 21:10
0 246
Добрый вечер всем. Нужно было доказать: (((B->C)&¬¬B)->(¬¬B&¬¬B), но, похоже, неверно (возможно,...
ci
26.05.2013 20:15
0 300
Записать высказывание воспользовавшись кванторами и определить их истинность: "Всякое число равно...
kira17
26.05.2013 19:41
0 655
а) ДНФ X˄(X(отрицание)˅Y˅Z)˄(X˅Y(отрицание)) б) КНФ ...
kira17
26.05.2013 19:38
0 292
Может ли существовать такое множество P/{P} где P - множество всех множеств? Склоняюсь к ответу нет
Demesld
26.05.2013 13:58
1 463
помогите пожалуйста)
Прокоп
26.05.2013 12:41
4 2,206
Помогите доказать,пожалуйста, 1-ое и 2-ое. Извиняюсь за смазанное фото.
exStas
26.05.2013 10:13
0 281
Знающие люди, подскажите, пожалуйста, как можно сделать такое задание: Необходимо построить вывод...
_Fenix
26.05.2013 08:41
8 416
даны ординалы a=w*(w+1) и b=(w+1)*w нужно сравнить эти ординалы. Похоже что a>b, как это...
Demesld
25.05.2013 21:23
0 246
помогите,пожалуйста Получить предваренные нормальные формы и скулемовские стандартные формы для...
banks1
25.05.2013 17:01
0 294
Помогите с задачей. Привести пример интерпретации,для которой данная формула истинна
banks1
25.05.2013 16:52
0 678
Помогите с задачей,пожалуйста Запишите предложение в виде формул логики предикатов: Все А суть...
banks1
25.05.2013 15:49
0 372
Помогите пожалуйста решить задачи с предикатами последние 2 задания, и если можна ссылку где...
Rinat74
24.05.2013 20:50
0 238
помогите пожалуйста построить полином Жегалкина по таблице истинности: f(x;y;z)=X(Y v Z) над...
snaiper68
23.05.2013 11:01
1 775
Доброго времени суток. Помогите пожалуйста найти СДНФ и СКНФ формулы (z → (¬y ∧ x)) ∨ (¬z ≡ x) а)...
ilok
23.05.2013 06:54
0 414
помогите решить!!!
lika_2301
22.05.2013 20:12
5 467
помогите Записать в символической форме высказывания? а)я перейду на следующий курс только в том...
tisulynin
22.05.2013 16:11
0 521
Дана система: f = (0111 1000) g = (1010 0101) Известно, что эта система является ФПС ______...
sergeyzavr
21.05.2013 20:41
1 305
Имеет ли место равносильность, которой определяется дистрибутивность действия \Rightarrow...
Netly
21.05.2013 19:35
4 367
Всем привет! Помогите пожалуйста! имеется логическое выражение. подскажите куда поставить...
Zet_iKs
21.05.2013 10:42
0 909
Высказывание ("X<Y","Y<Z","V=W") Никакие два из этих утверждений не являются истинными...
ВалентинАматор
21.05.2013 00:43
0 425
Здравствуйте! Помогите, пожалуйста, решить. Заколебалась не понимаю, завтра сдавать. Нужно...
ambrosio
20.05.2013 23:35
0 299
ПЕРЕВЕСТИ ПРЕДЛОЖЕНИЕ НА ЯЗЫК ЛОГИКИ, будет или не будет дождь я пойду купаться или не пойду. ...
ВалентинАматор
20.05.2013 20:49
0 255
Нужно было построить днф и кнф
feanoris
20.05.2013 20:47
1 591
Может кто то поможет решить примерчик.Необходимо перевести на язык логики высказываний такое...
ВалентинАматор
20.05.2013 20:18
0 1,201
Использую дистрибутивный закон x V y∙z = (x V y)&(x V z) и эквивалентности хVx=x, xV¬x=1, AV1=1,...
mlvo
20.05.2013 13:50
1 889
Помогите построить логическую тему по заданию 2 пожалуйста . Вариант 2 Правила, 5.18. Задания...
virus3350
20.05.2013 10:08
1 1,209
СДЕЛАЙТЕ ПОЖАЛУЙСТА! СДНФ СКНФ ПО ТАБЛИЦЕ ИСТИННОСТИ МЕЖДУ (X И Y) (Y И Z ) СТОИТ СИМВОЛ & В...
virus3350
20.05.2013 09:49
8 923
ЗАПИСАТЬ СДНФ И СКНФ ДЛЯ СЛЕДУЮЩЕЙ ФУНКЦИИ С ПОМОЩЬЮ ТАБЛИЦЫ ИСТИННОСТИ f(x,y,z)=(x v y)&(y v z)...
nordozar
20.05.2013 09:08
8 363
Помогите пожалуйста! :) Построить СДНФ по таблице истинности X 00001111 Y 00110011 Z 01010101...
virus3350
20.05.2013 08:17
4 451
помогите пожалуйста построить нормальный алгоритм для преобразования слова Р в слово Q, при условии...
ksenia123
19.05.2013 20:22
0 265
Помогите минимизировать ДНФ.
rastaman
19.05.2013 12:35
4 436
Найдите область определения, область значений отношения P. Является ли отношение P рефлексивным,...
Syndrom
17.05.2013 19:05
1 1,063
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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