|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
|
Лекции по математической логике
|
Alexdemath |
2 |
4458 |
09 янв 2016, 03:23
prof_an
|
| Темы |
 |
|
Комбинаторика
|
MAXHO228 |
1 |
239 |
05 апр 2017, 14:22
Anatole
|
 |
|
Является ли алгебра кольцом, полем
|
kirpich |
6 |
496 |
03 апр 2017, 22:07
3D Homer
|
 |
 |
Диаграмма Вена, инфиксная форма, граф матрицей инцидентности
|
Tireb Binka |
0 |
239 |
29 мар 2017, 13:01
Tireb Binka
|
 |
|
Составить таблицы истинности для следующих формул
|
donposeidon |
1 |
328 |
28 мар 2017, 21:59
donposeidon
|
 |
|
Математическая индукция вопрос про последний этап
|
Vitale |
1 |
332 |
28 мар 2017, 13:06
3D Homer
|
 |
|
Размышления по поводу теории шести рукопожатий
|
ihtio_ejik |
0 |
328 |
28 мар 2017, 00:12
ihtio_ejik
|
 |
|
Доказать исчисление высказывание по аксиомам
|
volseb |
0 |
237 |
25 мар 2017, 13:30
volseb
|
 |
|
Метод резолюции
|
Asia fox |
2 |
242 |
23 мар 2017, 22:10
searcher
|
 |
|
Теорема дедукции
|
tashaj7 |
0 |
168 |
22 мар 2017, 20:01
tashaj7
|
 |
|
Проверить на отношение эквивалентности a R b
|
blackgold44441 |
1 |
258 |
22 мар 2017, 07:58
Radley
|
 |
|
Найти кнф,днф,скнф и сднф
|
VICTORQQQQ |
3 |
496 |
21 мар 2017, 11:37
Ellipsoid
|
 |
|
Найти общее решение
|
blackgold44441 |
1 |
293 |
20 мар 2017, 22:07
Ellipsoid
|
 |
|
Доказать ,что множество полученное обьединением счетного
|
ttisn |
1 |
188 |
18 мар 2017, 13:39
swan
|
 |
|
Доказательство клаузы
|
iren-samara86 |
1 |
326 |
17 мар 2017, 19:13
3D Homer
|
 |
|
Приоритет логических операций
|
kristi808 |
6 |
631 |
17 мар 2017, 04:51
dr Watson
|
 |
|
Префиксная формула логической функции в инфиксной форме
|
yana769 |
1 |
581 |
14 мар 2017, 17:54
3D Homer
|
 |
|
Построить высказывание
[ На страницу: 1, 2 ]
|
melika |
16 |
647 |
14 мар 2017, 06:43
Andy
|
 |
|
Исчисление предикатов
|
Asia fox |
0 |
226 |
13 мар 2017, 20:57
Asia fox
|
 |
|
Выполнить операции с множествами
|
Vladislav374 |
9 |
431 |
12 мар 2017, 04:30
dr Watson
|
 |
|
Построить булеву алгебру
|
kristi808 |
0 |
319 |
10 мар 2017, 21:45
kristi808
|
 |
|
Выразить одно из другого по хитрому)
|
Alena92 |
1 |
241 |
10 мар 2017, 21:08
Ellipsoid
|
 |
|
Логика предикатов
|
Asia fox |
7 |
668 |
10 мар 2017, 05:06
dr Watson
|
 |
|
Ребят простенький вопрос на да или нет
|
RaiN |
1 |
263 |
09 мар 2017, 18:14
3D Homer
|
 |
|
Алгебра предикатов
|
Asia fox |
2 |
371 |
08 мар 2017, 23:34
Asia fox
|
 |
|
Метод резолюции
|
Asia fox |
1 |
305 |
08 мар 2017, 22:41
Ellipsoid
|
 |
 |
Требуется максимально упростить данное выражение
|
Dilineddra |
1 |
209 |
02 мар 2017, 20:01
3D Homer
|
 |
|
Инъективность, сюрьективность, биективность
|
Rakf |
1 |
780 |
26 фев 2017, 18:32
Ellipsoid
|
 |
|
Чему равно выражение?
|
Elsey |
3 |
580 |
23 фев 2017, 16:19
Elsey
|
 |
|
Решить рекуррентное соотношение
|
Dreddy |
1 |
612 |
22 фев 2017, 15:58
Ellipsoid
|
 |
|
Построение сетевого графа
|
protofan |
4 |
418 |
22 фев 2017, 06:31
Andy
|
 |
|
Доказать, что высказывание ложно
|
Alena92 |
4 |
304 |
21 фев 2017, 18:32
3D Homer
|
 |
|
Определить значение высказывания, из трѐхместного предиката
|
MaGnuS111 |
3 |
604 |
21 фев 2017, 07:49
dr Watson
|
 |
|
Решить неоднородные рекуррентные соотношения
|
MaGnuS111 |
3 |
603 |
21 фев 2017, 03:20
dr Watson
|
 |
|
Круги Эйлера
|
jeliza_rosa |
1 |
388 |
17 фев 2017, 13:14
Ellipsoid
|
 |
|
Задачи по комбинаторике
|
contours |
0 |
361 |
15 фев 2017, 20:27
contours
|
 |
|
Почему для " A = { q1 + q2 | q1, q2 ∈ Q } "являются верными
|
dreammilord |
3 |
379 |
14 фев 2017, 06:47
dr Watson
|
 |
|
Композиция рефлексивных отношений
|
diofant |
1 |
752 |
14 фев 2017, 04:17
dr Watson
|
 |
|
Решить систему множеств.
|
mindfure |
1 |
216 |
12 фев 2017, 09:47
neurocore
|
 |
|
Сумма кубов биномиальных коэффициентов (числа Франеля)
|
ROFLail |
1 |
334 |
11 фев 2017, 07:17
swan
|
 |
|
Знак включения и импликация (Вопрос)
|
EvilNintendo |
2 |
434 |
07 фев 2017, 18:48
Ellipsoid
|
|
|