2014 dxdy logo

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

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



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


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

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

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

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

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


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

PAV

1

1319

12.02.2012, 16:29

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

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

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

Maximum

15

4043

27.12.2007, 14:20

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

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

HacTeHkA

1

1036

27.12.2007, 07:21

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

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

vadim55

4

1270

24.12.2007, 13:25

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

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

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

vadim55

143

41157

24.11.2007, 23:46

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

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

Di

7

2705

22.10.2007, 09:42

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

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

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

Amigo

18

7415

21.10.2007, 17:15

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

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

SeverniyVeterok

7

2483

19.10.2007, 23:33

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

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

Levon11

10

3451

15.10.2007, 23:34

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

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

diff

10

3978

04.10.2007, 11:17

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

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

epros

1

2002

19.09.2007, 15:27

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

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

Посторонний

1

1836

15.09.2007, 02:50

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

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

Rif

2

2589

28.08.2007, 09:02

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

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

Mikhail Sokolov

9

4222

22.08.2007, 05:25

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

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

АльфияР

7

3525

09.07.2007, 13:40

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

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

Maximum

11

4196

28.05.2007, 18:30

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

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

Maximum

5

2322

25.05.2007, 11:55

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

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

Maximum

5

2596

25.05.2007, 06:20

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

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

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

Dims

20

8688

25.05.2007, 02:20

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

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

Таня Тайс

11

4418

24.05.2007, 22:53

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

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

wovas

4

1843

20.05.2007, 23:31

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

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

Olympiya

5

2550

13.05.2007, 08:22

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

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

Ruslan_Sharipov

1

2876

12.05.2007, 12:31

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

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

elle

5

2305

19.04.2007, 19:54

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

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

<Viking>

11

4126

03.04.2007, 21:30

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

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

epros

7

3237

02.04.2007, 18:39

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

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

Bod

8

3225

02.04.2007, 01:09

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

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

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

epros

33

13249

30.03.2007, 14:45

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

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

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

Bod

20

9298

28.02.2007, 16:42

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

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

clondike

6

3227

26.02.2007, 19:33

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

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

tandser

5

2680

25.01.2007, 12:22

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

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

Эйнштейн

7

2749

15.12.2006, 07:39

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

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

juna

4

2199

13.12.2006, 21:23

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

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

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

AlexDem

21

10207

11.12.2006, 22:02

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

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

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

passenger

31

14903

08.12.2006, 01:27

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

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

Humming Bird

2

1728

22.10.2006, 11:42

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

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

Demurg2000

5

2990

22.10.2006, 09:01

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

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

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

Ulya

47

23465

09.10.2006, 23:08

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

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

Dims

12

6123

20.09.2006, 08:35

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

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

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

Woland

23

11099

05.07.2006, 13:38

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

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

Riddick

5

3245

20.06.2006, 11:49

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

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

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

Leox

32

16058

19.05.2006, 19:44

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

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

photon

13

6639

16.03.2006, 21:00

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

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

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

x0rr

37

20308

14.03.2006, 08:29

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

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

Padawan

11

7430

23.02.2006, 00:33

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

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

Гость

11

8532

14.12.2005, 21:34

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

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

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


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

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


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

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