2014 dxdy logo

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

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



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

PAV

1

9893

12.02.2012, 16:29

PAV

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

ISBA

6

5333

21.10.2015, 20:01

ISBA

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

cloun.rules

3

2665

21.10.2015, 14:32

Xaositect

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

FeelUs

7

3726

15.10.2015, 14:36

Xaositect

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

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

ervadi

17

6091

11.10.2015, 22:19

ervadi

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

sofochchka94

5

2653

09.10.2015, 19:14

sofochchka94

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

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

maximk

20

6796

06.10.2015, 21:42

arseniiv

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

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

Ktina

27

12622

24.09.2015, 01:11

Ktina

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

alex_dorin

9

4440

21.09.2015, 18:02

arseniiv

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

Anton_Peplov

2

1680

20.09.2015, 21:04

Anton_Peplov

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

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

Anton_Peplov

15

7171

17.09.2015, 14:10

ewert

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

Oleg Zubelevich

7

2968

29.08.2015, 15:50

Nemiroff

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

gefest_md

6

2739

27.08.2015, 23:53

gefest_md

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

dmitryf

8

3146

26.08.2015, 18:38

dmitryf

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

ellipse

0

1219

26.08.2015, 00:50

ellipse

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

ervadi

1

1528

23.08.2015, 08:52

Deggial

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

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

{0}

16

5440

19.08.2015, 07:52

Deggial

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

Sinoid

3

2229

29.07.2015, 00:50

Sinoid

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

RonHabard

1

1526

27.07.2015, 01:53

NSKuber

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

iserjude

0

1203

26.07.2015, 17:30

iserjude

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

fractalon

10

3466

13.07.2015, 11:35

epros

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

Duelist

14

4721

11.07.2015, 00:45

Duelist

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

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

bayah

22

7824

11.06.2015, 07:45

whitefox

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

EgZvor

3

1813

11.06.2015, 01:41

EgZvor

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

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

Kras

15

5125

26.05.2015, 19:37

arseniiv

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

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

missa1

20

7495

25.05.2015, 19:31

Xaositect

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

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

maximk

33

14046

20.05.2015, 21:24

epros

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

arseniiv

2

1567

20.05.2015, 01:58

arseniiv

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

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

Evgenii2012

82

24911

15.05.2015, 12:14

grizzly

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

ChymeNik

4

2128

15.05.2015, 00:37

ChymeNik

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

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

zm_sansan

18

6624

14.05.2015, 23:47

arseniiv

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

IvMig

5

2324

11.05.2015, 19:47

IvMig

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

Darts501

1

1359

09.05.2015, 16:10

AGu

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

1r0pb

6

2592

08.05.2015, 21:58

1r0pb

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

Morozov+

9

5680

04.05.2015, 19:01

Alexandr

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

LexxArh

7

2689

04.05.2015, 18:15

LexxArh

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

veterinar

10

3399

03.05.2015, 20:53

Kras

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

fractalon

5

2258

27.04.2015, 04:59

iifat

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

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

epros

34

9657

23.04.2015, 19:13

arseniiv

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

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

Redkhmer

52

15146

21.04.2015, 05:57

AGu

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

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

Kosat

25

6792

20.04.2015, 08:20

Kosat

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

SomePupil

3

1813

11.04.2015, 19:24

мат-ламер

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

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

Kras

40

13184

05.04.2015, 12:00

AGu

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

alex_dorin

2

1498

04.04.2015, 13:54

AGu

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

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

jms

18

19055

03.04.2015, 12:14

flashhh

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

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

Anton_Peplov

17

5436

30.03.2015, 23:22

arseniiv

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

Doctor Faust

10

5857

26.03.2015, 06:59

Lia

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

Anton_Peplov

4

1908

25.03.2015, 23:34

Anton_Peplov

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

Kras

4

1967

19.03.2015, 01:04

Brukvalub

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

Munin

10

3196

17.03.2015, 13:11

Munin

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

DonVito

7

2898

13.03.2015, 13:09

gefest_md

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

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


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

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


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