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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,123,433 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
Рейтинг темы: голосов - 29, средняя оценка - 4.93 OldFedor
26.03.2015 15:25
2 5,833
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
1. Кошки бывают только белые и серые 2. Так как 60 делится на 2 и на 3, то 60...
Здорова на
05.06.2018 00:03
1 96
докажите, что отношение есть отношение эквивалентности на множестве...
Здорова на
04.06.2018 23:55
1 78
Здравствуйте. Задача: Записать предложение сигнатуры {{{f}^{1}}}, такое что...
Воваааааа
04.06.2018 23:42
2 92
Всем привет. Помогите с вопросом. В билете вопрос: Является ли набор всех...
hardprogram
04.06.2018 22:37
1 99
((p\supset q)&(q\supset p)&(p v r)&\dashv r)\supset p
Здорова на
04.06.2018 22:34
4 81
задача на булеву геометрию Дано: A=*0*1***011***00*0101*0*0*10*01 ...
Yzik1999
03.06.2018 18:40
0 64
Здравствуйте, вот задача, помогите пожалуйста: Доказать секвенцию: Ф∨Ψ, Ψ∨Ω,...
Воваааааа
03.06.2018 16:45
2 110
в прикрепленном файле 3 задачи. условие сверху:даны две грани и два набора. ...
Yzik1999
03.06.2018 00:10
0 72
Привести к предваренной нормальной форме (ПНФ): P(x,y)\rightarrow E(y)\left...
1335
02.06.2018 16:09
2 90
Есть кто знает мат.логику? Задано универсальное множество U = {1, 2, 3, 4,...
SANTA000
02.06.2018 15:10
1 66
(X → Y) ⊢ ((X v Y) → Y)
Geraq
01.06.2018 23:44
1 74
Доказать клаузы методами: Квайна, редукции, резолюций Кто может напишите хотя...
flwlss4q
30.05.2018 18:47
1 130
На конференции собрались школьники 9, 10, 11 классов. В президиум приглашаются...
яНачинающая
30.05.2018 10:16
2 102
Упростите (A и B - множества) A*B-A
I313-15
29.05.2018 00:50
3 98
Задача заключается в следующем (на фото ниже) :
яНачинающая
28.05.2018 19:49
0 70
добрый день, задача состоит в следующем : Необходимо определить, какими...
яНачинающая
28.05.2018 19:21
1 72
Здравствуйте, очень нужна помощь в решении данной задачи: Показать, что...
Artey
28.05.2018 01:28
5 141
Нужно привести пример классов A и B, таких что \cup\neq \cup\subset Даже...
Lorentinka
27.05.2018 23:27
3 109
Доказать что {\bar{T}}_{0}{T}_{1}\subseteq S. Функция самодвойственна,если на...
Lorentinka
27.05.2018 22:22
1 57
Здравствуйте, подскажите пожалуйста, запутался я немного читая про сеть...
Сергей28
27.05.2018 13:00
4 98
(X → Y) ⊢ ((X v Y) → Y)
Naotakka
27.05.2018 12:52
3 72
Для функции F(x,y,z,t) = ¬x ∨ t & y ∨ t & ¬z ∨ ¬t & x ∨ y ∨ t получить её СДНФ...
NejdanX
27.05.2018 08:04
1 84
Ребята подскажите кто знает литературу для решения данного примера Вот он
vfhbf
26.05.2018 17:26
1 85
Доказать, что функции примитивно рекурсивные:
Medvedica8898
26.05.2018 14:12
11 123
Добрый день! Прошу подтолкнуть в нужном направлении Есть множество X=(-∞,-1)...
BReDD
26.05.2018 13:30
0 53
3)К какой схеме относится рассуждение: "Если при выполнение программы...
NejdanX
25.05.2018 16:04
5 84
2)Функцию g(x,y) = ¬(x→y) представить в базисе {&, v, ¬} Правила форума: 5.16....
NejdanX
25.05.2018 14:53
2 76
Помогите пожалуйста, кто чем может. 1) Логическую функцию Z(A,B,C) =...
NejdanX
25.05.2018 14:49
2 60
Правильно ли я вынес кванторы и привел к ПНФ? Как привести к ССФ?
Ducal_Boar
25.05.2018 12:19
0 90
для тех кому сделать это занимает несколько минут пАмАгите 1) Аналитическим...
flwlss4q
23.05.2018 14:09
1 121
(-3\leq-3)\Rightarrow (-7>-\sqrt{7})
LaSTiqq
23.05.2018 03:18
22 243
Здравствуйте, очень нужна помощь. Существуют ли примитивно-рекурсивные функции...
Artey
22.05.2018 14:59
3 108
Помогите пожалуйста выполнить задание: Докажите вычислимость следующих...
DmitryV555
21.05.2018 17:41
0 56
Дано: {F→(F→H)} ⊢ F→G. Доказать, что имеет место выводимость. Можно...
RHerbert
21.05.2018 17:39
4 137
Помогите прошу Является ли полной функция? Образует ли она базис? Добавлено...
ArtHeart
20.05.2018 16:26
1 88
помогите,пожалуйста,доказать A\(B\C)=(A\B)∪(A∩C)
annakohan
20.05.2018 14:52
2 168
Ребя подскажите как сделать кто знает? A\(B\C)=(A\B) ∪(А∩С)
vfhbf
20.05.2018 11:50
1 73
BasharAsad
20.05.2018 08:50
1 233
3.10. Исключите знаки импликации в приведенных формулах. При этом отрицание...
Kateryna1111
20.05.2018 01:43
2 88
Найти множество истинности для двуместных предикатов, заданных на на указанном...
ArtHeart
19.05.2018 22:26
3 80
3.27. Назовите известные Вам отношения на следующих множествах г)...
Kateryna1111
19.05.2018 22:12
1 85
Нужно сделать 9 номер
ЯДмитрик
19.05.2018 11:47
1 96
(A∪(B/C))/B≡A Нарушение Правил форума, пункт 4.7. Как можно более полно...
xamelione25
19.05.2018 10:47
2 143
Максимально упростите выражение своего варианта, воспользовавшись законами...
flwlss4q
19.05.2018 10:40
1 71
Доказать тождество: (A\B)∪(B\C)∪(C\A)∪(A∩B∩C)=A∪B∪C Пожалуйста, помогите...
Kateryna1111
19.05.2018 10:17
3 102
1.1 Справедливо ли в общем случае утверждение: если А∈В и В ⊆С и С∈D то А⊆D?...
E128
18.05.2018 23:05
1 106
Доказать, что ∅×A=∅, A⊆A×A, где A – любое непустое конечное множество.
notya
18.05.2018 22:52
1 83
“Если вещество обладает свойством А и свойством В, то оно обладает так же и...
fishki123
18.05.2018 22:49
3 96
Добрый день, привел предикат к ПНФ, но не уверен в своей правоте :
DED POP
18.05.2018 13:10
2 85
Нужно сделать задание под номером 9
ЯДмитрик
18.05.2018 13:07
1 93
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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