Astronet Поиск по астрономическим сайтам English Russian
       
        Точная форма слов   О проекте   Сайты   Справка
Найдено документов: 236795 (204 сайтов) ---- Время поиска: 1.02сек.   

Пред. | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | След.

Показаны документы, содержащие фрагменты текста из документа
http://astro.uni-altai.ru/picture/src/0+1080892545/.

21. Dubna-2015: А.А. Разборов
... А. А. Разборов планирует провести 2 3 занятия. Имеется выражение, состоящее из булевых переменных $p_1,\ldots,p_n$ и логических связок $\neg,\lor,\land,\Rightarrow$. Как доказать, что оно выполнимо , т. е. что вместо $p_1,\ldots,p_n$ можно подставить TRUE или FALSE так, что значение всего выражения окажется равным TRUE? Ответ очевиден: предъявить подстановку и проверить ее прямым вычислением. ... Короткого доказательства, скорее всего, не существует. ... Как доказать, что она несовместна? ...
[ Сохраненная копия ]  Ссылки http://www.mccme.ru/dubna/2015/courses/razborov.html -- 5.2 Кб -- 13.07.2015
Похожие документы

22. http://www.vsm.host.ru/
... This site is devoted to Russian cosmonautics, its principle is "it's better to see once, than to hear 100 times". Here you will find photos (including rare ones), schemes, and the most important - 3D models of spacecraft and launch pads. webmaster - Alexander Chernov, chernov@vsm.host.ru . ... 1997 . ...
[ Сохраненная копия ]  Ссылки http://www.vsm.host.ru/ -- 3.3 Кб -- 20.04.2001
Похожие документы

23. Попов Александр Петрович
. Контактная информация . Адрес электронной почты . Служебный телефон . 939-16-49 . Назад . В отдел исследований . Луны и планет .
[ Сохраненная копия ]  Ссылки http://selena.sai.msu.ru/Pop/Pop.htm -- 4.3 Кб -- 20.04.2015
Похожие документы

24. Вселенная и мы - сайт и журнал
Информационно-познавательный сайт . ... О сайте . О журнале . Последний выпуск . Архив выпусков . ... Наши спонсоры . Об авторах . Пишите нам . ...
[ Сохраненная копия ]  Ссылки http://crydee.sai.msu.ru/Universe_and_us/ -- 4.7 Кб -- 30.03.2000
Похожие документы

25. Метеориты
... Если ВЫ нашли метеорит . Статьи и сообщения . ... 25 октября 2004 года во время экспедиции, организованной для изучения находки нового российского метеорита, скоропостижно скончался Александр Евгеньевич Милановский, активно содействовавший развитию метеоритики в России, талантливый исследователь, популяризатор науки и автор идеи данного сайта. ... Он был многогранной личностью и после многих лет работы в геологии в нем не угасла "детская" увлеченность, желание познавать новое. ...
[ Сохраненная копия ]  Ссылки http://www.meteorite.narod.ru/ -- 27.1 Кб -- 09.04.2016
Похожие документы

26. Команда эксперимента ТЕСИС
... ТЕСИС . ... Космические эксперименты ФИАН . ... должность: Заведующий лабораторией, генеральный конструктор комплекса ТЕСИС . ... адрес: главное здание ФИАН, ком. 177 . ... тел. (499) 132-65-96 . ... адрес: главное здание ФИАН, ком. 173а . ... адрес: главное здание ФИАН, ком. 275 . ... адрес: главное здание ФИАН, ком. 173a . ... адрес: главное здание ФИАН, ком. 174 . ... адрес: главное здание ФИАН, ком. 179 . ... адрес: главное здание ФИАН, ком. 180a . ... адрес: главное здание ФИАН, ком. 178 . ...
[ Сохраненная копия ]  Ссылки http://www.tesis.lebedev.ru/about_team.html -- 23.0 Кб -- 09.04.2016
Похожие документы
Еще в разделе: (Показать все результаты (>409) - www.tesis.lebedev.ru/ )

27. Александр Александрович Михайлов - Астрономия и Космос
Астрономия и Космос Знаменитые астрономы . Александрович Михайлов . А.А.Михайлов - советский астроном, академик (с 1964 г.), Герой Социалистического Труда. ... С 1947 по 1964 г. Михайлов возглавлял Главную астрономическую обсерваторию АН СССР (Пулковскую); в разные годы был председателем Астрономического совета АН СССР, президентом Всесоюзного астрономогеодезического общества. ... Комментарии к Александр Александрович Михайлов . Ссылки по теме Александр Александрович Михайлов: . ...
[ Сохраненная копия ]  Ссылки http://space.rin.ru/articles/html/372.html -- 25.5 Кб -- 09.04.2016
Похожие документы

