На главную страницу ЛШСМ-2010 . К списку курсов ЛШСМ-2010 . А.Л. Семенов планирует прочесть 1 лекцию. Попытки дать математические определения понятий формального доказательства, истинности, формализованной деятельности по инструкции привели к построению математической логики и теории алгоритмов ? области математики, результаты которой сформировали и продолжают формировать основы информатики и влиять на практическое использование цифровых технологий. ...

... Максимальная скорость - 1323.5 м/сек (4.25 М) . Высота подъема - около 127 км (416 928 футов). Во время запусков с кабиной Thunderstar по программе соренования на X-Prize (так и не состоявшихся), должна была использоваться модифицированная одноступечатая ракета Starchaser 5 (на рисунке слева). Двухступечатая ракета Starchaser 5A (иногда обозначается как Starchaser 6 ) должна стать основной ракетой компании Starchaser Industries при реализации програмы коммерческих суборбитальных полетов. ...

... Войти на сайт: Имя: . ... Автор забыл указать имя ] . ... Бывший глава Министерства общего машиностроения СССР Виталий Догужиев сегодня допустил, что Россия может вернуться к использованию многоразового космического корабля "Буран", но на новом уровне. ... Много было разговоров о том, нужен ли был "Буран", - заметил Догужиев. ... Я думаю, что мы вернемся к "Бурану", но на новом уровне", - выразил уверенностью Догужиев. ... 2008-12-04 01:30:00 NASA продлило контракт с Роскосмосом . ... Имя: . ...

Клуб Скептиков] [Конференция] . ... Mauhuur Ю.Тихонравову о реальности Юрий Тихонравов Круги в определении и в глазах :) (+) 24-Ноя (11:30) Прохожий re: Круги в определении и в глазах :) 24-Ноя (15:01) Юрий Тихонравов re: Круги в определении и в глазах :) (+) 24-Ноя (18:56) Сократ re: Круги в определении и в глазах :) 25-Ноя (14:49) Артем re: Круги в определении и в глазах :) 25-Ноя (15:37) ПРИМАТ re: Ю.Тихонравову о реальности (+) 24-Ноя (13:00) Прохожий Вопрос Примату 24-Ноя (16:47) . ...

... Домой . Глава 1 . ... Дальше . ... Основные направления использования космического пространства в военных целях. ... Военные космические системы и их назначение. ... Возможность независимого определения назначения спутников. ... Структура космической программы СССР в 60-80-х гг. ... Текущие изменения в структуре космической программы. ... 3.1 Боевые системы. ... Ударные системы космического базирования. ... Спутники связи. Спутники связи на высокоэллиптических орбитах. ... Приложение 1 . ...

... База данных . ... При использовании размещенных на сайте баз данных просим ссылаться на адрес сайта ( http://www.gao.spb.ru/russian/lg/database.html ) или на статьи с описанием этих баз: . ... Пулковская база данных астрометрических служб параметров ориентации Земли. ... Readme . ... Данные (txt): Пулково ( PUF [80.6Kb], PUG [120.8Kb], PUH [270.3Kb] ); . ... Readme ( russian [Word] ; english [Word] ) . Данные [txt,493.8Kb] . ... Сейсмические данные. ... Сейсмические данные. [txt, ZIP, 4.2Mb] . ...

... В связи со смертью основного разработчика программы - Анатолия Волчкова проект заморожен. ... Выложена полная версия каталога 2MASS в формате SIMFOV и версия программы, поддерживающая этот каталог. ... Правила использования Веб-сервера www.simfov.ru . ... Авторские права на данный сайт принадлежат разработчикам программы SimFOV. ... Разработчики программы SimFOV не несут ответственности за использование содержимого сайта или других сайтов, на которые имеются ссылки с данного сайта. ...

Astronotes Armagh Planetarium's Stellar Blog! ... Armagh Planetarium . ... Alien Life . ... Space Flight . ... NASA astronaut Reid Wiseman, Expedition 40/41 flight engineer, participates in an Extravehicular Mobility Unit (EMU) spacesuit fit check at NASA?s Johnson Space Center. Image credit: NASA) . Step up the next astronaut who really took on the task of showing us earthlings the wonders of being an astronaut on the International Space Station (ISS) Reid Wiseman . ...

... Астрософт (Модератор: tlgleonid ) > . IRAF: установки и использование . ... Астрософт . ... Ответ #40 : 22 Январь 2011, 13:57:47 ? ... Записан . ... Цитата: d_w от 22 Январь 2011, 15:12:59 Это читал, только толку никакого.. ... Для регионов необходим СД-диск с GSC. ... Код: [Выделить] cdfile = "/iraf/gsc/TABLES/REGIONS.TAB" Теоретически после этого можно выполнять regions. ... Последнее редактирование: 22 Январь 2011, 15:54:08 от d_w ? ... Дополнительные пакеты ftp://iraf.noao.edu/iraf/extern/ . ...

... Basic editing - Text formatting rules - Documentation index . ... Paragraphs : for a new paragraph, use a blank line; . ... Join line : \ . ... References : [[ another page ]] , [[ http://example.com/ ]] , [[ another page | ... Groups : [[ Group / Page ]] displays Page, [[ Group . Page ]] displays Group.Page, [[ Group (. Page )]] displays Group, [[ Group /]] links Group homepage . ... Printable View of http://www.mrao.cam.ac.uk/projects/OAS/pmwiki/pmwiki.php/Site/EditQuickReference) ...

... Tonight's Sky . ... Observing . ... solar system . ... The double star 54 Leonis, spiral galaxy NGC 3198, and emission nebula NGC 3199 . ... Observe the Solar System . Astronomy for Kids . ... Observing springtime deep-sky objects with a large telescope . ... Solar corona revealed in super-high definition . ... Only registered members of Astronomy.com are allowed to comment on this article. ... Receive news, sky-event information, observing tips, and more from Astronomy's weekly email newsletter. ...

... Космический полет . Подготовка экипажей . ... В настоящее время в РГНИИЦПК используется и разрабатывается более двух десятков комплексных и специализированных тренажеров для подготовки космонавтов по программам использования ТК "Союз-ТМ" и международной космической станции. ... специализированный тренажер сближения и стыковки ("Дон-732"), предназанченный для подготовки экипажей по управлению ТК "Союз-ТМ" и его системами в ручном режиме при выполнении сближения, стыковки с орбитальной станцией; . ...

... Если ВЫ нашли метеорит . Статьи и сообщения . ... 25 октября 2004 года во время экспедиции, организованной для изучения находки нового российского метеорита, скоропостижно скончался Александр Евгеньевич Милановский, активно содействовавший развитию метеоритики в России, талантливый исследователь, популяризатор науки и автор идеи данного сайта. ... Он был многогранной личностью и после многих лет работы в геологии в нем не угасла "детская" увлеченность, желание познавать новое. ...