|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
|
Лекции по математической логике
|
Alexdemath |
2 |
4241 |
09 янв 2016, 03:23
prof_an 
|
| Темы |
 |
|
Задача: разработать функцию
[  На страницу: 1, 2 ]
|
q250 |
10 |
133 |
04 дек 2023, 04:30
q250
|
|
|
Эквивалентные преобразования СКНФ
|
w33haa |
1 |
112 |
01 дек 2023, 13:42
Niemand
|
|
 |
Математическая логика и теория алгоритмов
|
LaMa |
0 |
47 |
27 ноя 2023, 21:49
LaMa
|
|
|
Классы поста
|
kater404 |
2 |
63 |
27 ноя 2023, 01:43
3D Homer
|
|
|
Сколько существует последовательностей длины n из цифр от 1
|
tanyhaftv |
0 |
57 |
17 ноя 2023, 16:53
tanyhaftv
|
|
 |
Двойные скобки в множестве
[ На страницу: 1, 2 ]
|
dovakinessa |
11 |
147 |
05 ноя 2023, 18:16
3D Homer
|
|
|
Доказать общезначимость в логике второго порядка
|
Ellipsoid |
1 |
50 |
05 ноя 2023, 13:30
Ellipsoid
|
|
|
Логика второго порядка. Общезначимость
|
Ellipsoid |
2 |
80 |
05 ноя 2023, 13:29
Ellipsoid
|
|
|
Пример элементов ряда, найти для решения, сокращённую сумму,
|
oleg dmitryevx |
5 |
126 |
01 ноя 2023, 11:09
dr Watson
|
|
|
Перечислить все минимальные подсистемы
|
koles_b |
1 |
51 |
25 окт 2023, 22:36
3D Homer
|
|
|
Как устроены свойства бинарных отношений?
[ На страницу: 1, 2 ]
|
mrjbom |
18 |
122 |
23 окт 2023, 00:43
mrjbom
|
|
|
Идемпотенты в кольце
|
koles_b |
3 |
92 |
19 окт 2023, 18:11
FBI2
|
|
|
Elementary Geometric Reduction
|
qj851 |
1 |
62 |
07 окт 2023, 14:17
MihailM
|
|
|
Задача оптимального распределения ресурсов
|
DmitryRUS90 |
2 |
68 |
03 окт 2023, 16:20
DmitryRUS90
|
|
|
Дано множество вида А={а, b, с, d}. Укажите верные записи
|
wiwiwi |
0 |
67 |
25 сен 2023, 12:41
wiwiwi
|
|
|
Вывести одну операцию через другие
|
AGL |
2 |
68 |
20 сен 2023, 01:21
3D Homer
|
|
|
Укажите верны ли равенства
|
wiwiwi |
1 |
92 |
16 сен 2023, 16:36
Pirinchily
|
|
 |
Из предпорядка в эквивалентность
|
adsfgatesrhdtjfy |
2 |
97 |
14 сен 2023, 16:10
MihailM
|
|
|
Общезначимость в логике предикатов первого порядка
|
Ellipsoid |
4 |
71 |
13 сен 2023, 21:55
Ellipsoid
|
|
|
Применение теории графов
|
givigudze |
0 |
71 |
10 сен 2023, 08:31
givigudze
|
|
|
Правило пронесения квантора общности через дизъюнкцию
|
Ellipsoid |
4 |
78 |
08 сен 2023, 23:38
Ellipsoid
|
|
|
Поиск минимального пути в графе
|
Ramirobass |
6 |
87 |
08 сен 2023, 17:51
Booker48
|
|
|
Доказать
|
Kaiser |
2 |
80 |
08 сен 2023, 15:46
revos
|
|
|
Представление Кэли
|
Morody |
0 |
59 |
06 сен 2023, 23:05
Morody
|
|
|
Составить логическую форму рассуждения
|
mrjbom |
0 |
71 |
05 сен 2023, 13:36
mrjbom
|
|
|
Инъекция числовых множеств
[ На страницу: 1, 2 ]
|
adsfgatesrhdtjfy |
11 |
196 |
03 сен 2023, 23:10
adsfgatesrhdtjfy
|
|
|
Биекция
[ На страницу: 1, 2, 3 ]
|
adsfgatesrhdtjfy |
23 |
394 |
03 сен 2023, 22:48
Booker48
|
|
|
Теория автоматов (доказательство тождеств)
|
Ramil987 |
3 |
217 |
11 авг 2023, 17:10
Ramil987
|
|
|
Одна теорема об общезначимости
|
Ellipsoid |
3 |
120 |
07 авг 2023, 11:48
Ellipsoid
|
|
|
Термины
|
maksim-maksim |
4 |
129 |
16 июл 2023, 15:47
Booker48
|
|
|
Замыкание в дискретной математ
|
What-is-love |
2 |
211 |
28 июн 2023, 16:47
3D Homer
|
|
|
Найти число целых положительных чисел от 1454 до 15549 включ
|
tanyhaftv |
1 |
110 |
10 июн 2023, 00:31
3D Homer
|
|
|
Задачки Зорича
|
vvolka643 |
3 |
235 |
05 июн 2023, 15:47
3D Homer
|
|
|
Упростить
|
carti539 |
2 |
101 |
05 июн 2023, 14:35
3D Homer
|
|
|
Снова Зорич
[ На страницу: 1, 2 ]
|
vvolka643 |
15 |
376 |
31 май 2023, 16:33
3D Homer
|
|
|
Правило введения конъюнкции в исчислении высказываний
|
Ellipsoid |
0 |
111 |
18 май 2023, 22:02
Ellipsoid
|
|
|
Подсистема координат Решеток
|
mezon79 |
1 |
72 |
18 май 2023, 19:18
MihailM
|
|
|
Дискретная математика
|
Menzi |
1 |
112 |
18 май 2023, 18:47
MurChik
|
|
|
Абстрактная теория автоматов
|
Ramil987 |
0 |
89 |
17 май 2023, 17:03
Ramil987
|
|
|
Вопросы по нотации теории множеств
|
ivashenko |
0 |
120 |
26 апр 2023, 23:14
ivashenko
|
|
|
Вход
Регистрация
Альбомы
FAQ
Поиск
![Новые сообщения [ Популярная тема ]](./styles/subsilver2-modded/imageset/topic_unread_hot.gif "Новые сообщения [ Популярная тема ]"){kind=small}
![Нет новых сообщений [ Популярная тема ]](./styles/subsilver2-modded/imageset/topic_read_hot.gif "Нет новых сообщений [ Популярная тема ]"){kind=small}
![Новые сообщения [ Тема закрыта ]](./styles/subsilver2-modded/imageset/topic_unread_locked.gif "Новые сообщения [ Тема закрыта ]"){kind=small}
![Нет новых сообщений [ Тема закрыта ]](./styles/subsilver2-modded/imageset/topic_read_locked.gif "Нет новых сообщений [ Тема закрыта ]"){kind=small}
