|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
6361 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Множества. Доказать тождество
|
grustn6j |
14 |
2255 |
25.06.2012, 00:09
Asker Tasker
|
|
Характеристическая функция предиката
|
Rocky095 |
4 |
889 |
24.06.2012, 16:54
Rocky095
|
|
Несколько задач по теории множеств
[ На страницу: 1, 2 ]
|
Asker Tasker |
17 |
2466 |
21.06.2012, 02:32
Asker Tasker
|
|
Связь между множествами и их элементами
[ На страницу: 1, 2 ]
|
Asker Tasker |
17 |
1607 |
20.06.2012, 15:37
arseniiv
|
|
В какой литературе можно найти ответы на вопросы по логике
|
Sverest |
4 |
686 |
17.06.2012, 17:46
Sverest
|
|
Обозначения матлогики
|
Asker Tasker |
5 |
740 |
14.06.2012, 14:48
Asker Tasker
|
|
Задача по теории множеств
|
Asker Tasker |
12 |
1139 |
13.06.2012, 19:35
Asker Tasker
|
|
Множество, содержащее пустое множество
|
Asker Tasker |
7 |
906 |
13.06.2012, 02:41
Asker Tasker
|
|
Задача о количестве множеств
|
Asker Tasker |
10 |
2205 |
12.06.2012, 19:44
Asker Tasker
|
|
Теория множеств. Дистрибутивность
|
Asker Tasker |
2 |
557 |
04.06.2012, 22:07
Asker Tasker
|
|
Доказать методом резолюций
|
Arsenii |
10 |
3185 |
03.06.2012, 19:51
Maslov
|
 |
Найти мощность множества
[ На страницу: 1, 2 ]
|
Yana Romanova |
26 |
3238 |
01.06.2012, 19:52
Yana Romanova
|
|
дискреная математика (простой тест)
|
alexandra555 |
11 |
855 |
31.05.2012, 00:16
arseniiv
|
|
Литература по матлогике
|
Профессор Снэйп |
5 |
2231 |
30.05.2012, 07:21
bot
|
|
парочка задач по теории множеств
|
BapuK |
6 |
2062 |
30.05.2012, 04:22
Профессор Снэйп
|
|
Доказать, что формула истинна.
|
Slow |
2 |
346 |
28.05.2012, 21:15
Slow
|
|
Вывести формулу в гильбертовском исчислении высказываний
|
Viktoriya12 |
8 |
1042 |
27.05.2012, 23:41
Maslov
|
|
Доказательство тавтологии
|
Arsenii |
3 |
635 |
27.05.2012, 19:38
Профессор Снэйп
|
|
Найти полином Жегалкина
[ На страницу: 1, 2 ]
|
Arsenii |
22 |
2544 |
27.05.2012, 17:39
Sonic86
|
|
Функциональный символ = всюду определённая функция?
|
epros |
13 |
2096 |
25.05.2012, 15:37
Xaositect
|
|
Машина Тьюринга, деление на 2
|
ujh |
12 |
3570 |
22.05.2012, 16:26
ujh
|
|
Выводимость формулы
[ На страницу: 1, 2 ]
|
Lady000 |
22 |
1981 |
22.05.2012, 14:32
Lady000
|
|
Математическая логика.Доказать теорему теории S-форм.арифмет
|
MakagonovD |
12 |
927 |
22.05.2012, 00:10
MakagonovD
|
|
Множества
[ На страницу: 1, 2, 3 ]
|
alexandra555 |
44 |
3171 |
20.05.2012, 19:37
--mS--
|
|
Метод дедуктивного вывода
|
lmfao_swag |
7 |
1747 |
20.05.2012, 11:53
Maslov
|
|
Доказуема ли в PRA вычислимость функции Аккермана?
[ На страницу: 1, 2 ]
|
epros |
24 |
5044 |
12.05.2012, 07:42
Sonic86
|
|
Нормальная форма предикатов
|
Armind |
7 |
630 |
01.05.2012, 14:27
cyb12
|
|
Математическая логика и теория множеств
|
Estimate |
4 |
951 |
28.04.2012, 14:50
wallflower
|
|
Множества
[ На страницу: 1, 2 ]
|
samuil |
29 |
2285 |
26.04.2012, 00:59
samuil
|
|
Множество проблемы остановки
[ На страницу: 1, 2 ]
|
Nikta |
15 |
1278 |
22.04.2012, 14:56
Nikta
|
|
Суть аксиомы выбора (хотя бы счётной) - никак не пойму
[ На страницу: 1, 2 ]
|
lekma_axioma |
16 |
1970 |
18.04.2012, 10:01
lekma_axioma
|
|
Как перечислить все кодовые строки перечисл. подмножеств?
[ На страницу: 1, 2 ]
|
Alex_semenov |
20 |
1767 |
13.04.2012, 15:55
Alex_semenov
|
|
помогите понять т Геделя о неполноте
[ На страницу: 1, 2 ]
|
kefi |
28 |
3034 |
11.04.2012, 18:45
Joker_vD
|
|
Конструктивное доказательство
|
Padawan |
7 |
791 |
10.04.2012, 12:24
Padawan
|
|
Доказать примитивную рекурсивность функции
|
Sverest |
7 |
2087 |
29.03.2012, 00:02
_hum_
|
|
Логика предикатов
[ На страницу: 1, 2 ]
|
cyb12 |
15 |
1743 |
27.03.2012, 18:24
Профессор Снэйп
|
|
лемма Цорна и базис бесконечномерного линейного пространства
[ На страницу: 1, 2 ]
|
theambient |
16 |
1768 |
25.03.2012, 09:41
theambient
|
|
Книги по теории автоматов
|
FrenchCheese |
6 |
3561 |
25.03.2012, 04:18
Профессор Снэйп
|
|
Как построить множество промежуточной мощности
|
xmaister |
4 |
528 |
19.03.2012, 12:56
xmaister
|
|
Машина Тьюринга
|
Getch |
3 |
661 |
18.03.2012, 14:46
Getch
|
|
Эквивалентность континумов
[ На страницу: 1, 2 ]
|
svloyso |
22 |
2034 |
23.02.2012, 09:55
svloyso
|
|
Глупый вопрос по теореме дедукции (Мендельсон)
|
Sonic86 |
6 |
848 |
10.02.2012, 21:25
Sonic86
|
|
теорема Цермело - какие акиомы ZF нужны для ее док-ва ?
|
alex_dorin |
4 |
763 |
07.02.2012, 20:32
alex_dorin
|
|
Цепочки чисел, упорядоченные своей двоичной записью
|
rishelie |
1 |
319 |
03.02.2012, 23:53
Someone
|
|
существует ли бесконечное множество мощности меньше счетного
[ На страницу: 1, 2 ]
|
FeelUs |
16 |
2915 |
31.01.2012, 19:42
Someone
|
|
Декомпозиция без потерь, функциональная зависимость
|
Alexeybk5 |
12 |
1401 |
29.01.2012, 23:25
Alexeybk5
|
|
Машина Тьюринга (литература)
|
Uryuk |
3 |
1390 |
24.01.2012, 22:53
mihailm
|
|
Всюдуопределенность частично-рекурсивных функций.
|
max(Im) |
1 |
387 |
24.01.2012, 11:25
whitefox
|
|
"Парадоксальное" логическое умозаключение
[ На страницу: 1, 2, 3 ]
|
Voltron |
31 |
2716 |
20.01.2012, 10:23
epros
|
|
Примитивная рекурсия
|
Sverest |
1 |
439 |
18.01.2012, 21:32
arseniiv
|
|
|
![Новые сообщения [ Популярная тема ]](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_unread_hot.gif "Новые сообщения [ Популярная тема ]"){kind=small}
![Новые сообщения [ Тема закрыта ]](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_unread_locked.gif "Новые сообщения [ Тема закрыта ]"){kind=small}
![Нет новых сообщений [ Тема закрыта ]](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read_locked.gif "Нет новых сообщений [ Тема закрыта ]"){kind=small}
