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

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

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

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

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

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

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

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

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

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

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

Темы

Автор

Ответы

Просмотры

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

Объявления

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

PAV

8703

12.02.2012, 16:29

PAV

Темы

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

Bod

5079

02.04.2007, 01:09

Bod

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

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

epros

18260

30.03.2007, 14:45

Macavity

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

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

Bod

13073

28.02.2007, 16:42

Bod

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

clondike

5494

26.02.2007, 19:33

Capella

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

tandser

5020

25.01.2007, 12:22

radical

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

Эйнштейн

5187

15.12.2006, 07:39

Brukvalub

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

juna

4951

13.12.2006, 21:23

juna

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

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

AlexDem

18343

11.12.2006, 22:02

AlexDem

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

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

passenger

21510

08.12.2006, 01:27

maxal

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

Humming Bird

3459

22.10.2006, 11:42

Humming Bird

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

Demurg2000

5139

22.10.2006, 09:01

Brukvalub

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

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

Ulya

32122

09.10.2006, 23:08

PAV

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

Dims

9791

20.09.2006, 08:35

Brukvalub

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

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

Woland

16280

05.07.2006, 13:38

Someone

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

Riddick

5270

20.06.2006, 11:49

bot

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

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

Leox

21280

19.05.2006, 19:44

Руст

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

photon

9962

16.03.2006, 21:00

Dan B-Yallay

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

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

x0rr

27245

14.03.2006, 08:29

juna

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

Padawan

10443

23.02.2006, 00:33

маткиб

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

Гость

11558

14.12.2005, 21:34

Someone

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

[ Тем: 820 ]

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

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

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

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

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

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

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

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

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

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