2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть удалены без предупреждения.

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.


Начать новую тему На страницу Пред.  1, 2, 3, 4, 5, 6, 7, 8 ... 17  След.
 Темы   Автор   Ответы   Просмотры   Последнее сообщение 
Объявления
Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней. ВАЖНО! Прочтите перед написанием сообщения в этот раздел!

PAV

1

4308

12.02.2012, 16:29

PAV Перейти к последнему сообщению

Темы
Нет новых сообщений Мощность подмножеств натурального ряда

[ На страницу: 1, 2 ]

science88

25

3851

20.10.2013, 00:22

Someone Перейти к последнему сообщению

Нет новых сообщений Определить функцию по методу примитивной рекурсии.

leo82

2

976

15.10.2013, 08:17

leo82 Перейти к последнему сообщению

Нет новых сообщений Аксиома пустого множества

[ На страницу: 1, 2 ]

Побережный Александр

24

3434

11.10.2013, 01:03

arseniiv Перейти к последнему сообщению

Нет новых сообщений ЛУМ, изоморфизм и сумма

[ На страницу: 1, 2, 3, 4 ]

Manticore

54

6980

10.10.2013, 01:33

Manticore Перейти к последнему сообщению

Нет новых сообщений Математическая логика, теория множеств.

Tosha

14

3250

09.10.2013, 17:19

Sonic86 Перейти к последнему сообщению

Нет новых сообщений Эквивалентность несчётных множеств

lulbec

5

1172

07.10.2013, 22:58

lulbec Перейти к последнему сообщению

Нет новых сообщений Функция. Отображение.

[ На страницу: 1, 2, 3 ]

farentkik

32

4170

07.10.2013, 22:27

Otta Перейти к последнему сообщению

Нет новых сообщений Равномощность семейств подмножеств

Manticore

2

831

06.10.2013, 20:45

Manticore Перейти к последнему сообщению

Нет новых сообщений Отношения вложения

[ На страницу: 1, 2 ]

Manticore

26

3416

06.10.2013, 18:39

provincialka Перейти к последнему сообщению

Нет новых сообщений Счётность конечных подмножеств

Manticore

7

2559

06.10.2013, 12:18

Manticore Перейти к последнему сообщению

Нет новых сообщений Помогите разобраться (несчетность по Кантору)

- Archer -

14

4476

03.10.2013, 21:20

Joker_vD Перейти к последнему сообщению

Нет новых сообщений Несчётное множество

[ На страницу: 1, 2 ]

Manticore

20

2953

29.09.2013, 22:56

Manticore Перейти к последнему сообщению

Нет новых сообщений Корректна ли следующая запись доказательства?

Denis Russkih

13

2412

27.09.2013, 00:25

Someone Перейти к последнему сообщению

Нет новых сообщений Теория множеств

Keter

2

910

24.09.2013, 06:39

mihailm Перейти к последнему сообщению

Нет новых сообщений Эквивалентность множеств функций

[ На страницу: 1, 2, 3 ]

Manticore

31

3043

23.09.2013, 23:03

Manticore Перейти к последнему сообщению

Нет новых сообщений Теория множеств

[ На страницу: 1, 2 ]

Ward

15

3550

23.09.2013, 16:03

Whitaker Перейти к последнему сообщению

Нет новых сообщений категорная семантика логики

jhanjaa

0

534

19.09.2013, 14:00

jhanjaa Перейти к последнему сообщению

Нет новых сообщений Множества (континуум)

[ На страницу: 1, 2 ]

Keter

18

2452

15.09.2013, 21:14

Keter Перейти к последнему сообщению

Нет новых сообщений Предикаты

Tosha

1

886

13.09.2013, 06:50

angor6 Перейти к последнему сообщению

Нет новых сообщений Почему гипотеза?

im_ieee

2

758

12.09.2013, 19:04

im_ieee Перейти к последнему сообщению

Нет новых сообщений Бесплатные теоремы Рейнольдса

Mysterious Light

3

1077

12.09.2013, 09:53

Xaositect Перейти к последнему сообщению

Нет новых сообщений Книги по теории множеств

mak1610

3

2152

10.09.2013, 11:29

Xaositect Перейти к последнему сообщению

Нет новых сообщений Мощность множества всех функций из R в N.

supergriver

3

1061

03.09.2013, 23:26

ИСН Перейти к последнему сообщению

Нет новых сообщений Логика формальная и математическая. Предмет, основные части

[ На страницу: 1, 2, 3 ]

eugrita

30

5050

28.08.2013, 07:56

iifat Перейти к последнему сообщению

Нет новых сообщений вполне упорядоченное множество

Oleg Zubelevich

11

2458

25.08.2013, 14:03

Oleg Zubelevich Перейти к последнему сообщению

Нет новых сообщений Что означает "состояние" для машины Тьюринга?

AlexeyM

7

2800

22.08.2013, 19:56

Xaositect Перейти к последнему сообщению

Нет новых сообщений О действительных числах

[ На страницу: 1, 2 ]

