2014 dxdy logo

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

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



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


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

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

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

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

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


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

PAV

1

1209

12.02.2012, 16:29

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

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

ogcjm

5

335

12.01.2013, 08:18

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

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

noizy

6

438

08.01.2013, 17:27

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

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

JMH

1

209

08.01.2013, 12:48

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

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

SakumaRei

4

512

07.01.2013, 21:56

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

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

jhanjaa

4

336

07.01.2013, 10:44

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

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

Mysterious Light

4

294

06.01.2013, 18:31

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

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

1doffys

2

252

28.12.2012, 08:06

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

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

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

delkov

26

987

27.12.2012, 00:20

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

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

gefest_md

5

321

25.12.2012, 12:58

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

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

StopCry

8

407

24.12.2012, 11:16

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

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

main.c

11

654

22.12.2012, 20:18

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

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

Law

9

756

20.12.2012, 22:07

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

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

gefest_md

0

173

19.12.2012, 18:18

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

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

Greenbear

4

305

19.12.2012, 17:34

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

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

lovelyBunny

1

258

18.12.2012, 15:02

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

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

ogcjm

5

312

17.12.2012, 21:17

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

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

gefest_md

3

262

17.12.2012, 17:33

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

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

alex_dorin

1

201

11.12.2012, 14:30

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

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

kerage

0

217

11.12.2012, 14:22

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

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

[ На страницу: 1 ... 4, 5, 6 ]

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

75

4054

10.12.2012, 12:52

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

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

arseniiv

3

315

09.12.2012, 18:03

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

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

gefest_md

0

171

08.12.2012, 14:20

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

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

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

max(Im)

18

987

06.12.2012, 15:55

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

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

gefest_md

1

231

04.12.2012, 19:16

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

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

Sul

8

442

29.11.2012, 22:06

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

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

geoffrey

1

273

29.11.2012, 17:27

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

Нет новых сообщений Упорядочить множество

tarasinho_318

1

211

28.11.2012, 21:43

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

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

kirflaer

4

337

28.11.2012, 16:47

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

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

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

Mitrius_Math

19

789

25.11.2012, 22:25

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

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

Mitrius_Math

3

349

23.11.2012, 16:21

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

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

yoba

1

306

14.11.2012, 22:24

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

Нет новых сообщений О множестве, которое содержит само себя в качестве элемента

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

Dialectic

27

4818

06.11.2012, 21:17

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

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

reie

9

378

31.10.2012, 20:12

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

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

geoffrey

1

264

25.10.2012, 16:00

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

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

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

Snejka

15

884

23.10.2012, 01:52

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

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

alleut

8

489

22.10.2012, 21:51

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

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

gefest_md

5

367

03.10.2012, 18:27

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

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

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

ogcjm

17

802

03.10.2012, 18:17

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

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

kirflaer

5

651

25.09.2012, 03:27

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

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

se0808

7

491

21.09.2012, 10:24

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

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

Iby

10

521

20.09.2012, 23:05

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

Нет новых сообщений перечислимые мн-ва (Верещагин, Шень, ч. 3. Задачи 11, 12)

alleut

10

417

18.09.2012, 21:22

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

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

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

vladb314

17

627

17.09.2012, 12:31

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

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

gefest_md

11

593

25.08.2012, 22:24

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

Нет новых сообщений structures of first-order logic (задачи)

gefest_md

0

219

25.08.2012, 22:19

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

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

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

theambient

25

977

15.08.2012, 11:52

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

Нет новых сообщений Звёздное небо (можно ли так решать?)

Ktina

4

420

12.08.2012, 10:51

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

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

Estimate

8

430

10.08.2012, 14:32

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

Нет новых сообщений Обобщенное прямое произведение

AlexeyM

10

418

03.08.2012, 17:33

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

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

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

Vladimir Gorlin

22

2029

03.08.2012, 00:51

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

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

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


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

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


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

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