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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,123,754 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
Рейтинг темы: голосов - 29, средняя оценка - 4.93 OldFedor
26.03.2015 15:25
2 5,836
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Ребята, столкнулась с проблемой в решении задачки.Звучит задание так:" Задайте...
Каточка
09.11.2016 10:52
10 432
Доброго времени суток, форумчане. Есть задание: написать программу, приводящую...
skemtoputaete
08.11.2016 20:19
0 228
Добрый день. Роюсь довольно давно в интернете, и никак не могу найти...
moDorks
08.11.2016 18:48
6 442
Формализовать умозаключение по заданному модусу в логике предикатов. ...
Rainbow59
07.11.2016 14:12
0 262
Помогите пожалуйста преобразовать такое выражение, не знаю, правильно ли я стал...
Бейсик рулит
06.11.2016 15:31
0 127
Здравствуйте, не нашел подходящего раздела,поэтому решил сюда написать. А не...
Satros1205
06.11.2016 14:59
0 145
Найти МКНФ, МДНФ для формулы: F=¬X→((¬Y∨Z)∨X)∨¬(X→¬Y→Z)↔X→¬Z Составить таблицу...
Celldweller
06.11.2016 10:45
0 326
e_kate_rina7
05.11.2016 23:39
0 211
Объясните, почему A\oplus(AB)=A\bar B. Я так понимаю мы должны раскрыть...
Artmal
05.11.2016 21:46
5 372
Подскажите, пожалуйста, один момент в данном доказательстве. Доказываем по...
oobarbazanoo
05.11.2016 21:41
7 245
Помогите решить X\C=D
vetalka2010
05.11.2016 20:03
1 189
Доброго времени суток, необходимо упростить логическую функцию и построить...
sovun
05.11.2016 18:11
2 176
Дали мне задание по дискретной математике, которую я вообще понять не могу, в...
Leon_java
05.11.2016 10:02
8 714
Верно ли, что если над полем целых чисел задана операция, обладающая...
InterMasterFly
03.11.2016 13:23
2 163
Помогите решить
TEPOPNCT
02.11.2016 21:35
0 109
Ребят очень нужно натолкнуть на мысль. Я заочник ничего не понимаю 1 курс ...
faggot48
02.11.2016 20:44
0 126
Понимаю что не по теме ,но можете помочь преобразить. ...
Влад-3
02.11.2016 20:20
1 174
Во вложении Таблица истинности+ рабочая Схема, ДНФ = a+c*b*d,...
dzenis
02.11.2016 19:22
3 358
A={1,2,3}\{{1},{2,3}} Разностью множеств а и b называют множества которые...
iahka
02.11.2016 18:42
19 264
(B\!C)∪(B\!A)=B\(!(C∪A)) p.s.Я в мат.логике совсем 0, !-это палочка...
iahka
02.11.2016 17:23
1 126
Приветствую, есть множество Q^2(множество рациональных чисел в квадрате), никак...
ToHuQ
02.11.2016 15:46
2 144
Задано множество продукций в форме Бекуса-Наура: \prec E\succ ::= (\prec...
Anriuser
01.11.2016 18:16
0 213
Требуется построить МДНФ, МКНФ, Базис Пирса, Базис Шеффера Заранее спасибо :)
Igor9n
01.11.2016 15:06
0 221
\neg \varphi \vee \psi \equiv \varphi \to \psi Из (аксиома или можно вывести...
Archi0
01.11.2016 13:06
0 171
Построить таблицу функции алгебры логики от 4 переменных, принимающую значение...
Kyrie
31.10.2016 19:06
0 188
Пусть ×-символ для обозначения двухместной операции декартова произведения...
Рейтинг темы: голосов - 1, средняя оценка - 5.00 ViktorMakarov
31.10.2016 16:00
3 324
1)Доказать, что функцию f нельзя реализовать формулой над S 2)Реализовать...
happy_mugiwara
31.10.2016 10:55
0 160
Дана произвольная несамодвойственная функция. Отождествить у нее переменные...
kamilla516
31.10.2016 05:45
1 215
Свела по теореме дедукции к тому,что надо доказать только выводимость С. Но...
Dashamath
30.10.2016 20:23
6 246
При нахождении мин. ДНФ по карте Карно нужно выделять единицы в количестве 2n,...
kolja_hejter
29.10.2016 18:48
5 282
преобразовать в скнф и сднф \tiny {x}_{3}\tiny {x}_{2}\tiny {x}_{1} y 0 0 0...
ядщ20134
29.10.2016 18:34
2 216
Как из данных гипотез вывести \vdash \varphi \vee \neg\varphi смог вывести...
Archi0
29.10.2016 18:31
3 173
Смотрите на картинку. Как решать эту логическую задачу?
Otabek_Mansurov
28.10.2016 16:40
4 176
Помогите. Не могу понять с чего начинать деревья. По определению дается 1 или...
NezamovMark
28.10.2016 13:20
1 150
Доброго времени суток. Требуется помощь с упрощением двух множеств, используя...
PiFFFko
27.10.2016 21:56
3 196
Здравствуйте! Например, есть выражение A \ (B U C) = (A \ B) пересечение (A...
Никита Однороб
27.10.2016 21:39
1 166
Помогите пожалуйста (A⊃C)⊃C, A⊃B, B⊃C ├ C
zergreak
27.10.2016 15:25
2 284
Всем привет. Прошу помочь с решением данной задачи. Будет ли справедливо в...
Jolkr
27.10.2016 01:00
13 742
Универсум – множество животных. Предикаты: A(x)=истина тогда и только тогда,...
artem10
26.10.2016 19:17
1 401
Нужно доказать методом резолюций что ¬Q->¬P, есть логическое следствие (P->Q)....
Xtremee
26.10.2016 18:52
1 319
Докажите по индукции, что равенство 1+2+...+n = n(n+1)/2 выполнимо при всех...
CyberPer4uk
26.10.2016 13:09
1 245
\bar{\huge A}\def{\huge a_i/a_i \huge \no\in A} def дважды подчёркнут. Как...
INNOS1990
25.10.2016 22:11
1 166
Найти область определения, область значений отношения. Является ли отношение ...
Milisa
25.10.2016 19:51
3 493
(A∩B)U(C/(AUB))
ViktorMakarov
25.10.2016 18:50
2 659
1. A\(A\B)=A∩B 2. (A\C)\(B\C)=(A\B)U(A∩C)
ViktorMakarov
25.10.2016 17:54
0 145
Даны нечеткие множества
Milisa
24.10.2016 20:42
0 194
Доказать, что для любой формулы существует эквивалентная ей формула с тесными...
kamilla516
24.10.2016 19:23
1 178
Пусть Z – множество целых чисел и отображение f(n)=n2 отображает Z в Z. Какие...
artem10
24.10.2016 11:28
0 395
Пусть ρ={<x,a>,<a,b>,<b,b>,<e,b>,<e,x>}. Укажите элементы композиции отношений...
artem10
24.10.2016 11:26
0 256
Раймонд Смаллиан встретил на острове рыцарей и лжецов человека, который...
artem10
24.10.2016 11:25
0 354
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

Расширенный поиск

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