. Критические заметки . о буржуазной математической логике . А.Ф.Лосев . Публикация А.А.Тахо-Годи, . подготовка рукописи к публикации и примечания . В.П.Троицкого . Опубликовано: . Историко-математические исследования, вып. 8 (43), 2003, с. 3339-401. Огромное распространение идей т.н. математической логики или логистики общеизвестно. Теперь это уже перестает быть каким-то одним из методов логики и грозит оттеснить всякую иную логику 1 . В последнем американском философском словаре 2 <...> уже нет вообще
ЦЕНТР ТРАНСФЕРА ТЕХНОЛОГИЙ МГУ имени М.В.Ломоносова . ... ИННОВАЦИОННЫЕ ПРОЕКТЫ МГУ . ... Консультационные услуги и образовательные программы МГУ . ... Консультационные услуги и образовательные программы . ... Дуров Владимир Алексеевич, профессор, д.х.н., тел.9392218, durov@phys.chem.msu.ru . ... Сахаров Иван Юрьевич, внс, 9393407 sakharov@enz.chem.msu.ru . ... с.н.с., (495)9395019 Wolf17@list.ru . ... Внс, (495) 939 50 57 Lekomtseva@herba.msu.ru . ... Профессор (495) 939 44 25 oa_makarov@mail.ru . ...
... РАН Савин Г.И. акад. РАН Белокуров В.В. профессор Рудаков К.В. чл.-корр. ... РАН Зам. председателя - Смелянский Р.Л. акад. РАЕН Уч. секретарь - Костенко В.А. с.н.с. Члены: Захаров В.А. доцент Тихонравов А.В. профессор Воеводин В.В. чл.-корр. ... Структурный синтез вычислительных систем, планирование вычислений: методы, алгоритмы и инструментальные средства председатели: профессор Топорков В.В., с.н.с. Костенко В.А. Заседание 1 Динамическое планирование вычислений и управление ресурсами 1. ...
Лаборатория параллельных информационных технологий . ... Анализ эффективности параллельных программ и суперкомпьютерных систем . ... Комиссии при Президенте Российской Федерации по модернизации и технологическому развитию экономики России, где лаборатория Параллельных информационных технологий НИВЦ МГУ имени М.В.Ломоносова выполняет роль координатора всех работ проекта. ... Воеводин Вл.В. Статистические оценки возможности выявления параллельной структуры последовательных программ //Программирование. ...
... Задача . ГПУ . Производительность (ГФлоп/с) . ... Умножение матриц . ... Матрицы . ... CUDA . ... Фильтрация 3*3 . ... Реально достигнутая производительность также достаточно высока: на ГПУ AMD HD 2900 это 100 ГФлоп/c, на ГПУ NVidia GeForce GTX8800 - 125 ГФлоп/c (на процедуре из CUBLAS, реализованной NVidia). ... Однако коэффициент повторного использования данных значительно меньше, чем у умножения матриц, что и объясняет значительно меньшую эффективность ГПУ в решении данной задачи. ...
... Размеры рабочего канала: длина - 500 мм, ширина - 300 мм, высота - 250 мм. Диапазон скоростей (число Маха): 1,2; 1,3; 1,75; 2,0; 2,5; 2,8 . Число Рейнольдса на длине l=100 мм: 2,2*1000000 до 1,5*100000000 . ... Сверхзвуковая аэродинамическая установка А-11 является аэродинамической трубой кратковременного действия баллонно-эжекторного типа без подогревателя. ... Число Рейнольдса на длине l=100 мм изменяется в диапазоне от 2,2*1000000 до 1,5*10000000. Размер рабочей части 500х250х300 мм. ...
Published on Совет молодых ученых ВМК МГУ ( http://smu.cs.msu.ru ) . Главная > Мероприятия > Конференция ?Ломоносов? > 2013 . ... XX Международная конференция Ломоносов-2013 проходит с 9 по 12 апреля 2013 года. Официальный сайт конференции Ломоносов -љ http://lomonosov-msu.ru [1] . ... Руководители: Шевцова Ирина Геннадьевна, Нефедова Юлия Сергеевна . ... Ответственный секретарь љ? ассистент к.ф.-м.н. Шевцова Ирина Геннадьевна . ... Программа секции ВМК 9-11 апреля 2013г. [3] . ...
Published on Совет молодых ученых ВМК МГУ ( http://smu.cs.msu.su ) . Главная > Мероприятия > Конференция ?Ломоносов? > 2013 . ... XX Международная конференция Ломоносов-2013 проходит с 9 по 12 апреля 2013 года. Официальный сайт конференции Ломоносов -љ http://lomonosov-msu.ru [1] . ... Руководители: Шевцова Ирина Геннадьевна, Нефедова Юлия Сергеевна . ... Ответственный секретарь љ? ассистент к.ф.-м.н. Шевцова Ирина Геннадьевна . ... Программа секции ВМК 9-11 апреля 2013г. [3] . ...
... В те годы системы коллективного пользования строились по другим принципам, а первые компьютерные сети начали возникать на факультете с начала 90-х годов. В результате их объединения в 1995 году была создана единая информационно-вычислительная сеть механико-математического факультета. ... Единая информационно-вычислительная сеть механико-математического факультета - сеть крупного учебного подразделения главного вуза страны, и это определяет ее некоторые специфические свойства. ... Учебная сеть. ...
... О кафедре . ... Учебные пособия . ... Язык Паскаль: Учебно-методическое пособие. ... Языки управления приложениями: Учебно-методическое пособие. ... Учебно-методическое пособие для студентов 2 курса, обучающихся по направлению Фундаментальные информатика и информационные технологии . ... Учебное пособие для студентов 1 курса. ... Учебное пособие для студентов II курса. 2009 (с исправлениями от мая 2014). ... Учебно-методическое пособие для студентов 1 курса. ... кафедра АЯ ВМК МГУ, 2009 2014 ...
... Система ParCon предназначена для эффективного управления ресурсами вычислительных кластеров, а также анализа эффективности кластеров и параллельных программ. ... управлять политикой использования кластера различными пользователями . ... Первый комплекс - система управления заданиями Cleo . ... Комплекс сделан расширяемым, для того, чтобы максимально охватить спектр параметров вычислительных узлов, которые необходимо отслеживать, а также спектр программ реагирования на нештатные значения параметров. ...
... Журнал Вестник Московского университета. ... 1) название статьи на русском и английском языках; . 2) аннотацию (3-5 предложений) на русском и английском языках; . ... К рассмотрению принимаются материалы и статьи преподавателей и научных сотрудников объемом от 0,7 авторского листа (28 тыс. знаков) до 1 авторского листа (40 тыс. знаков). Объем аспирантских статей от 0,25 авторского листа (10 тыс. знаков) до 0,7 авторского листа (28 тыс. знаков). ...
М.В.Ломоносова Научно-исследовательский институт ядерной физики им. Д.В.Скобельцына В.Л.Коротких, Л.И.Сарычева Легкие мезоны и КХД экзотика Часть I. Квантовые числа Препринт НИИЯФ МГУ 200112/652 Москва 2001 1 В.Л.Коротких, Л.И.Сарычева E-mail: Владимир Леонидович Коротких vlk@lav1.sinp.msu ... .ru E-mail: Людмила Ивановна Сарычева lis@alex.sinp.msu.ru Препринт НИИЯФ МГУ 200112/652 20 страниц Легкие мезоны и КХД экзотика Часть I. Квантовые ... Phys. J. C15 (2000) 1 [4] G.Bali et al. ...
... Он знакомит слушателей с построением моделей, с методами решения соответствующих математических задач, со свойствами их решений и выяснением их физического смысла. ... Уравнения колебаний и теплопроводности в случае нескольких пространственных переменных . ... Уравнение колебаний. ... Смешанная задача для уравнения теплопроводности на отрезке, ее решение методом разделения переменных. ... Смешанные задачи для уравнения колебаний и теплопроводности в случае нескольких пространственных переменных. ...
... Выставка работ художников из Германии Нина Гелинг, живопись, и Эккахарт Бушон, деревянные рельефы и скульптуры. ... это последняя terra incognita в истории человечества. ... в Германии ? ... Впервые за все время проведения ?Дней Германии в российских регионах? предлагается не только искусство из Германии, но и его практическое применение: Звенигородская биостанция МГУ имени М.В. Ломоносова и галерея Dreiklang (Германия) представляют совместный проект ?ВАРИАБЕЛЬНОСТЬ В ИСКУССТВЕ КАК МЕТОД АРТ-ТЕРАПИИ...
... 1 ] - J.M. Bujnicki (2001) Understanding the evolution of restriction - modification systems: Clues from sequence and structure comparisons. ... 2 ] - J.M. Bujnicki (2003) Crystallographic and Bioinformatic Studies on Restriction Endonucleases: Inference of Evolutionary Relationships in the 'Midnight Zone' of Homology. ...
... Виргинские острова (США) Вьетнам Габон Гаити Гайана Гамбия Гана Гваделупа Гватемала Гвинея Гвинея -Бисау Германия Гибралтар Гондурас Гонконг Гренада Гренландия Греция Грузия Гуам Дания Джибути Доминиканская Республика Египет Замбия Зимбабве Израиль Индия Индонезия Иордания Ирак Иран Ирландия Исландия Испания Италия Йемен Казахстан Каймановы острова Камбоджа Камерун Канада Катар Кения Кипр Киргизия Китай Кокосовые острова Колумбия Конго, ... Отрасль науки . ...
Архив новостей . ... После этого перед участниками программы выступит директор Центра по делам России и США Ольга Андреевна Зиновьева. ... С 15 по 22 мая 2011 г. в МГУ прибывает специалист по раннему ренессансу и в частности по гуманисту 15 в Георгию Трeбизонда (Georgius Trapezuntius) профессор СУНИ в Олбани Джон Монфасани (John Monfasani). ... В сентябре 2009 года в МГУ прибывает профессор СУНИ в Дельфи Линнеа Бервод (Linnei Burwood-Goodwin) в качестве академического директора Центра России и США. ...