2014 dxdy logo

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

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


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


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

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

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

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

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


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

PAV

1

6138

12.02.2012, 16:29

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

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

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

Виктор Викторов

15

1339

02.11.2010, 16:23

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

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

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

Marischa

17

1320

01.11.2010, 22:23

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

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

Circiter

2

520

01.11.2010, 19:14

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

Нет новых сообщений Доказать выражение с помощью логических аксиом.

lnter

6

906

01.11.2010, 16:58

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

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

caxap

5

540

31.10.2010, 18:38

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

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

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

bigarcus

52

3922

23.10.2010, 13:11

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

Нет новых сообщений Высказывания в логике

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

bigarcus

22

1767

22.10.2010, 18:11

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

Нет новых сообщений Вопрос про парадокс Б. Рассела [аксиома фундирования]

caxap

4

814

14.10.2010, 23:01

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

Нет новых сообщений Верещагин, Шень. Фундированные множества

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

caxap

17

1690

13.10.2010, 20:13

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

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

arseniiv

8

922

04.10.2010, 18:27

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

Нет новых сообщений Верещагин, Шень. Изоморфизмы.

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

caxap

34

2702

03.10.2010, 18:33

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

Нет новых сообщений Верещагин, Шень. Задачи 68, 71, 72.

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

caxap

16

1605

28.09.2010, 22:09

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

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

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

caxap

38

5465

26.09.2010, 21:36

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

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

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

truth

15

1140

26.09.2010, 10:03

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

Нет новых сообщений Верещагин, Шень. Задача 54 (несчетные множества...)

caxap

7

781

24.09.2010, 21:14

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

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

Виктор Викторов

2

493

19.09.2010, 19:34

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

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

Sonic86

8

1079

16.09.2010, 08:02

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

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

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

terminator-II

15

1379

12.09.2010, 11:35

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

Нет новых сообщений Приведение КА к полному ДКА.

antondm

13

1501

10.09.2010, 10:12

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

Нет новых сообщений Бесконечное множество содержит счетное подмножество

Padawan

12

1050

08.09.2010, 09:09

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

Нет новых сообщений Помогите разобраться с примитивно рекурсивными функциями..

Marischa

14

1282

02.09.2010, 20:09

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

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

chencho

11

1142

26.08.2010, 20:59

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

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

chencho

2

335

26.08.2010, 12:56

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

Нет новых сообщений Счётное неперечислимое множество

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

Dialectic

18

2470

24.08.2010, 15:10

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

Нет новых сообщений Мощность базиса Гамеля

MaximVD

7

1054

22.08.2010, 15:55

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

Нет новых сообщений Базис Гамеля.

Виктор Викторов

2

333

22.08.2010, 14:11

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

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

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

vityanya

23

2509

16.08.2010, 19:12

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

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

gegela

11

1567

13.08.2010, 19:19

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

Нет новых сообщений Формальные языки, нужна помощь

lightcaster

4

541

13.08.2010, 09:42

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

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

Niclax

11

1141

07.08.2010, 01:31

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

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

ShMaxG

5

1018

30.07.2010, 17:20

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

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

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

burgos

16

6540

22.07.2010, 11:56

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

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

arseniiv

8

804

21.07.2010, 17:53

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

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

Padawan

4

577

25.06.2010, 15:20

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

Нет новых сообщений Предварённая нормальная форма

nbyte

10

1409

22.06.2010, 19:01

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

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

caxap

3

497

19.06.2010, 23:49

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

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

Ales

6

617

18.06.2010, 11:02

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

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

cTarn

4

2016

16.06.2010, 16:05

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

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

cTarn

4

812

14.06.2010, 11:19

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

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

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

Padawan

15

1590

13.06.2010, 22:59

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

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

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

caxap

19

3290

13.06.2010, 22:57

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

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

Sasha2

3

503

13.06.2010, 08:56

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

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

caxap

5

728

12.06.2010, 19:58

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

Нет новых сообщений Теорема Шредера (Кантора) Бернштейна

Sasha2

11

4359

12.06.2010, 18:21

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

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

nbyte

6

2661

07.06.2010, 14:32

Чудо-в-перьях Перейти к последнему сообщению

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

Sonic86

14

1526

05.06.2010, 08:17

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

Нет новых сообщений Задача на разрешимость множества

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

m1Xtape

18

1201

31.05.2010, 15:40

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

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

meleshkoav

2

419

28.05.2010, 19:53

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

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

PATIfon

1

293

23.05.2010, 19:33

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

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

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

Dims

64

28710

16.05.2010, 04:01

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

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

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


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

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


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

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