2014 dxdy logo

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

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
01/01/18 20:50 UTC: Перешли на HTTPS в тестовом режиме. О проблемах пишите в ЛС cepesh.



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


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

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

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

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

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


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

PAV

1

1374

12.02.2012, 16:29

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

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

domolaz

4

476

16.04.2013, 19:37

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

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

myjobisgop

6

558

14.04.2013, 23:22

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

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

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

_hum_

18

1882

10.04.2013, 21:05

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

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

arseniiv

2

294

10.04.2013, 12:46

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

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

Joe Black

3

507

05.04.2013, 19:34

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

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

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

mark_sandman

25

1660

01.04.2013, 01:22

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

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

Alexander__

13

936

29.03.2013, 23:26

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

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

Qurum

11

794

29.03.2013, 20:37

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

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

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

es3000

20

1206

27.03.2013, 14:09

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

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

eholot

13

1474

22.03.2013, 18:39

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

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

miraina

3

382

21.03.2013, 22:37

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

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

devgen

6

486

19.03.2013, 18:37

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

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

Prosto4elovek.

3

397

19.03.2013, 14:47

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

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

eugrita

1

341

18.03.2013, 02:29

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

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

Mr Alexey

7

616

15.03.2013, 17:22

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

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

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

kola1357

15

730

04.03.2013, 19:47

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

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

Dims

10

3721

03.03.2013, 17:30

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

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

Иван_85

12

1316

03.03.2013, 14:27

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

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

boomeer

3

457

26.02.2013, 12:33

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

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

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

kola1357

36

1844

21.02.2013, 00:32

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

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

kirill94

3

368

17.02.2013, 22:52

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

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

Nameless_2013

12

1025

09.02.2013, 23:07

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

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

xmaister

1

499

06.02.2013, 22:32

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

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

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

Chernoknizhnik

17

1164

04.02.2013, 10:13

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

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

Kostya17

9

784

02.02.2013, 22:35

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

Нет новых сообщений Машина Тьюринга для f(x)=2x+1

sergeysleep

2

533

23.01.2013, 19:06

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

Нет новых сообщений Доказательство свойств вывода из гипотез.

sergeysleep

6

534

23.01.2013, 00:57

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

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

datgen

1

418

21.01.2013, 22:17

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

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

user234

5

520

21.01.2013, 12:57

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

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

ExploiT243

7

612

20.01.2013, 12:38

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

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

Yana Romanova

3

401

19.01.2013, 09:55

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

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

datgen

6

1020

15.01.2013, 14:27

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

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

xmaister

4

476

13.01.2013, 12:07

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

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

ogcjm

5

410

12.01.2013, 08:18

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

Нет новых сообщений Эл-т док-ва т. Кантора-Бернштейна

noizy

6

545

08.01.2013, 17:27

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

Нет новых сообщений Структуры, переносимость, универсальные отображения

JMH

1

250

08.01.2013, 12:48

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

Нет новых сообщений Неразрешимые проблемы, связанные с КА

SakumaRei

4

577

07.01.2013, 21:56

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

Нет новых сообщений Категорная логика - как вводится истинность?

jhanjaa

4

421

07.01.2013, 10:44

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

Нет новых сообщений Внедрение Логики в строимую теории (на примере множеств)

Mysterious Light

4

377

06.01.2013, 18:31

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

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

1doffys

2

296

28.12.2012, 08:06

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

Нет новых сообщений Мощность двух отрезков.

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

delkov

26

1387

27.12.2012, 00:20

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

Нет новых сообщений Класс всех моделей Г

gefest_md

5

409

25.12.2012, 12:58

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

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

StopCry

8

504

24.12.2012, 11:16

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

Нет новых сообщений Метод двух включений

main.c

11

856

22.12.2012, 20:18

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

Нет новых сообщений Установить биекцию в явном виде.

Law

9

940

20.12.2012, 22:07

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

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

gefest_md

0

204

19.12.2012, 18:18

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

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

Greenbear

4

400

19.12.2012, 17:34

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

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

lovelyBunny

1

303

18.12.2012, 15:02

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

Нет новых сообщений Двойственная функция в k-значной логике.

ogcjm

5

391

17.12.2012, 21:17

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

Нет новых сообщений Альтернативное определение подструктуры

gefest_md

3

327

17.12.2012, 17:33

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

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

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


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

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


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

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