Найдено документов: 141520 (197 сайтов) ---- Время поиска: 0.24сек. |
Показаны документы, содержащие фрагменты текста из документа
http://www.mccme.ru/ium/s97/GL_2.html.
http://www.mccme.ru/ium/s97/GL_2.html.
21. Московские чтения по конструктивной логике и представлению знаний
... Конструктивная логика с точки зрения классической . ... О семантике рефлексивной комбинаторной логики . ... О квадратах модальных логик с дополнительными связками . ... Модальная логика K4 с градуированными прямыми и обратными модальностями . ... Логика доказательств первого порядка . ... Модальные логики топологических пространств . ... О логике инфонов с индивидными переменными . ... О некоторых интервальных модальных логиках . ... Произведения шкал Крипке и модальные логики пространств Хемминга ....
[
Сохраненная копия
]
Ссылки http://www.mccme.ru/lifr/clkr2012/program.html -- 9.9 Кб -- 23.05.2012
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>2551) - www.mccme.ru/ )
22. barkin1
... Показано, что в этом случае появляется дополнительный приливной потенциал, описываемый первой сферической гармоникой. Этому потенциалу могут быть также сопоставлены дополнительные члены к классическому представлению приливной силы, введенные Авсюком [6]. ... Выполнены аналогичные оценки мощности приливных деформаций. ... Для численных оценок была принята эллиптическая кеплеровская орбита Солнечной системы с эксцентриситетом 0.28 и с периодом 215 млн. лет. ...
[
Сохраненная копия
]
Ссылки http://lnfm1.sai.msu.ru/neb/rw/confer/barkin1.htm -- 4.1 Кб -- 14.03.2001
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>500) - lnfm1.sai.msu.ru/ )
23. Приложение2
... Учебные – фиксирующие предметные и общеучебные знания, умения, навыки, приобретенные воспитанником объединения в процессе освоения им образовательной программы; . ... Она рассчитана на 5 лет обучения детей в возрасте 12-17 лет. I этап включает 2 года обучения, каждый по 144 часа. ... контроль; . ... тестовые задания для контроля знаний по программе и способы их обработки для каждого года обучения; . ... Для диагностики уровня знания были составлены контрольные вопросы для каждого года обучения. ...
[
Сохраненная копия
]
Ссылки http://www.sai.msu.su/EAAS/rus/confs/reports/kotova.htm -- 35.0 Кб -- 11.09.2015
Похожие документы
Похожие документы
24. Медведев Алексей Сергеевич (МГУ)
... Исследование струй SS433 по данным рентгеновской обсерватории XMM-Newton В работе исследованы спектры SS 433 в рентгеновском диапазоне, полученные космической обсерваторией XMM-Newton. Обнаружено, что помимо релятивистских струй в диапазоне 5-15 кэВ значительный вклад в спектр вносит дополнительный компонент неизвестной природы. ... 2007-12-19 ...
[
Сохраненная копия
]
Ссылки http://hea.iki.rssi.ru/conf/hea2007/abstracts/node49.html -- 3.6 Кб -- 19.12.2007
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>149) - hea.iki.rssi.ru/ )
25. Приложение В
... В данном приложении перечислены международные и национальные базовые стандарты, на которые даны ссылки в настоящем профиле, а также дополнительные стандарты, относящиеся к регламентации среды POSIX [ 13 - 16 ]. 1 ] ИСО/МЭК 9945-2-93 1) Информационная технология. ... Часть 2. ... 2 ] ИСО/МЭК 8652-95 1) Информационная технология. Языки программирования. ... 3 ] ИСО/МЭК 9899-99 1) Информационная технология. ... 10 ] ИИЭЭ Стд 1003.9-92 2) Стандарт ИИЭЭ по информационной технологии. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/rus/casr/os/3_6/pr2000/v.html -- 12.6 Кб -- 20.10.2000
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>431) - www.cplire.ru/ )
26. Значки
... Вы выбираете понравившуюся Вам позицию (предметы) и сообщаете о своем выборе web-мастеру . ... В зависимости от серьезности намерений и суммы Вашего выбора по дополнительной просьбе web-мастера от Вас может потребоваться дополнительная письменная коммерческая заявка по следующим реквизитам: факсу - (095) 497-47-60 (или указанному дополнительно) и/или адресу - Москва, ул.Новопоселковая, 6. ... Web-master: ї Вадим Лукашевич 1998-2005 . E-mail: buran@buran.ru ...
[
Сохраненная копия
]
Ссылки http://www.buran.ru/htm/znachki.htm -- 6.4 Кб -- 01.10.2012
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>537) - www.buran.ru/ )
27. Sem08: Язык сценариев JScript
... Основы языка JavaScript. Основы языка HTML и введение в CSS и JavaScript . ... Язык программирования JavaScript - предназначен для создания интерактивных HTML-документов. ... Проверьте работы сценария JavaScript . Введите длину прямоугольника 24 и ширину - 25 и нажмите левой кнопкой мыши кнопку Вычислить . ... Ознакомьтесь с устройством функции square(a,b) . ... Добавьте новый сценарий JavaScript c функцией CubeT: . ... Проверьте работу скриптов JavaScript нажимая на кнопку Разрешение экрана . ...
[
Сохраненная копия
]
Ссылки http://www.astro.spbu.ru/staff/afk/Teaching/Seminars/XimFak/Sem08.htm -- 17.0 Кб -- 19.11.2010
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>95) - www.astro.spbu.ru/ )
28. SPUTNIK home page
.
[
Сохраненная копия
]
Ссылки http://sputnik.infospace.ru/goms/rus_win/goms.htm -- 7.2 Кб -- 14.01.2004
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>53) - sputnik.infospace.ru/ )
29. http://www.abitu.ru/en2002/closed/viewwork.html?work=83
Комплекс обучающих игр по астрономии Автор работы: Александров Сергей Городской Дворец детского (юношеского) творчества, 11 класс, Омск e-mail: programmers@rambler.ru scgdt@sch.omskreg.ru Научные руководители: Пономарева Маргарита Михайловна, педагог дополнительного образования ГДд(ю)т Леус Елена Владимировна, педагог дополнительного образования ГДд(ю)т Крупко Владимир Николаевич, педагог дополнительного образования ГДд(ю)т 2002-2003 гг. ... Экран игры состоит из поля игры и поля костяшек игрока. ...
[
Текст
]
Ссылки http://www.abitu.ru/en2002/closed/viewwork.html?work=83 -- 356.0 Кб -- 05.05.2006
Похожие документы
Похожие документы
30. ОАО РКК "Энергия" - Закупки
... РАКЕТНО-КОСМИЧЕСКАЯ КОРПОРАЦИЯ ЭНЕРГИЯ ИМЕНИ С.П. КОРОЛЕВА . О корпорации . ОАО РКК "Энергия" . Президент корпорации . ... Закупки . Развитие структуры предприятия . История предприятия . ... Хронология полетов . ... Архив экспедиций . ... Поставка термостата и дополнительного оборудования . ... Вклад РКК "Энергия" в развитие ракетно-космической техники России . ... РКК "Энергия": грузовой корабль "Прогресс МС-02" причалил к МКС.' ... 2015 ОАО "РКК "Энергия" им. С.П. Королева" . ...
[
Сохраненная копия
]
Ссылки http://www.energia.ru/ru/zak/term/term.html -- 31.6 Кб -- 09.04.2016
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>1021) - www.energia.ru/ )
31. EHIPS: "Знаете ли вы, как..."
... Изменить имена координатных интервалов куба данных (КД), не потеряв самих данных . ... Модуль модели рассеяния . ... Выполнить расчет, если загрязнитель назван по-разному в блоке выбросов и блоке концентраций. ... После этого можно делать расчет. ... Сделать пробный расчет, чтобы не портить выходной куб данных. ... Сделать один расчет, выйти из модели, перетащить результат в выходной куб данных (а не модели!) Опять войти в модель, сделать второй расчет и перетащить результат в выходной куб модели. ...
[
Сохраненная копия
]
Ссылки http://www.iki.rssi.ru/ehips/Help/Tips.htm -- 7.2 Кб -- 03.02.2004
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>360) - www.iki.rssi.ru/ )
32. Системы дифференциальной коррекции / Космический портал "Космопорт"
... Системы дифференциальной коррекции ? ... Для повышения точности позиционирования систем GPS и ГЛОНАСС на земной поверхности или в околоземном пространстве, используются спутниковые и наземные системы дифференциальной коррекции. ... система дифференциальной коррекции и мониторинга; планируется трансляция поправок с геостационарных спутников системы МКСР: Луч-5А и Луч-5Б . Наземная система дифференциальной коррекции и Наземная региональная система дифференциальной коррекции. ... Прогресс М-01М . ...
[
Сохраненная копия
]
Ссылки http://www.cosmoport.com/spacecraft/spacecraft-313.html -- 37.4 Кб -- 02.02.2013
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>124) - www.cosmoport.com/ )
33. Электронная библиотека астронома-любителя. Астрономическая литература, книги по
Электронная библиотека астронома-любителя. Книги по астрономии, телескопостроению, оптике. главная . библиотека . архив RSN . ... Всего книг: 103 . ... Последние поступления в библиотеку : . ... 2008-10-21: . ... Чикин А. А. - Астрономическая труба из очковых стекол. ... Чикин А. А. - Самодельная астрономическая труба из очковых стекол. ... Луцкий В. К. - История астрономических общественных организаций в СССР. ... Библиотека преодолела рубежи в 100 книг и 1 Гб объема. ...
Еще в разделе:
(Показать все результаты (>1066) - www.astrolib.ru/ )
34. Лазарев Евгений Николаевич
... Evgeniy Lazarev; Moscow State University of Geodesy and Cartography (MIIGAiK); . ... The new hypsometric maps of Venus and the Moon should improve and accelerate studying the surfaces of these planets and relief-forming processes. ... 1Moscow State University of Geodesy and Cartography (MIIGAiK) 105064, Gorokhovskiy pereulok, 4, Moscow, Russia zhecka@inbox.ru . ... 2Moscow State University for Geodesy & Cartography (MIIGAiK), 105064, 4, Gorokhovskiy pereulok, Moscow, Russia, zhecka@inbox.ru. ...
[
Сохраненная копия
]
Ссылки http://selena.sai.msu.ru/Laz/Laz.htm -- 12.2 Кб -- 20.04.2015
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>42) - selena.sai.msu.ru/ )
35. http://www.ipa.nw.ru/conference/kvno2013/docs/KBHO-2013.doc
... Ранний заезд или поздний отъезд могут быть подтверждены только при наличии в отеле свободных номеров и оплачиваются дополнительно: - При заезде в период с 07 часов до 14 часов дополнительно оплачивается 50% стоимости номера. При отъезде в период с 12 часов до 18 часов дополнительно оплачивается 50% стоимости номера. При отъезде в период с 18 часов текущего дня до 12 часов следующего дня дополнительно оплачивается 100% стоимости номера. ... Подпись_________________ Дата ...
[
Текст
]
Ссылки http://www.ipa.nw.ru/conference/kvno2013/docs/KBHO-2013.doc -- 60.5 Кб -- 06.02.2013
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>341) - www.ipa.nw.ru/ )
36. Запуск Apache - HTTP сервер Apache
... HTTP сервер Apache версии 2.2 . ... На Windows платформах Apache обычно работает как сервис Windows NT/2000/XP или как консольное приложение Windows 95/ME. ... Что происходит в момент запуска Apache . ... Запуск сервера вместе с запуском всей системы . ... httpd . ... Вы также можете вручную внести некоторые изменения в скрипт apachectl , в частности, изменив значение переменной HTTPD для запуска Apache из другого каталога, и указав опции, которые будут передаваться серверу каждый раз при его...
[
Сохраненная копия
]
Ссылки http://www.arcetri.astro.it/manual/ru/invoking.html -- 14.3 Кб -- 21.01.2013
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>5036) - www.arcetri.astro.it/ )
37. Эксперименты на МКС
продолжается с МКС-13) . ... Разработка малостадийных технологий получения биомассы микроорганизмов и биологически активных веществ (БАВ) для создания высокоэффективных экологически чистых производств бактериальных, ферментных и лекарственных препаратов. ... Отработка автономного реактора закрытого типа на борту МКС. ... Для реализации эксперимента используется аппаратура "Биоэмульсия", термоизолирующий контейнер "Биоконт - Т" и термостат-холодильник "Криогем- 03М" общей массой 46,0 кг. ...
[
Сохраненная копия
]
Ссылки http://www.mcc.rsa.ru/exp/bioemulsia.htm -- 4.0 Кб -- 24.04.2014
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>113) - www.mcc.rsa.ru/ )
38. RATAN-600
... Oтветственный ученый по объекту РАТАН-600, академик РАН Парийский Ю.Н. Зам. директора САО РАН по радиотелескопу РАТАН-600 Мингалиев М.Г. Отдел радиоастрономии . Лаборатория радиоастрофизики . Группа изучения галактик и космологии . ... Лаборатория радиометров континуума . Группа АСУ РАТАН-600 . ... Группа наблюдений континуума . ... Облучатель N1 . ... Архив расписаний наблюдений . ... Архив наблюдательных данных РАТАН-600 . ... База данных AstroWeb . European Southern Observatory . ...
[
Сохраненная копия
]
Ссылки http://mavr.sao.ru/ratan/index.html.ru -- 5.7 Кб -- 09.04.2016
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>276) - mavr.sao.ru/ )
39. Составы групп космонавтов.
... АНИКЕЕВ Иван Николаевич . БЕЛЯЕВ Павел Иванович . ... БЫКОВСКИЙ Валерий Федорович . ... ГАГАРИН Юрий Алексеевич . ... КОМАРОВ Владимир Михайлович . ... ГУБАРЕВ Алексей Александрович . ... МАТИНЧЕНКО Александр Николаевич . ... ШАТАЛОВ Владимир Александрович . ... ГЛАЗКОВ Юрий Николаевич . ... ДЕГТЯРЕВ Владимир Александрович . ... СКВОРЦОВ Александр Александрович . ... КУБАСОВ Валерий Николаевич . ... ЯЗДОВСКИЙ Валерий Александрович . ... ДЕДКОВ Александр Иванович . ... ЛАВЕЙКИН Александр Иванович . ...
[
Сохраненная копия
]
Ссылки http://www.space.hobby.ru/astronauts/list.html -- 19.0 Кб -- 06.04.2016
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>124) - www.space.hobby.ru/ )
40. Составы групп космонавтов.
АНИКЕЕВ Иван Николаевич . БЕЛЯЕВ Павел Иванович . ... БЫКОВСКИЙ Валерий Федорович . ... ГАГАРИН Юрий Алексеевич . ... КОМАРОВ Владимир Михайлович . ... ГУБАРЕВ Алексей Александрович . ... МАТИНЧЕНКО Александр Николаевич . ... ШАТАЛОВ Владимир Александрович . ... ГЛАЗКОВ Юрий Николаевич . ... ДЕГТЯРЕВ Владимир Александрович . ... СКВОРЦОВ Александр Александрович . ... КУБАСОВ Валерий Николаевич . ... ЯЗДОВСКИЙ Валерий Александрович . ... ДЕДКОВ Александр Иванович . ... ЛАВЕЙКИН Александр Иванович . ...
[
Сохраненная копия
]
Ссылки http://www.cosmoworld.ru/spacehistory/astronauts/list.html -- 22.0 Кб -- 09.04.2016
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>754) - www.cosmoworld.ru/ )
Астронет | Научная сеть | ГАИШ МГУ | Поиск по МГУ | О проекте | Авторам
Комментарии, вопросы? Пишите: info@astronet.ru или сюда