... доктор физ.-мат. наук . тел. +7(812)363-7400 . ... тел. +7(812)363-7245 . ... Научный руководитель ГАО РАН . ... член-корр.РАН, доктор физ.-мат. наук . тел. +7(812)363-7207 . ... кандидат физ.-мат. наук . тел. +7(812)363-7403 . ... тел. +7(812)363-7395 . ... тел. +7(812)363-7128 . ... тел. +7(812)363-7333 . ... тел. +7(812)363-7433 . ... Заведующий . ... тел. +7(812)363-7493 . ... тел. +7(812)363-7025 . ... тел. +7(812)363-7041 . ... тел. +7(812)363-7431 . ... тел. +7(812)363-7345 . ...
... А. А. Разборов планирует провести 2 3 занятия. Имеется выражение, состоящее из булевых переменных $p_1,\ldots,p_n$ и логических связок $\neg,\lor,\land,\Rightarrow$. Как доказать, что оно выполнимо , т. е. что вместо $p_1,\ldots,p_n$ можно подставить TRUE или FALSE так, что значение всего выражения окажется равным TRUE? Ответ очевиден: предъявить подстановку и проверить ее прямым вычислением. ... Короткого доказательства, скорее всего, не существует. ... Как доказать, что она несовместна? ...
Электронная библиотека астронома-любителя. ... библиотека . архив RSN . ... Ru.Space.News: . Октябрь 1998 . ... 22.10.98 Источник: InfoArt News Agency Hа сегодня все, пока! ... Дата: 22 октября 1998 (1998-10-22) От: Alexander Bondugin Тема: Президент Bill Clinton будет присутствовать при старте корабля "Discov Привет всем! ... Дата: 22 октября 1998 (1998-10-22) От: Alexander Bondugin Тема: Hа старте корабля "Discovery" ожидается присутствие 2500 журналистов Привет всем! ...
... Киевский клуб любителей астрономии "Астрополис" > . ... Днепропетровский клуб "Astro Dnepr" > . III Международная ночь тротуарной астрономии. ... Астрономия . ... Жизнь клуба . ... Необходимо просмотреть мифы народов мира и др. литературу в библиотеках и провести анализ. 2 мин. 4 апреля - Третья международная ночь тротуарной астрономии. 7 мин. ... Но на СЛЕДУЮЩИЙ день (чтобы не успели забыть) на Третью Международную ночь тротуарной астрономии пришло много школьников и два преподавателя. ...
... О программе . ... Файлы . ... Мне хочется поблагодарить всех кто помогал мне в создании этой программы - Господа Бога за предметную область и идею, фирму Microsoft за операционную систему, фирму Borland за компилятор, друзей и знакомых за сочуствие, а особенно всех, кто посылал мне письма - без вашего участия новая версия StarCalc вряд ли бы появилась на свет! ... Исправленная программа выложена как новая версия StarCalc (5.72) здесь: sc572ru.zip . ... Выложена новая версия программы: StarCalc 5.7 !...
... Cабля Александра I . ... МК' вместе с Институтом геохимии и аналитической химии продолжает вести расследование истории памятного меча-сабли, подаренной англичанами российскому императору Александру I в честь победы над Наполеоном. ... Как разворачивалась история с 'потерянным' подарком императора Александра нам поведал сотрудник ГЕОХИ РАН Александр Корочанцев. Император Александр 1 . ... Сабля с клинком из метеоритного железа (метеорит "Мыс Доброй Надежды"), подаренная Александру 1 . ...
Заведующий лабораторией . ... Внедрение современных информационных технологий для обеспечения информационной связанности локально-вычислительных сетей института (Ждановская,8 и Кутузова,10), обсерваторий "Светлое", "Зеленчукская" и "Бадары" с глобальной информационной сетью INTERNET . Системное и аппаратно-программное обеспечение информационной сети института . ... Организационно-техническое обеспечение режима e-VLBI совместно с другими лабораториями института . ...
... Главная / ПРЕСС-ЦЕНТР / Календарь наблюдателя на декабрь 2012 года . ... Календарь наблюдателя на декабрь 2012 года очередной выпуск ежемесячного периодического издания для любителей астрономии. ... Сначала по созвездию Весов (до 13 декабря), затем по созвездию Скорпиона (до 16 декабря), по созвездию Змееносца (до 29 декабря), а завершит 2012 год в созвездии Стрельца. ... Календарь наблюдателя на декабрь 2012 года в формате Word . Календарь наблюдателя на декабрь 2012 года в формате pdf . ...
... Александр Галуненко: до сих пор летаю во сне . Легендарный пилот, Герой Украины считает, что советская школа летчиков-испытателей была лучшей в мире . Мы уютно расположились в гостеприимном доме заслуженного летчика-испытателя и героя газеты "Труд" Александра Галуненко под Киевом. ... Вы первым подняли в небо самый большой в мире самолет "Мрия", установили множество мировых рекордов. ... Прежде чем подняться в небо, я, наверное, тысячу раз мысленно прокрутил предстоящий полет. ...
... Луна . Созвездия . Большая Медведица . Малая Медведица . ... Вас всегда интересовало и приводило в восхищение ночное небо, усыпанное множеством звезд; вы любите подолгу стоять на открытом месте и, запрокинув голову, рассматривать этот бездонный мир, отыскивая знакомые созвездия, звезды и планеты; вы хотели бы узнать больше о Вселенной - тогда этот сайт для вас. ... На каждый месяц - календарь фаз луны, зодиакальное положение солнца и расположение планет (последнее пока в проекте). ...
... РАКЕТНО-КОСМИЧЕСКАЯ КОРПОРАЦИЯ ЭНЕРГИЯ ИМЕНИ С.П. КОРОЛЕВА . ... ОАО РКК "Энергия" . ... РКК 'Энергия': грузовой корабль 'Прогресс МС-02' причалил к МКС . ... РКК 'Энергия': грузовой корабль 'Прогресс МС-02' отправился к МКС . ... Сегодня, 27 марта, транспортный грузовой корабль (ТГК) новой модификации "Прогресс МС-02" разработки и производства РКК "Энергия" в составе головного блока транспортирован на общую сборку с ракетой-носителем "Союз-2.1". ... 2015 ОАО "РКК "Энергия" им. С.П. Королева" . ...
Цикл работ Чернышова Александра Александровича (сектор 501) 'Применение метода крупных вихрей к исследованию сжимаемой магнитогидродинамической турбулентности космической плазмы' на конкурс научных работ ИКИ РАН 2007 в номинации 'работа молодого ученого'. Данный цикл работ посвящен применению метода крупных вихрей для сжимаемой магнитогидродинамической турбулентности космической плазмы. ...
. - Астрономическое образование с сохранением традиций . ФОТОГАЛЕРЕЯ ПОЕЗДОК В САО . Зима 2001 года . Большой Зеленчук . Январский вечер на ВНП . Сквозь ветви - к телескопам . Вид с Ежика . На фоне Эльбруса . Тучи над Архызом . Все гуляли, а крайний справа - работал . В Архызе . Снимаем плоское поле . Copyright 2001 Александр Демин .
Цикл работ Славина Александра Геннадьевича (сектор 501 ИКИ РАН) 'Методы исследования атмосферных и океанических течений над сложным профилем дна' на конкурс научных работ ИКИ РАН 2009 в номинации 'лучшая научная работа молодого ученого'. Цикл работ посвящен развитию квазидвухслойного метода исследования течений мелкой воды и его применению к исследованиям атмосферных и океанических течений над сложным профилем дна в присутствии различных внешних сил. ...
Многие туманности не имеют определенной формы. ... Эти туманности называются диффузными. ... Около центра расположена знаменитая кратная звезда Трапеция Ориона, состоящая из 4 звезд, а также звездная ассоциация, включающая в себя около тысячи звезд, возраст которых составляет около миллиона лет. ... Диффузные туманности в созвездии Ориона: М 42(NGC 1976) внизу и М 43 (NGC 1977) вверху. ... Диффузная туманность "Карина" NGC 3372. ... Диффузная туманность "Северная Америка" NGC 7000 (слева) . ...