2014 dxdy logo

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

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


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


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

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

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

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

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


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

PAV

1

4289

12.02.2012, 16:29

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

Темы
Нет новых сообщений Существование биекции RxR в R вида f(x,y) = g(x) + h(y)

ISBA

6

3920

21.10.2015, 20:01

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

Нет новых сообщений n-оценка

cloun.rules

3

1763

21.10.2015, 14:32

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

Нет новых сообщений конгруэнция

FeelUs

7

2527

15.10.2015, 14:36

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

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

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

ervadi

17

3622

11.10.2015, 22:19

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

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

sofochchka94

5

1501

09.10.2015, 19:14

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

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

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

maximk

20

3900

06.10.2015, 21:42

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

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

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

Ktina

27

8993

24.09.2015, 01:11

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

Нет новых сообщений Как дать определение множ действ чисел средствами ZF(C) ?

alex_dorin

9

2992

21.09.2015, 18:02

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

Нет новых сообщений Эффективно нулевые множества по Мартин-Лёфу

Anton_Peplov

2

822

20.09.2015, 21:04

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

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

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

Anton_Peplov

15

4630

17.09.2015, 14:10

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

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

Oleg Zubelevich

7

1593

29.08.2015, 15:50

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

Нет новых сообщений antisymmetry (Zorich)

gefest_md

6

1409

27.08.2015, 23:53

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

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

dmitryf

8

1526

26.08.2015, 18:38

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

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

ellipse

0

526

26.08.2015, 00:50

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

Нет новых сообщений 0# или V=L

ervadi

1

736

23.08.2015, 08:52

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

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

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

{0}

16

2971

19.08.2015, 07:52

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

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

Sinoid

3

1157

29.07.2015, 00:50

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

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

RonHabard

1

766

27.07.2015, 01:53

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

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

iserjude

0

522

26.07.2015, 17:30

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

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

fractalon

10

2017

13.07.2015, 11:35

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

Нет новых сообщений Строгое рекурсивное задание функции

Duelist

14

2973

11.07.2015, 00:45

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

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

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

bayah

22

4862

11.06.2015, 07:45

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

Нет новых сообщений Переход к пределу объединения множеств

EgZvor

3

920

11.06.2015, 01:41

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

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

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

Kras

15

2969

26.05.2015, 19:37

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

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

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

missa1

20

4601

25.05.2015, 19:31

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

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

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

maximk

33

8340

20.05.2015, 21:24

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

Нет новых сообщений Ищу названия для двух объектов [выводимость, термы]

arseniiv

2

750

20.05.2015, 01:58

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

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

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

Evgenii2012

82

15581

15.05.2015, 12:14

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

Нет новых сообщений Алгебра логики. СДНФ. Число функций с заданным условием

ChymeNik

4

1147

15.05.2015, 00:37

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

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

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

zm_sansan

18

3982

14.05.2015, 23:47

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

Нет новых сообщений Доказать, не опираясь на аксиому выбора(и экв. ей утв.)

IvMig

5

1304

11.05.2015, 19:47

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

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

Darts501

1

612

09.05.2015, 16:10

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

Нет новых сообщений Система аксиом метрического пространства

1r0pb

6

1477

08.05.2015, 21:58

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

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

Morozov+

9

2929

04.05.2015, 19:01

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

Нет новых сообщений Математическая логика. Составление СДНФ.

LexxArh

7

1532

04.05.2015, 18:15

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

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

veterinar

10

1950

03.05.2015, 20:53

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

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

fractalon

5

1267

27.04.2015, 04:59

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

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

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

epros

34

5835

23.04.2015, 19:13

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

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

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

Redkhmer

52

9650

21.04.2015, 05:57

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

Нет новых сообщений Как из схем аксиом Клини вывести схему аксиом Гильберта №2?

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

Kosat

25

4186

20.04.2015, 08:20

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

Нет новых сообщений Непонятный абзац из Шеня

SomePupil

3

973

11.04.2015, 19:24

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

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

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

Kras

40

8461

05.04.2015, 12:00

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

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

alex_dorin

2

724

04.04.2015, 13:54

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

Нет новых сообщений Книга по математической логике

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

jms

18

15774

03.04.2015, 12:14

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

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

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

Anton_Peplov

17

3171

30.03.2015, 23:22

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

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

Doctor Faust

10

4348

26.03.2015, 06:59

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

Нет новых сообщений Научиться работать с бесконечностью

Anton_Peplov

4

1046

25.03.2015, 23:34

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

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

Kras

4

979

19.03.2015, 01:04

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

Нет новых сообщений \aleph_2 =? 2^C

Munin

10

1874

17.03.2015, 13:11

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

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

DonVito

7

1660

13.03.2015, 13:09

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

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

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


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

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


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

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