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

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

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

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

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

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

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

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

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

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

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

Темы

Автор

Ответы

Просмотры

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

Объявления

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

PAV

8504

12.02.2012, 16:29

PAV

Темы

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

Bod

5010

02.04.2007, 01:09

Bod

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

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

epros

18102

30.03.2007, 14:45

Macavity

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

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

Bod

12946

28.02.2007, 16:42

Bod

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

clondike

5420

26.02.2007, 19:33

Capella

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

tandser

4944

25.01.2007, 12:22

radical

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

Эйнштейн

5110

15.12.2006, 07:39

Brukvalub

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

juna

4859

13.12.2006, 21:23

juna

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

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

AlexDem

18041

11.12.2006, 22:02

AlexDem

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

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

passenger

21259

08.12.2006, 01:27

maxal

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

Humming Bird

3408

22.10.2006, 11:42

Humming Bird

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

Demurg2000

5077

22.10.2006, 09:01

Brukvalub

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

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

Ulya

31672

09.10.2006, 23:08

PAV

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

Dims

9680

20.09.2006, 08:35

Brukvalub

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

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

Woland

16091

05.07.2006, 13:38

Someone

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

Riddick

5204

20.06.2006, 11:49

bot

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

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

Leox

21119

19.05.2006, 19:44

Руст

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

photon

9872

16.03.2006, 21:00

Dan B-Yallay

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

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

x0rr

27042

14.03.2006, 08:29

juna

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

Padawan

10376

23.02.2006, 00:33

маткиб

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

Гость

11458

14.12.2005, 21:34

Someone

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

[ Тем: 820 ]

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

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

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

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

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

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

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

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

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

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