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

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

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

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

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

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

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

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

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

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

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

Темы

Автор

Ответы

Просмотры

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

Объявления

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

PAV

8615

12.02.2012, 16:29

PAV

Темы

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

Bod

5053

02.04.2007, 01:09

Bod

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

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

epros

18212

30.03.2007, 14:45

Macavity

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

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

Bod

13029

28.02.2007, 16:42

Bod

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

clondike

5457

26.02.2007, 19:33

Capella

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

tandser

4982

25.01.2007, 12:22

radical

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

Эйнштейн

5148

15.12.2006, 07:39

Brukvalub

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

juna

4903

13.12.2006, 21:23

juna

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

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

AlexDem

18205

11.12.2006, 22:02

AlexDem

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

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

passenger

21394

08.12.2006, 01:27

maxal

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

Humming Bird

3435

22.10.2006, 11:42

Humming Bird

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

Demurg2000

5109

22.10.2006, 09:01

Brukvalub

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

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

Ulya

31958

09.10.2006, 23:08

PAV

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

Dims

9738

20.09.2006, 08:35

Brukvalub

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

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

Woland

16193

05.07.2006, 13:38

Someone

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

Riddick

5236

20.06.2006, 11:49

bot

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

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

Leox

21218

19.05.2006, 19:44

Руст

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

photon

9924

16.03.2006, 21:00

Dan B-Yallay

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

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

x0rr

27175

14.03.2006, 08:29

juna

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

Padawan

10420

23.02.2006, 00:33

маткиб

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

Гость

11508

14.12.2005, 21:34

Someone

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

[ Тем: 820 ]

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

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

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

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

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

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

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

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

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

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