|  | 
		
							| Темы | Автор | Ответы | Просмотры | Последнее сообщение | 
						
					| Объявления | 
			
			
				|  | ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | PAV | 1 | 10664 | 12.02.2012, 16:29 PAV											 | 
						
					| Темы | 
			
			
				|  | Вопрос о порядковых числах (выбор нумерации счетного множ-ва | Bod | 8 | 5685 | 02.04.2007, 01:09 Bod											 | 
		
			
				|  | Трансфинитная индукция и непротиворечивость теории множеств  [  На страницу: 1, 2, 3 ]  | epros | 33 | 19690 | 30.03.2007, 14:45 Macavity											 | 
		
			
				|  | Вопрос об эквивалентности множеств  [  На страницу: 1, 2 ]  | Bod | 20 | 14017 | 28.02.2007, 16:42 Bod											 | 
		
			
				|  | Доказать, что у всех кошек глаза одного цвета (индукция...) | clondike | 6 | 6076 | 26.02.2007, 19:33 Capella											 | 
		
			
				|  | Множество пустого множества | tandser | 5 | 5614 | 25.01.2007, 12:22 radical											 | 
		
			
				|  | машина Тьюринга (ссылки) | Эйнштейн | 7 | 5796 | 15.12.2006, 07:39 Brukvalub											 | 
		
			
				|  | Алгоритмическая теория множеств (литература) | juna | 4 | 5578 | 13.12.2006, 21:23 juna											 | 
		
			
				|  | Мощность множества всех функций N^N или 2^N?  [  На страницу: 1, 2 ]  | AlexDem | 21 | 19686 | 11.12.2006, 22:02 AlexDem											 | 
		
			
				|  | Задача на машину Тьюринга  [  На страницу: 1, 2, 3 ]  | passenger | 31 | 23140 | 08.12.2006, 01:27 maxal											 | 
		
			
				|  | Как установить биекцию между множествами | Humming Bird | 2 | 3953 | 22.10.2006, 11:42 Humming Bird											 | 
		
			
				|  | Где можно найти доказательство теоремы Кантора-Бернштейна? | Demurg2000 | 5 | 5697 | 22.10.2006, 09:01 Brukvalub											 | 
		
			
				|  | Про счетные множества  [  На страницу: 1, 2, 3, 4 ]  | Ulya | 47 | 34151 | 09.10.2006, 23:08 PAV											 | 
		
			
				|  | как вывести принцип индукции из аксиомы о минимальном элем | Dims | 12 | 10597 | 20.09.2006, 08:35 Brukvalub											 | 
		
			
				|  | Счётность множества слов конечного алфавита  [  На страницу: 1, 2 ]  | Woland | 23 | 17416 | 05.07.2006, 13:38 Someone											 | 
		
			
				|  | Равносильности для предикатов (словесный пример) | Riddick | 5 | 5803 | 20.06.2006, 11:49 bot											 | 
		
			
				|  | Как найти мощность множеств?  [  На страницу: 1, 2, 3 ]  | Leox | 32 | 22648 | 19.05.2006, 19:44 Руст											 | 
		
			
				|  | актуальная бесконечность | photon | 13 | 10637 | 16.03.2006, 21:00 Dan B-Yallay											 | 
		
			
				|  | Биекция между R и R^n?  [  На страницу: 1, 2, 3 ]  | x0rr | 37 | 28694 | 14.03.2006, 08:29 juna											 | 
		
			
				|  | Вопрос про номера алефов | Padawan | 11 | 11069 | 23.02.2006, 00:33 маткиб											 | 
		
			
				|  | Континуум-гипотеза для бесконечных путей в деревьях | Гость | 11 | 12205 | 14.12.2005, 21:34 Someone											 |