... В теории множеств есть несколько известных вопросов о том, следует ли из некоторых аксиом другая аксиома (или гипотеза; аксиома ? ... Как и в других областях математики, недоказуемость можно продемонстрировать с помощью модели, в которой верны предположения, но не верна гипотеза. Для построения одного из самых известных таких примеров, модели теории множеств, в которой есть промежуточная мощность между мощностями натурального ряда и вещественной прямой, Коэн разработал метод вынуждения. ...

... Теорема. Множество простых чисел бесконечно. ... Предположим, что множество простых чисел конечно и р самое большое простое число. ... Из (1) следует, что каждый член последовательности Сильвестра взаимно прост со всеми предыдущими. ... Суть доказательства Евклида состоит в том, что в предположении конечности множества простых чисел строится некоторое число k, которое не делится ни на одно из простых чисел. ... Докажем, что любые два элемента последовательности an взаимно простые числа. ...

... Вот уже 10 лет работает система NASA ADS . ... Причем для большинства статей доступны абстракты (краткие содержания), а для основных журналов и конфереций - полные тексты статей (иногда это, правда, требует институтской подписки на данный журнал). ... К нему подключают Архив электронных препринтов. ... Благодаря NASA ADS и Архиву препринтов не надо бежать в библиотеку и рыться в поисках нужной статьи. ... Самая большая лента астрономических новостей: . ...

... Сегодня: 10 апреля 2016 г. Новые исследования, проведенные сотрудниками Гарвард-Смитсоновского Центра астрофизики, показали, что около 60 млрд звезд нашей галактики Млечный Путь можно отнести к классу одиночных красных карликов. ... Они были получены, исходя из того, что около 80% звезд Млечного Пути - это красные карлики массой от одной десятой до половины массы нашего Солнца. ... Так что около 20 млрд красных карликов входят в двойные звездные системы, а 60 млрд - это одиночки. ...

Построение пространства поиска осуществляется в результате доказательства конструкторов экземпляров классов и реализуется посредством построения новых экземпляров классов . Последовательность действий, создающих пространство поиска и слоты отдельного экземпляра класса , называется " формированием " экземпляра класса . ... Этапы формирования экземпляра класса и доказательства предикатов goal не зависят друг от друга и относятся к разным этапам построения процесса . ... Следующий: 5.4.1. ... 5.4.1. ...

Сурдин В.Г. См. также: . Диаграмма Герцшпрунга-Рессела . Диаграмма Герцщпрунга-Рассела . ... Основная группировка звезд в виде диагональной полосы на диаграмме "спектральный класс -- светимость" или "температура поверхности -- светимость" (Диаграмма Герцщпрунга-Рассела ). ... Для большинства звезд главной последовательности выполняется соотношение между массой, радиусом и светимостью: . ... Я мог бы написать об этом лучше . Я мог бы написать об этом более подробную статью . ...

Клуб Скептиков] [Конференция] . ... Старый Лис : re: А в чем, собственно, проблема ? ... 13-Дек (01:25) . ... 13-Дек (10:21) Старый Лис Нормальные люди 13-Дек (13:14) Старый Лис Поправка 13-Дек (13:21) DoctoR re: Поправка 13-Дек (18:40) Артем re: Поправка 13-Дек (19:52) Mauhuur re: Поправка 13-Дек (23:53) DoctoR re: Поправка 14-Дек (17:40) Артем re: Поправка 14-Дек (21:08) Mauhuur re: Нормальные люди 13-Дек (23:49) Прохожий re: Нормальные люди 14-Дек (18:24) . ...

... Все попытки решить эту задачу по аналогии с задачей двух тел путем нахождения полного набора глобальных (т. е. определенных во всем фазовом пространстве) автономных интегралов движения заканчивались неудачей. Напомним, что интегралом называется гладкая (или однозначная аналитическая) функция от времени и фазовых координат, постоянная на траекториях системы дифференциальных уравнений, но различная для различных траекторий. Не зависящий от времени интеграл называется автономным. ...

... Наушники второго поколения MOMENTUM отличается повышенным комфортом, складной конструкцией и односторонним сменным кабелем с пультом управления и микрофоном. ... Наушники . ... Обувь для кораллов iQ предназначена для пляжного отдыха, плавания в открытой воде, а также для любых видов водного спорта. ... Тип обуви: Туфли Открытые . ... Цвет: Белый . ... Лампы: светодиодная (LED),цоколь E27; 230 В; 12 Вт,цвет: белый дневной, 6400 K . ... Сопоставление с лампой накаливания: в 8.3 раза . ...

... Большинству любителей недоступны крупные телескопы типа как Алькор и Мицар,и они останавливают свой выбор на таких недорогих компактных и моблильных инструметнах как зрительные трубы и монокуляры. Самые распространенные среди них - ЗРТ-457 и МП 20х60. За три года работы с этими инструментами я выявил не мало их скрытых достоинств, впрочем как и недостатков и хочу ниже в кратце рассказать о них. ... Поговорим об оптических достоинствах трубы. Они несколько хуже, чем у монокуляра. ...

... Общероссийская неделя "Астрономия на тротуаре" - 15-17 апреля . ... Новости астрономии и космонавтики (Модераторы: Karen , recarrion , LeMay ) ? Астрономы доказали существование гравитационных линз . ... Рейтинг: +34/-10 . ... Группе астрономов удалось установить, что предсказанные Эйнштейном гравитационные линзы существуют в действительности. ... Попытки найти гравитационные линзы предпринимались и раньше. ... Рейтинг: +520/-38 . ... Ответ #1 : 29.04.2005 [01:05:00] ? ... Рейтинг: +446/-53 . ...

Общая Астрономическая Конференция > Товары для астрономов > Полезное для астрономии > Эксклюзив! Книга. Выбор и использование новых катадиоптрических телескопов . ... Приводится выборочное описание большинства из доступных любителю телескопов системы Шмидта-Кассегрена и других катадиоптрических телескопов. ... В книге есть описание и наших отечественных телескопов. ... Если кто планирует покупать в астромагазине такой телескоп, то книга действительно будет полезна. ...

... Из истории .. Большинство проблем, которые сегодня мы . связываем с глобальными проблемами современности, сопровождали человечество на протяжении всей его истории. К ним прежде всего следует отнести проблемы экологии, сохранения мира, преодолении нищеты, голода, неграмотности. ... По-видимому, заметный ущерб природе наносили уже синантропы (около 400 тысяч лет назад), которые стали использовать огонь. ...

... Вот уже 10 лет работает система NASA ADS . ... Причем для большинства статей доступны абстракты (краткие содержания), а для основных журналов и конфереций - полные тексты статей (иногда это, правда, требует институтской подписки на данный журнал). ... К нему подключают Архив электронных препринтов. ... Благодаря NASA ADS и Архиву препринтов не надо бежать в библиотеку и рыться в поисках нужной статьи. ... Самая большая лента астрономических новостей: . ...

... АСТРОНОМИЧЕСКИЕ СТРАНИЦЫ ИНТЕРНЕТ . ... Коллективы и организации любителей астрономии . ... Основными областями такой деятельности являются поиск и наблюдения комет, малых планет - астероидов и переменных звезд. Этих объектов очень много, и для их изучения у профессионалов просто не хватает рук. ... Наконец, поскольку к своему делу любители относятся с большой любовью, оформление их страниц в сети Интернет отличается тщательностью и оригинальностью. ... http://starfox.telecom.nov.ru/ . ...

Разбор олимпиадных задач по информатике Международные олимпиады по информатике проводятся 15 лет и команда России (до 1992 года - команда СССР) занимает по итогам этих лет второе место, уступая лишь Китаю. ... Из-за этого некоторые школьники, потенциальные участники олимпиад по информатике, не могут получить у учителя должного уровня знаний по информатике, даже если они интересуются этим. ... На сайт был добавлен форум, в котором сейчас идет активное обсуждение задач и олимпиад по информатике. ...

Комета P/Schwassmann-Wachmann 3 (73P) в мае 2006 года. ... 1130 7.7 119.2 Her 4 17h28m06.79s +33 26' 03.3 1.0611 0.1069 7.5 117.0 Her 5 17h45m41.15s +33 40' 33.6 1.0546 0.1013 7.4 114.5 Her 6 18h05m14.93s +33 44' 53.8 1.0482 0.0961 7.2 111.8 Her 7 18h26m50.54s +33 35' 30.5 1.0420 0.0914 7.1 108 ... .0840 6.8 101.9 Lyr 10 19h42m01.07s +31 07' 05.2 1.0241 0.0814 6.7 98.0 Cyg 11 20h09m02.99s +29 28' 43.2 1.0185 0.0796 6.6 94.0 Cyg 12 20h35m58.30s +27 26' 13.1 1.0130 0.0788 ...

Главная последовательность . Одно из основных сгущений на диаграмме Герцшпрунга - Рессела . Оно имеет вид узкой полосы и содержит подавляющее большинство представленных на диаграмме звезд . Главная последовательность пересекает диаграмму Герцшпрунга - Рессела по диагонали из верхнего левого угла, где отображены звезды с большими светимостями и ранними спектральными классами - 'О', 'В' - в нижний правый угол к звездам с малыми светимостями и поздними спектральными классами - 'К', 'М'. ...

АстроФест XVIII Всероссийский фестиваль любителей астрономии и телескопостроения . 21 - 24 апреля 2016 г. О фестивале . ... В программе фестиваля . ... Небо фестиваля . О сайте фестиваля . ... Участники фестиваля смогут услышать доклад о программе ?ЭкзоМарс?, совместном проектељЕвропейского.. ... Выложен список мероприятий, которые пройдут в рамках детской программы фестиваля ?АстроФест ? ... Учитывая позднее прибытие многих участников на фестиваль в дни заезда, 21 и 22 апреля,.. ...

... Вызываю на соревнование Брынцалова. ... Убежден, что большинство рооссиян очень хочет, чтобы Россия была первой, а программа МАКС стала символом века. ... Но не только этим привлекает меня проект века, который окажет решающее влияние на многие сферы нашей жизни: . ... В своих письмах в редакцию вы почти стопроцентно одобряете действия 'Российской газеты', начавшей долговременную акцию поддержки проекта многоцелевой авиационно-космической системы (МАКС). ...