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