 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 5, 6, 7, 8, 9, 10, 11 ... 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
10669 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Множества. Доказать тождество | 14 |
2817 |
25.06.2012, 00:09 Asker Tasker |
|||
|
Характеристическая функция предиката | 4 |
1071 |
24.06.2012, 16:54 Rocky095 |
|||
|
Несколько задач по теории множеств | 17 |
3316 |
21.06.2012, 02:32 Asker Tasker |
|||
|
Связь между множествами и их элементами | 17 |
2263 |
20.06.2012, 15:37 arseniiv |
|||
|
В какой литературе можно найти ответы на вопросы по логике | 4 |
867 |
17.06.2012, 17:46 Sverest |
|||
|
Обозначения матлогики | 5 |
961 |
14.06.2012, 14:48 Asker Tasker |
|||
|
Задача по теории множеств | 12 |
1705 |
13.06.2012, 19:35 Asker Tasker |
|||
|
Множество, содержащее пустое множество | 7 |
1237 |
13.06.2012, 02:41 Asker Tasker |
|||
|
Задача о количестве множеств | 10 |
2899 |
12.06.2012, 19:44 Asker Tasker |
|||
|
Теория множеств. Дистрибутивность | 2 |
687 |
04.06.2012, 22:07 Asker Tasker |
|||
|
Доказать методом резолюций | 10 |
4146 |
03.06.2012, 19:51 Maslov |
|||
 |
Найти мощность множества | 26 |
4670 |
01.06.2012, 19:52 Yana Romanova |
|||
|
дискреная математика (простой тест) | 11 |
1309 |
31.05.2012, 00:16 arseniiv |
|||
|
Литература по матлогике | 5 |
2736 |
30.05.2012, 07:21 bot |
|||
|
парочка задач по теории множеств | 6 |
2474 |
30.05.2012, 04:22 Профессор Снэйп |
|||
|
Доказать, что формула истинна. | 2 |
476 |
28.05.2012, 21:15 Slow |
|||
|
Вывести формулу в гильбертовском исчислении высказываний | 8 |
1321 |
27.05.2012, 23:41 Maslov |
|||
|
Доказательство тавтологии | 3 |
786 |
27.05.2012, 19:38 Профессор Снэйп |
|||
|
Найти полином Жегалкина | 22 |
3498 |
27.05.2012, 17:39 Sonic86 |
|||
|
Функциональный символ = всюду определённая функция? | 13 |
2606 |
25.05.2012, 15:37 Xaositect |
|||
|
Машина Тьюринга, деление на 2 | 12 |
4159 |
22.05.2012, 16:26 ujh |
|||
|
Выводимость формулы | 22 |
2671 |
22.05.2012, 14:32 Lady000 |
|||
|
Математическая логика.Доказать теорему теории S-форм.арифмет | 12 |
1315 |
22.05.2012, 00:10 MakagonovD |
|||
|
Множества | 44 |
4987 |
20.05.2012, 19:37 --mS-- |
|||
|
Метод дедуктивного вывода | 7 |
2172 |
20.05.2012, 11:53 Maslov |
|||
|
Доказуема ли в PRA вычислимость функции Аккермана? | 24 |
6423 |
12.05.2012, 07:42 Sonic86 |
|||
|
Нормальная форма предикатов | 7 |
964 |
01.05.2012, 14:27 cyb12 |
|||
|
Математическая логика и теория множеств | 4 |
1177 |
28.04.2012, 14:50 wallflower |
|||
|
Множества | 29 |
3411 |
26.04.2012, 00:59 samuil |
|||
|
Множество проблемы остановки | 15 |
1841 |
22.04.2012, 14:56 Nikta |
|||
|
Суть аксиомы выбора (хотя бы счётной) - никак не пойму | 16 |
2818 |
18.04.2012, 10:01 lekma_axioma |
|||
|
Как перечислить все кодовые строки перечисл. подмножеств? | 20 |
2494 |
13.04.2012, 15:55 Alex_semenov |
|||
|
помогите понять т Геделя о неполноте | 28 |
4071 |
11.04.2012, 18:45 Joker_vD |
|||
|
Конструктивное доказательство | 7 |
1077 |
10.04.2012, 12:24 Padawan |
|||
|
Доказать примитивную рекурсивность функции | 7 |
2361 |
29.03.2012, 00:02 _hum_ |
|||
|
Логика предикатов | 15 |
2545 |
27.03.2012, 18:24 Профессор Снэйп |
|||
|
лемма Цорна и базис бесконечномерного линейного пространства | 16 |
2445 |
25.03.2012, 09:41 theambient |
|||
|
Книги по теории автоматов | 6 |
4308 |
25.03.2012, 04:18 Профессор Снэйп |
|||
|
Как построить множество промежуточной мощности | 4 |
683 |
19.03.2012, 12:56 xmaister |
|||
|
Машина Тьюринга | 3 |
817 |
18.03.2012, 14:46 Getch |
|||
|
Эквивалентность континумов | 22 |
2932 |
23.02.2012, 09:55 svloyso |
|||
|
Глупый вопрос по теореме дедукции (Мендельсон) | 6 |
1120 |
10.02.2012, 21:25 Sonic86 |
|||
|
теорема Цермело - какие акиомы ZF нужны для ее док-ва ? | 4 |
946 |
07.02.2012, 20:32 alex_dorin |
|||
|
Цепочки чисел, упорядоченные своей двоичной записью | 1 |
404 |
03.02.2012, 23:53 Someone |
|||
|
существует ли бесконечное множество мощности меньше счетного | 16 |
3807 |
31.01.2012, 19:42 Someone |
|||
|
Декомпозиция без потерь, функциональная зависимость | 12 |
1924 |
29.01.2012, 23:25 Alexeybk5 |
|||
|
Машина Тьюринга (литература) | 3 |
1770 |
24.01.2012, 22:53 mihailm |
|||
|
Всюдуопределенность частично-рекурсивных функций. | 1 |
475 |
24.01.2012, 11:25 whitefox |
|||
|
"Парадоксальное" логическое умозаключение | 31 |
3823 |
20.01.2012, 10:23 epros |
|||
|
Примитивная рекурсия | 1 |
516 |
18.01.2012, 21:32 arseniiv |
|||
| Страница 8 из 17 |
[ Тем: 820 ] | На страницу Пред. 1 ... 5, 6, 7, 8, 9, 10, 11 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |