На страницу Пред. 1 ... 5, 6, 7, 8, 9, 10, 11 ... 17 След. |
|
|||||||
Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
---|---|---|---|---|---|---|---|
Объявления | |||||||
![]() |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
9895 |
12.02.2012, 16:29 PAV |
|||
Темы | |||||||
![]() |
Множества. Доказать тождество | 14 |
2782 |
25.06.2012, 00:09 Asker Tasker |
|||
![]() |
Характеристическая функция предиката | 4 |
1060 |
24.06.2012, 16:54 Rocky095 |
|||
![]() |
Несколько задач по теории множеств | 17 |
3256 |
21.06.2012, 02:32 Asker Tasker |
|||
![]() |
Связь между множествами и их элементами | 17 |
2243 |
20.06.2012, 15:37 arseniiv |
|||
![]() |
В какой литературе можно найти ответы на вопросы по логике | 4 |
851 |
17.06.2012, 17:46 Sverest |
|||
![]() |
Обозначения матлогики | 5 |
953 |
14.06.2012, 14:48 Asker Tasker |
|||
![]() |
Задача по теории множеств | 12 |
1677 |
13.06.2012, 19:35 Asker Tasker |
|||
![]() |
Множество, содержащее пустое множество | 7 |
1224 |
13.06.2012, 02:41 Asker Tasker |
|||
![]() |
Задача о количестве множеств | 10 |
2827 |
12.06.2012, 19:44 Asker Tasker |
|||
![]() |
Теория множеств. Дистрибутивность | 2 |
682 |
04.06.2012, 22:07 Asker Tasker |
|||
![]() |
Доказать методом резолюций | 10 |
4042 |
03.06.2012, 19:51 Maslov |
|||
![]() |
Найти мощность множества | 26 |
4560 |
01.06.2012, 19:52 Yana Romanova |
|||
![]() |
дискреная математика (простой тест) | 11 |
1272 |
31.05.2012, 00:16 arseniiv |
|||
![]() |
Литература по матлогике | 5 |
2675 |
30.05.2012, 07:21 bot |
|||
![]() |
парочка задач по теории множеств | 6 |
2405 |
30.05.2012, 04:22 Профессор Снэйп |
|||
![]() |
Доказать, что формула истинна. | 2 |
465 |
28.05.2012, 21:15 Slow |
|||
![]() |
Вывести формулу в гильбертовском исчислении высказываний | 8 |
1300 |
27.05.2012, 23:41 Maslov |
|||
![]() |
Доказательство тавтологии | 3 |
764 |
27.05.2012, 19:38 Профессор Снэйп |
|||
![]() |
Найти полином Жегалкина | 22 |
3414 |
27.05.2012, 17:39 Sonic86 |
|||
![]() |
Функциональный символ = всюду определённая функция? | 13 |
2544 |
25.05.2012, 15:37 Xaositect |
|||
![]() |
Машина Тьюринга, деление на 2 | 12 |
4066 |
22.05.2012, 16:26 ujh |
|||
![]() |
Выводимость формулы | 22 |
2558 |
22.05.2012, 14:32 Lady000 |
|||
![]() |
Математическая логика.Доказать теорему теории S-форм.арифмет | 12 |
1265 |
22.05.2012, 00:10 MakagonovD |
|||
![]() |
Множества | 44 |
4815 |
20.05.2012, 19:37 --mS-- |
|||
![]() |
Метод дедуктивного вывода | 7 |
2123 |
20.05.2012, 11:53 Maslov |
|||
![]() |
Доказуема ли в PRA вычислимость функции Аккермана? | 24 |
6323 |
12.05.2012, 07:42 Sonic86 |
|||
![]() |
Нормальная форма предикатов | 7 |
936 |
01.05.2012, 14:27 cyb12 |
|||
![]() |
Математическая логика и теория множеств | 4 |
1140 |
28.04.2012, 14:50 wallflower |
|||
![]() |
Множества | 29 |
3292 |
26.04.2012, 00:59 samuil |
|||
![]() |
Множество проблемы остановки | 15 |
1770 |
22.04.2012, 14:56 Nikta |
|||
![]() |
Суть аксиомы выбора (хотя бы счётной) - никак не пойму | 16 |
2707 |
18.04.2012, 10:01 lekma_axioma |
|||
![]() |
Как перечислить все кодовые строки перечисл. подмножеств? | 20 |
2412 |
13.04.2012, 15:55 Alex_semenov |
|||
![]() |
помогите понять т Геделя о неполноте | 28 |
3922 |
11.04.2012, 18:45 Joker_vD |
|||
![]() |
Конструктивное доказательство | 7 |
1049 |
10.04.2012, 12:24 Padawan |
|||
![]() |
Доказать примитивную рекурсивность функции | 7 |
2340 |
29.03.2012, 00:02 _hum_ |
|||
![]() |
Логика предикатов | 15 |
2506 |
27.03.2012, 18:24 Профессор Снэйп |
|||
![]() |
лемма Цорна и базис бесконечномерного линейного пространства | 16 |
2358 |
25.03.2012, 09:41 theambient |
|||
![]() |
Книги по теории автоматов | 6 |
4220 |
25.03.2012, 04:18 Профессор Снэйп |
|||
![]() |
Как построить множество промежуточной мощности | 4 |
664 |
19.03.2012, 12:56 xmaister |
|||
![]() |
Машина Тьюринга | 3 |
798 |
18.03.2012, 14:46 Getch |
|||
![]() |
Эквивалентность континумов | 22 |
2807 |
23.02.2012, 09:55 svloyso |
|||
![]() |
Глупый вопрос по теореме дедукции (Мендельсон) | 6 |
1082 |
10.02.2012, 21:25 Sonic86 |
|||
![]() |
теорема Цермело - какие акиомы ZF нужны для ее док-ва ? | 4 |
924 |
07.02.2012, 20:32 alex_dorin |
|||
![]() |
Цепочки чисел, упорядоченные своей двоичной записью | 1 |
396 |
03.02.2012, 23:53 Someone |
|||
![]() |
существует ли бесконечное множество мощности меньше счетного | 16 |
3709 |
31.01.2012, 19:42 Someone |
|||
![]() |
Декомпозиция без потерь, функциональная зависимость | 12 |
1893 |
29.01.2012, 23:25 Alexeybk5 |
|||
![]() |
Машина Тьюринга (литература) | 3 |
1724 |
24.01.2012, 22:53 mihailm |
|||
![]() |
Всюдуопределенность частично-рекурсивных функций. | 1 |
467 |
24.01.2012, 11:25 whitefox |
|||
![]() |
"Парадоксальное" логическое умозаключение | 31 |
3722 |
20.01.2012, 10:23 epros |
|||
![]() |
Примитивная рекурсия | 1 |
509 |
18.01.2012, 21:32 arseniiv |
Страница 8 из 17 |
[ Тем: 820 ] | На страницу Пред. 1 ... 5, 6, 7, 8, 9, 10, 11 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |