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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,133,438 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,855
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
ТЕСТ:(можно с решением) Какую функцию f (x,y) правильно вычисляет машина Тьюринга с программой
Asly
25.05.2016 18:20
1 151
Я решил пример тремя способами: аксеоматическим, табличным и методом резолюций. Аксеоматический и...
DenKG
25.05.2016 16:46
0 67
пожалуйста помогите решить подробнее!!!
Dinoo
25.05.2016 09:37
0 75
Как доказать что образ рекурсивного множества при отображении рекурсивной функцией не обязательно...
efnil
25.05.2016 01:17
3 149
Прошу помощи по математической логике. В ней не полный ноль, но это оказалось не под силу. Если и...
oreshek777
24.05.2016 23:58
1 364
Помогите, пожалуйста, построить вывод в исчислении предикатов.
mimi7
24.05.2016 17:07
3 158
f1=J2(J1(j0(x))) k=3, нужно построить таблицу истинности и полином Не могу понять, что обозначают...
Ишук
23.05.2016 21:43
1 184
Помогите решить работу по мат логике. Задание вышлю на почту. (не за бесплатно)
ddening6
23.05.2016 16:22
0 74
1. Выяснить вопрос о равносильности ДНФ f1=xz(или)y(или)xyz , f2=xy(или)zx , ...
ka4eLu
23.05.2016 09:27
0 348
Выразить функцию через примитивно-рекурсивные и оператор минимализации x-(3y+z) Через...
mikki234
23.05.2016 03:37
6 803
Доброго времени суток. Подскажите с задачкой. Истинны или ложны? Определены на множестве...
DanSu
23.05.2016 01:21
1 111
Помогите решить! Найдите область определения, область значений отношения P. Является ли...
LewisBrindley
22.05.2016 20:20
3 418
Доброго времени. Помогите, пожалуйста, с решением этого задания.Желательно с решением Построить...
Foagl
22.05.2016 19:33
0 73
Изобразить на координатной плоскости множества истинности следующих двухместных предикатов,...
Am1go64
22.05.2016 15:54
1 382
На множестве вещественных чисел R найти множества истинности предикатов P\wedge Q, P\Rightarrow Q,...
Am1go64
22.05.2016 15:51
1 243
помогите пожалуйста используя теорему Поста,проверить полноту системы булевых функции
Sofronych
21.05.2016 23:57
3 311
Добрый день. Можете подкинуть маленький конспектик на тему "Функции алгебры логики, их табличное и...
Lemanos
21.05.2016 15:32
1 99
Найдите сокращённую, все тупиковые и минимальные ДНФ булевой функции f(x,y,z) методом Квайна. ...
LewisBrindley
21.05.2016 14:34
0 59
найти минимальный ДНФ.
Kristee
21.05.2016 10:08
0 112
Помогите пожалуйста,построить карту Карно для f(x1,x2,x3,x4)=V(1,2,4,9,11,12,13,15)
Sofronych
20.05.2016 21:38
0 105
помогите выяснить вопрос о равносильности ДНФ сведением их с СДНФ.преобразовать f2 в КНФ
Sofronych
20.05.2016 20:47
0 97
дана функция 1)получить многочлен Жегалкина используя равносильные преобразования и методом...
Sofronych
20.05.2016 20:34
0 88
по выборке составить статистический ряд, вычислить относитьные частоты и накопленные частости,...
MegaLAND
20.05.2016 08:58
0 51
Pi(x) - число простых чисел, не превосходящих x
PFanthem
20.05.2016 03:54
0 165
Проверить, верны ли следующие следствия: (F\wedge G)\Rightarrow H,(H\wedge K)\Rightarrow...
Am1go64
19.05.2016 12:32
0 85
Дана теорема:"Если целое число делится на 12, то оно делится и на 3 , и на 4". Найдите для нее ...
katareva
19.05.2016 11:35
1 163
Найти СКНФ для формулы,помогите пожалуйста Добавлено через 1 минуту ab*не(a)+ac, вот формула ...
katareva
19.05.2016 11:34
1 95
Как доказать? Доказать что заключение не является логическим следствием посылок. Определить,...
idris97
19.05.2016 11:24
1 232
{ xy v y'z, 0,1}
l216
19.05.2016 01:52
1 499
Знаю что легко, но что-то я совсем запутался :cry: 1) (\bar{A}->BC)\leftrightarrow(B\vee...
demon31
19.05.2016 01:49
1 99
Проверить, верны ли следующие следствия: F\Rightarrow (G \Rightarrow H),(H \wedge K)\Rightarrow...
rexor97
19.05.2016 01:46
1 441
Записать функцию проводимости для заданной переключательной схемы, упростить её. Помогите...
Watson_Daha
18.05.2016 22:31
1 182
Записать на языке логики предикатов: 1.Два числа, делящиеся друг на друга совпадают. ...
Watson_Daha
18.05.2016 20:30
1 178
|A\(BuC)| - эту формулу нужно расписать для проверки дали условие: |A|=20 |B|=20 |C|=20...
TRRx
18.05.2016 19:27
6 211
11) ((d *רc)+( רd*רb)+(c *רb))+(( רd*b)+(c*b))+( רa*a) , необходимо сократить булеву функцию...
Foagl
17.05.2016 23:44
1 773
Упростить систему интинных высказываний,найдя логически эквивалентную систему,состоящую из меньшего...
Artyom13112421
16.05.2016 19:28
1 71
Получить СКНФ и СДНФ равносильными преобразованиями для данной формулы: (¬Z→¬Y)→((X /\ ¬Z) /\ Y)
Artyom13112421
16.05.2016 19:27
1 110
Приветствую! Необходимо доказать что множества X и Y равномощны, построим взаимно однозначное...
Gigoh
16.05.2016 13:52
1 272
1. Доказать, что (A\bigcup B)xK\subseteq (AxK)\bigcup (BxK) 2. при каких A,B,M,K включение...
RusMath
15.05.2016 23:39
4 198
Отличается ли порядок нахождения СДНФ, если, например, f(0,0,0)=f(0,0,1)=f(1,1,1)=0? Вот когда...
Hatiqo
15.05.2016 17:57
2 100
Правильно ли рассуждение :"Если число 5 простое, то оно нечетно.Число 5 нечетное.Следовательно ,...
katareva
14.05.2016 22:56
3 202
Помогите решить 1 и 2 номер срочно нужно!
katareva
14.05.2016 14:16
1 163
Помогите пожалуйста с доказательством данного соотношения, сколько сижу и думаю, а в голову ничего...
Reintag
14.05.2016 12:05
3 503
Помогите пожалуйста с доказательствами (множества). Буду очень признательна! 2. Доказать...
Yulia_0707
14.05.2016 03:04
1 230
Упростить ркс, на изображении схема которую нужно упростить, не обращайте внимания на другое
l216
14.05.2016 02:44
1 518
Помогите пожалуйста, кто что сможет решить)
l216
13.05.2016 17:33
1 120
с помощью равносильных преобразований привести к СДНФ и к СКНФ, если это возможно: X∧(Y→X∧Z)
Manomano
13.05.2016 10:29
1 773
Найти СДНФ функции четырех переменных , заданной в алгебре Жегалкина. Перейти из булевой алгебры...
lena0106
13.05.2016 09:02
1 236
Для функции, построить таблицы истинности, аналитическое выражение в КФ и ДФ и попытатся его...
tfhjhjv
13.05.2016 05:14
1 337
вот знаете что-то сижу сейчас и поймал себя на мысли, что кроме летающих крокодилов, разбитых шаров...
NS-17_R-18
12.05.2016 20:30
0 93
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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