|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
|
Лекции по математической логике
|
Alexdemath |
2 |
4458 |
09 янв 2016, 03:23
prof_an
|
| Темы |
 |
|
Не могу понять определения
|
Anton98 |
2 |
292 |
05 фев 2017, 21:49
3D Homer
|
 |
|
Определить импликацию, с остальными разобрался)))
|
adeptus7 |
5 |
397 |
29 янв 2017, 14:05
Ellipsoid
|
 |
|
Выведите формулу для эквиваленции
|
adeptus7 |
4 |
363 |
28 янв 2017, 21:23
adeptus7
|
 |
|
Как выразить с помощью "штрих Шеффера"
|
adeptus7 |
2 |
542 |
28 янв 2017, 01:25
Ellipsoid
|
 |
|
Как правильно доказать тождество?
|
Pavel_08 |
6 |
333 |
20 янв 2017, 11:57
Pavel_08
|
 |
|
Задача по математической логике и теории алгоритмов
|
uuuu |
1 |
475 |
19 янв 2017, 19:22
neurocore
|
 |
|
Доказать недоказуемость формулы
|
dona_9 |
3 |
603 |
17 янв 2017, 09:31
3D Homer
|
 |
|
Теорема и свойства
|
silence_32 |
0 |
304 |
16 янв 2017, 19:59
silence_32
|
 |
|
Умножение перестановок
|
MIEL |
7 |
5291 |
15 янв 2017, 19:10
3D Homer
|
 |
|
Доказательство несчетности множества действительных чисел
[ На страницу: 1, 2 ]
|
fingolfin |
11 |
1159 |
15 янв 2017, 05:01
dr Watson
|
 |
|
Элементы теории множеств.
[ На страницу: 1, 2, 3 ]
|
bishik |
21 |
868 |
13 янв 2017, 23:22
bishik
|
 |
|
Сколькими способами можно определить линейный порядок?
[ На страницу: 1, 2 ]
|
wildnothing |
13 |
1045 |
12 янв 2017, 00:10
searcher
|
 |
|
Записать на языке предикатов. Правильно ли?
|
wildnothing |
1 |
620 |
11 янв 2017, 14:54
Booker48
|
 |
|
Как из удвоения слова получить утроение? (алгоритм Маркова)
|
Pavel_08 |
6 |
500 |
10 янв 2017, 17:37
Pavel_08
|
 |
 |
Проверьте задачу
|
BESLAN |
0 |
365 |
10 янв 2017, 11:54
BESLAN
|
 |
|
Обоснование схемы доказательства
|
Andy |
1 |
279 |
09 янв 2017, 16:45
3D Homer
|
 |
|
Минимальное количество функций для критерия Поста
|
igor89 |
1 |
327 |
07 янв 2017, 12:45
Ellipsoid
|
 |
|
Доказать формулу используя аксиомы Гилберта и modus ponens
|
assp1r1n3 |
6 |
416 |
06 янв 2017, 23:22
3D Homer
|
 |
|
Доказать неравенство методом мат. индукции
|
NEvOl |
5 |
557 |
05 янв 2017, 20:13
venjar
|
 |
|
Степень коэффициента в разложении
|
Destroymen |
1 |
375 |
27 дек 2016, 13:25
neurocore
|
 |
|
Дискретка
|
blinksinksink |
1 |
448 |
27 дек 2016, 12:20
Ellipsoid
|
 |
|
Аксиоматизируемые классы
|
dona_9 |
8 |
818 |
26 дек 2016, 08:09
dr Watson
|
 |
|
Теория моделей, матлогика. Полные теории
|
Iv_Vol |
1 |
615 |
25 дек 2016, 20:27
Iv_Vol
|
 |
|
Диаграммы венна
|
daryay96 |
3 |
410 |
25 дек 2016, 17:11
3D Homer
|
 |
|
Не могу найти ошибку
|
Th1e4 |
1 |
363 |
24 дек 2016, 20:29
3D Homer
|
 |
|
Сигма-формулы
|
dona_9 |
1 |
409 |
24 дек 2016, 09:16
dona_9
|
 |
 |
Вычесление полинома Жегалкина
|
Dankyway |
0 |
299 |
24 дек 2016, 00:14
Dankyway
|
 |
|
Построить вектор значений функции
|
Destroymen |
2 |
477 |
23 дек 2016, 20:42
3D Homer
|
 |
|
Последовательность
|
Destroymen |
0 |
263 |
23 дек 2016, 08:47
Destroymen
|
 |
|
Бинарные отношения
|
Destroymen |
0 |
249 |
23 дек 2016, 08:42
Destroymen
|
 |
|
Бинарное отношение
|
pathfinder |
0 |
235 |
23 дек 2016, 00:11
pathfinder
|
 |
|
Комбинаторика множеств
|
daryay96 |
1 |
184 |
22 дек 2016, 20:48
3D Homer
|
 |
|
Недетерминированный конечный автомат
|
Elhanan |
3 |
474 |
22 дек 2016, 19:48
3D Homer
|
 |
|
Записать на языке логики предикатов
|
Escritor731 |
0 |
477 |
22 дек 2016, 16:32
Escritor731
|
 |
|
Унарное умножение двух чисел для машины Тьюринга
|
Bozza |
1 |
637 |
21 дек 2016, 00:33
Bozza
|
 |
|
Построить коды плоских корневых деревьев
|
Alcantara |
0 |
493 |
20 дек 2016, 15:16
Alcantara
|
 |
|
Дополнение до класса всех булевых функций
|
Upax |
1 |
435 |
20 дек 2016, 01:08
Ellipsoid
|
 |
|
Рекуррентное соотношение
|
Nikejke |
1 |
477 |
20 дек 2016, 00:20
swan
|
 |
|
Построить машину Тьюринга
|
lxled |
0 |
385 |
19 дек 2016, 19:53
lxled
|
 |
 |
Доказать справедливость тождеств и включений
|
nismo |
1 |
596 |
19 дек 2016, 16:10
Andy
|
|
|