2014 dxdy logo

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

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


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


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

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

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

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

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


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

PAV

1

1387

12.02.2012, 16:29

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

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

kp9r4d

13

1723

10.03.2014, 16:15

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

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

usmanovamir

4

813

02.03.2014, 14:19

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

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

Kosat

6

768

22.02.2014, 20:40

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

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

Kosat

3

595

22.02.2014, 12:51

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

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

Yorick

8

1318

20.02.2014, 00:48

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

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

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

cscscs

17

1301

18.02.2014, 01:46

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

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

Ktina

8

1472

17.02.2014, 06:37

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

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

Daft

12

974

11.02.2014, 15:57

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

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

cscscs

6

725

10.02.2014, 18:24

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

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

cscscs

5

674

09.02.2014, 20:04

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

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

cscscs

14

1061

09.02.2014, 00:59

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

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

rkrkrk

2

399

08.02.2014, 20:29

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

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

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

Ankkka

21

1455

07.02.2014, 21:45

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

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

Bonaqua

7

855

30.01.2014, 18:12

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

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

MestnyBomzh

3

499

27.01.2014, 09:32

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

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

FeelUs

3

480

26.01.2014, 01:51

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

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

davidgale

7

642

20.01.2014, 23:50

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

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

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

Terraniux

18

1129

18.01.2014, 21:06

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

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

overlord77

1

433

05.01.2014, 22:44

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

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

Felt

10

815

05.01.2014, 13:35

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

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

Xvovan3

3

540

03.01.2014, 23:25

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

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

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

alex_dorin

20

1343

31.12.2013, 17:31

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

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

rkrkrk

3

411

31.12.2013, 11:28

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

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

TehNick

1

356

25.12.2013, 10:08

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

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

Flaminga

14

789

24.12.2013, 15:28

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

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

MestnyBomzh

4

514

24.12.2013, 06:51

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

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

capabilitier

4

488

23.12.2013, 19:19

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

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

TehNick

1

279

23.12.2013, 17:38

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

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

blade

1

278

20.12.2013, 17:44

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

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

Rhymmor

4

603

11.12.2013, 14:23

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

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

mruncles

12

951

08.12.2013, 20:36

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

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

grim2d

14

1057

06.12.2013, 20:25

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

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

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

_Ivana

18

778

03.12.2013, 05:15

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

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

Liverpool

2

287

02.12.2013, 14:08

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

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

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

Retard

23

890

28.11.2013, 22:59

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

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

kola1357

1

306

18.11.2013, 23:24

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

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

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

antoniosm

56

2799

18.11.2013, 17:43

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

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

TopLalka

8

692

29.10.2013, 11:20

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

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

max(Im)

3

376

26.10.2013, 22:18

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

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

TelmanStud

8

548

25.10.2013, 13:57

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

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

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

Vikulyarus

22

5124

21.10.2013, 23:14

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

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

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

science88

25

1309

20.10.2013, 00:22

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

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

leo82

2

287

15.10.2013, 08:17

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

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

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

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

24

1122

11.10.2013, 01:03

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

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

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

Manticore

54

2635

10.10.2013, 01:33

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

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

Tosha

14

895

09.10.2013, 17:19

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

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

lulbec

5

340

07.10.2013, 22:58

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

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

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

farentkik

32

1027

07.10.2013, 22:27

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

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

Manticore

2

263

06.10.2013, 20:45

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

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

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

Manticore

26

1043

06.10.2013, 18:39

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

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

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


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

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


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

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