28. АЛЕКСАНДРОВ Александр Панайотов
... Болгария . ... Годовщина второго советско-болгарского космического полета. 1 марка. 13 стотинок. Анатолий Соловьев, Виктор Савиных, Александр Александров. ... 10 лет второго советско-болгарского космического полета. 1 марка. 120 лев. Александр Александров. Тираж: 60 тыс. Болгария . ... 20 лет второго советско-болгарского космического полета. Почтовый блок. 1 лев. ...
[ Сохраненная копия ]  Ссылки http://www.astronaut.ru/philo/text/209.htm -- 4.2 Кб -- 15.04.2012
Похожие документы

29. Структура ГАО РАН
... доктор физ.-мат. наук . тел. +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 . ...
[ Сохраненная копия ]  Ссылки http://www.gao.spb.ru/russian/staff/index.html -- 36.5 Кб -- 24.02.2016
Похожие документы

30. LIVS
Заведующий лабораторией . ... Внедрение современных информационных технологий для обеспечения информационной связанности локально-вычислительных сетей института (Ждановская,8 и Кутузова,10), обсерваторий "Светлое", "Зеленчукская" и "Бадары" с глобальной информационной сетью INTERNET . Системное и аппаратно-программное обеспечение информационной сети института . ... Организационно-техническое обеспечение режима e-VLBI совместно с другими лабораториями института . ...
[ Сохраненная копия ]  Ссылки http://www.ipa.nw.ru/PAGE/ASTROTOOLS/LIVS/inflab.htm -- 6.2 Кб -- 09.04.2016
Похожие документы
Еще в разделе: (Показать все результаты (>637) - www.ipa.nw.ru/ )

31. Российскому летчику, полковнику Александру Петрову удалось отвести терпящий
... Пилотируемый петровым Су-27 упал в поле. ... Самому летчику удалось катапультироваться, сейчас он находится в одном из лечебных заведений Липецка, проходит реабилитацию. ... ОАО "Авиакомпания Тюменьавиатранс" приобрело два новых самолета Ту-154М . Владимир Путин поздравил летчика Алексея Маресьева с 85-летием . ... Российскому летчику, полковнику Александру Петрову удалось отвести терпящий крушение самолет от населенных пунктов . ...
[ Сохраненная копия ]  Ссылки http://news.cosmoport.com/2001/05/18/6.htm -- 21.8 Кб -- 10.04.2016
Похожие документы

32. Шулежко Александр Терентьевич
учитель физики средней общеобразовательной школы ? ... Шулежко Александр Терентьевич - учитель физики и астрономии общеобразовательной школы ? ... На протяжении 10 лет Шулежко Александр Терентьевич активно сотрудничает с Институтом общего образования Министерства образования Российской Федерации. ... В 1997- 2001 гг. изданы дифференцированные задания по физике для учащихся 7, 8 и 10 классов (издательство Института общего образования Министерства образования РФ). ...
[ Сохраненная копия ]  Ссылки http://www.schools.keldysh.ru/sch1936/AL_TER.htm -- 6.7 Кб -- 11.02.2004
Похожие документы

33. САО-2009: 1-е сообщение.
... 1-е сообщение . ... Список участников . ... Предыдущие школы . ... 25 сентября 2009 . ... ГАЛАКТИЧЕСКИЕ И АККРЕЦИОННЫЕ ДИСКИ . ... Заметная часть видимого вещества во Вселенной заключена в те или иные дисковые структуры: от аккреционных дисков в тесных двойных системах до звездно-газовых дисков галактик. ... Аккреционные диски в тесных двойных звездных системах. Аккреционные диски и сверхмассивные черные дыры в ядрах галактик. Кинематика и динамика дисков Млечного Пути и других галактик. ...
[ Сохраненная копия ]  Ссылки http://www.sao.ru/hq/moisav/sao09/anonc1.html -- 8.5 Кб -- 01.10.2012
[ Сохраненная копия ]  Ссылки http://mavr.sao.ru/hq/moisav/sao09/anonc1.html -- 8.5 Кб -- 02.10.2012
Похожие документы

34. А.Зайцев Завершены съемки немецкого документального фильма о передаче и поисках
... При этом основное внимание обращается на необходимость гармонизации данного взаимодействия, что подразумевает как поиски разумных сигналов, излучаемых другими цивилизациями, так и предоставление другим гипотетическим цивилизациям возможности обнаружить разумные сигналы, излучаемые нашей цивилизацией. Первая серия фильма, посвященная, в основном, поисками разумных сигналов во Вселенной, снималась в США. ...
[ Сохраненная копия ]  Ссылки http://lnfm1.sai.msu.ru/SETI/koi/articles/Filml.htm -- 11.2 Кб -- 15.10.2007
Похожие документы

