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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,152,307 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,925
Обычные темы
 
     
 
Задать вопрос
Доказать, что функция примитивно рекурсивна f(y)=y^4
KIrilqqqqqqqkaa
11.12.2016 12:20
1 346
Помогите с решением. Составить бинарное отношение R, заданное на множестве М={ 1,2,3,4,5}, и...
Dimensio
10.12.2016 18:11
3 307
Вот задание дословно
Alleksandrgall
10.12.2016 10:36
0 185
В Excel-е то я таблицу истинности расписал, а вот как упростить, используя законы и правила логики...
George_Smith
09.12.2016 21:10
8 234
Помогите построить дерево доказательств. (A>B) |- ((неB или C)>(неA или C))
Екатерина3333
09.12.2016 18:31
4 226
записать на языке предикатов определение бесконечно малой функции (функция f(x) называется...
Xakas
08.12.2016 17:00
0 177
Доказать клаузу.
marina_petrova
05.12.2016 14:28
1 297
Выяснить, что представляет из себя отношение : \Phi \circ \Phi, \; \Phi \circ {\Phi}^{-1} Дано...
GalinaMineeva
05.12.2016 09:25
1 343
Например: 1,45,65,2,43,52,4,5 3, 3, 5, 3,5, 2, 5,3 q= от 0 до 1 qq = 1-q Перемножаем,...
Njk_elfxb11
05.12.2016 08:17
6 187
Не все кошки серы, поэтому все кошки не серы. Поскольку не все птицы могут летать, то есть...
NegaTiVzbs
04.12.2016 20:19
7 689
привет народ . может кто помочь в воскресный вечер ? Построить таблицу истинности данной...
HARDF
04.12.2016 19:07
9 316
помогите пожалуйста!!! Пусть даны предикаты: P(x): x — четное число и Q(x): x кратно 3,...
Анякорепанова
04.12.2016 18:24
1 1,168
Применить оператор суперпозиции к функции f=2x,g=x+3
Апасный
04.12.2016 18:22
11 294
Помогите построить логическую схему по данной задаче: Пусть три цеха A, B, C снабжаются...
vetalka2010
04.12.2016 15:30
2 795
Помогите, пожалуйста. Таблицу истинности составил, а с упрощением всегда на обе ноги хромал. ...
zavi
04.12.2016 14:58
2 204
сама функция f(x, y) = (y - x) + y (используется усеченная разность)
Tarnado
03.12.2016 18:41
1 208
Доброго времени суток! На вашем форуме в первый раз, привело сюда отсутствие конспекта по данной...
Metcore
03.12.2016 12:47
1 168
Вертел и так и сяк, получил некоторые доп. посылки, но вывод не построил:wall:
ko4a
03.12.2016 02:26
3 298
Булева функция: +{x}_{2} Система \Psi : \begin{Bmatrix}x/y\end{Bmatrix} Объясните, как решаются...
Artmal
02.12.2016 21:44
14 944
\forall x P(x)\rightarrow \exist x Q(x) - Это формула которую надо проверить на общезначимость. Я...
Тер
02.12.2016 16:09
4 555
Помогите решить: A= x|x \epsilon R; (x-4)^2(x^2+x-1)=0
Azazel-San
02.12.2016 14:05
1 154
Нужна как можно более компактная формула. Например, если выражать импликацию, то можно получить x...
Artmal
01.12.2016 22:45
1 970
Помогите решить Не знаю правильно ли решил пункт а, но вот Пункт б думаю можно устно обьяснить,...
oneshottwoshot
01.12.2016 17:26
0 187
Построить реверсивный счетчик, осуществляющий либо сложение, либо вычитание одиночных единичных...
66Sterben99
01.12.2016 16:09
0 210
Проверить правильность рассуждения средствами логики суждений. "Он сказал, что придет, если не...
DmitryM5
01.12.2016 01:56
1 450
Ребят. Я чёт запутался. Не уверен в правильности решения задание: Посредством операций над...
Nickname_2015
01.12.2016 00:43
1 203
С права это функции которые я составил по таблице истинности а с лева их склейка вено ли я сделаль?
Leon_java
30.11.2016 21:27
0 85
Народ подскажите пожалуйста что не правильно я сделал? X2=ABvABCDvABCDvABCD С этим сокращением А...
kokostyac
30.11.2016 19:10
1 206
Мне дали задание написать функции ДНФ и скоратить их с помощью карты Карно, сделав карту Карно я...
Leon_java
30.11.2016 10:40
0 162
Помогите пожалуйста минимизировать табл. истинности f(x4,x3,x2,x1)=0101010101001011 В приложение...
DantistOO
29.11.2016 19:14
0 152
Помогите правильно вынести кванторы в этой формуле за общую скобку: \forall y \exist z(\neg Q(x,y)...
JayLim
27.11.2016 22:24
3 442
Записать утверждение на языке логики предикатов: Для любых 3 точек существует содержащая их...
Milisa
27.11.2016 21:17
2 392
Вычислите степень истинности составного нечеткого высказывания ( A ∧ B ) ∨ (C ∧B¯ ) при условии,...
Andrew123456
24.11.2016 16:56
0 337
как написать программу минимизации булевых функций на основе Карт Карно
mylt
24.11.2016 16:46
0 118
Упростите схему:
romazeroma
23.11.2016 12:59
8 900
Как можно найти p? Если A=<{0,1,2,...,14}; F(n)=n+1(mod 15)> n, m \in A,...
Patbet
22.11.2016 21:44
1 159
Объясните, откуда берутся все эти запутанные булевы функции, запутанные записи множества(много...
Artmal
22.11.2016 21:36
3 856
Рассмотрим предметную область, которую можно назвать «Учеба на факультете». Для представления...
work_on
22.11.2016 08:23
9 314
f(x,y,x)=00101110
Breezeblocks
21.11.2016 15:39
12 486
Подскажите, пожалуйста, верно ли я ответила на вопрос? Бинарное отношение, обладающее свойством...
Каточка
21.11.2016 12:00
2 371
II. Составить высказывание, соответствующее формуле: (А∨В)⊃А Задание из логики высказываний....
Каточка
21.11.2016 05:16
3 589
1. \overline{\forall xP(x)}\vee \exist x Q(x,y)= \exist x\overline{P(x)}\vee\exist xQ(x,y)= \exist...
Тер
20.11.2016 21:24
5 928
Здравствуйте, не могли бы пожалуйста подсказать как решается данный пример. Вот задание: Доказать,...
vlaste
20.11.2016 14:18
2 406
Есть высказывание X\rightarrow \bar{Y\bar{Z}} Его необходимо представить в виде 1) импликация и...
Rainbow59
20.11.2016 11:03
9 335
1. Существует не менее одного предмета, удовлетворяющего P(x); 2.Существует не более одного...
Тер
20.11.2016 09:13
2 1,129
Есть логическая функция, по ней я построил граф для машины Тьюринга. А как строить машину Поста? В...
Rainbow59
19.11.2016 13:49
0 177
как можно составить контекстно свободную грамматику для последовательности букв A и B, в которой ни...
antoon6565
18.11.2016 16:53
0 178
Проверить истинность формулы ∀a∀b∀c∃x(((a ∈ R) ∧ (b ∈ R) ∧ (c ∈ R)) → ((x ∈ R) ∧ (ax2 + bx + c =...
Milisa
17.11.2016 22:26
1 425
Определить область истинности предиката P(x, y) = ∃z((x ∈ R) ∧ (y ∈ R) ∧ (z ∈ R) ∧ (x + y + z =...
Milisa
17.11.2016 22:10
1 329
Найти СДНФ и СКНФ формулы (¬x∧(z|¬y)) → (x∨¬z) 1)с помощью эквивалентных преобразований...
Milisa
17.11.2016 21:56
1 206
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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