... Программа курса лекций по методам вычислений . ... Материалы для студенческого вычислительного практикума по линейной алгебре . ... Методы решения обыкновенных дифференциальных уравнений . ... Материалы для студенческого вычислительного практикума по численному решению нелинейных уравнений . ... Задачник с решениями по методам вычислений . ... Материалы для студенческого вычислительного практикума по численному решению интегральных уравнений методом квадратур . ...

Еще в разделе: (Показать все результаты (>294) - num-anal.srcc.msu.ru/ )

• Сервер по Численному анализу
• Ресурсы Интернет по численному анализу
• БЧА НИВЦ МГУ. SF35R_P. Интегральные и связанные с ними функции

Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Учеба . ... Перейти к полному списку специальных курсов кафедры . Дополнительные главы теории автоматов . ... Проблема полноты и выразимости. Мощность полных систем автоматов. ... Полнота системы двухместных автоматов. ... Алгоритмическая неразрешимость проблемы полноты конечных систем автоматов относительно композиции. ... Разрешимость проблемы полноты для систем автоматов, содержащих истинностные функции. ...

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

• Интеллектуальные системы :: Учеба :: Курсы :: Материалы к спецкурсу
• Интеллектуальные системы :: Учеба :: Курсы :: Дополнительные главы дискретной
• Интеллектуальные системы :: Наука :: Ссылки

... Конкурсные работы и заявку направлять по почте в адрес Пресс- службы Совета Федерации до 15 декабря 2009 года. ... участие в конкурсе «Современная Россия глазами молодых» Название СМИ____________________________________________________________ Адрес СМИ____________________ __________________________________________ Фамилия, имя, отчество главного редактора СМИ (журналиста- участника конкурса ) _________________________________________________________________ ________ Контактные телефоны, ...

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

• Учебные курсы
• Учебная часть
• Главная страница

... Главная Абитуриентам Дистанционные курсы подготовки к ЕГЭ и ДВИ . ... Факультет политологии открывает предварительную регистрацию на дистанционные подготовительные курсы к Единому Государственному Экзамену (ЕГЭ) и Дополнительному Вступительному Испытанию (ДВИ) . ... Если Вы претендуете на высокий балл на экзамене, планируете обучаться на факультете политологии МГУ имени М. В. Ломоносова и хотите первыми узнать о старте Дистанционного курса подготовки к ЕГЭ и ДВИ, то заполните анкету: . ... Факультет...

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

• Магистратура МГУ
• Опубликована книга ?Перспективы развития политической психологии: новые
• Авторам

. Кафедра автоматизации научных исследований ВМК МГУ ( http://ani.cs.msu.su ) . Главная > Printer-friendly > Printer-friendly . А.М. Попов ?Вычислительные нанотехнологии?. ? М.: Изд. отд. ф-та ВМК МГУ; МАКС-Пресс, 2009. ? 280 с. Источник: http://ani.cs.msu.su/ru/courses/comput-physics/materials .

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

• Учебные материалы по курсу ?Введение в численные методы?
• Учебные материалы по курсу ?Визуализация в научных исследованиях?
• Учебные курсы

. Name . Last modified . Size . Description . Parent Directory . - . Аннотация.doc . 16-Nov-2009 12:36 . 35K . mashechkin20090226.ppt . 16-Nov-2009 12:33 . 2.9M . Apache/2.2.3 (CentOS) Server at jaffar.cs.msu.ru Port 80

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

. Name . Last modified . Size . Description . Parent Directory . - . Аннотация.doc . 16-Nov-2009 12:36 . 35K . mashechkin20090226.ppt . 16-Nov-2009 12:33 . 2.9M . Apache/2.2.3 (CentOS) Server at jaffar.cs.msu.su Port 80

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

... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...

209. Дополнительные каналы сбора данных

210. Новости науки

211. Uneex . SeminarLDAP

212. http://quantum.phys.msu.ru/sites/default/files/downloads/112/teoriya-voln.doc

213. http://acoustics.phys.msu.su/teachers/gordienko.htm

214. Кафедра теоретической механики и мехатроники механико-математического

215. Организация и проведение международной конференции "Край земли и край текста:

216. ЛАБОРАТОРИЯ АВТОМАТИЗИРОВАННЫХ

217. Программы дополнительного образования - Высшая школа культурной политики и

218. Микротехника

219. Межфакультетские учебные курсы МГУ имени М.В.Ломоносова

220. Учебные материалы для Биологического факультета