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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,152,476 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,926
Обычные темы
 
     
 
Задать вопрос
Есть кто знает мат.логику? Задано универсальное множество U = {1, 2, 3, 4, 5, 6, 7, 8} и...
SANTA000
02.06.2018 15:10
1 105
(X → Y) ⊢ ((X v Y) → Y)
Geraq
01.06.2018 23:44
1 119
Доказать клаузы методами: Квайна, редукции, резолюций Кто может напишите хотя бы одну
flwlss4q
30.05.2018 18:47
1 176
На конференции собрались школьники 9, 10, 11 классов. В президиум приглашаются 10 человек....
яНачинающая
30.05.2018 10:16
2 121
Упростите (A и B - множества) A*B-A
I313-15
29.05.2018 00:50
3 115
Задача заключается в следующем (на фото ниже) :
яНачинающая
28.05.2018 19:49
0 82
добрый день, задача состоит в следующем : Необходимо определить, какими основными свойствами...
яНачинающая
28.05.2018 19:21
1 97
Здравствуйте, очень нужна помощь в решении данной задачи: Показать, что аппликация комбинаторов не...
Artey
28.05.2018 01:28
5 153
Нужно привести пример классов A и B, таких что \cup\neq \cup\subset Даже не знаю с чего...
Lorentinka
27.05.2018 23:27
3 738
Доказать что {\bar{T}}_{0}{T}_{1}\subseteq S. Функция самодвойственна,если на противоположных...
Lorentinka
27.05.2018 22:22
1 675
Здравствуйте, подскажите пожалуйста, запутался я немного читая про сеть Фейстеля, а конкретно вот в...
Сергей28
27.05.2018 13:00
4 119
(X → Y) ⊢ ((X v Y) → Y)
Naotakka
27.05.2018 12:52
3 85
Для функции F(x,y,z,t) = ¬x ∨ t & y ∨ t & ¬z ∨ ¬t & x ∨ y ∨ t получить её СДНФ и СКНФ Используя...
NejdanX
27.05.2018 08:04
1 727
Ребята подскажите кто знает литературу для решения данного примера Вот он
vfhbf
26.05.2018 17:26
1 115
Доказать, что функции примитивно рекурсивные:
Medvedica8898
26.05.2018 14:12
11 248
Добрый день! Прошу подтолкнуть в нужном направлении Есть множество X=(-∞,-1) и Y= Надо узнать...
BReDD
26.05.2018 13:30
0 62
3)К какой схеме относится рассуждение: "Если при выполнение программы отклонение контролируемых...
NejdanX
25.05.2018 16:04
5 718
2)Функцию g(x,y) = ¬(x→y) представить в базисе {&, v, ¬} Правила форума: 5.16. Запрещено создавать...
NejdanX
25.05.2018 14:53
2 685
Помогите пожалуйста, кто чем может. 1) Логическую функцию Z(A,B,C) = AB¬CΔ¬A¬B¬CΔAB¬CΔ¬AB¬C ...
NejdanX
25.05.2018 14:49
2 675
Правильно ли я вынес кванторы и привел к ПНФ? Как привести к ССФ?
Ducal_Boar
25.05.2018 12:19
0 119
для тех кому сделать это занимает несколько минут пАмАгите 1) Аналитическим способом (на основе...
flwlss4q
23.05.2018 14:09
1 165
(-3\leq-3)\Rightarrow (-7>-\sqrt{7})
LaSTiqq
23.05.2018 03:18
22 372
Здравствуйте, очень нужна помощь. Существуют ли примитивно-рекурсивные функции для решения...
Artey
22.05.2018 14:59
3 753
Помогите пожалуйста выполнить задание: Докажите вычислимость следующих функций: f(x,y) = |x-y|
DmitryV555
21.05.2018 17:41
0 67
Дано: {F→(F→H)} ⊢ F→G. Доказать, что имеет место выводимость. Можно использовать аксиомы, m.p,...
RHerbert
21.05.2018 17:39
4 186
Помогите прошу Является ли полной функция? Образует ли она базис? Добавлено через 3 минуты Вот...
ArtHeart
20.05.2018 16:26
1 721
помогите,пожалуйста,доказать A\(B\C)=(A\B)∪(A∩C)
annakohan
20.05.2018 14:52
2 183
Ребя подскажите как сделать кто знает? A\(B\C)=(A\B) ∪(А∩С)
vfhbf
20.05.2018 11:50
1 690
BasharAsad
20.05.2018 08:50
1 255
3.10. Исключите знаки импликации в приведенных формулах. При этом отрицание должно быть отнесено...
Kateryna1111
20.05.2018 01:43
2 713
Найти множество истинности для двуместных предикатов, заданных на на указанном множестве своих...
ArtHeart
19.05.2018 22:26
3 739
3.27. Назовите известные Вам отношения на следующих множествах г) множество людей
Kateryna1111
19.05.2018 22:12
1 109
Нужно сделать 9 номер
ЯДмитрик
19.05.2018 11:47
1 122
(A∪(B/C))/B≡A Нарушение Правил форума, пункт 4.7. Как можно более полно описывайте суть проблемы...
xamelione25
19.05.2018 10:47
2 755
Максимально упростите выражение своего варианта, воспользовавшись законами логики Буля. Затем с...
flwlss4q
19.05.2018 10:40
1 716
Доказать тождество: (A\B)∪(B\C)∪(C\A)∪(A∩B∩C)=A∪B∪C Пожалуйста, помогите доказать,если не трудно...
Kateryna1111
19.05.2018 10:17
3 731
1.1 Справедливо ли в общем случае утверждение: если А∈В и В ⊆С и С∈D то А⊆D? 1.2 Может ли при...
E128
18.05.2018 23:05
1 163
Доказать, что ∅×A=∅, A⊆A×A, где A – любое непустое конечное множество.
notya
18.05.2018 22:52
1 92
“Если вещество обладает свойством А и свойством В, то оно обладает так же и свойством С; если...
fishki123
18.05.2018 22:49
3 171
Добрый день, привел предикат к ПНФ, но не уверен в своей правоте :
DED POP
18.05.2018 13:10
2 98
Нужно сделать задание под номером 9
ЯДмитрик
18.05.2018 13:07
1 169
Перевести на естественный язык. Все честные ученые уважают друг друга.
MichelangeloO_o
16.05.2018 15:20
1 185
(AU(B/C))/B=A 1. Графически 2. Методом двух включений 3. Методом эквивалентных преобразований
xamelione25
14.05.2018 19:17
2 82
Конечные множества, произвольная формула B, утверждения, высказывания. Помогите пожалуйста
Hedwig32
14.05.2018 10:28
0 92
Лабораторная работа «Отношения». Задано множество М, содержащее 5 разных целых случайных чисел,...
JenFlower
13.05.2018 08:59
0 84
Помогите пожалуйста, если не трудно
Kateryna1111
13.05.2018 00:15
3 94
Пусть I = {1, 2, 3, 4, 5}, X = {1, 5}, Y = {1, 2, 4}, Z = {2, 5}. Найти множе- ства: б)(X∩Z)∪(не...
Kateryna1111
12.05.2018 20:25
2 77
В результате опроса выявлена реакция некоторого числа зрителей на одну телевизионную передачу....
Kateryna1111
12.05.2018 17:50
0 96
Добрый вечер! Задание: Семья состоит из отца,матери и сыновей A,B,C. Они собираются в кино, но при...
DmitryM5
12.05.2018 12:13
3 99
Посылки: Все первокурсники встречаются со всеми второкурсниками. Ни один первокурсник ге...
SexyHpexy
12.05.2018 11:04
0 127
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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