В настоящее время в логическом программировании можно выделить две тенденции, два подхода, которых часто придерживаются исследователи. ... Второй подход можно назвать "прагматическим". ... В результате было создано большое количество языков (например, Prolog++, LogTalk и др.), которые логическими уже не являются (так как их идеология, парадигма программирования существенным образом опираются на нелогические средства), но при этом "настоящими" объектно-ориентированными языками так и не стали. ...

Еще в разделе: (Показать все результаты (>512) - www.cplire.ru/ )

• Л. ЛЕВКОВИЧ-МАСЛЮК --- На кромке хАоса и хаОса
• Actor Prolog. Programming language definition.

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

Еще в разделе: (Показать все результаты (>440) - www.ipa.nw.ru/ )

• Keywords_330

... Знаменитый русский ученый Жуковский Н.Е. - профессор механики Московского университета , специалист в области механики, основоположник современной аэромеханики и гидромеханики, оставил огромное научное наследие и в области небесной механики. 1868 г. - окончил Московский университет. 1876 г. - публичная защита диссертации, получает ученую степень магистра прикладной математики. 1882 г. защищает диссертацию на степень доктора прикладной математики, представив работу "О прочности движения". ...

Еще в разделе: (Показать все результаты (>692) - lnfm1.sai.msu.ru/ )

• tamarov
• Российские институты и обсерватории
• vashkov

... Поздравляем Анну Федорову с победой в конкурсе на соискание Национальной стипендии Л'ОРЕАЛЬ РОССИЯ 2008 для женщин в науке при поддержке комиссии РФ по делам ЮНЕСКО и Российской Академии наук ! ... Подробнее... 28 мая 2008г. на общем собрании Российской академии наук Зеленый Лев Матвеевич избран академиком РАН, Чуразов Евгений Михайлович избран членом - корреспондентом РАН. ... Поздравляем д.ф.-м.н. Манагадзе Г.Г. с присвоением почетного звания "Заслуженный деятель науки Российской Федерации"! ...

Еще в разделе: (Показать все результаты (>340) - www.iki.rssi.ru/ )

• Ожередов Вадим Андреевич,

... КЕЛДЫШ Мстислав Всеволодович (1911-78) - советский ученый в области математики и механики, академик АН СССР (1946; член-корреспондент 1943), с 1953 член Президиума, в 1960-61 вице-президент, в 1961-74 президент, в 1974-78 чл. ... Директор Института прикладной математики АН СССР (1953-78). ... В 1978 АН СССР учредила золотую медаль им. М. В. Келдыша "3а выдающиеся научные работы в области прикладной математики и механики, а также теоретические исследования по освоению космического пространства". ...

Еще в разделе: (Показать все результаты (>98) - www.space.hobby.ru/ )

• Жуковский Николай Егорович

. Портал | Содержание | О нас | Авторам | Новости | Первая десятка | Дискуссионный клуб | Научный форум | Отправить открытку . Первая десятка "Русского переплета" Темы дня: . | Обращение к Дмитрию Олеговичу Рогозину по теме "космические угрозы": как сделать систему предупреждения? .

Еще в разделе: (Показать все результаты (>307) - www.pereplet.ru/ )

• V Соросовская олимпиада школьников. Финальный тур. МАТЕМАТИКА -
• IV Соросовская олимпиада школьников Первый тур. МАТЕМАТИКА -
• V Соросовская олимпиада школьников Первый тур. МАТЕМАТИКА -

... Механ?ко-мате|Математика |Математика (п)|Укр.мова та | ... Ф?зичний |Ф?зика (6.040203) |Математика або|Укр.мова та | ... Ф?зико-техн?ч|Прикладна ф?зика |Математика або|Укр.мова та | ... Ф?зико-енерге|Прикладна ф?зика |Математика або|Укр.мова та | ... Рад?оф?зичний|Прикладна ф?зика |Математика або|Укр.мова та | ... М?кро- та |Математика або|Укр.мова та | ... ноземна мова |Математика (п)|Укр.мова та | ... 6.020303) |Англ. мова (п)|Укр.мова та | ... М?жнародна |Математика (п)|?ноземна мова |Укр.мова та...

Еще в разделе: (Показать все результаты (>65) - www.univer.kharkov.ua/ )

• http://www.univer.kharkov.ua/docs/press-reliz/20110417-22.doc
• http://www.univer.kharkov.ua/docs/pre/napryamy.doc
• http://www.univer.kharkov.ua/docs/pre/olympiad.doc

