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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,139,030 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,882
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Найти минимальную ДНФ для функции, заданной столбцом своих значений (0,1,1,0,1,0,0,1)
Ольга_Н
03.01.2018 20:32
1 515
Методом неопределённых коэффициентов найти полином Жегалкина для функции, заданной столбцом своих...
Ольга_Н
03.01.2018 20:25
1 340
Найти число булевых функций от n переменных, сохраняющих 1
Ольга_Н
03.01.2018 20:19
1 430
1 Функция f от n переменных, такая, что f(x, …, y, … z) = y, - … . 2 На булевом кубе можно...
Ольга_Н
03.01.2018 17:59
3 575
Здравствуйте, может кто знает. В каких устройствах используется СДНФ? Именно устройствах.
Miriadin
29.12.2017 18:20
2 777
Найти фиктивные переменные у функции, заданной вектором значений: f = (1001001100110010) ...
Useer
29.12.2017 17:37
2 920
Здравствуйте,математики и просто гости) Я столкнулся с не пониманием и не нахождением понятного...
Goshaa
29.12.2017 02:14
11 318
Применяя равносильные преобразования (P\rightarrow \tilde{Q}) \Lambda ((P\rightarrow...
gachw
28.12.2017 00:27
1 154
Нужно задать отображение из целы числе в натуральные, то есть: f: Z –> N Помогите привести пример...
DubFection
27.12.2017 21:35
1 102
С помощью метода резолюций проверить, верно ли что P\rightarrow Q, Q\leftrightarrow R,P \vdash R
gachw
27.12.2017 12:25
0 131
Доказать выводимость теоремы
Witcher1
27.12.2017 00:37
1 151
Добрый день. Прошу помочь с записью предложения в виде формулы логики предикатов "Либо всякий...
olntux
26.12.2017 09:25
3 202
Для бинарного отношения, определенного на множестве R, найти область определения, область значений...
Nikitagg
25.12.2017 00:10
0 150
a. если из того, что (a,b)ÎR следует (b,a) ÎR b. если из того, что (a,b)ÎRи (b,c)ÎR следует (а,с)...
BATMAN956
24.12.2017 15:51
1 766
Помогите разобраться и решить задание. Доказать выводимость теоремы, пользуясь аксиомами A1-A3 или...
Evolf
24.12.2017 11:01
5 178
(A ∩ B) \ (A ∩ C) = (A ∩ B) \ C
pro100jack
23.12.2017 22:07
1 223
Для множества B перечислить все сочетания по k элементов с повторениями, в которых первый элемент...
igroman1266
23.12.2017 14:00
6 806
Расположить формулы в таком порядке, чтобы из каждой логически следовала любая из последющих
Mozzarella123
23.12.2017 10:35
0 168
Буду рада, если объясните как решать задания такого рода
Zerita-Chan
21.12.2017 18:36
1 136
Помогите пожалуйста!
RikiMorti
21.12.2017 18:03
4 836
Нужно перевести на язык алгебры логики следующее высказывание: Если число делится на 2 и не...
ErUnDAK
20.12.2017 02:56
1 105
Проверить полноту системы функций Ʃ={f1,f2} f1(0001 0011) f2(1111 0000)
tanya_nm
19.12.2017 17:43
5 201
выразить всеми возможными способами ¬х (не) f1(0101 1001) f2(0111 1111)
tanya_nm
19.12.2017 17:31
1 140
способами все константы. f1(1100 1011) f2(1010 1010)
tanya_nm
19.12.2017 17:29
1 179
Приветствую всех. Необходима помощь в решении задания (прикрепил ниже). Вроде решение написал, и...
big4oot
19.12.2017 16:28
1 120
Огромная просьба помочь с решением задач, никак сама не могу понять это. Заранее наиогромнейшее...
Katerina Orlova
19.12.2017 09:15
0 92
Построить модель для следующей формулы.
Alexsey_b
19.12.2017 06:50
0 112
Используя два предиката, запишите предложение в виде формулы логики предикатов: "Все солдаты...
Korpentor
18.12.2017 12:21
1 316
Здравствуйте! Имею ориентированный граф, заданный матрицей смежности. Необходимо указать какие...
UnionT
18.12.2017 11:29
5 182
Докажите, что функция является примитивно-рекурсивной f(x)=2^x
wesheven
17.12.2017 18:31
1 117
Помогите с решением очень нужно!!!!!!!!!!!! 1. Составные высказывания разделите на простые и...
Bon-bonu
17.12.2017 15:20
0 149
Пусть M(x) ="x- металл", K(x) ="x-кристаллическое вещество", P(x) ="x- пластичное вещество" -...
feligag
17.12.2017 15:02
0 99
Доказать полноту системы Ʃ, состоящую из функции f. Представить формулами над Ʃи функциональными...
tanya_nm
17.12.2017 01:15
1 93
Доказать полноту системы функции Ʃ={f1,f2} Представить формулами над Ʃ и функциональными схемами...
tanya_nm
17.12.2017 01:08
1 159
tanya_nm
16.12.2017 21:40
2 285
f(х1,х2,х3,х4) методами Карно и Квайна. 1) f(1111 0001 1001 0100) 2) f(1001 1110 0011 1010)
tanya_nm
16.12.2017 21:22
0 91
используя геометрический метод минимизации булевых функций. f(1011 1001)
tanya_nm
16.12.2017 21:16
0 309
x*y~!(x*z)->(x->y)+z*!y ! - это отрицание Не получается построить СКНФ, помогите пожалуйста!
Razzikale
14.12.2017 23:08
5 146
Следующие формулы 1) разложить по переменной x1, 2) разложить по переменной x2, 3) преобразовать к...
Тагир Манджиев
14.12.2017 22:16
3 131
Дан текст (легенда): Сегодня посмотрю футбол, если трамвай не задержится. Трамвай не опоздал, но...
MacCray
14.12.2017 19:24
3 154
Преобразовать КНФ функции к СКНФ: 1) (x + y)!y 2) (!x + y)(x + y + z) 3) x(y + !z) 4) (!x +...
Тагир Манджиев
13.12.2017 21:40
3 124
Падение авторитета власти происходит тогда и только тогда, когда нарастает анархия в обществе....
Demon666_2017
13.12.2017 18:23
4 125
При каких условиях (в каком взаимном соотношении между множествами) система уравнений имеет...
pro100jack
13.12.2017 17:54
0 140
Методом неопределённых коэффициентов или с помощью треугольника Паскаля найти полиномы Жегалкина...
Тагир Манджиев
13.12.2017 17:21
1 86
На множестве всех чисел введите необходимые одноместные предикаты и запишите с их помощью следующее...
feligag
13.12.2017 12:57
1 164
Путем преобразований доказать, что: А \ (В ∩ C) = (А \ В) ∪ (А \ C)
pro100jack
12.12.2017 22:05
1 748
1) (0110) 2) (1110) 3) (11011011) 4) (01000111) 5) (01010110) 13) (1011001010001110) 14)...
Тагир Манджиев
11.12.2017 17:44
2 175
По данной РКС составить формулу и упростить ее,Пожалуйста!
Semen98
11.12.2017 16:33
1 702
Добрый день, имеется функция !B+!A!C, никак не могу перейти к базису Шеффера, прошу помощи.
AndrewFrost
10.12.2017 20:06
6 249
A) Доказать множества [0,5) и (1,12) эквивалентность двумя способами: 1) С помощью теоремы...
Vladislp
10.12.2017 17:08
1 103
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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