Введение в математическую логику — В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. ... Подробнее\Скачать

Корни и корона. Очерки об Австро-Венгрии. Судьба империи — Книга посвящена судьбе Австро-Венгерской империи, столетие назад - второй по площади и третьей по численности населения страны Европы, на территории которой теперь размещается дюжина независимых государств. Корону Габсбургов уничтожила Первая мировая война, но корни их империи до сих пор питают центральноевропейское пространство. ... Подробнее\Скачать

Решение задач аппроксимации с помощью ПК — В книге содержится достаточно полное изложение основных современных методов аппроксимации функций, заданных экспериментальными данными. Для различных классов аппроксимирующих функций рассматриваются главные теоретические положения, а также проанализированы возможные подходы к решению задач аппроксимации. ... Подробнее\Скачать

Векторные диаграммы в схемах релейной защиты и автоматики — Приведены общие сведения о векторных диаграммах, применяемых в схемах релейной защиты и автоматики, описаны методы построения и анализа векторных диаграмм для нормального режима работы электроустановки, для различных видов коротких замыканий, а также для различных схем включения реле направленных защит. ... Подробнее\Скачать