|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
|
Лекции по математической логике
|
Alexdemath |
2 |
4458 |
09 янв 2016, 03:23
prof_an
|
| Темы |
 |
|
Правило подстановки в ИВ
|
famesyasd |
3 |
529 |
15 окт 2016, 01:10
3D Homer
|
 |
|
Как избавиться от дизъюнкции в формуле?
|
famesyasd |
1 |
550 |
15 окт 2016, 00:52
3D Homer
|
 |
|
Вспомогательные правила вывода ИВ
|
famesyasd |
1 |
311 |
15 окт 2016, 00:46
3D Homer
|
 |
|
Исчисление высказываний
|
famesyasd |
8 |
648 |
15 окт 2016, 00:23
3D Homer
|
 |
|
Дискретное логарифмирование
|
Question |
2 |
373 |
14 окт 2016, 16:40
Question
|
 |
|
Множества
|
DeD |
2 |
293 |
13 окт 2016, 16:12
DeD
|
 |
|
Задача об неорграфах однородных степени 2
|
roboq6 |
3 |
238 |
13 окт 2016, 15:28
roboq6
|
 |
|
Изобразить на диаграммах Эйлера-Венна
|
rastorona |
1 |
429 |
12 окт 2016, 09:28
Andy
|
 |
|
Решение уравнений и системы уравнений (множества)
|
GavrilovArtem |
0 |
729 |
09 окт 2016, 17:39
GavrilovArtem
|
 |
|
Функция для которой f(x + y) = f(x) + f(y)
|
famesyasd |
1 |
264 |
08 окт 2016, 18:23
swan
|
 |
|
Смежность и инцидентность петель
|
roboq6 |
3 |
254 |
05 окт 2016, 13:16
roboq6
|
 |
|
Множества
|
DeD |
3 |
316 |
05 окт 2016, 12:23
radix
|
 |
|
Теория чисел
|
DeD |
6 |
352 |
05 окт 2016, 11:58
Andy
|
 |
|
Правильно ли я понимаю почему эти ассиметричные формулы КНФ?
|
roboq6 |
4 |
346 |
04 окт 2016, 18:21
mad_math
|
 |
|
Множество, имеющее континуум различных автоморфизмов
|
famesyasd |
9 |
506 |
04 окт 2016, 07:43
swan
|
 |
|
Несколько стрелок Пирса без скобок
|
Loiande |
2 |
316 |
02 окт 2016, 20:25
3D Homer
|
 |
|
Изоморфизм множеств
|
famesyasd |
9 |
762 |
01 окт 2016, 20:28
swan
|
 |
|
Отношение предпорядка на множестве
|
famesyasd |
7 |
602 |
30 сен 2016, 16:25
3D Homer
|
 |
|
Зачем менять квантор при пронесении через импликацию?
[ На страницу: 1, 2 ]
|
roboq6 |
14 |
899 |
28 сен 2016, 17:45
roboq6
|
 |
|
Наборы условий
[ На страницу: 1, 2 ]
|
Marod |
10 |
834 |
28 сен 2016, 13:00
radix
|
 |
|
Взаимное расположение множеств
|
Marod |
5 |
1681 |
28 сен 2016, 11:50
Andy
|
 |
|
Классы Поста
|
joji |
1 |
650 |
28 сен 2016, 00:22
3D Homer
|
 |
|
Мощность множеств и бинарное отображение
|
imperceptible |
3 |
549 |
27 сен 2016, 23:44
imperceptible
|
 |
|
Сети Петри + информационная безопасность
|
80LevelElf |
0 |
277 |
27 сен 2016, 01:15
80LevelElf
|
 |
|
Множество всех бесконечных последовательностей действ. чисел
[ На страницу: 1, 2 ]
|
famesyasd |
17 |
2304 |
25 сен 2016, 17:37
searcher
|
 |
|
Кванторы, простая задача
|
Petr96 |
2 |
404 |
25 сен 2016, 14:57
Petr96
|
 |
|
Теория множеств и включения
|
Marod |
3 |
675 |
23 сен 2016, 20:17
3D Homer
|
 |
|
Почему нельзя убрать второй квантор этой эквиваленции?
|
roboq6 |
3 |
393 |
22 сен 2016, 15:03
3D Homer
|
 |
 |
Справедливы ли утверждения
[ На страницу: 1, 2 ]
|
AnaK |
13 |
855 |
20 сен 2016, 14:53
Andy
|
 |
|
Показать, что ℵ0 × c = c
|
famesyasd |
0 |
209 |
20 сен 2016, 09:07
famesyasd
|
 |
|
Найти P1oP2
|
lolopop12 |
1 |
186 |
19 сен 2016, 09:02
Andy
|
 |
|
Транзитивность сравнения мощностей множеств
|
famesyasd |
1 |
286 |
19 сен 2016, 07:08
swan
|
 |
|
Множество задать общим свойством
|
lolopop12 |
1 |
258 |
18 сен 2016, 11:00
Andy
|
 |
|
Демидович, задание номер 5
|
EgorSe |
2 |
611 |
18 сен 2016, 10:10
EgorSe
|
 |
|
Объединение счетного числа счетных множеств счетно
|
famesyasd |
3 |
2233 |
17 сен 2016, 15:08
3D Homer
|
 |
|
Равенство множеств
|
famesyasd |
8 |
567 |
15 сен 2016, 19:22
famesyasd
|
 |
|
Построить машину Тьюринга
|
juju-zyu |
1 |
498 |
15 сен 2016, 15:13
Human
|
 |
|
Изобразить на координатной плоскости множество
|
riabokon_a |
9 |
609 |
13 сен 2016, 15:30
sergebsl
|
 |
|
Счётное множество
|
Stasya7 |
5 |
360 |
10 сен 2016, 20:42
ivashenko
|
 |
|
Хаусдорфово пространство
[ На страницу: 1, 2, 3, 4 ]
|
Knyazhskiy |
39 |
1840 |
24 авг 2016, 21:21
ivashenko
|
|
|