В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Цель книги - дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ. Для студентов и аспирантов математических специальностей, а также научных работников, интересующихся проблемами теоретического программирования.

Существующие справочники, рассчитанные на инженеров и студентов, не содержат сведений по вариационному исчислению и интегральным уравнениям. Между тем эти разделы высшей математики широко используются в исследовательской работе и вошли уже в число математических дисциплин, изучаемых в ряде технических учебных заведений. Данное справочное руководство имеет своей целью восполнить указанный пробел. Книга содержит основные сведения из вариационного исчисления и теории интегральных уравнений и их приложений к некоторым вопросам механики и математической физики. Даются также краткие сведения о принципе максимума Л. С. Понтрягина, принципе оптимальности Р. Беллмана и др. Отдельные положения теории поясняются примерами и решениями задач. Предлагаемое издание содержит ряд дополнений по сравнению с предыдущим: необходимые и достаточные условия экстремума в разрывных задачах с подвижными концами в пространстве, сведения из теории экстремума функционалов в линейных нормированных пространствах, экстремальные свойства собственных значений и собственных функций задачи Штурма - Лиувилля и др. Книга предназначается для инженеров, экономистов, а также для студентов и аспирантов высших технических учебных заведений.

Новый справочник профессора В. П. Дьяконова содержит самое полное описание трех последних версий популярной системы компьютерной математики - Mathcad 11, 12 и 13 и отражает ее обширные возможности в автоматизации математических, научно-технических, инженерных и учебных расчетов и вычислений. Как основная в книге рассмотрена новейшая версия - Mathcad 13 и пакеты расширений по математической обработке данных и изображений. Особое внимание уделено наглядности описания, визуализации результатов вычислений и примерам применения систем в практике математических, научно-технических и учебных расчетов. Возможности системы Mathcad проиллюстрированы в книге сотнями примеров решения различных задач. Книга может быть использована как в качестве детального описания и руководства-пользователя, так и самоучителя по системе Mathcad. Для научных работников, преподавателей, аспирантов и студентов университетов и вузов, инженеров и всех пользователей систем Mathcad.

Содержит систематизированное изложение основных понятий и методов информатики (вычислительной техники, программирования, численных методов, сортировки и поиска). Изложение основ программирования проводится на языке Паскаль, более перспективном для персональных компьютеров (по сравнению с зыком Бейсик). Имеется много примеров и задач. Для начинающих программистов, пользователей, студентов вузов, старшеклассников, преподавателей.

Книга содержит исчерпывающее руководство по программированию в диалоговой среде Turbo Vision, представляющей собой объектно-ориентированную библиотеку системы программирования Турбо Паскаль версии 6.0. В первой главе на практически интересном примере дается описание основных приемов использования диалоговой среды. В остальных главах и приложениях детально описываются все стандартные модули Turbo Vision. Изложение иллюстрируется многочисленными примерами. Для инженеров, научных сотрудников, студентов и аспирантов.

В книге рассмотрены содержание проблемы хронобиологического анализа растений, методологическая основа и опыт первых исследований в период изменения климата на крупной территории экологически весьма разнообразной Республики Казахстан; разработаны основные концептуальные подходы к решению проблемы для равнинных и горных территорий. Изложенные здесь результаты - только начало дальнейших исследований, которые должные быть развернуты в области хронобиологического анализа растительных систем. И потому выполненная работа была бы вполне оправданна, если послужит их развитию.Книга предназначена для широкого круга специалистов - биологов, метеорологов, программистов - математиков, ученых экологов, педагогов, практиков сельского и лесного хозяйства.

Книга представляет собой практическое руководство, посвященное вопросам восстановления зависимостей по выборкам ограниченного объема. После изложения теоретических основ и описания алгоритмов приведены библиотеки программ распознавания образов, восстановления многомерной регрессии, решения некорректных задач интерпретации измерений, составленные на языке Фортран IV и ориентированные на машины серии ЕС. Алгоритмы созданы в соответствии с общим принципом структурной минимизации среднего риска, суть которого заключается в оптимальном соотнесении сложности приближающей функции с объемом эмпирических данных. Книга предназначена для специалистов, занятых применением статистических методов в экономике, медицине, геологии, технике, научных исследованиях.

Второй том известной монографии одного из крупнейших американских специалистов по программированию Д. Кнута (первый том вышел в издательстве "Мир" в 1976 г.) состоит из двух частей: "Случайные числа" и "Арифметика". В первой части подробно анализируется понятие последовательности случайных чисел, приводятся алгоритмы генерирования случайных чисел. Вторая часть посвящена исследованиям, связанным с выполнением вычислений, ошибками округления, быстрым умножением. Подробно исследованы различные аспекты проблемы вычисления многочленов и степенных рядов. Книга снабжена большим количеством задач и примеров разной трудности и подробными историческими комментариями. Рассчитана на широкий круг программистов.

Словарь содержит около 100 000 терминов и терминологических сочетаний по информатике и электронике, современной элементной базе и технологии производства электронной и вычислительной аппаратуры, глобальным, региональным и локальным компьютерным сетям, различным видам связи, телевидению и видеотехнике, электроакустике, телефонии, устройствам электропитания, СМИ, настольным издательским системам и др. Представлены также следующие области науки и техники: математика, логика, лингвистика, грамматика, теория игр, общая физика и химия, электродинамика, оптика, физика твердого тела, квантовая механика и др. В конце словаря приведен список 7000 английских сокращений с русскими эквивалентами. Словарь предназначен для самого широкого круга пользователей - студентов, аспирантов, преподавателей, переводчиков, инженеров, технологов, научных работников, а также для административно-управленческого персонала и предпринимателей.

Словарь содержит около 100 000 терминов и терминологических сочетаний по информатике и электронике, современной элементной базе и технологии производства электронной и вычислительной аппаратуры, глобальным, региональным и локальным компьютерным сетям, различным видам связи, телевидению и видеотехнике, электроакустике, телефонии, устройствам электропитания, СМИ, настольным издательским системам и др. Представлены также следующие области науки и техники: математика, логика, лингвистика, грамматика, теория игр, общая физика и химия, электродинамика, оптика, физика твердого тела, квантовая механика и др. В конце словаря приведен список 7000 английских сокращений с русскими эквивалентами. Словарь предназначен для самого широкого круга пользователей - студентов, аспирантов, преподавателей, переводчиков, инженеров, технологов, научных работников, а также для административно-управленческого персонала и предпринимателей.