Астрономическая картинка дня . Официальное зеркало Astronomy picture of the day на сервере NASA ?? ... 13 января 2002 . ... Гипатия Александрийская . Пояснение: Шестнадцать столетий назад Гипатия была одним из самых передовых ученых в области математики и астрономии. ... Гиппатии приписывается высказывание: "Сохраняй за собой право думать, даже неправильно ? это лучше, чем не думать совсем". ... Robert Nemiroff ( MTU ) и Jerry Bonnell ( USRA ) . ... А. Сергеев , оформление, 1999, 2000. ...

Еще в разделе: (Показать все результаты (>85) - rapod.chat.ru/ )

КЕЛДЫШ Мстислав Всеволодович (1911-78) - советский ученый в области математики и механики, академик АН СССР (1946; член-корреспондент 1943), с 1953 член Президиума, в 1960-61 вице-президент, в 1961-74 президент, в 1974-78 чл. ... Директор Института прикладной математики АН СССР (1953-78). ... В 1978 АН СССР учредила золотую медаль им. М. В. Келдыша "3а выдающиеся научные работы в области прикладной математики и механики, а также теоретические исследования по освоению космического пространства". ...

Еще в разделе: (Показать все результаты (>775) - www.cosmoworld.ru/ )

• Жуковский Николай Егорович
• Иванова Екатерина Александровна.
• Соловьев Владимир Алексеевич.

Вечерняя астрономическая школа при Астрономическом обществе и физическом факультете МГУ им. М.В.Ломоносова . Школа существует с сентября 1994 г. В программе - занятия по астрономии, физике, математике, практические работы, наблюдения. Школа бесплатная, занятия проходят в Государственном астрономическом институте им.П.К.Штернберга (ГАИШе) 2-3 раза в неделю. ... Астрономическая школа | ...

Еще в разделе: (Показать все результаты (>193) - www.sai.msu.su/ )

• ГАИШ'99 | Правила приема в МГУ в 1999 г.
• ГАИШ'99 | Информация об астрономическом отделении МГУ им. М.В.Ломоносова
• Астротоп 100 России

... Доказать, что существует такое множество S G, содержащее не более 20 элементов, что каждый элемент G есть произведение нескольких различных элементов множества S . ... Докажите, что длина множества {t: |P (t)| c} не превосходит 2dc1=d . ... на расстоянии 0.525. (a) Докажите, что для любого множества R3 диаметра 1 существует такое движение ', что либо '(U1 ), либо '(U2 ). (b) Разбейте каждое из множеств U1 ; U2 на 4 части диаметра < 1. (c) Разбейте каждое из множеств U1 ; U2 на 4 части диаметра 0...

Еще в разделе: (Показать все результаты (>7) - dfgm.math.msu.su/ )

... Состав этой группы менялся со временем; в последние годы этой деятельностью активно занимается лишь математик-тополог А.Т.Фоменко с немногими сотрудниками. ... Этому вопросу посвящена целая книга (В.В.Калашников, Г.В.Носовский, А.Т.Фоменко, "Датировка звездного каталога "Альмагеста" М., 1995, изд. ... Он содержится в VII и VIII книгах "Альмагеста" и включает небесные координаты - долготы и широты - 1022 звезд. ... Публикации на эту тему: "Известия", 29 января 1997 "Природа", вып. ...

Еще в разделе: (Показать все результаты (>36) - astrocourier.chat.ru/ )

Общая Астрономическая Конференция > Форумы общей направленности > Любые вопросы от новичков > Какую форму имеит Вселеная ? ... Просмотр полной версии : Какую форму имеит Вселеная ? ... Может кто подсказать статьй,книги где бы описывалось формы вселеной или подсчеты ее размеров.И ваше мнение какую форму имеит вселеная? . ... И ваше мнение какую форму имеит вселеная? Представьте ситуацию: сидите в чистом поле с фонариком. ... И тут вы задаете вопрос - "какую форму имеИт поле?" ...

Еще в разделе: (Показать все результаты (>11072) - www.starlab.ru/ )

• По книжке Роджера Пенроуза "Новый ум короля" [Архив] - Общая Астрономическая
• Неточности или непонятки? "Атлас звездного неба" [Архив] - Общая
• Общая Астрономическая Конференция

Б. П. Гейдман . Заслуженный учитель РФ, учитель математики, зам. дир. по физ.-мат. отделению московской гимназии 1543 на Юго-Западе, автор учебников математики для начальной школы . О школьном математическом образовании". ... Сохранить систему школьного математического образования, сложившуюся за последние 50 лет . ... Развитие системы математического образования . ... Сохранить арифметику . ... Старшая школа Необходимо ставить математическое образование в соответствии с выбором учащихся. ...

Еще в разделе: (Показать все результаты (>471) - www.cosmos.ru/ )

• Соболезнования
• События и анонсы
• Премия им. Ляпунова

... Kuvshinov, A. 2008, 3-D global induction in the oceans and solid Earth: Recent progress in modeling magnetic and electric fields from sources of magnetospheric, ionospheric, and oceanic origin , Surveys in Geophysics, DOI: 10.1007/s10712-008-9045-z,1-49. Kuvshinov, A., C. Manoj, N. Olsen, and T. Sabaka, 2007, On induction effects of geomagnetic daily variations from equatorial electrojet and solar quiet sources at low and middle latitudes, J. Geophys. ... Kuvshinov A. V., Utada H., Avdeev D. B ., ...

Еще в разделе: (Показать все результаты (>108) - www.izmiran.rssi.ru/ )

• Tsyolkovsky

... Родился 19 июня 1948 года в городе Конкордия (Concordia), штат Канзас. ... В 1970 году получил степень бакалавра наук (математика) в Университете штата Канзас (Kansas State University). В 1972 году в том же университете получил степень магистра наук (математика). ... Служил метеорологом в штабе Глобального метеоцентра ВВС США (Air Force Global Weather Central) на базе ВВС Оффатт (Offutt AFB), штат Небраска. ... Майор ВВС (в 1985 году). Подполковник ВВС (в отставке с 1995 года). ...

Еще в разделе: (Показать все результаты (>1079) - www.astronaut.ru/ )

• Олег Борисович Москалев
• Stephen Baxter
• Седрик Мабилотт

... Вход в Астротоп + Напомнить пароль + Блог + ЗАРЯ + Exit . Сводная статистика сайтов каталога АстроТоп: . ... Если не нашли у нас известного Вам астрокосмического сайта, то, пожалуйста: . Новости проекта Астротоп: . 12 апреля 2012 года Подведены итоги XII-го конкурса "Звезды АстроРунета-2011 и Я" ( ЗАРЯ-2011 ) . ... За основу были взяты прошлогодние правила , + результаты публичных обсуждений на Астрофоруме , форуме Новостей Космонавтики и внутри команды Астротопа. ... Общие звезды . ...

Еще в разделе: (Показать все результаты (>71) - www.astrotop.ru/ )

... САО РАН, п.Нижний Архыз, Зеленчукский район, . ... 1962-1967 . ... специальность математик-программист). 1967-1968 . ... работа в САО РАН . ... инженер математик-программист, ст. инженер математик-прогаммист, рук.группы . ... технический директор САО РАН . Общественная работа: . ... председатель профкома САО РАН . ...

Еще в разделе: (Показать все результаты (>823) - jet.sao.ru/ )

• Рис. 2. Содержание нейтрального железа, определенное по отдельным линиям: а) в
• Определение относительных сдвигов компонент спектральных порядков
• Определение параметров модели атмосферы и химического состава

... Вернуться к предыдущей главе . ... ГЛАВА 8. ... Задачи атомной физики решаются методами квантовой теории, которая принципиально отличается от классической механики. ... В основе расчетов лежит уравнение Шредингера. ... Будем считать, что величина B как функция k равна нулю при k < - ? ... Уравнение Шредингера определяет зависимость волновой функции от времени и от координат. Как второй закон Ньютона описывает траекторию частицы, так уравнение Шредингера описывает эволюцию волновой функции. ...

Еще в разделе: (Показать все результаты (>187) - heritage.sai.msu.ru/ )

• К.В.Бычков - Объяснение спектральной классификации
• Ю.К.Земцов, К.В.Бычков - Курс лекций по атомной физике. Глава 11.
• К.В.Бычков, А.С.Нифанов, И.М.Сараева - Задачи по теме 'Динамика материальной

начинается с МКС-32) . ... ФГУП ЦНИИмаш . ... ЦУП ФГУП ЦНИИмаш . ... Отработка методов использования характеристик излучения Земли в модели системы электропитания РС МКС. ... Отработка методики определения альбедо подстилающей поверхности . ... Определение альбедо подстилающей поверхности по измерениям спектральной аппаратуры ДЗЗ. ... электропитания PC МКС. Используемая аппаратура: . На первом этапе эксперимента используется научная аппаратура ДЗЗ: . ...

Еще в разделе: (Показать все результаты (>144) - www.mcc.rsa.ru/ )