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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
Просмотров: 46,784 Посмотреть объявление Объявление: Поддержите наш форум на Яндексе!
23.08.2020 mik-a-el (Администратор)
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Просмотров: 3,344,801 Посмотреть объявление Объявление: Правила форума
22.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 7,542
Обычные темы
 
     
 
Задать вопрос
Подскажите пожалуйста, как доказать:
Chivinavy
Сегодня 14:50
5 919
На окружности выбраны 1000 белых точек и одна черная. Чего больше - треугольников с вершинами в...
Natali nata
Сегодня 12:17
2 140
С чего мне начать и как действовать
m3456667
Вчера 23:44
17 403
Помогите пожалуйста разобраться с дискретной математикой.Не могу никак разобраться с отношениями, у...
Roman361
Вчера 22:00
3 192
Доопределить функцию f (x,y,z) g (x,y,z), h (x,y,z) так, чтобы f∈M, g∈L, h∈S. Застрял на...
NewBie12345
Вчера 21:52
1 101
Доказать тождество A ∩ (B \ C) = (A ∩ B) \ C на основе основных соотношений
Alximik
Вчера 14:54
2 276
Правильно ли я доказал тавтологию?
m3456667
Вчера 14:19
7 275
Записать полученную упрощенной функцию проводимости в символьном виде и построить ее...
belami005
Вчера 13:25
1 90
|- (A->(B&C))->((A->B)&(A->C))
m3456667
Вчера 07:03
13 289
Перемещено: машина Тьюринга
tower12
- - -
С чего мне начать?
m3456667
19.01.2021 23:02
1 116
помогите с заданием Правила форума, пункт 4.3. Создавайте темы с осмысленными и понятными...
tower12
19.01.2021 21:25
3 187
Составил машину Тьюринга для перевода конфигурации К1 в конфигурацию К0 Машина работает отлично,...
tower12
19.01.2021 21:19
1 106
Перемещено: Матанализ
mcchel
- - -
Вычислить на машине Тьюринга характеристическую функцию отношения X<Y
m3456667
19.01.2021 20:01
2 111
bolb1ch
- - -
70 первокурсников потока АВ – 08 в качестве домашнего задания придумывали задачу на пересечение...
bolb1ch
19.01.2021 15:21
3 1,136
Нигде не видел такого, видел и-не, или-не, а чтобы такое и,или,не раньше не попадалось
Wh1teWolf
19.01.2021 13:31
3 860
Помогите решить задачу коммивояжера с матрицей расстояний.
Роман_152
19.01.2021 00:21
1 205
Приветствую! Помогите найти двойственные следующих функций
HxvdOfHxll
18.01.2021 22:22
1 141
Здравствуйте. Дано задание доказать равенство множеств, но в них присутствует знак, который мне...
Bismark_
18.01.2021 17:46
5 1,586
На множестве вещественных чисел R найти множества истинности предикатов P˄Q, P→Q и P↔Q , где ...
shelina
18.01.2021 17:23
0 100
Используя СКНФ, найдите формулу, принимающую значение 0 только на следующих наборах значений...
shelina
18.01.2021 16:26
5 124
Здравствуйте, дорогие форумчане! Не могли бы Вы помочь мне с решение одной задачки. Условие задачи...
afasdfsadfs
18.01.2021 11:30
4 158
Привести формулу к ДНФ
tfex1
18.01.2021 07:56
1 134
Здравствуйте, не могли бы вы мне помочь с выводом формулы для: A=>(B=>C) l— (A & B)=>C Я...
tower12
17.01.2021 21:17
4 259
A∧¬(C∨D)∧(¬А∨В∨¬C∨D)∧(¬А∨¬C∨D∨С∧¬ B)∨B∧A∧¬ B = A∧¬C∧¬D Правильно?
AII98
17.01.2021 16:25
1 145
Всем привет, помогите пожалуйста построить таблицу истинности: Функция F(a, b, c, d) принимает...
HexX
17.01.2021 15:46
1 1,152
Прочитайте параграф и дайте ответы на 2 задания ( 75 и 76 ) Правила форума, пункт 4.3. Создавайте...
Infinity kisska
16.01.2021 23:07
2 144
5. Запишите предложение в виде формулы логики предикатов. 5. Некоторые В суть не А, но ни одно В...
AII98
16.01.2021 22:07
1 185
|- (A->(B&C))->((A->B)&(A->C))
m3456667
16.01.2021 20:03
9 255
У меня задание как показано во вложении, сделать всё-так же, только для интерпретации J=J10. Я...
m3456667
16.01.2021 18:59
16 408
Помогите пожалуйста доказать хоть что нибудь delete] 3.Доказать, что для любой функции f:...
holoplop
15.01.2021 15:13
1 328
Существуют ли высказывания A, B, C такие, что для них одновременно выполняются следующие условия.
LOLKEKMDA
15.01.2021 00:40
13 1,036
Известно: a∨¬b=1 ¬b→a=1 Найти: a∨¬(¬b→a)=? С объяснением, пожалуйста
LOLKEKMDA
14.01.2021 23:27
2 884
Упростите выражение,используя сво-ва операций наж множествами и указывания их названия: (\bar{A}...
Junkrut
14.01.2021 12:03
1 345
Записать предложение в виде формулы предикатов. Правильно ли я сделал?
Don1ns
13.01.2021 20:16
1 869
Доказать, что функция является частично рекурсивной: f(x,y)={x}^{y}
ОлАмел
12.01.2021 20:12
1 183
Записать программу и построить блок-схему МПД, которая вычисляла функцию f(x,y)=xy. Просто...
ОлАмел
12.01.2021 18:48
6 300
Задача N1. Когда B ⊆ A, то верно или нет, что (A ∩ B) U B = A?
Pavel324
09.01.2021 20:04
2 458
Найти функцию f( x, y), полученную из функций g(x) и h (x, y, z) по схеме примитивной рекурсии,...
Samapckuu
07.01.2021 14:54
4 1,069
Здравствуйте. Помогите, пожалуйста, решить задачу. (АuB)\(AnC)=(B\A)u(A\C)
Mayteria
06.01.2021 22:41
3 283
Для функций f(x,y,z) и g(x,y,z) выяснить вопрос об их принадлежности к классам T0,T1,L,S,M. В...
Роман_152
06.01.2021 17:52
0 224
1. Можно ли из функции f(x,y,z) с помощью суперпозиций получить g(x,y,z)? 2. Верно ли, что f...
Роман_152
06.01.2021 17:43
0 197
DeanCarnage
06.01.2021 16:51
2 919
Добрый день! Помогите преобразовать в клаузальную форму
Аделинка
05.01.2021 20:53
11 727
Здравствуйте! Помогите пожалуйста определить области истинности следующих предикатов: а) (x+5=0)...
natina
04.01.2021 17:52
5 10,848
¬P∨Q, ¬Q∨P, (P/\Q)\/((-P)/\(-Q)), P∧Q. Множество R (x,y): (x-y<=2), Множество Q (x,у): (x+y>=0)
AliExpress
04.01.2021 12:31
9 379
Найти функцию f( x, y), полученную из функций g(x) и h (x, y, z) по схеме примитивной рекурсии,...
Mooonbaby
04.01.2021 01:44
1 304
Добрый день. "Если функция нечетная, то ее график симметричен относительно начала координат."...
Skroubar
02.01.2021 22:30
3 245
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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