2014 dxdy logo

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

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



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


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

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

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

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

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


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

PAV

1

1288

12.02.2012, 16:29

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

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

Tigran-aminator

6

398

25.06.2013, 17:54

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

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

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

Tigran-aminator

26

1063

20.06.2013, 01:50

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

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

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

YgolovnicK

21

1148

16.06.2013, 14:53

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

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

YgolovnicK

12

660

16.06.2013, 12:07

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

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

Reef

11

619

12.06.2013, 21:19

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

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

capabilitier

2

276

08.06.2013, 22:28

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

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

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

xyzxyz

36

2914

05.06.2013, 22:50

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

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

Cunning

4

306

03.06.2013, 18:10

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

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

Nikta

7

376

03.06.2013, 08:55

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

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

kola1357

4

947

29.05.2013, 18:53

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

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

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

kola1357

17

1389

29.05.2013, 18:39

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

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

TehNick

8

587

28.05.2013, 17:43

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

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

arseniiv

5

394

22.05.2013, 16:20

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

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

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

_hum_

54

1510

17.05.2013, 18:45

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

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

jivar

2

343

13.05.2013, 19:40

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

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

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

Niclax

17

881

11.05.2013, 17:40

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

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

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

cool.phenon

22

1055

10.05.2013, 19:45

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

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

jivar

1

363

04.05.2013, 16:16

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

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

romanb

3

540

03.05.2013, 23:26

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

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

Doil-byle

2

454

01.05.2013, 22:12

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

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

Asker Tasker

6

480

25.04.2013, 17:42

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

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

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

sopor

21

973

25.04.2013, 13:12

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

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

magneton_bora

3

364

20.04.2013, 14:22

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

Нет новых сообщений следствия и посылки

nat87

3

321

20.04.2013, 14:03

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

Нет новых сообщений Привести равносильным преобразование к СДНФ и СКНФ

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

nat87

27

1545

18.04.2013, 15:03

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

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

domolaz

4

431

16.04.2013, 19:37

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

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

myjobisgop

6

489

14.04.2013, 23:22

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

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

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

_hum_

18

1630

10.04.2013, 21:05

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

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

arseniiv

2

267

10.04.2013, 12:46

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

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

Joe Black

3

460

05.04.2013, 19:34

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

Нет новых сообщений Система аксиом Цермело-Френкеля

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

mark_sandman

25

1455

01.04.2013, 01:22

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

Нет новых сообщений Биективность отображения X \ Y -> X

Alexander__

13

829

29.03.2013, 23:26

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

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

Qurum

11

691

29.03.2013, 20:37

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

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

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

es3000

20

1013

27.03.2013, 14:09

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

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

eholot

13

1321

22.03.2013, 18:39

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

Нет новых сообщений Доказать, что существует множество, не ПРМ

miraina

3

345

21.03.2013, 22:37

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

Нет новых сообщений сюръекция

devgen

6

433

19.03.2013, 18:37

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

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

Prosto4elovek.

3

365

19.03.2013, 14:47

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

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

eugrita

1

317

18.03.2013, 02:29

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

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

Mr Alexey

7

538

15.03.2013, 17:22

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

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

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

kola1357

15

605

04.03.2013, 19:47

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

Нет новых сообщений Какова аксиоматика без закона исключённого третьего?

Dims

10

3635

03.03.2013, 17:30

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

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

Иван_85

12

1213

03.03.2013, 14:27

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

Нет новых сообщений Бинарные операции

boomeer

3

422

26.02.2013, 12:33

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

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

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

kola1357

36

1573

21.02.2013, 00:32

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

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

kirill94

3

336

17.02.2013, 22:52

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

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

Nameless_2013

12

916

09.02.2013, 23:07

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

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

xmaister

1

466

06.02.2013, 22:32

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

Нет новых сообщений Чумы, лемма Цорна и попытки её обойти

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

Chernoknizhnik

17

1025

04.02.2013, 10:13

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

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

Kostya17

9

703

02.02.2013, 22:35

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

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

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


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

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


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

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