2014 dxdy logo

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

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



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


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

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

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

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

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


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

PAV

1

1177

12.02.2012, 16:29

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

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

milib

9

1566

04.06.2014, 17:52

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

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

rkrkrk

0

332

04.06.2014, 17:01

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

Нет новых сообщений исчисление высказываний

Serliks

3

652

23.05.2014, 23:27

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

Нет новых сообщений Задача Иосифа для шага выбывания > 2

constantin

4

774

29.04.2014, 13:06

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

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

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

woohoo

23

2131

10.04.2014, 01:02

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

Нет новых сообщений Система уравнений, мат. логика

milky

6

705

05.04.2014, 16:44

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

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

julyk

7

945

30.03.2014, 17:34

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

Нет новых сообщений Счётность множества алгебраическиx иррациональныx чисел

reborn980

2

519

30.03.2014, 13:22

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

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

Evgeni2011

7

1197

16.03.2014, 01:14

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

Нет новых сообщений Определение квантора?

kp9r4d

13

1433

10.03.2014, 16:15

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

Нет новых сообщений Дискретная математика. Шефферова функция

usmanovamir

4

673

02.03.2014, 14:19

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

Нет новых сообщений Составить рекуррентное выражение для вычисления функции

Kosat

6

711

22.02.2014, 20:40

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

Нет новых сообщений Эквивалентность при решении методом резолюций

Kosat

3

497

22.02.2014, 12:51

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

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

Yorick

8

1110

20.02.2014, 00:48

Dan B-Yallay Перейти к последнему сообщению

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

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

cscscs

17

1177

18.02.2014, 01:46

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

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

Ktina

8

1307

17.02.2014, 06:37

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

Нет новых сообщений Возведение мощностей в степень

Daft

12

848

11.02.2014, 15:57

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

Нет новых сообщений Доказательство теоремы Гёделя о неполноте

cscscs

6

652

10.02.2014, 18:24

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

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

cscscs

5

620

09.02.2014, 20:04

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

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

cscscs

14

937

09.02.2014, 00:59

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

Нет новых сообщений Существование биимунных множеств.

rkrkrk

2

362

08.02.2014, 20:29

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

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

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

Ankkka

21

1289

07.02.2014, 21:45

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

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

Bonaqua

7

662

30.01.2014, 18:12

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

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

MestnyBomzh

3

451

27.01.2014, 09:32

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

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

FeelUs

3

435

26.01.2014, 01:51

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

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

davidgale

7

547

20.01.2014, 23:50

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

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

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

Terraniux

18

1006

18.01.2014, 21:06

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

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

overlord77

1

397

05.01.2014, 22:44

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

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

Felt

10

716

05.01.2014, 13:35

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

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

Xvovan3

3

482

03.01.2014, 23:25

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

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

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

alex_dorin

20

1186

31.12.2013, 17:31

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

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

rkrkrk

3

370

31.12.2013, 11:28

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

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

TehNick

1

323

25.12.2013, 10:08

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

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

Flaminga

14

689

24.12.2013, 15:28

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

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

MestnyBomzh

4

445

24.12.2013, 06:51

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

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

capabilitier

4

438

23.12.2013, 19:19

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

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

TehNick

1

246

23.12.2013, 17:38

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

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

blade

1

245

20.12.2013, 17:44

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

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

Rhymmor

4

528

11.12.2013, 14:23

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

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

mruncles

12

705

08.12.2013, 20:36

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

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

grim2d

14

841

06.12.2013, 20:25

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

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

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

_Ivana

18

553

03.12.2013, 05:15

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

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

Liverpool

2

224

02.12.2013, 14:08

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

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

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

Retard

23

645

28.11.2013, 22:59

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

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

kola1357

1

247

18.11.2013, 23:24

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

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

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

antoniosm

56

1551

18.11.2013, 17:43

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

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

TopLalka

8

499

29.10.2013, 11:20

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

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

max(Im)

3

311

26.10.2013, 22:18

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

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

TelmanStud

8

389

25.10.2013, 13:57

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

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

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

Vikulyarus

22

4859

21.10.2013, 23:14

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

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

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


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

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


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

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