|
Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
Объявления |
 |
|
Лекции по математической логике
|
Alexdemath |
2 |
3605 |
09 янв 2016, 03:23
prof_an
|
Темы |
 |
|
Операции на алгебре
|
Gushidomo |
1 |
12 |
Сегодня, 17:08
searcher
|
 |
|
Доказать формулы исчисления высказываний
|
txbeeee |
0 |
4 |
Сегодня, 16:49
txbeeee
|
 |
|
Тображение f: X→Y
|
Gushidomo |
1 |
58 |
Вчера, 18:44
Radley
|
 |
|
Задано алгебру
|
Gushidomo |
3 |
78 |
22 янв 2021, 12:56
swan
|
 |
|
Упрощение СДНФ и СКНФ
|
Halababka |
1 |
43 |
21 янв 2021, 19:20
3D Homer
|
 |
 |
Разложение Бинома
|
EvernayClown |
6 |
75 |
21 янв 2021, 18:50
3D Homer
|
 |
|
Решить задачу коммивояжера с матрицей расстояний
|
Roman_152 |
1 |
93 |
18 янв 2021, 20:51
MihailM
|
 |
|
Решение задач по дискретной математике заочных курсов
|
werevolf1 |
3 |
96 |
18 янв 2021, 16:45
MihailM
|
 |
|
Показать что предикат неразрешим
|
ChimChira |
0 |
32 |
17 янв 2021, 23:58
ChimChira
|
 |
|
МТИ алгорифм Маркова
|
cuttheknot |
2 |
77 |
17 янв 2021, 23:14
MihailM
|
 |
|
Машина Тьюринга и алгорифм Маркова
|
cuttheknot |
4 |
80 |
17 янв 2021, 16:10
3D Homer
|
 |
 |
Мат. Логика
|
II98 |
0 |
39 |
16 янв 2021, 21:02
II98
|
 |
|
Проверить, обладает ли этим свойством отношение
|
Vlad_ok |
3 |
79 |
16 янв 2021, 00:34
3D Homer
|
 |
|
Сколько можно составить различных наборов конфет
|
Vlad_ok |
3 |
63 |
15 янв 2021, 12:24
searcher
|
 |
|
Перевести формулу в КНФ
|
K1b0rg |
2 |
55 |
13 янв 2021, 00:50
senior51
|
 |
|
Построить язык, порожденный грамматикой
|
Xterylis |
0 |
34 |
12 янв 2021, 19:50
Xterylis
|
 |
|
Построить конечный детерминированный автомат
|
Xterylis |
0 |
29 |
12 янв 2021, 19:47
Xterylis
|
 |
|
1.Из f(x,y,z) с помощью суперпозиций получить g(x,y,z)
|
Roman_152 |
3 |
128 |
12 янв 2021, 19:19
3D Homer
|
 |
|
Задача о клике
[ На страницу: 1, 2 ]
|
Nataly-Mak |
19 |
330 |
10 янв 2021, 15:44
Nataly-Mak
|
 |
|
Доказательство теоремы и выводимости
[ На страницу: 1, 2, 3 ]
|
Fa4stik |
29 |
258 |
09 янв 2021, 22:29
3D Homer
|
 |
|
Записать предложение в виде формул логики предикат и преобр
|
adelina |
6 |
86 |
09 янв 2021, 17:46
adelina
|
 |
|
Для функций f и g выяснить их принадлежность к классам T0,T1
|
Roman_152 |
1 |
100 |
06 янв 2021, 20:18
3D Homer
|
 |
|
Вывод из гипотез
|
Fa4stik |
4 |
155 |
06 янв 2021, 15:14
Fa4stik
|
 |
 |
Поиск ядер
|
Karat |
1 |
87 |
04 янв 2021, 20:03
MihailM
|
 |
|
Пример нерефлексивного отношения
|
Molotov |
1 |
79 |
04 янв 2021, 11:18
Andy
|
 |
|
Доказать равенство. Задание на сочетания
|
Molotov |
2 |
145 |
04 янв 2021, 09:34
Molotov
|
 |
|
Доказать что из равенства мощностей следует биекция
|
Molotov |
4 |
114 |
04 янв 2021, 09:34
Molotov
|
 |
|
Теория множеств
|
pikro11 |
2 |
109 |
31 дек 2020, 17:07
3D Homer
|
 |
|
Полнота теории в исчислении высказываний
|
source |
0 |
63 |
30 дек 2020, 16:31
source
|
 |
|
Переход от рекуррентной к аналитической последовательности
[ На страницу: 1, 2 ]
|
KuznetsovSA |
10 |
157 |
29 дек 2020, 14:50
michel
|
 |
|
Доказать равенство (Теория множеств)
|
pikro11 |
1 |
49 |
28 дек 2020, 18:30
Andy
|
 |
|
Доказательства каждой клаузы тремя способами
|
kiberbull |
0 |
42 |
28 дек 2020, 18:17
kiberbull
|
 |
|
КНФ тавтологии
|
Ellipsoid |
2 |
67 |
27 дек 2020, 17:15
Ellipsoid
|
 |
|
Исследовать бинарное отношение
|
Xellos |
0 |
58 |
27 дек 2020, 13:09
Xellos
|
 |
|
Построить нормально вычислимые функции
|
Alina_19 |
0 |
46 |
27 дек 2020, 11:18
Alina_19
|
 |
 |
Вероятность ошибочного декодирования
|
ferdelans31 |
0 |
31 |
26 дек 2020, 20:46
ferdelans31
|
 |
 |
Примитивная рекурсивность функций
|
zagir_q |
1 |
88 |
26 дек 2020, 18:25
3D Homer
|
 |
|
Дать пример функции и последовательности
|
Molotov |
1 |
50 |
26 дек 2020, 18:18
3D Homer
|
 |
|
Отрицание выражений
|
K1b0rg |
4 |
89 |
26 дек 2020, 18:14
3D Homer
|
 |
|
Доказать, что высказывание ложно
|
artem2006 |
1 |
64 |
26 дек 2020, 18:08
3D Homer
|
|