2014 dxdy logo

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

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



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


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

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

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

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

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


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

PAV

1

1361

12.02.2012, 16:29

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

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

Bonaqua

7

840

30.01.2014, 18:12

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

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

MestnyBomzh

3

492

27.01.2014, 09:32

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

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

FeelUs

3

471

26.01.2014, 01:51

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

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

davidgale

7

624

20.01.2014, 23:50

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

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

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

Terraniux

18

1104

18.01.2014, 21:06

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

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

overlord77

1

429

05.01.2014, 22:44

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

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

Felt

10

794

05.01.2014, 13:35

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

Нет новых сообщений Теорема Шредера (Кантора) Бернштейна

Xvovan3

3

534

03.01.2014, 23:25

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

Нет новых сообщений Выводимы ли в ZF аксиомы Пеано ?

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

alex_dorin

20

1312

31.12.2013, 17:31

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

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

rkrkrk

3

405

31.12.2013, 11:28

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

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

TehNick

1

351

25.12.2013, 10:08

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

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

Flaminga

14

769

24.12.2013, 15:28

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

Нет новых сообщений Конъюнкция через дизъюнкцию и импликацию

MestnyBomzh

4

506

24.12.2013, 06:51

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

Нет новых сообщений Мат. Лог

capabilitier

4

481

23.12.2013, 19:19

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

Нет новых сообщений Понижение мощности модели

TehNick

1

272

23.12.2013, 17:38

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

Нет новых сообщений Логика. частично упорядоченное множество.

blade

1

274

20.12.2013, 17:44

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

Нет новых сообщений Теорема Гудстейна

Rhymmor

4

592

11.12.2013, 14:23

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

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

mruncles

12

930

08.12.2013, 20:36

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

Нет новых сообщений Что за задача Пи против нПи?

grim2d

14

998

06.12.2013, 20:25

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

Нет новых сообщений Математическая индукция, два утверждения в базе

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

_Ivana

18

751

03.12.2013, 05:15

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

Нет новых сообщений Основные сводимости в теории NP-полных задач

Liverpool

2

275

02.12.2013, 14:08

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

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

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

Retard

23

857

28.11.2013, 22:59

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

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

kola1357

1

301

18.11.2013, 23:24

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

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

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

antoniosm

56

2712

18.11.2013, 17:43

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

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

TopLalka

8

670

29.10.2013, 11:20

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

Нет новых сообщений Задача о рюкзаке NP-трудна

max(Im)

3

368

26.10.2013, 22:18

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

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

TelmanStud

8

527

25.10.2013, 13:57

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

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

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

Vikulyarus

22

5088

21.10.2013, 23:14

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

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

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

science88

25

1242

20.10.2013, 00:22

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

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

leo82

2

278

15.10.2013, 08:17

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

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

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

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

24

1094

11.10.2013, 01:03

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

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

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

Manticore

54

2527

10.10.2013, 01:33

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

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

Tosha

14

869

09.10.2013, 17:19

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

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

lulbec

5

332

07.10.2013, 22:58

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

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

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

farentkik

32

976

07.10.2013, 22:27

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

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

Manticore

2

253

06.10.2013, 20:45

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

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

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

Manticore

26

1007

06.10.2013, 18:39

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

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

Manticore

7

529

06.10.2013, 12:18

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

Нет новых сообщений Задачки из книги Зорича

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

Denis Russkih

24

1149

06.10.2013, 11:16

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

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

- Archer -

14

1963

03.10.2013, 21:20

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

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

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

Manticore

20

895

29.09.2013, 22:56

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

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

Denis Russkih

13

702

27.09.2013, 00:25

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

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

Keter

2

346

24.09.2013, 06:39

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

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

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

Manticore

31

851

23.09.2013, 23:03

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

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

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

Ward

15

1159

23.09.2013, 16:03

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

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

jhanjaa

0

196

19.09.2013, 14:00

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

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

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

Keter

18

914

15.09.2013, 21:14

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

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

Tosha

1

313

13.09.2013, 06:50

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

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

im_ieee

2

368

12.09.2013, 19:04

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

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

Mysterious Light

3

471

12.09.2013, 09:53

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

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

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


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

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


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

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