|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
|
Лекции по математической логике
|
Alexdemath |
2 |
4458 |
09 янв 2016, 03:23
prof_an
|
| Темы |
 |
|
Доказать формулу методом резолюций
|
vlaste |
1 |
272 |
20 ноя 2016, 14:20
vlaste
|
 |
|
Проверить решение
|
vlaste |
1 |
256 |
20 ноя 2016, 10:55
Ellipsoid
|
 |
|
Тупик в решении предваренной нормальной формы
[ На страницу: 1, 2 ]
|
vlaste |
10 |
834 |
19 ноя 2016, 23:29
vlaste
|
 |
|
Представить в виде полинома Жегалкина
|
Alcantara |
7 |
680 |
19 ноя 2016, 20:02
Ellipsoid
|
 |
|
Декартово произведение
|
BeyondBirthday |
2 |
456 |
18 ноя 2016, 17:22
3D Homer
|
 |
|
Доказать, что множество является полугруппой
|
irinawk |
2 |
737 |
14 ноя 2016, 12:44
Radley
|
 |
|
Предваренная нормальная форма и стандартная форма Скулема
|
vlaste |
0 |
949 |
12 ноя 2016, 13:46
vlaste
|
 |
|
Исчисление предикатов методом резолюций
|
vlaste |
0 |
448 |
12 ноя 2016, 08:40
vlaste
|
 |
|
Логика предикатов
|
zapisator |
6 |
440 |
11 ноя 2016, 11:22
Ellipsoid
|
 |
|
Инъективность Функции
[ На страницу: 1, 2 ]
|
BeyondBirthday |
11 |
991 |
10 ноя 2016, 09:22
Andy
|
 |
|
Вопрос про графы (сорян если разделом ошибся)
|
NLegion |
0 |
180 |
09 ноя 2016, 18:30
NLegion
|
 |
|
Доказательство свойств замкнутых классов
|
Elhanan |
1 |
1247 |
06 ноя 2016, 20:03
3D Homer
|
 |
|
Алгебра логики. Не понимаю задание
|
MariaVic |
3 |
297 |
06 ноя 2016, 19:53
3D Homer
|
 |
|
Доказательство.монотонной функции
|
MariaVic |
1 |
300 |
06 ноя 2016, 19:46
3D Homer
|
 |
|
Группа подстановок
|
Nairi |
1 |
515 |
06 ноя 2016, 12:04
3D Homer
|
 |
|
Эквивалентность групп
|
dona_9 |
1 |
346 |
06 ноя 2016, 10:53
3D Homer
|
 |
|
Эквивалентность моделей
|
dona_9 |
3 |
399 |
06 ноя 2016, 10:51
3D Homer
|
 |
|
Доказать тождество
|
helpmeplis |
7 |
562 |
05 ноя 2016, 14:28
3D Homer
|
 |
|
Как Доказать?
|
BeyondBirthday |
3 |
231 |
04 ноя 2016, 12:35
Andy
|
 |
|
Обобщенный алгоритм Евклида
|
Knyazhskiy |
1 |
365 |
03 ноя 2016, 22:57
3D Homer
|
 |
|
Множество. Дискретная математика
|
fagot48 |
1 |
245 |
03 ноя 2016, 02:46
3D Homer
|
 |
|
Как Доказать?
|
BeyondBirthday |
1 |
329 |
03 ноя 2016, 01:24
Ellipsoid
|
 |
|
Эквивалентность СДНФ и СКНФ
|
Renton80 |
1 |
1002 |
03 ноя 2016, 01:19
Ellipsoid
|
 |
|
Последовательность
[ На страницу: 1, 2, 3 ]
|
Genius |
25 |
1616 |
28 окт 2016, 19:16
Grigory110
|
 |
|
Возможна ли цепь нулевой длины?
|
roboq6 |
1 |
441 |
28 окт 2016, 17:34
3D Homer
|
 |
|
Теорема Эрбрана
|
famesyasd |
1 |
462 |
28 окт 2016, 17:16
3D Homer
|
 |
|
Нормальная интерпретация сигнатуры
|
famesyasd |
1 |
411 |
28 окт 2016, 16:31
3D Homer
|
 |
|
Найдите член разложения не содержащий z
|
Exae |
2 |
431 |
28 окт 2016, 14:34
Andy
|
 |
|
Из теории выводимы только замкнутые формулы?
|
famesyasd |
1 |
191 |
27 окт 2016, 17:52
3D Homer
|
 |
|
Задание по теории алгоритмов
[ На страницу: 1, 2 ]
|
melika |
10 |
512 |
26 окт 2016, 23:02
melika
|
 |
|
Громоздкое доказательство, можно ли упростить?
|
roboq6 |
2 |
371 |
25 окт 2016, 06:37
roboq6
|
 |
|
Планарность определенная через стягивание даёт противоречие
[ На страницу: 1, 2 ]
|
roboq6 |
10 |
769 |
24 окт 2016, 19:43
3D Homer
|
 |
|
Неподвижные точки
|
Marka |
2 |
207 |
24 окт 2016, 19:20
searcher
|
 |
|
Константные символы и термы
|
famesyasd |
1 |
376 |
20 окт 2016, 21:34
3D Homer
|
 |
|
Свойства бинарного отношения
|
Narsky |
0 |
228 |
19 окт 2016, 17:00
Narsky
|
 |
|
Множества
|
DeD |
3 |
254 |
19 окт 2016, 11:48
Radley
|
 |
|
Доказательства
|
DeD |
9 |
448 |
18 окт 2016, 20:23
Andy
|
 |
|
Теория множеств
|
Avrora |
7 |
403 |
17 окт 2016, 18:00
Avrora
|
 |
|
Решить реккурентность
|
3oidberg |
0 |
217 |
15 окт 2016, 20:43
3oidberg
|
 |
|
Вывод закона контрапозиции
|
famesyasd |
3 |
853 |
15 окт 2016, 01:40
3D Homer
|
|
|