Математика

Анри Пуанкаре, Ю. Сажере, Ж. Адамар, Л. де Бройль

Скачать книгу "Анри Пуанкаре, Ю. Сажере, Ж. Адамар, Л. де Бройль"
Страниц: 64
Год издания: 2001
Язык: Русский
В трех известных очерках обсуждаются наиболее важные этапы великого французского математика Анри Пуанкаре. В очерке Сажере, который вышел отдельной книгой в Казанском университете в 1913 г., жизнь уче ...

Теория игр и исследование операций, И. Д. Протасов

Скачать книгу "Теория игр и исследование операций, И. Д. Протасов"
Страниц: 368
Год издания: 2006
Язык: Русский
Целью пособия является аксиоматическое изложение вычислительных основ теории игр. Используя, в основном, практику салонных игр, сформулированы аксиомы и критерии рационального поведения игроков в конф ...

Верификация моделей программ. Model Checking, Э. М. Кларк, О. Грамберг, Д. Пелед

Скачать книгу "Верификация моделей программ. Model Checking, Э. М. Кларк, О. Грамберг, Д. Пелед"
Страниц: 416
Год издания: 2002
Язык: Русский
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функцио ...

Математические модели морфогенеза, Рене Том

Скачать книгу "Математические модели морфогенеза, Рене Том"
Страниц: 132
Год издания: 2007
Язык: Русский
Автором предлагаемого курса лекций по математическим моделям морфогенеза является известный французский математик и философ, крупнейший специалист в области алгебраической и дифференциальной топологии ...

Топологическая библиотека. В 3 томах. Том 3. Спектральные последовательности в топологии

Скачать книгу "Топологическая библиотека. В 3 томах. Том 3. Спектральные последовательности в топологии"
Раздел: Топология
Страниц: 640
Год издания: 2005
Язык: Русский
Этот сборник, несколько условно разбитый на три тома, содержит оригинальные и ставшие уже классическими работы по топологии, отражающие ее развитие в 1950-60-х годах. Многие оригинальные методы и конс ...
Страницы: 1 2 3 4 5 6 7 8 9