... Метапеременные разрешается использовать в качестве функторов только в составе предложений и только при условии, что такой же метафунктор является именем предиката в заголовке рассматриваемого предложения . ... Метапеременные разрешается использовать в качестве простых термов только в составе предложений и только при условии, что такая же метапеременная является именем предиката или атомарной формулой в заголовке рассматриваемого предложения . ...

. Русский . English . Copyrights (c) Vadim Lukashevich, 1998-2013 . Руководство проекта запрещает использовать адреса E-mail, находящиеся на сайте, для нелицензионных массовых рассылок (СПАМа) и занесения их в базы данных. Нарушители будут привлекаться к ответственности в соответствии со ст. 272 УК РФ . e-mail web-master

... 2006 . ... Сегодня: 10 апреля 2016 г. Как сообщила Организация исламской конференции (Organization of the Islamic Conference, OIC) мусульманские страны будут использовать спутниковую технологию для определения точных дат наступления исламских праздников. OIC планирует запустить спутник стоимостью в $8 млн. в ближайшие два года для снятия изображений Луны с целью определения точных дат лунного календаря. ... ГПКС: на орбиту выйдут 15 новых спутников . ...

... Ограниченный список допустимых HTML-тегов. ... Специальные ссылки Поскольку публикации на сайте показываются читателям не как целые гипертекстовые страницы, а внутри страниц Астронета, набор допустимых тегов ограничен теми, которые обеспечивают нормальный показ публикации внутри страницы. ... Тег . ... name,href . Запрещается использовать параметры name и href в одном теге . ... Идентификатор каждой публикации виден в строке запроса браузера при ее прочтении. <a href="search://Квазар">Квазар</a> . ...

... Списки координат объектов для программы можно подготовить заранее в файлах или создавать во время работы, используя программу как редактор или коллекционируя обратные пересчеты с АСУ. ... Кнопка Get служит для переписи выделенной строчки в поля строки редактивания координат. ... Кнопка Insert наоборот переписывает поля строки редактивания координат в новую строчку списка, которая вставляется после выделенной, либо в конец списка если ничего не выделено. ... записать список в файл . ...

... Списки координат объектов для программы можно подготовить заранее в файлах или создавать во время работы, используя программу как редактор или коллекционируя обратные пересчеты с АСУ. ... Кнопка Get служит для переписи выделенной строчки в поля строки редактивания координат. ... Кнопка Insert наоборот переписывает поля строки редактивания координат в новую строчку списка, которая вставляется после выделенной, либо в конец списка если ничего не выделено. ... записать список в файл . ...

Использование макрофитов в качестве биоиндикаторов по методу определения степени стерильности пыльцы. ... 2.Вычислить степень стерильности пыльцы изученных видов. ... Стерильность пыльцы использована в качестве интегрального показателя на различных стадиях созревания пыльцевых зерен. ... 5.Сравнивая долю стерильности пыльцы водной растительности Алтайского региона и Челябинской области, можно сказать, что экологическая обстановка нашей области менее благополучна. ...

GPS/GLONASS в проекте РЕЗОНАНС . Спутниковые навигационные системы GPS/GLONASS позволяют определять с высокой точностью время ( D t ~ 200 нс), местоположение ( D r ~ 100 м) и скорость. ... Для определения зон видимости группировки GPS/GLONASS на борту спутников РЕЗОНАНС была разработана специальная программа. ... На втором этапе определялись интервалы времени, когда спутники РЕЗОНАНС не могут принимать сигналы навигационной системы, для чего определялись участки орбиты вне зон видимости. ...

Астрономия и Космос Астрономия сегодня Человек в космосе Орбитальная станция "Мир" . В НПО "Энергия" и в КБ "Салют" были развернуты работы по подготовке штатного изделия . В процессе работы было принято решение использовать модули, выводимые ракетой-носителем "Протон". ... Был выпущен проект на модули дооснащения станции (37КД), исследований в области технологии (37КТ), исследования природных ресурсов Земли и для решения военно-прикладных задач (37КП), грузовой (37КГ). ... Новости астрономии . ...

Звездный Альманах . ... Звезды 16 величины от 5100 руб. ... 11250 руб. узнать подробнее . ... Купить Звезду любви сейчас 8600 руб. узнать подробнее . Купить Звезду . ... Несколько десятков лет назад никто и подумать не мог о возможности обладать персональным небесным телом, а тем более - назвать звезду, увековечив собственное имя, своей второй половины, товарища или партнера по бизнесу. ... Компания ?Звездный альманах? уполномочена выдавать сертификаты, подтверждающие факт наименования звезды. ...