2014 dxdy logo

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

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



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

PAV

1

9895

12.02.2012, 16:29

PAV

Темы
Нет новых сообщений Регулярные языки и делимость

Xaositect

2

971

21.05.2009, 10:08

Профессор Снэйп

Нет новых сообщений Теория алгоритмов (обозначения)

Soundelly

6

2810

21.05.2009, 08:52

AGu

Нет новых сообщений примеры различных множеств (математическая логика)

gepa

5

1218

07.05.2009, 13:16

gepa

Нет новых сообщений Машина Тьюринга для заданной функции

NatNiM

7

1926

05.05.2009, 14:36

Xaositect

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

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

Арианна

21

3806

02.05.2009, 11:12

AGu

Нет новых сообщений Алгоритм Маркова для f(x)=x/2

Sergio471

2

806

01.05.2009, 20:54

Sergio471

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

gepa

3

1116

01.05.2009, 04:23

Профессор Снэйп

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

arseniiv

6

1215

28.04.2009, 12:08

arseniiv

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

mkot

1

620

24.04.2009, 20:57

Профессор Снэйп

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

akyzina

5

1170

15.04.2009, 22:14

akyzina

Нет новых сообщений Несколько задач по мат. логике (предикаты и мн-ва)

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

UAS

15

3429

10.04.2009, 21:08

akyzina

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

Егор

6

1134

07.04.2009, 22:12

Егор

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

Nerazumovskiy

6

1530

05.04.2009, 22:38

Nerazumovskiy

Нет новых сообщений Вопросы по теории языков и МТ

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

ShMaxG

38

5245

24.03.2009, 04:16

Профессор Снэйп

Нет новых сообщений Является ли функция примитивно рекурсивной?

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

TypucT

106

13484

23.03.2009, 18:56

TypucT

Нет новых сообщений Мат.Логика - Логика высказываний

Elizaveta

2

872

19.03.2009, 21:52

Elizaveta

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

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

Евгеша

21

3030

18.03.2009, 14:38

ewert

Нет новых сообщений Деление шара на две части равного радиуса

Stolen

5

1301

16.03.2009, 18:44

Brukvalub

Нет новых сообщений Множество всех множеств (парадокс Рассела)

Кудеяр

11

2460

15.03.2009, 18:41

Утундрий

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

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

kantrovik

15

2755

10.03.2009, 19:40

kantrovik

Нет новых сообщений Множество из одного элемента

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

AndreyXYZ

19

3836

28.02.2009, 21:12

Someone

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

Spook

12

2201

26.02.2009, 13:17

Чудо-в-перьях

Нет новых сообщений Мощность множеств. Не могу разобраться (счетные, континуум)

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

Апофеоз Здравого Смысла

26

4215

26.02.2009, 12:42

Xaositect

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

Spook

8

1539

25.02.2009, 13:57

Чудо-в-перьях

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

Апофеоз Здравого Смысла

3

955

10.02.2009, 11:50

Апофеоз Здравого Смысла

Нет новых сообщений Основы теории множеств (биекция между геометрич. объектами)

PHT

12

2731

08.02.2009, 19:42

ewert

Нет новых сообщений Счетность отрезка [0;1]

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

mortid0

16

2254

08.02.2009, 17:26

gris

Нет новых сообщений Будет ли множество пустым?

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

Dialectic

19

2481

05.02.2009, 19:54

Dialectic

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

gefest_md

2

755

04.02.2009, 16:01

gefest_md

Нет новых сообщений Несчетность

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

daogiauvang

48

6384

15.01.2009, 09:00

Brukvalub

Нет новых сообщений (Объяснения элементарных операций с множествами)

droni4

4

1071

14.01.2009, 19:28

droni4

Нет новых сообщений невыразимость предиката ("x и y - родные братья")

malykh89

5

1093

28.12.2008, 18:18

Профессор Снэйп

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

dimaudi

2

864

26.12.2008, 09:34

dimaudi

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

Апофеоз Здравого Смысла

12

2927

24.12.2008, 20:53

id

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

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

1stpm90

15

2404

24.12.2008, 19:21

gefest_md

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

Tik-tak

10

1754

24.12.2008, 06:11

Профессор Снэйп

Нет новых сообщений Являются ли R^(n-1) и R^n элемент. экв. как частично упорядо

malykh89

2

685

23.12.2008, 23:13

Профессор Снэйп

Нет новых сообщений Рыцари и лжецы

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

nikov

64

8579

23.12.2008, 09:28

TOTAL

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

yapopovko

3

1001

20.12.2008, 03:42

gefest_md

Нет новых сообщений Busy beaver

nikov

1

712

20.12.2008, 01:32

маткиб

Нет новых сообщений Сечение Дедикинда. Континуум.

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

Amigo

22

3448

05.12.2008, 12:01

Brukvalub

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

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

Зося

21

3034

02.12.2008, 18:50

Brukvalub

Нет новых сообщений Вполне упорядоченнные множества. Норма.

Amigo

8

1596

24.11.2008, 12:32

Профессор Снэйп

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

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

mvb13

26

3829

05.11.2008, 11:07

AGu

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

enko

12

2086

03.11.2008, 10:44

AGu

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

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

Sakura

36

4737

29.10.2008, 22:07

Sakura

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

bubu gaga

6

1357

27.09.2008, 19:07

bubu gaga

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

mvb13

5

2372

24.09.2008, 19:44

Профессор Снэйп

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

nell

9

2090

22.09.2008, 03:10

Профессор Снэйп

Нет новых сообщений При каких событиях A и B будет следующее...

Moko

10

1473

15.09.2008, 16:16

Moko

 [ Тем: 820 ]  На страницу Пред.  1 ... 12, 13, 14, 15, 16, 17  След.

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


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

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


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