 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 5, 6, 7, 8, 9, 10, 11 ... 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
11216 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Множества. Доказать тождество | 14 |
2981 |
25.06.2012, 00:09 Asker Tasker |
|||
|
Характеристическая функция предиката | 4 |
1127 |
24.06.2012, 16:54 Rocky095 |
|||
|
Несколько задач по теории множеств | 17 |
3629 |
21.06.2012, 02:32 Asker Tasker |
|||
|
Связь между множествами и их элементами | 17 |
2476 |
20.06.2012, 15:37 arseniiv |
|||
|
В какой литературе можно найти ответы на вопросы по логике | 4 |
922 |
17.06.2012, 17:46 Sverest |
|||
|
Обозначения матлогики | 5 |
1035 |
14.06.2012, 14:48 Asker Tasker |
|||
|
Задача по теории множеств | 12 |
1845 |
13.06.2012, 19:35 Asker Tasker |
|||
|
Множество, содержащее пустое множество | 7 |
1308 |
13.06.2012, 02:41 Asker Tasker |
|||
|
Задача о количестве множеств | 10 |
3090 |
12.06.2012, 19:44 Asker Tasker |
|||
|
Теория множеств. Дистрибутивность | 2 |
728 |
04.06.2012, 22:07 Asker Tasker |
|||
|
Доказать методом резолюций | 10 |
4428 |
03.06.2012, 19:51 Maslov |
|||
 |
Найти мощность множества | 26 |
5007 |
01.06.2012, 19:52 Yana Romanova |
|||
|
дискреная математика (простой тест) | 11 |
1431 |
31.05.2012, 00:16 arseniiv |
|||
|
Литература по матлогике | 5 |
2835 |
30.05.2012, 07:21 bot |
|||
|
парочка задач по теории множеств | 6 |
2568 |
30.05.2012, 04:22 Профессор Снэйп |
|||
|
Доказать, что формула истинна. | 2 |
511 |
28.05.2012, 21:15 Slow |
|||
|
Вывести формулу в гильбертовском исчислении высказываний | 8 |
1425 |
27.05.2012, 23:41 Maslov |
|||
|
Доказательство тавтологии | 3 |
825 |
27.05.2012, 19:38 Профессор Снэйп |
|||
|
Найти полином Жегалкина | 22 |
3758 |
27.05.2012, 17:39 Sonic86 |
|||
|
Функциональный символ = всюду определённая функция? | 13 |
2740 |
25.05.2012, 15:37 Xaositect |
|||
|
Машина Тьюринга, деление на 2 | 12 |
4390 |
22.05.2012, 16:26 ujh |
|||
|
Выводимость формулы | 22 |
2854 |
22.05.2012, 14:32 Lady000 |
|||
|
Математическая логика.Доказать теорему теории S-форм.арифмет | 12 |
1420 |
22.05.2012, 00:10 MakagonovD |
|||
|
Множества | 44 |
5482 |
20.05.2012, 19:37 --mS-- |
|||
|
Метод дедуктивного вывода | 7 |
2316 |
20.05.2012, 11:53 Maslov |
|||
|
Доказуема ли в PRA вычислимость функции Аккермана? | 24 |
6683 |
12.05.2012, 07:42 Sonic86 |
|||
|
Нормальная форма предикатов | 7 |
1034 |
01.05.2012, 14:27 cyb12 |
|||
|
Математическая логика и теория множеств | 4 |
1241 |
28.04.2012, 14:50 wallflower |
|||
|
Множества | 29 |
3622 |
26.04.2012, 00:59 samuil |
|||
|
Множество проблемы остановки | 15 |
1989 |
22.04.2012, 14:56 Nikta |
|||
|
Суть аксиомы выбора (хотя бы счётной) - никак не пойму | 16 |
3011 |
18.04.2012, 10:01 lekma_axioma |
|||
|
Как перечислить все кодовые строки перечисл. подмножеств? | 20 |
2705 |
13.04.2012, 15:55 Alex_semenov |
|||
|
помогите понять т Геделя о неполноте | 28 |
4323 |
11.04.2012, 18:45 Joker_vD |
|||
|
Конструктивное доказательство | 7 |
1159 |
10.04.2012, 12:24 Padawan |
|||
|
Доказать примитивную рекурсивность функции | 7 |
2434 |
29.03.2012, 00:02 _hum_ |
|||
|
Логика предикатов | 15 |
2703 |
27.03.2012, 18:24 Профессор Снэйп |
|||
|
лемма Цорна и базис бесконечномерного линейного пространства | 16 |
2630 |
25.03.2012, 09:41 theambient |
|||
|
Книги по теории автоматов | 6 |
4467 |
25.03.2012, 04:18 Профессор Снэйп |
|||
|
Как построить множество промежуточной мощности | 4 |
744 |
19.03.2012, 12:56 xmaister |
|||
|
Машина Тьюринга | 3 |
868 |
18.03.2012, 14:46 Getch |
|||
|
Эквивалентность континумов | 22 |
3219 |
23.02.2012, 09:55 svloyso |
|||
|
Глупый вопрос по теореме дедукции (Мендельсон) | 6 |
1222 |
10.02.2012, 21:25 Sonic86 |
|||
|
теорема Цермело - какие акиомы ZF нужны для ее док-ва ? | 4 |
1014 |
07.02.2012, 20:32 alex_dorin |
|||
|
Цепочки чисел, упорядоченные своей двоичной записью | 1 |
438 |
03.02.2012, 23:53 Someone |
|||
|
существует ли бесконечное множество мощности меньше счетного | 16 |
4015 |
31.01.2012, 19:42 Someone |
|||
|
Декомпозиция без потерь, функциональная зависимость | 12 |
2068 |
29.01.2012, 23:25 Alexeybk5 |
|||
|
Машина Тьюринга (литература) | 3 |
1849 |
24.01.2012, 22:53 mihailm |
|||
|
Всюдуопределенность частично-рекурсивных функций. | 1 |
510 |
24.01.2012, 11:25 whitefox |
|||
|
"Парадоксальное" логическое умозаключение | 31 |
4051 |
20.01.2012, 10:23 epros |
|||
|
Примитивная рекурсия | 1 |
534 |
18.01.2012, 21:32 arseniiv |
|||
| Страница 8 из 17 |
[ Тем: 820 ] | На страницу Пред. 1 ... 5, 6, 7, 8, 9, 10, 11 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |