2014 dxdy logo

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

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



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


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

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

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

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

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


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

PAV

1

1350

12.02.2012, 16:29

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

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

Spook

3

1133

24.01.2008, 23:20

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

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

mastedm

5

1370

23.01.2008, 22:35

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

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

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

Михаиль

16

3917

23.01.2008, 00:29

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

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

Maviru

11

2194

21.01.2008, 18:14

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

Нет новых сообщений Интерпретация сигнатуры

Zlak

5

1333

05.01.2008, 16:30

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

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

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

Maximum

15

4067

27.12.2007, 14:20

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

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

HacTeHkA

1

1043

27.12.2007, 07:21

незваный гость Перейти к последнему сообщению

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

vadim55

4

1282

24.12.2007, 13:25

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

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

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

vadim55

143

41338

24.11.2007, 23:46

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

Нет новых сообщений Окружности: Выяснить мощность множеств

Di

7

2741

22.10.2007, 09:42

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

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

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

Amigo

18

7465

21.10.2007, 17:15

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

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

SeverniyVeterok

7

2502

19.10.2007, 23:33

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

Нет новых сообщений что такое "cut-free Gentzen ..." ?

Levon11

10

3477

15.10.2007, 23:34

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

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

diff

10

4005

04.10.2007, 11:17

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

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

epros

1

2008

19.09.2007, 15:27

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

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

Посторонний

1

1844

15.09.2007, 02:50

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

Нет новых сообщений Примитивно и частично рекурсивные функции (вопросы)

Rif

2

2598

28.08.2007, 09:02

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

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

Mikhail Sokolov

9

4247

22.08.2007, 05:25

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

Нет новых сообщений биекция R->R в заданными свойствами

АльфияР

7

3537

09.07.2007, 13:40

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

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

Maximum

11

4218

28.05.2007, 18:30

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

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

Maximum

5

2340

25.05.2007, 11:55

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

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

Maximum

5

2614

25.05.2007, 06:20

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

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

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

Dims

20

8740

25.05.2007, 02:20

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

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

Таня Тайс

11

4446

24.05.2007, 22:53

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

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

wovas

4

1854

20.05.2007, 23:31

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

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

Olympiya

5

2565

13.05.2007, 08:22

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

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

Ruslan_Sharipov

1

2883

12.05.2007, 12:31

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

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

elle

5

2320

19.04.2007, 19:54

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

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

<Viking>

11

4142

03.04.2007, 21:30

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

Нет новых сообщений как в аксиоматич. теории множеств выводится a \notin a

epros

7

3256

02.04.2007, 18:39

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

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

Bod

8

3238

02.04.2007, 01:09

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

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

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

epros

33

13324

30.03.2007, 14:45

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

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

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

Bod

20

9328

28.02.2007, 16:42

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

Нет новых сообщений Доказать, что у всех кошек глаза одного цвета (индукция...)

clondike

6

3245

26.02.2007, 19:33

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

Нет новых сообщений Множество пустого множества

tandser

5

2703

25.01.2007, 12:22

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

Нет новых сообщений машина Тьюринга (ссылки)

Эйнштейн

7

2761

15.12.2006, 07:39

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

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

juna

4

2217

13.12.2006, 21:23

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

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

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

AlexDem

21

10377

11.12.2006, 22:02

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

Нет новых сообщений Задача на машину Тьюринга

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

passenger

31

15004

08.12.2006, 01:27

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

Нет новых сообщений Как установить биекцию между множествами

Humming Bird

2

1740

22.10.2006, 11:42

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

Нет новых сообщений Где можно найти доказательство теоремы Кантора-Бернштейна?

Demurg2000

5

3008

22.10.2006, 09:01

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

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

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

Ulya

47

23606

09.10.2006, 23:08

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

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

Dims

12

6162

20.09.2006, 08:35

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

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

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

Woland

23

11156

05.07.2006, 13:38

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

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

Riddick

5

3258

20.06.2006, 11:49

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

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

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

Leox

32

16131

19.05.2006, 19:44

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

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

photon

13

6678

16.03.2006, 21:00

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

Нет новых сообщений Биекция между R и R^n?

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

x0rr

37

20389

14.03.2006, 08:29

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

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

Padawan

11

7457

23.02.2006, 00:33

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

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

Гость

11

8563

14.12.2005, 21:34

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

Показать темы за:  Поле сортировки  
Начать новую тему  [ Тем: 750 ]  На страницу Пред.  1 ... 11, 12, 13, 14, 15

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


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

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


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

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