|
Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
Объявления |
|
|
Лекции по математической логике
|
Alexdemath |
2 |
4284 |
09 янв 2016, 03:23
prof_an
|
Темы |
|
|
Алгоритмы планарности
|
Vlad7899 |
1 |
29 |
27 мар 2024, 11:13
Booker48
|
|
|
Обозначение символа (теория множеств)
|
Chaynik_ |
1 |
57 |
25 мар 2024, 10:36
Booker48
|
|
|
Формальная логика
|
maksim-maksim |
1 |
38 |
24 мар 2024, 12:08
maksim-maksim
|
|
|
Правильно ли разбил составное высказывание на простые?
|
mathmylife |
4 |
38 |
23 мар 2024, 01:40
MihailM
|
|
|
Найти сумму сочетаний
[ На страницу: 1, 2 ]
|
Maximka2525256 |
10 |
115 |
18 мар 2024, 22:09
revos
|
|
|
Множества
[ На страницу: 1, 2, 3, 4 ]
|
maksim-maksim |
30 |
216 |
16 мар 2024, 22:45
maksim-maksim
|
|
|
Уравнение
|
mathmylife |
3 |
107 |
29 фев 2024, 12:57
Booker48
|
|
|
Счётность множества всех подмножеств счетного множества
|
Uebermarginal |
4 |
111 |
27 фев 2024, 08:06
aze1959
|
|
|
Формула
|
Anastasiia_N |
1 |
82 |
25 фев 2024, 13:42
MurChik
|
|
|
Графы
|
bot matematik |
2 |
70 |
17 фев 2024, 17:16
MihailM
|
|
|
Как формализовывают задачи?
|
Tupoy Seluk |
6 |
93 |
14 фев 2024, 22:55
Tupoy Seluk
|
|
|
Графы.ориентированные и неориентированные
|
maksim-maksim |
4 |
71 |
08 фев 2024, 22:45
Booker48
|
|
|
Частичные порядки
|
Egor1243252 |
1 |
68 |
08 фев 2024, 01:59
3D Homer
|
|
|
Привести пример частичного порядка
|
Egor1243252 |
0 |
35 |
07 фев 2024, 23:47
Egor1243252
|
|
|
Грамматика. Формальные языки
|
BEZMOZGLIY |
1 |
60 |
07 фев 2024, 20:05
3D Homer
|
|
|
Поиск путей
|
Ivan Kalita |
1 |
140 |
07 фев 2024, 01:06
MihailM
|
|
|
Теория многообразий Кантора
[ На страницу: 1, 2, 3, 4, 5 ]
|
aze1959 |
49 |
286 |
05 фев 2024, 21:17
aze1959
|
|
|
Операции над множествами
|
kristalliks |
6 |
182 |
15 янв 2024, 16:08
kristalliks
|
|
|
Нормальная форма Сколема
|
____aifon |
1 |
44 |
13 янв 2024, 23:38
3D Homer
|
|
|
Доказать выводимость секвенций
|
nikita_2004 |
1 |
51 |
05 янв 2024, 04:48
nikita_2004
|
|
|
Задача по дискретной математике
|
gfsfjiejksjdflksdf |
1 |
111 |
26 дек 2023, 20:55
Andy
|
|
|
Построить грамматику
|
carti539 |
5 |
85 |
24 дек 2023, 21:59
3D Homer
|
|
|
Задача по дискрет математике
|
gfsfjiejksjdflksdf |
1 |
63 |
24 дек 2023, 19:56
3D Homer
|
|
|
Решение задачи с помощью кругов Эйлера
|
kristalliks |
4 |
135 |
18 дек 2023, 13:09
kristalliks
|
|
|
Автомат Мили
|
Knyazhe |
1 |
281 |
11 дек 2023, 12:11
Denis59rus
|
|
|
Задача: разработать функцию
[ На страницу: 1, 2 ]
|
q250 |
10 |
208 |
04 дек 2023, 04:30
q250
|
|
|
Эквивалентные преобразования СКНФ
|
w33haa |
1 |
138 |
01 дек 2023, 13:42
Niemand
|
|
|
Математическая логика и теория алгоритмов
|
LaMa |
0 |
80 |
27 ноя 2023, 21:49
LaMa
|
|
|
Классы поста
|
kater404 |
2 |
88 |
27 ноя 2023, 01:43
3D Homer
|
|
|
Сколько существует последовательностей длины n из цифр от 1
|
tanyhaftv |
0 |
100 |
17 ноя 2023, 16:53
tanyhaftv
|
|
|
Двойные скобки в множестве
[ На страницу: 1, 2 ]
|
dovakinessa |
11 |
198 |
05 ноя 2023, 18:16
3D Homer
|
|
|
Доказать общезначимость в логике второго порядка
|
Ellipsoid |
1 |
73 |
05 ноя 2023, 13:30
Ellipsoid
|
|
|
Логика второго порядка. Общезначимость
|
Ellipsoid |
2 |
126 |
05 ноя 2023, 13:29
Ellipsoid
|
|
|
Пример элементов ряда, найти для решения, сокращённую сумму,
|
oleg dmitryevx |
5 |
180 |
01 ноя 2023, 11:09
dr Watson
|
|
|
Перечислить все минимальные подсистемы
|
koles_b |
1 |
119 |
25 окт 2023, 22:36
3D Homer
|
|
|
Как устроены свойства бинарных отношений?
[ На страницу: 1, 2 ]
|
mrjbom |
18 |
146 |
23 окт 2023, 00:43
mrjbom
|
|
|
Идемпотенты в кольце
|
koles_b |
3 |
157 |
19 окт 2023, 18:11
FBI2
|
|
|
Elementary Geometric Reduction
|
qj851 |
1 |
80 |
07 окт 2023, 14:17
MihailM
|
|
|
Задача оптимального распределения ресурсов
|
DmitryRUS90 |
2 |
87 |
03 окт 2023, 16:20
DmitryRUS90
|
|
|
Дано множество вида А={а, b, с, d}. Укажите верные записи
|
wiwiwi |
0 |
104 |
25 сен 2023, 12:41
wiwiwi
|
|