... Многоцелевой лазерно-электронный источник рентгеновского излучения ? ... Основанный на эффекте Комптона и использующий передовые разработки в области компактных ускорителей электронов и лазеров, новый источник позволит получить на четыре порядка более интенсивные пучки, чем стандартная рентгеновская трубка, а импульсный режим работы позволит минимизировать время воздействия рентгеновского излучения на образец и увидеть всю внутреннюю структуру с недостижимым в обычных условиях разрешением. ...
МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ им. М.В. ЛОМОНОСОВА Механикоматематический факультет На правах рукописи Беляков Антон Олегович Определение моментов инерции крупногабаритных тел по колебаниям в упругом подвесе 01.02.01 теоретическая механика Диссертация на соискание ученой степени кандидата физикоматематических наук Научный руководитель доктор физикоматематических наук А.П. Сейранян Москва 2005 г. Содержание Введение Глава I. Описание метода измерений 1 Существующие методы измерения моментов инерции 2
-- MySQL dump 8.23 -- -- Host: localhost Database: slides --------------------------------------------------------- -- Server version 3.23.58 -- -- Table structure for table `book` -- DROP TABLE IF EXISTS book; CREATE TABLE book ( id_content int(11) NOT NULL default '0', title varchar(255) default NULL, text1 text, text2 text, PRIMARY KEY (id_content) ) TYPE=MyISAM; -- -- Dumping data for table `book` -- INSERT INTO book VALUES (110,'Электронный учебник','',''); INSERT INTO book VALUES
. Критические заметки . о буржуазной математической логике . А.Ф.Лосев . Публикация А.А.Тахо-Годи, . подготовка рукописи к публикации и примечания . В.П.Троицкого . Опубликовано: . Историко-математические исследования, вып. 8 (43), 2003, с. 3339-401. Огромное распространение идей т.н. математической логики или логистики общеизвестно. Теперь это уже перестает быть каким-то одним из методов логики и грозит оттеснить всякую иную логику 1 . В последнем американском философском словаре 2 <...> уже нет вообще
... Расписание занятий . ... 8-й класс. Четверг, 18-00, ауд. 523. 9-й класс. Среда, 18-00, ауд. 659 (занятия до 21 часа 10 минут). 10-й класс. Вторник, 18-00, ауд. 707 (занятия до 21 часа 10 минут). ... Язык программирования Паскаль (8-9 классы, практикум). Понедельник, 16-20, ауд. ... Язык программирования Си (8-10 классы, практикум). ... Курс лекций 'Введение в теоретические основы информатики и язык ассемблера' (8-10 классы). ... Четверг, 16-20, ауд. 660. 10-й класс. ...
... Летние школы . ... Осень 2015 года . ... Авторство ни одного другого писателя в истории мировой литературы не оспаривается так яростно, как это происходит в случае с Уильямом Шекспиром из Стратфорда: к настоящему моменту на его место претендуют как минимум 80 кандидатов. ... Тайны, мифы? Современное шекспироведение способно дать адекватный ответ на большинство загадок и развеять мифы, связанные с именем великого драматурга. ... Уильям Шекспир: загадки, мифы, реальность. Расследование.. ...
. Strict Standards : Non-static method JLoader::import() should not be called statically in /wcmc/ms/ms/libraries/joomla/import.php on line 29 . Strict Standards : Non-static method JLoader::register() should not be called statically in /wcmc/ms/ms/libraries/loader.php on line 71 . Strict Standards : Non-static method JLoader::import() should not be called statically in /wcmc/ms/ms/libraries/joomla/import.php on line 32 . Strict Standards : Non-static method JLoader::register() should not be called
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...
... О практикуме . Баллы . ... 31.08.2012 04:12 / admin . Начала работать новая страничка практикума по базам данных. Здесь можно будет найти методические материалы, текущие баллы и оценки, а также другую полезную информацию. ... Комиссия по практикуму . Зачет по практикуму . ... SQL Server для практикума . Практикум в осеннем семестре . Информация о зачете . ... Декабрь 2014 . Декабрь 2013 . Октябрь 2013 . ... Декабрь 2012 . ... Copyright 2012-2013 - spprac.cs.msu.ru . ...
... Камера . ... Web-камера - как это сделано ? Наша Web-камера существует с 1997 года и за прошедшее время существовала в двух вариантах. ... Web-камера представляла собой простейший аппаратно-программный комплекс на базе IBM-совместимого компьютера подключенного к сети Internet, и не содержала никаких специализированных устройств. ... При установке дополнительного модуля интернет-броузера, становится возможным не только просматривать живое видеоизображение, формируемое камерой, но и управлять ей. ...