ТОП просматриваемых книг сайта:
Юрий Белов
Список книг автора Юрий БеловАннотация
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Аннотация
Учебное пособие предназначено для овладения необходимыми теоретическими сведениями и приобретения практических навыков по настройке службы каталогов Active Directory, системы безопасности и сетевых служб серверных операционных систем семейства Windows. Пособие содержит исчерпывающее описание основных сетевых компонентов, их установку, настройку и обслуживание. Предназначено для студентов образовательных организаций высшего профессионального образования, обучающихся по направлению подготовки бакалавров 231 000 «Программная инженерия»; также пособие будет полезно для студентов, обучающихся по направлению подготовки 230 100.
Аннотация
Как жили наши предки-славяне тысячу лет назад? Как выглядели, во что верили, какие обряды проводили, как вели хозяйство и сражались с врагами? Да и вообще: как это – жить, например, веке в девятом? Обо всем этом можно прочитать в книгах. Но есть только один способ испытать на себе – стать реконструктором.
Движение исторической реконструкции с каждым годом собирает все больше любителей истории. Как к нему присоединиться? Из чего сшить костюм? Как сделать настоящую кольчугу? Где тренируют древнерусских воинов сегодня? На все вопросы новичка-реконструктора ответит эта книга.