2014 dxdy logo

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

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



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

PAV

1

9893

12.02.2012, 16:29

PAV

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

____

13

5883

17.06.2014, 23:43

Munin

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

milib

9

4834

04.06.2014, 17:52

Deggial

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

rkrkrk

0

1634

04.06.2014, 17:01

rkrkrk

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

Serliks

3

2624

23.05.2014, 23:27

gefest_md

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

constantin

4

2926

29.04.2014, 13:06

constantin

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

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

woohoo

23

8215

10.04.2014, 01:02

Xaositect

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

milky

6

3142

05.04.2014, 16:44

milky

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

julyk

7

3654

30.03.2014, 17:34

provincialka

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

reborn980

2

2256

30.03.2014, 13:22

reborn980

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

Evgeni2011

7

3752

16.03.2014, 01:14

ABViktor

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

kp9r4d

13

5545

10.03.2014, 16:15

arseniiv

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

usmanovamir

4

3162

02.03.2014, 14:19

usmanovamir

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

Kosat

6

3185

22.02.2014, 20:40

Kosat

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

Kosat

3

2453

22.02.2014, 12:51

Deggial

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

Yorick

8

4365

20.02.2014, 00:48

Dan B-Yallay

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

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

cscscs

17

5748

18.02.2014, 01:46

cscscs

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

Ktina

8

4584

17.02.2014, 06:37

Deggial

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

Daft

12

5347

11.02.2014, 15:57

Xaositect

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

cscscs

6

3272

10.02.2014, 18:24

Xaositect

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

cscscs

5

2733

09.02.2014, 20:04

cscscs

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

cscscs

14

4200

09.02.2014, 00:59

Xaositect

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

rkrkrk

2

1972

08.02.2014, 20:29

rkrkrk

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

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

Ankkka

21

6263

07.02.2014, 21:45

Sonic86

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

Bonaqua

7

3724

30.01.2014, 18:12

arseniiv

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

MestnyBomzh

3

2341

27.01.2014, 09:32

nikvic

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

FeelUs

3

2218

26.01.2014, 01:51

Xaositect

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

davidgale

7

3276

20.01.2014, 23:50

Maslov

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

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

Terraniux

18

5444

18.01.2014, 21:06

arseniiv

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

overlord77

1

1836

05.01.2014, 22:44

Someone

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

Felt

10

3775

05.01.2014, 13:35

Felt

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

Xvovan3

3

2232

03.01.2014, 23:25

Xvovan3

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

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

alex_dorin

20

5739

31.12.2013, 17:31

Someone

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

rkrkrk

3

2027

31.12.2013, 11:28

nikvic

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

TehNick

1

1687

25.12.2013, 10:08

bot

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

Flaminga

14

4128

24.12.2013, 15:28

Flaminga

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

MestnyBomzh

4

2384

24.12.2013, 06:51

Deggial

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

capabilitier

4

2295

23.12.2013, 19:19

capabilitier

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

TehNick

1

1646

23.12.2013, 17:38

TehNick

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

blade

1

1665

20.12.2013, 17:44

blade

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

mruncles

12

4404

08.12.2013, 20:36

Sonic86

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

grim2d

14

4829

06.12.2013, 20:25

VAL

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

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

_Ivana

18

4875

03.12.2013, 05:15

Otta

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

Liverpool

2

2146

02.12.2013, 14:08

Xaositect

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

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

Retard

23

5567

28.11.2013, 22:59

arseniiv

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

kola1357

1

1769

18.11.2013, 23:24

_Ivana

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

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

antoniosm

56

14948

18.11.2013, 17:43

antoniosm

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

TopLalka

8

3244

29.10.2013, 11:20

Someone

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

max(Im)

3

2184

26.10.2013, 22:18

_hum_

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

TelmanStud

8

3371

25.10.2013, 13:57

gris

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

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

Vikulyarus

22

10665

21.10.2013, 23:14

Mopnex

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

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


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

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


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