35. Цикл работ Чернышова Александра Александровича (сектор 501) 'Применение метода
Цикл работ Чернышова Александра Александровича (сектор 501) 'Применение метода крупных вихрей к исследованию сжимаемой магнитогидродинамической турбулентности космической плазмы' на конкурс научных работ ИКИ РАН 2007 в номинации 'работа молодого ученого'. Данный цикл работ посвящен применению метода крупных вихрей для сжимаемой магнитогидродинамической турбулентности космической плазмы. ...
[ Сохраненная копия ]  Ссылки http://www.iki.rssi.ru/comp/2007/Cycle_Chernyshov.htm -- 14.1 Кб -- 26.11.2007
Похожие документы

36. Astronomy: IX Российская олимпиада: Победители (In Russian)
Список победителей IX Российской олимпиады школьников по астрономии и физике космоса ( http://www.issp.ac.ru/iao/russia/2002/wir02_w.html ): . ... Алямкин Сергей (г. Новокузнецк, Кемеровская область, 9 клаcc) . ... Зенин Александр (г. Астрахань, 9 клаcc) . ... Лавренов Иван (г. Москва, 8 клаcc) . Обущенко Александр (г. Красноярск, 10 класс) . ... Бабкин Юрий (г. Москва, 10 класс) . ... Степанищев Александр (г. Алексеевка, Белгородская область, 11 класс) . ... Пац Александр (г. Москва, 8 клаcc) . ...
[ Сохраненная копия ]  Ссылки http://www.issp.ac.ru/iao/russia/2002/wir02_w.html -- 7.4 Кб -- 16.09.2004
Похожие документы

37. Форум Александр Александрович Иванов / Alexander Ivanov forum
... Александр Маринеско . ... Юлия Волкова 08.04.2016 10:04:10] Юлия Волкова рассказала о своей борьбе с раком Подробнее .. ... Меган Трейнор 07.04.2016 07:04:10] Меган Трейнор выступила на iHeart Radio Awards с хитом NO Подробнее .. ZAYN 07.04.2016 05:04:47] Зейн Малик произвел фурор Подробнее .. Kygo 07.04.2016 05:04:35] Kygo выпустил еще один сингл с предстоящего альбома Подробнее .. Татьяна Каширина 07.04.2016 04:04:42] Штангистка Татьяна Каширина пропустит чемпионат Европы Подробнее .. ...
[ Сохраненная копия ]  Ссылки http://www.peoples.ru/science/astronomy/alexander_ivanov/forum.shtml -- 48.4 Кб -- 09.04.2016
Похожие документы

38. Александр Козырев Страна поэтов
Пьесы . ... Другие пьесы . ... Анатолий Шварц Поэт и куртизанка . ... Братец Лис и братец Кролик . ... Внуки Ильича . ... Белые зонтики . ... Курилка . ... Внуки ильича . ... Навигация: Начало > Александр Козырев Страна поэтов . С 2005 г. - член литературного объединения 'Тропа', дипломант конкурса памяти Валерия Дементьева и литературного конкурса для школьников 'Самое главное'. ... Подобные пьесы: . ... Copyright Пьесы.ру 2010 . ...
[ Сохраненная копия ]  Ссылки http://www.tal.dax.ru/aleksandr-kozyrev-strana-poetov/7/index.html -- 16.0 Кб -- 01.10.2012
Похожие документы
Еще в разделе: (Показать все результаты (>261) - www.tal.dax.ru/ )

39. Artificial Intelligence 2003, International Conference
... Алексей А. Морозов и Марина Г. Глубокая . ... Так вот, поднимаясь с платформы по мостику, мы натолкнулись на мужика с табличкой "ИМС-2003 и ЭР-2003". ... РАН Виталий Александрович Лопота (ЦНИИ РКТ, Санкт-Петербург). ... Выступает академик РАН Всеволод Сергеевич Бурцев (ИПИ РАН, Москва). ... Доклад к.ф.-м.н. Алексея Александровича Морозова (ИРЭ РАН, Москва) о параллельном Акторном Прологе . ... Выступает Анна В. Масленникова (Институт машиноведения РАН, Москва). ... Марина и Алексей. ...
[ Сохраненная копия ]  Ссылки http://www.cplire.ru/Lab144/ai2003/index.html -- 22.2 Кб -- 24.09.2007
Похожие документы

40. Союз ТМ-17 / Космический портал "Космопорт"
... По завершении программы предыдущий экипаж, совместно с французским космонавтом вернулся на Землю на корабле Союз ТМ-16. 14-я основная экспедиция на станцию 'Мир' осуществила разнообразную исследовательскую программу. 24-го июля была отправлена капсула возвращения корабля Прогресс М-17, загруженная результатами исследований. 11-го августа транспортник был отстыкован от станции и переведен на низкую орбиту. ... В 14-го января 1994 в 7:37 Союз ТМ-17 отстыковался от стыковочного люка станци Мир. ...
[ Сохраненная копия ]  Ссылки http://www.cosmoport.com/spacecraft/spacecraft-79.html -- 39.4 Кб -- 09.04.2016
Похожие документы

Пред. | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | След.

Rambler's Top100 RFBR Яндекс цитирования