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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,127,678 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,846
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Помогите найти формулу для следующего логического высказывания: "Если не будет...
КНА
14.11.2015 19:17
1 140
Судоплатов С. В. , Овчинникова Е. В. Математическая логика и теория...
mmeexx
14.11.2015 12:48
1 124
Всем доброго времени суток! Нужно сделать 4 лабораторных по ОДМ. Ищу тех кто...
Влад 380
14.11.2015 12:34
0 125
Привет всем ;) Ребят помогите разобраться с заданием кому не трудно, если вас...
DamonCross
13.11.2015 12:46
0 161
Является ли правильным следующее определение? Если определение неправильное,...
fox113
12.11.2015 14:01
2 386
Уважаемые Форумчане помогите пожалуйста не могу понять Записать на языке...
dima00971
11.11.2015 23:51
1 161
Средствами таблично построенной логики высказываний установите, является ли...
fox113
11.11.2015 21:24
7 1,249
Добрейшего времени суток!!! Прошу у всех помощи, скоро проходить тестирование,...
Артем_Артем
11.11.2015 18:23
0 145
Какой является формула: p^q тождественно равно r 1.Тождественно - истинной ...
fox113
11.11.2015 01:57
1 214
Помогите, пожалуйста, построить дерево доказательств для следующих формул: A...
DragonBorn57
10.11.2015 21:08
5 791
Необходимо для данной ФАЛ f(x1,x2,x3,х4) найти ее ДСНФ,КСНФ,ПСНФ,ЭСНФ,ИСНФ,...
Sergey1111
09.11.2015 16:21
0 517
Кто нибудь может обьяснить на примере какой либо функции как опредлять всюду...
piercedan
08.11.2015 21:25
2 161
Привет. Нужна помощь в решении секвенций, но и за совет литературы для...
CovCek
08.11.2015 17:16
5 1,495
Помогите, пожалуйста, дайте хотя бы идею как это решать. Найти значение формулы...
Tanya933
08.11.2015 16:55
1 802
Определить к каким классам (константы нуля, константы единицы, самодвойственных...
Sergey1111
07.11.2015 22:51
1 2,386
Необходимо найти КНФ, ДНФ, СКНФ, СДНФ. Подскажите, пожалуйста, верно ли...
Evgeny3
07.11.2015 13:14
0 243
В скобках то что дано, после скобки то что найти. Заранее благодарю *_* ...
palatka
06.11.2015 23:06
1 198
Используя основные законы и соотношения алгебры логики, необходимо установить...
Sergey1111
06.11.2015 21:34
5 404
! - отрицание. !x1 \rightarrow (x2 \sim x3) Сначала нужно упростить же?...
b0nny
06.11.2015 20:56
2 452
Здравствуйте! Прошу мне помочь с переводом. Если судить по вольфраму, то у...
Melifarosky
06.11.2015 02:34
0 173
Я пометил ! знаком - отрицание. (p \vee r)\wedge (q\vee r) <-> (!p\vee !q->r)...
b0nny
05.11.2015 11:36
4 899
E={x\epsilon R:x=\frac{{n}^3+1{}}{{n}^3+4{}}, n\epsilon N}
Sadler42
04.11.2015 21:01
1 344
Как, по какому закону из нижеприведенного уравнения можно выкинуть ВС?...
Roman7101
04.11.2015 20:57
1 111
По какому принципу решается данное задание?
CloseQuad11
03.11.2015 17:41
0 159
Подскажите, пожалуйста. Спасибо.
SanychBY
02.11.2015 20:19
1 140
Modus Ponens: (A, A→B)→B
natascha
02.11.2015 20:16
4 169
Найдите область определения и область значения бинарного отношения P. Является...
Ldr322
02.11.2015 19:34
2 320
Аксиома 1: А→(B→A); Аксиома 2: A→(B→C)→((A→B)→(A→C)); Аксиома 3: ( ┐B→A)→((...
natascha
02.11.2015 13:21
0 127
Помогите пожалуйста упростить с пояснениями, если можно. У самой ответ...
345729699
02.11.2015 03:43
1 187
Отсюда: https://en.wikipedia.org/wiki/Vacuous_truth A statement S is...
Ol1vka
31.10.2015 22:29
3 219
Тот, кто изучал геометрию, знает теорему Пифагора или, во всяком случае, слышал...
WebJoky
31.10.2015 21:48
1 267
День добрый, помогите обосновать формальную выводимость суждений. во вложенной...
Елизавета2015
30.10.2015 13:22
1 181
Помогите, пожалуйста, упростить функцию по законам, если можно, то с их...
345729699
29.10.2015 22:38
2 221
исходя из определения равенства множеств и определений операций ...
Anette666k
29.10.2015 10:32
1 313
4 Задача. Даны предложения. 1) 66<=6·10 3) В городе N имеется метро. 4)...
Ломтев
28.10.2015 14:01
3 236
Установить является ли рассуждение верным(проверить , следует ли заключение из...
Kurtis
28.10.2015 13:03
8 864
Прошу помочь разобраться.
empt
27.10.2015 23:53
10 747
Дана такая булева функция 1011 1111 1110 0010 Нужно построить РКС я...
Pr_ilya
26.10.2015 12:11
1 157
Приветствую! Вот, в унвере дали решать булеву алебру, лекций толком не было,...
GreeFF
26.10.2015 06:02
1 951
(A+B)D+C(A+B),C(A+B)+(A+B)D В стек (A+B)D+C(A+B)=C(A+B)+(A+B)D (A+B)D=(A+B)D...
Pashaa2
25.10.2015 17:17
3 851
Является ли правильным данное следование: A→(B→C)⊨A&B→C Я попытался сделать...
WebJoky
25.10.2015 15:11
4 838
Пусть A, B и C — множества точек плоскости, координаты которых удовлетворяют...
RaHoWa
25.10.2015 14:20
0 255
Определить тип формулы: Q∨R→(P∨Q→P∨R) Я построил таблицу истинности для данный...
WebJoky
24.10.2015 22:30
6 1,653
Добрый день! Помогите, пожалуйста, разобраться, как опровергнуть множество на...
picabu
24.10.2015 21:31
9 382
Здравствуйте. Вопрос достаточно легкий, но нет уверенности что я делаю...
anton123123q
24.10.2015 20:30
0 113
Установить, является ли данная формула тождественно-истинной. Пример...
Kurtis
24.10.2015 19:39
1 245
Прошу помощи Отношение R на множестве ℤ определяется так: xRy, если x^2-y^2...
Tier
24.10.2015 13:18
11 2,595
Отношение R на множестве ℤ определяется так: xRy, если...
Vasyx3m
24.10.2015 13:15
2 384
F(a,b,c,d)=П(3,4,5,7,10,12,13,14,15) ссылка удалена проверьте пожалуйста...
Студентка93
23.10.2015 17:30
1 327
Здравствуйте! Не могу формализовать высказывание: "Неверно, что если число...
Mammamia95
23.10.2015 12:42
6 291
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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