Мат. логика, основания математики, теория алгоритмов

Сообщения без ответов | Активные темы | Избранное

Список форумов » Математика » Помогите решить / разобраться (М) » Мат. логика, основания математики, теория алгоритмов

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

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

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

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

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

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

Мат. логика, основания математики, теория алгоритмов

На страницу Пред. 1 ... 13, 14, 15, 16, 17

Темы

Автор

Ответы

Просмотры

Последнее сообщение

Объявления

ВАЖНО! Прочтите перед написанием сообщения в этот раздел!

PAV

4308

12.02.2012, 16:29

PAV

Темы

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

Bod

3695

02.04.2007, 01:09

Bod

Трансфинитная индукция и непротиворечивость теории множеств

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

epros

15075

30.03.2007, 14:45

Macavity

Вопрос об эквивалентности множеств

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

Bod

10756

28.02.2007, 16:42

Bod

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

clondike

4109

26.02.2007, 19:33

Capella

Множество пустого множества

tandser

3629

25.01.2007, 12:22

radical

машина Тьюринга (ссылки)

Эйнштейн

3764

15.12.2006, 07:39

Brukvalub

Алгоритмическая теория множеств (литература)

juna

3308

13.12.2006, 21:23

juna

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

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

AlexDem

14907

11.12.2006, 22:02

AlexDem

Задача на машину Тьюринга

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

passenger

17845

08.12.2006, 01:27

maxal

Как установить биекцию между множествами

Humming Bird

2294

22.10.2006, 11:42

Humming Bird

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

Demurg2000

3794

22.10.2006, 09:01

Brukvalub

Про счетные множества

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

Ulya

27323

09.10.2006, 23:08

PAV

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

Dims

8046

20.09.2006, 08:35

Brukvalub

Счётность множества слов конечного алфавита

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

Woland

13625

05.07.2006, 13:38

Someone

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

Riddick

3985

20.06.2006, 11:49

bot

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

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

Leox

18213

19.05.2006, 19:44

Руст

актуальная бесконечность

photon

8407

16.03.2006, 21:00

Dan B-Yallay

Биекция между R и R^n?

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

x0rr

23835

14.03.2006, 08:29

juna

Вопрос про номера алефов

Padawan

8980

23.02.2006, 00:33

маткиб

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

Гость

9986

14.12.2005, 21:34

Someone

Страница 17 из 17

[ Тем: 820 ]

На страницу Пред. 1 ... 13, 14, 15, 16, 17

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

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

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

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

Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

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

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

Мат. логика, основания математики, теория алгоритмов

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