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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,152,432 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,926
Обычные темы
 
     
 
Задать вопрос
Задано бинарное отношение R на множестве {1,2,3,4}.p= {<1, 1>, <1, 4>, <2, 1>, <2, 4>, <3, 1>,<3,...
P-980
30.05.2016 17:51
0 244
F={(x,y) | x - отец у} D={(x,y) | x - дочь у} Чему равна композиция отношений F^-1 и D? UPD:...
TRRx
30.05.2016 03:12
4 307
Проверьте, пожалуйста, правильно ли построена схема по заданной функции f (t,x,y,z) = (t ∨ x ∨ y &...
g_dragon
29.05.2016 21:50
3 168
Какова мощность множества пар <X,Y> таких, что X - подмножество Y, а Y - подмножество N? В паре X и...
Iv_Vol
29.05.2016 18:22
6 827
Построить машину тьюринга, реализующую алгоритм вычитания двух восьмеричных чисел (предполагается...
vixxim
29.05.2016 17:52
0 80
не могу найти ошибку. подскажите пожалуйста, что не так? ( схема в мультисиме не совпадает с...
sanaxxx
29.05.2016 14:25
0 131
В урне находятся шары: 7 – синих, 5 – красных, 12 – зеленых. Шары одного цвета неразличимы. Сколько...
Minoki97
29.05.2016 09:24
1 131
Помогите, пожалуйста! Составить релейно-контактную схему, реализующую функцию проводимости
g_dragon
28.05.2016 23:28
1 567
Добрый день! Понять не могу, как минимизировать ДНФ способом "Преобразования". Вот пример:...
java_user
28.05.2016 21:27
1 91
Заранее сорян если ошибся темой,но нужна ваша помощь. Создаю абстрактный автомат на базисе...
Lucky_Loser
28.05.2016 21:20
1 67
В группе из 200 студентов 70 изучают предмет А, 75 - предмет В, 80 – предмет С, 35 – изучают А и С,...
Minoki97
28.05.2016 17:13
1 805
Выразить функцию через примитивно-рекурсивные и оператор минимизации (\log_{y}{x})^{z}
PFanthem
27.05.2016 21:14
1 366
привет работяги:)чет не могу решить я,анриал просто хелп ми плз:wall: для админов задание на...
John263215536
27.05.2016 00:30
0 74
1.Не всякий студент, хорошо сдавший экзамен, списывал, и не каждый, кто списывал, хорошо сдал...
P-980
26.05.2016 15:46
0 312
Докажите, что ультрапроизведение бесконечных систем бесконечное.
Jane_
26.05.2016 10:16
1 86
Доказать при помощи теоремы дедукции, следствий из нее и всех известных правил вывода: |-(A&D →...
Gubila_2000
25.05.2016 19:40
0 104
найти область определения и область значения отношения P={(x,y) |x,y принадлежит Z, x+y кратно 3 |}...
Kentik55
25.05.2016 19:30
0 94
ТЕСТ:(можно с решением) Какую функцию f (x,y) правильно вычисляет машина Тьюринга с программой
Asly
25.05.2016 18:20
1 159
Я решил пример тремя способами: аксеоматическим, табличным и методом резолюций. Аксеоматический и...
DenKG
25.05.2016 16:46
0 69
пожалуйста помогите решить подробнее!!!
Dinoo
25.05.2016 09:37
0 80
Как доказать что образ рекурсивного множества при отображении рекурсивной функцией не обязательно...
efnil
25.05.2016 01:17
3 151
Прошу помощи по математической логике. В ней не полный ноль, но это оказалось не под силу. Если и...
oreshek777
24.05.2016 23:58
1 415
Помогите, пожалуйста, построить вывод в исчислении предикатов.
mimi7
24.05.2016 17:07
3 184
f1=J2(J1(j0(x))) k=3, нужно построить таблицу истинности и полином Не могу понять, что обозначают...
Ишук
23.05.2016 21:43
1 190
Помогите решить работу по мат логике. Задание вышлю на почту. (не за бесплатно)
ddening6
23.05.2016 16:22
0 80
1. Выяснить вопрос о равносильности ДНФ f1=xz(или)y(или)xyz , f2=xy(или)zx , ...
ka4eLu
23.05.2016 09:27
0 378
Выразить функцию через примитивно-рекурсивные и оператор минимализации x-(3y+z) Через...
mikki234
23.05.2016 03:37
6 813
Доброго времени суток. Подскажите с задачкой. Истинны или ложны? Определены на множестве...
DanSu
23.05.2016 01:21
1 124
Помогите решить! Найдите область определения, область значений отношения P. Является ли...
LewisBrindley
22.05.2016 20:20
3 458
Доброго времени. Помогите, пожалуйста, с решением этого задания.Желательно с решением Построить...
Foagl
22.05.2016 19:33
0 78
Изобразить на координатной плоскости множества истинности следующих двухместных предикатов,...
Am1go64
22.05.2016 15:54
1 457
На множестве вещественных чисел R найти множества истинности предикатов P\wedge Q, P\Rightarrow Q,...
Am1go64
22.05.2016 15:51
1 274
помогите пожалуйста используя теорему Поста,проверить полноту системы булевых функции
Sofronych
21.05.2016 23:57
3 327
Добрый день. Можете подкинуть маленький конспектик на тему "Функции алгебры логики, их табличное и...
Lemanos
21.05.2016 15:32
1 111
Найдите сокращённую, все тупиковые и минимальные ДНФ булевой функции f(x,y,z) методом Квайна. ...
LewisBrindley
21.05.2016 14:34
0 61
найти минимальный ДНФ.
Kristee
21.05.2016 10:08
0 123
Помогите пожалуйста,построить карту Карно для f(x1,x2,x3,x4)=V(1,2,4,9,11,12,13,15)
Sofronych
20.05.2016 21:38
0 109
помогите выяснить вопрос о равносильности ДНФ сведением их с СДНФ.преобразовать f2 в КНФ
Sofronych
20.05.2016 20:47
0 98
дана функция 1)получить многочлен Жегалкина используя равносильные преобразования и методом...
Sofronych
20.05.2016 20:34
0 90
по выборке составить статистический ряд, вычислить относитьные частоты и накопленные частости,...
MegaLAND
20.05.2016 08:58
0 60
Pi(x) - число простых чисел, не превосходящих x
PFanthem
20.05.2016 03:54
0 172
Проверить, верны ли следующие следствия: (F\wedge G)\Rightarrow H,(H\wedge K)\Rightarrow...
Am1go64
19.05.2016 12:32
0 88
Дана теорема:"Если целое число делится на 12, то оно делится и на 3 , и на 4". Найдите для нее ...
katareva
19.05.2016 11:35
1 170
Найти СКНФ для формулы,помогите пожалуйста Добавлено через 1 минуту ab*не(a)+ac, вот формула ...
katareva
19.05.2016 11:34
1 100
Как доказать? Доказать что заключение не является логическим следствием посылок. Определить,...
idris97
19.05.2016 11:24
1 275
{ xy v y'z, 0,1}
l216
19.05.2016 01:52
1 572
Знаю что легко, но что-то я совсем запутался :cry: 1) (\bar{A}->BC)\leftrightarrow(B\vee...
demon31
19.05.2016 01:49
1 104
Проверить, верны ли следующие следствия: F\Rightarrow (G \Rightarrow H),(H \wedge K)\Rightarrow...
rexor97
19.05.2016 01:46
1 602
Записать функцию проводимости для заданной переключательной схемы, упростить её. Помогите...
Watson_Daha
18.05.2016 22:31
1 234
Записать на языке логики предикатов: 1.Два числа, делящиеся друг на друга совпадают. ...
Watson_Daha
18.05.2016 20:30
1 210
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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