Некорретные граничные задачи для дифференциальных уравнений с частными производными
Пташник Б.И. Наукова Думка 1984 г.
Монография посвящена исследованию корректности неклассических задач для линейных дифференциальных уравнений и систем с ...
подробнее
Методика преподавания математики в средней школе
Брадис В.М. Государственное учебно - педагогическое издательство Министерства Просвещения РСФСР 1954 г.
Содержание: Часть I. Общая методика преподавания математики. Часть II. Методика преплдавания арифметики. Часть III. Методика ...
подробнее
Прикладная логика
Непейвода Н.Н. Издательство Новосибирского Университета 2000 г.
Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его ...
подробнее
Введение в теорию случайных процессов
Бартлетт М.С. Издательство иностранной литературы 1958 г.
Книга посвящена приложениям теории случайных процессов в биологии, статистике, физике. Не содержит строгого изложения теории, ...
подробнее
Разложения вероятностных законов
Линник Ю.В. Издательство Ленинградского Университета 1960 г.
В книге излагаются вопросы, примыкающие к теории суммирования независимых случайных величин в аналитическом аспекте. После ...
подробнее
Верификация моделей программ. Model Checking
Кларк Э.М., Грамберг О., Пелед Д. Издательство Московского центра непрерывного математического образования 2002 г.
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и ...
подробнее
Математическая логика и теория алгоритмов
Зюзьков В.М., Шелупанов А.А. Горячая Линия - Телеком 2007 г.
Изложены базовые понятия и принципы математической логики и теории алгоритмов. Рассмотрен ряд распространенных логических ...
подробнее
Квантовые измерения и декогеренция
Менский М.Б. Физматлит 2001 г.
Книга посвящена квантовой теории измерений, переживающей очередной взлет из-за новых приложений к технологии квантовой ...
подробнее
Логика. Учебное пособие для средних школ и вузов
Жоль К.К. ЮНИТИ - ДАНА 2004 г.
Дается изложение важнейших понятий, идей и методов современной символической логики, являющейся расширением математической ...
подробнее
Когомологические операции
Стинрод Н. Эпстейн Д. Наука Главная редакция физико - математической литературы 1983 г.
Книга является классическим руководством по теории когомологических операций. Содержит интересные примеры и нетривиальные ...
подробнее