|
Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
Объявления |
|
|
Лекции по математической логике
|
Alexdemath |
2 |
4284 |
09 янв 2016, 03:23
prof_an
|
Темы |
|
|
Монотонность булевых функций
|
XDDMZX |
1 |
1560 |
23 окт 2015, 18:36
3D Homer
|
|
|
Формализация высказывания и нахождение КНФ, ДНФ, СКНФ, СДНФ
|
Wyrf |
3 |
1155 |
23 окт 2015, 15:07
mad_math
|
|
|
Лемма о накачке
|
Stasya7 |
1 |
217 |
23 окт 2015, 12:26
3D Homer
|
|
|
Исследовать систему функций на полноту
|
Arklaif |
1 |
286 |
20 окт 2015, 18:54
Analitik
|
|
|
Объясните разбиение цикла на транспозиции
|
LonelyGamer |
4 |
439 |
20 окт 2015, 08:28
LonelyGamer
|
|
|
Получить сокращенную ДНФ с помощью алгоритма Квайна
|
Arklaif |
0 |
228 |
19 окт 2015, 21:55
Arklaif
|
|
|
Регулярность языка
|
Stasya7 |
2 |
730 |
16 окт 2015, 12:52
3D Homer
|
|
|
Изобразить графически множество
[ На страницу: 1, 2 ]
|
PFanthem |
11 |
1543 |
15 окт 2015, 16:24
Andy
|
|
|
Вопрос по обозначениям
|
Ellipsoid |
2 |
313 |
14 окт 2015, 14:49
Ellipsoid
|
|
|
Композиция антисимметричных отношений
|
Ellipsoid |
2 |
626 |
14 окт 2015, 14:26
Ellipsoid
|
|
|
Записать на языке логики предикатов следующее определение
[ На страницу: 1, 2 ]
|
lazebny |
11 |
1870 |
14 окт 2015, 13:09
Ellipsoid
|
|
|
Полином
|
anton333 |
4 |
496 |
14 окт 2015, 13:01
Ellipsoid
|
|
|
Доказать в теории ИВ данное утверждение
|
obtim |
1 |
344 |
14 окт 2015, 12:59
Ellipsoid
|
|
|
Бинарное отношение
|
DooM96rus |
1 |
328 |
14 окт 2015, 11:17
Andy
|
|
|
Сколькими способами можно расставить 6 книг на полке
|
Erka |
6 |
1166 |
12 окт 2015, 23:59
Andy
|
|
|
Сколькими способами можно расселить 5 туристов по 3 домикам
|
yudit |
4 |
1610 |
12 окт 2015, 18:28
yudit
|
|
|
Вычисление выражения в алгебраической системе (предикаты)
|
BlightW |
1 |
310 |
06 окт 2015, 17:06
3D Homer
|
|
|
Записать подстановку в виде произведений транспозиций
|
LonelyGamer |
1 |
731 |
06 окт 2015, 10:14
Human
|
|
|
По заданной таблице истинности записать и упростить формулу
|
lazebny |
7 |
696 |
04 окт 2015, 20:02
3D Homer
|
|
|
Решить задачу методами логики высказываний
[ На страницу: 1, 2 ]
|
lazebny |
10 |
1321 |
04 окт 2015, 19:38
lazebny
|
|
|
Задача по теории графов
|
Krispiro |
2 |
317 |
03 окт 2015, 21:37
ivashenko
|
|
|
Метод Мат. Индукции
|
Tsuyu |
1 |
367 |
03 окт 2015, 12:44
Andy
|
|
|
Упростить множества
|
arabic |
1 |
453 |
02 окт 2015, 18:17
Ellipsoid
|
|
|
Машина Тьюринга
|
Stasya7 |
0 |
268 |
01 окт 2015, 21:12
Stasya7
|
|
|
Теория множеств. Алгебра множест
|
brimi |
1 |
258 |
01 окт 2015, 14:29
Andy
|
|
|
Что значит выражение симметрично по своим переменным?
|
LonelyGamer |
5 |
604 |
30 сен 2015, 00:45
LonelyGamer
|
|
|
таблица размером 2×5...Сколькими способами можно дополнить
|
yudit |
6 |
1374 |
29 сен 2015, 23:27
yudit
|
|
|
Плоскость и прямая
|
fogost |
2 |
460 |
29 сен 2015, 22:46
3D Homer
|
|
|
Сколько студентов в группе?
|
photographer |
3 |
463 |
29 сен 2015, 19:33
yudit
|
|
|
Сколько человек осуждено по 3 статьям одновременно?
|
photographer |
4 |
412 |
29 сен 2015, 19:30
yudit
|
|
|
Установить, равносильны ли данные формулы
[ На страницу: 1, 2 ]
|
lazebny |
14 |
851 |
27 сен 2015, 19:49
Ellipsoid
|
|
|
Решить методом математической индукции
|
Isin |
2 |
267 |
27 сен 2015, 11:24
Ellipsoid
|
|
|
Исходя из определения равенства множеств
|
lazebny |
1 |
319 |
26 сен 2015, 17:55
Andy
|
|
|
Изобразить на координатной плоскости область
|
lazebny |
1 |
337 |
26 сен 2015, 17:52
Andy
|
|
|
Решить задачу методами теории множеств
|
lazebny |
2 |
432 |
26 сен 2015, 17:50
lazebny
|
|
|
Составить таблицу Поста и найти базисы из следующих функций
|
lazebny |
0 |
914 |
26 сен 2015, 16:32
lazebny
|
|
|
Логика в выражениях
|
maks1111 |
1 |
411 |
25 сен 2015, 08:50
Andy
|
|
|
Задание с графом
|
maks1111 |
0 |
167 |
23 сен 2015, 15:37
maks1111
|
|
|
Свойства бинарных отношений
|
SergeyYsm |
2 |
260 |
22 сен 2015, 22:43
3D Homer
|
|
|
Доказать равенство множеств и равенство декартовых пр-ий
|
SergeyYsm |
1 |
557 |
22 сен 2015, 15:01
Andy
|
|