Munuvonaza

19

3940

06.08.2013, 02:07

Someone Перейти к последнему сообщению

Нет новых сообщений Аксиоматическая арифметика без умножения

alex_dorin

2

763

02.08.2013, 17:34

Xaositect Перейти к последнему сообщению

Нет новых сообщений Оценка за полиномиальное время

alex_dorin

3

1041

23.07.2013, 20:34

alex_dorin Перейти к последнему сообщению

Нет новых сообщений вопрос по генценовскому анализу

jhanjaa

7

1511

15.07.2013, 19:34

Deggial Перейти к последнему сообщению

Нет новых сообщений Что такое кардинальное/ординальное число

xmaister

5

1488

11.07.2013, 00:44

Someone Перейти к последнему сообщению

Нет новых сообщений Множества отображение и сравнение мощностей

Nikys

10

1953

26.06.2013, 00:37

Xaositect Перейти к последнему сообщению

Нет новых сообщений Двойственность для счетного числа объединений и пересечений

Tigran-aminator

6

1298

25.06.2013, 17:54

Xaositect Перейти к последнему сообщению

Нет новых сообщений математическая индукция и сигма-алгебра

[ На страницу: 1, 2 ]

Tigran-aminator

26

3662

20.06.2013, 01:50

Otta Перейти к последнему сообщению

Нет новых сообщений Установить общезначимость или необщезначимость формулы в т.K

[ На страницу: 1, 2 ]

YgolovnicK

21

3533

16.06.2013, 14:53

YgolovnicK Перейти к последнему сообщению

Нет новых сообщений Доказать теорему в теории L4

YgolovnicK

12

2399

16.06.2013, 12:07

YgolovnicK Перейти к последнему сообщению

Нет новых сообщений Пренексные нормальные формы исчисления предикатов.

Reef

11

2250

12.06.2013, 21:19

Reef Перейти к последнему сообщению

Нет новых сообщений Задача на Фильтры.

capabilitier

2

817

08.06.2013, 22:28

capabilitier Перейти к последнему сообщению

Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней. Ошибка Timothy Y. Chow

[ На страницу: 1, 2, 3 ]

xyzxyz

36

6875

05.06.2013, 22:50

GAA Перейти к последнему сообщению

Нет новых сообщений Рекурсивное множество и функция

Cunning

4

930

03.06.2013, 18:10

AGu Перейти к последнему сообщению

Нет новых сообщений Элиминация кванторов Рамсея. Множество свидетелей.

Nikta

7

1383

03.06.2013, 08:55

Nikta Перейти к последнему сообщению

Нет новых сообщений Как доказать выводимость формулы в Исчислении высказываний

kola1357

4

2735

29.05.2013, 18:53

Sonic86 Перейти к последнему сообщению

Нет новых сообщений Задача на тему исчисление высказываний.

[ На страницу: 1, 2 ]

kola1357

17

4307

29.05.2013, 18:39

arseniiv Перейти к последнему сообщению

Нет новых сообщений Фильтр, главный фильтр, ультрафильтр

TehNick

8

1804

28.05.2013, 17:43

TehNick Перейти к последнему сообщению

Нет новых сообщений Собственные классы и ещё ординалы

arseniiv

5

1297

22.05.2013, 16:20

Xaositect Перейти к последнему сообщению

Нет новых сообщений Как в аксиом. подходе формализуются определения ?

[ На страницу: 1, 2, 3, 4 ]

_hum_

54

9029

17.05.2013, 18:45

mserg Перейти к последнему сообщению

Нет новых сообщений Строгое определение нуль местной функции

jivar

2

977

13.05.2013, 19:40

Joker_vD Перейти к последнему сообщению

Нет новых сообщений Категории не множеств

[ На страницу: 1, 2 ]

Niclax

17

2554

11.05.2013, 17:40

Niclax Перейти к последнему сообщению

Нет новых сообщений Машины Тьюринга

[ На страницу: 1, 2 ]

cool.phenon

22

4262

10.05.2013, 19:45

Xaositect Перейти к последнему сообщению

Нет новых сообщений Машина тьюринга, подскажите идеи построения

jivar

1

812

04.05.2013, 16:16

arseniiv Перейти к последнему сообщению

Показать темы за:  Поле сортировки  
Начать новую тему  [ Тем: 820 ]  На страницу Пред.  1, 2, 3, 4, 5, 6, 7, 8 ... 17  След.

Модераторы: Модераторы Математики, Супермодераторы


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Новые сообщения Новые сообщения    Нет новых сообщений Нет новых сообщений    Объявление Объявление
Новые сообщения [ Популярная тема ] Новые сообщения [ Популярная тема ]    Нет новых сообщений [ Популярная тема ] Нет новых сообщений [ Популярная тема ]    Прилепленная Прилепленная
Новые сообщения [ Тема закрыта ] Новые сообщения [ Тема закрыта ]    Нет новых сообщений [ Тема закрыта ] Нет новых сообщений [ Тема закрыта ]    Перенесённая Перенесённая
Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group