|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
|
Лекции по математической логике
|
Alexdemath |
2 |
4458 |
09 янв 2016, 03:23
prof_an
|
| Темы |
 |
|
Рекурсивные функции
|
Stasya7 |
1 |
317 |
12 ноя 2015, 20:56
3D Homer
|
 |
|
Полином жегалкина
|
Kefir17 |
2 |
1450 |
11 ноя 2015, 02:13
Ellipsoid
|
 |
|
Проверка переключательной схемы
|
progrart |
2 |
262 |
07 ноя 2015, 20:42
mad_math
|
 |
|
Метод Квайна-Мак-Класки
|
progrart |
0 |
330 |
07 ноя 2015, 20:30
progrart
|
 |
|
Визуально-матричный метод нахождения минимальной ДНФ
|
progrart |
2 |
448 |
07 ноя 2015, 20:17
progrart
|
 |
|
Задача коммивояжера с использованием алгоритма Флойда
|
rny |
0 |
413 |
07 ноя 2015, 13:50
rny
|
 |
|
Методом равносильных преобразований привести к СКНФ
|
bonny |
6 |
637 |
06 ноя 2015, 18:05
Ellipsoid
|
 |
|
Получить все следствия из посылок
|
Wyrf |
7 |
1791 |
05 ноя 2015, 13:46
mad_math
|
 |
|
Являються ли следующие утверждения верными
|
Kosta |
4 |
388 |
04 ноя 2015, 17:57
Kosta
|
 |
|
Найти коэффициент при x, используя производящую функцию
|
Kvayzer |
7 |
963 |
03 ноя 2015, 17:26
Boris Skovoroda
|
 |
|
Построить ДНФ и КНФ
|
progrart |
3 |
458 |
02 ноя 2015, 01:18
Ellipsoid
|
 |
|
Силлогизмы и круги Эйлера
|
Rina_Taylor |
1 |
767 |
02 ноя 2015, 00:34
Ellipsoid
|
 |
|
Свойства бинарных отношений на множестве N^2
|
Piteryo |
1 |
811 |
01 ноя 2015, 21:17
3D Homer
|
 |
|
Привести функцию к СКНФ
|
alexandrnsk |
1 |
285 |
01 ноя 2015, 00:13
Ellipsoid
|
 |
|
Количество слов
|
spins06 |
3 |
471 |
31 окт 2015, 18:47
Boris Skovoroda
|
 |
|
Установить, является ли данное рассуждение правильным
|
Maxim30 |
8 |
1757 |
31 окт 2015, 00:49
Maxim30
|
 |
|
Количество комбинаций сумм из заданных чисел
|
Volodislavir |
0 |
376 |
30 окт 2015, 03:17
Volodislavir
|
 |
|
Установить, является ли данная формула тождественно-истинной
[ На страницу: 1, 2 ]
|
Maxim30 |
10 |
1620 |
29 окт 2015, 10:59
Maxim30
|
 |
|
Работа с высказыванием.Матлогика
|
Maxim30 |
8 |
1185 |
28 окт 2015, 22:43
Maxim30
|
 |
|
Исправление ошибок в кодовых словах
|
ymva |
0 |
398 |
27 окт 2015, 16:53
ymva
|
 |
|
Доказать,что возможно найти крат. путь в графе за O(|V|+|E|)
|
duducai007 |
0 |
299 |
27 окт 2015, 14:18
duducai007
|
 |
|
Рад буду выслушать ваши идеи (алгоритмы) для :
|
duducai007 |
0 |
313 |
27 окт 2015, 14:14
duducai007
|
 |
|
Найти х и у
|
batmax |
4 |
376 |
27 окт 2015, 11:22
michel
|
 |
|
Вычислить группу Aut AutZ5
[ На страницу: 1, 2 ]
|
LonelyGamer |
10 |
5911 |
26 окт 2015, 19:11
swan
|
 |
|
Почему Z15 не изоморфна Z8?
|
LonelyGamer |
3 |
419 |
26 окт 2015, 17:26
LonelyGamer
|
 |
|
Бином Ньютона
|
batmax |
1 |
653 |
26 окт 2015, 13:19
michel
|
 |
|
Множества, 11 задач
|
lazebny |
3 |
356 |
26 окт 2015, 11:44
Andy
|
 |
 |
График функций
|
batmax |
1 |
575 |
25 окт 2015, 20:48
Anatole
|
 |
|
Найти кратчайшее остовное дерево графа
[ На страницу: 1, 2 ]
|
Lina2104 |
14 |
733 |
25 окт 2015, 16:45
Analitik
|
 |
|
Решить задачу, используя алгебру логики
|
Sweet_blood |
9 |
1209 |
25 окт 2015, 14:32
ExtreMaLLlka
|
 |
|
Упрощение СДНФ
|
GreeF |
3 |
467 |
25 окт 2015, 12:39
GreeF
|
 |
|
Построить Днф или Кнф
|
antonvers |
0 |
346 |
25 окт 2015, 11:54
antonvers
|
 |
|
Поиск количества вариантов
|
Maruu |
0 |
276 |
25 окт 2015, 00:19
Maruu
|
 |
|
Монотонность булевых функций
|
XDDMZX |
1 |
1621 |
23 окт 2015, 18:36
3D Homer
|
 |
|
Формализация высказывания и нахождение КНФ, ДНФ, СКНФ, СДНФ
|
Wyrf |
3 |
1192 |
23 окт 2015, 15:07
mad_math
|
 |
|
Лемма о накачке
|
Stasya7 |
1 |
244 |
23 окт 2015, 12:26
3D Homer
|
 |
 |
Исследовать систему функций на полноту
|
Arklaif |
1 |
302 |
20 окт 2015, 18:54
Analitik
|
 |
|
Объясните разбиение цикла на транспозиции
|
LonelyGamer |
4 |
465 |
20 окт 2015, 08:28
LonelyGamer
|
 |
|
Получить сокращенную ДНФ с помощью алгоритма Квайна
|
Arklaif |
0 |
241 |
19 окт 2015, 21:55
Arklaif
|
 |
|
Регулярность языка
|
Stasya7 |
2 |
758 |
16 окт 2015, 12:52
3D Homer
|
|
|