|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
|
Лекции по математической логике
|
Alexdemath |
2 |
4458 |
09 янв 2016, 03:23
prof_an
|
| Темы |
 |
|
Не могу понять определение.
|
kyle22 |
3 |
563 |
16 мар 2016, 00:36
3D Homer
|
 |
|
Карты Карно
|
manchester_alan |
2 |
371 |
14 мар 2016, 14:10
3D Homer
|
 |
 |
Система соотношений
|
mattbew |
1 |
414 |
12 мар 2016, 18:46
mattbew
|
 |
|
Логика в теории множеств
|
anderlo |
9 |
473 |
12 мар 2016, 00:06
3D Homer
|
 |
|
Задача на графы. В чем ошибка?
|
toreto |
2 |
268 |
10 мар 2016, 12:06
michel
|
 |
|
РКС
|
manchester_alan |
3 |
296 |
09 мар 2016, 20:42
Andy
|
 |
|
Можете привести примеры транзитивных замыканий?
|
sfanter |
1 |
367 |
09 мар 2016, 01:17
3D Homer
|
 |
|
Как построить модель случайного графа?
|
4el1 |
1 |
279 |
08 мар 2016, 00:00
4el1
|
 |
 |
ДНФ и КНФ
|
manchester_alan |
4 |
205 |
07 мар 2016, 16:26
manchester_alan
|
 |
|
Как задать отношение?
|
sfanter |
1 |
261 |
06 мар 2016, 22:43
Andy
|
 |
|
Как доделать задание?
|
sfanter |
2 |
243 |
06 мар 2016, 21:46
3D Homer
|
 |
|
Как вычислить транзитивное замыкание?
|
sfanter |
1 |
333 |
06 мар 2016, 09:54
swan
|
 |
|
Множества
[ На страницу: 1, 2 ]
|
rfgbnfkbyf |
16 |
809 |
06 мар 2016, 06:59
Andy
|
 |
|
Транзитивное замыкание
|
kyle22 |
2 |
440 |
03 мар 2016, 22:56
kyle22
|
 |
|
МДНФ
|
a_ksu |
0 |
263 |
02 мар 2016, 14:11
a_ksu
|
 |
|
Доказать 2 утверждения про мультиграфы и псевдографы
|
Piteryo |
0 |
627 |
01 мар 2016, 00:34
Piteryo
|
 |
|
Привести формулы к СДНФ или СКНФ
|
yarom |
0 |
855 |
28 фев 2016, 19:15
yarom
|
 |
 |
Запись выражения предикатной формулой
|
Vodoley |
5 |
578 |
24 фев 2016, 21:49
3D Homer
|
 |
 |
Помощь
|
Rusteh |
0 |
360 |
24 фев 2016, 14:57
Rusteh
|
 |
|
Переведите с естественного языка на язык логики предикатов
|
art33 |
5 |
1584 |
24 фев 2016, 11:55
3D Homer
|
 |
|
Упростить выражение, воспользовавшись закона
|
Foagl |
0 |
317 |
23 фев 2016, 12:00
Foagl
|
 |
|
Задачка по дискретной математике на тему хэшей
|
IvanGrozniy |
0 |
181 |
22 фев 2016, 13:59
IvanGrozniy
|
 |
|
Эйлеров граф
|
kyle22 |
1 |
240 |
21 фев 2016, 20:42
3D Homer
|
 |
|
Диаграмма Хассе
|
helldrg |
0 |
390 |
21 фев 2016, 19:15
helldrg
|
 |
|
Детерминированные конечные автомат
|
Ersultan |
0 |
365 |
21 фев 2016, 18:47
Ersultan
|
 |
|
Доказать равенство множеств
|
SlyFox |
5 |
533 |
20 фев 2016, 22:48
3D Homer
|
 |
|
Графы.
|
kyle22 |
1 |
302 |
18 фев 2016, 15:37
swan
|
 |
|
Доказать тождество
|
sfanter |
6 |
1167 |
16 фев 2016, 23:43
radix
|
 |
|
Как доказать тождество?
|
sfanter |
7 |
579 |
16 фев 2016, 19:25
radix
|
 |
|
Решить уравнение используя множества
|
sfanter |
0 |
363 |
16 фев 2016, 15:53
sfanter
|
 |
|
Показать примитивную рекурсивность функции
|
rfgbnfkbyf |
1 |
415 |
14 фев 2016, 21:35
3D Homer
|
 |
|
Привести формулу к предварённой форме.
|
rfgbnfkbyf |
3 |
334 |
12 фев 2016, 21:40
3D Homer
|
 |
|
Записать рассуждение в логической символике
|
rfgbnfkbyf |
6 |
1113 |
12 фев 2016, 00:37
rfgbnfkbyf
|
 |
|
Дистрибутивность
|
anton1111 |
1 |
238 |
11 фев 2016, 09:47
swan
|
 |
|
Где можно прочитать самые основы теории множеств?
|
sfanter |
4 |
337 |
11 фев 2016, 06:31
Andy
|
 |
|
Как перевести на русский язык фразу, записанную символами?
|
sfanter |
1 |
270 |
10 фев 2016, 20:49
sfanter
|
 |
|
Как понять обозначения?
|
sfanter |
1 |
316 |
09 фев 2016, 22:19
3D Homer
|
 |
|
С помощью кругов Эйлера доказать тождества
|
eiska |
3 |
883 |
07 фев 2016, 03:38
mad_math
|
 |
|
Логика первого порядка
|
grynya |
3 |
444 |
03 фев 2016, 15:47
3D Homer
|
 |
 |
Упростить выражение, воспользовавшись законами логики Буля
|
JuliaValin |
1 |
474 |
03 фев 2016, 06:56
Andy
|
|
|