2014 dxdy logo

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

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



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

PAV

1

9893

12.02.2012, 16:29

PAV

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

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

science88

25

6932

20.10.2013, 00:22

Someone

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

leo82

2

2004

15.10.2013, 08:17

leo82

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

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

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

24

6423

11.10.2013, 01:03

arseniiv

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

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

Manticore

54

12464

10.10.2013, 01:33

Manticore

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

Tosha

14

5322

09.10.2013, 17:19

Sonic86

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

lulbec

5

2255

07.10.2013, 22:58

lulbec

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

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

farentkik

32

7891

07.10.2013, 22:27

Otta

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

Manticore

2

1787

06.10.2013, 20:45

Manticore

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

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

Manticore

26

6093

06.10.2013, 18:39

provincialka

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

Manticore

7

3874

06.10.2013, 12:18

Manticore

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

- Archer -

14

6957

03.10.2013, 21:20

Joker_vD

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

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

Manticore

20

5709

29.09.2013, 22:56

Manticore

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

Denis Russkih

13

3965

27.09.2013, 00:25

Someone

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

Keter

2

1851

24.09.2013, 06:39

mihailm

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

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

Manticore

31

6364

23.09.2013, 23:03

Manticore

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

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

Ward

15

5914

23.09.2013, 16:03

Whitaker

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

jhanjaa

0

1310

19.09.2013, 14:00

jhanjaa

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

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

Keter

18

4574

15.09.2013, 21:14

Keter

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

Tosha

1

1756

13.09.2013, 06:50

angor6

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

im_ieee

2

1653

12.09.2013, 19:04

im_ieee

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

Mysterious Light

3

2093

12.09.2013, 09:53

Xaositect

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

mak1610

3

3493

10.09.2013, 11:29

Xaositect

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

supergriver

3

2094

03.09.2013, 23:26

ИСН

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

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

eugrita

30

9222

28.08.2013, 07:56

iifat

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

Oleg Zubelevich

11

4018

25.08.2013, 14:03

Oleg Zubelevich

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

AlexeyM

7

4173

22.08.2013, 19:56

Xaositect

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

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

Munuvonaza

19

6423

06.08.2013, 02:07

Someone

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

alex_dorin

2

1730

02.08.2013, 17:34

Xaositect

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

alex_dorin

3

1923

23.07.2013, 20:34

alex_dorin

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

jhanjaa

7

2664

15.07.2013, 19:34

Deggial

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

xmaister

5

2660

11.07.2013, 00:44

Someone

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

Nikys

10

3317

26.06.2013, 00:37

Xaositect

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

Tigran-aminator

6

2441

25.06.2013, 17:54

Xaositect

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

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

Tigran-aminator

26

6320

20.06.2013, 01:50

Otta

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

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

YgolovnicK

21

5903

16.06.2013, 14:53

YgolovnicK

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

YgolovnicK

12

3830

16.06.2013, 12:07

YgolovnicK

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

Reef

11

3687

12.06.2013, 21:19

Reef

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

capabilitier

2

1721

08.06.2013, 22:28

capabilitier

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

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

xyzxyz

36

10838

05.06.2013, 22:50

GAA

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

Cunning

4

1966

03.06.2013, 18:10

AGu

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

Nikta

7

2564

03.06.2013, 08:55

Nikta

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

kola1357

4

4180

29.05.2013, 18:53

Sonic86

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

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

kola1357

17

6817

29.05.2013, 18:39

arseniiv

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

TehNick

8

3082

28.05.2013, 17:43

TehNick

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

arseniiv

5

2424

22.05.2013, 16:20

Xaositect

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

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

_hum_

54

15580

17.05.2013, 18:45

mserg

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

jivar

2

1888

13.05.2013, 19:40

Joker_vD

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

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

Niclax

17

4707

11.05.2013, 17:40

Niclax

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

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

cool.phenon

22

6880

10.05.2013, 19:45

Xaositect

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

jivar

1

1686

04.05.2013, 16:16

arseniiv

 [ Тем: 820 ]  На страницу Пред.  1, 2, 3, 4, 5, 6, 7, 8 ... 17  След.

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


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

Сейчас этот форум просматривают: ClaudeBot


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group