Учебное пособие рассчитано для младших школьников, которые только начинают овладевать азами языка и в течение двух лет (а кто и дальше) знакомятся с основными временами английского языка - Present Indefinite, Present Continuous, Past Indefinite и Future Indefinite. Упражнения - от элементарных до более сложных - помогут им запомнить артикли, правила образования множественного числа и притяжательного падежа существительных, глаголы в четырех временах, формы неправильных глаголов, предлоги, степени сравнения прилагательных, числительные и многое другое.

В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.

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

Информатика — это базовая учебная дисциплина, охватывающая сведения о технических, программных и алгоритмических средств организации современных информационных систем и формирующая у обучаемого определенный кругозор, объем знаний, уровень алгоритмического мышления, а также практические навыки работы с конкретными программными системами, необходимыми для его дальнейшего обучения по применению информационных систем в определенных областях человеческой деятельности.

В учебном пособии в систематизированном виде приведены необходимые теоретические сведения, практические задания и примеры их выполнения; представлены задания на построение моделей программных продуктов с использованием как структурного, так и объектно-ориентированного подхода (с применением стандартного языка моделирования UML и современных CASE-средств), задания на разработку тестов, справочной системы, а также на создание инсталляционных пакетов программных продуктов.

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

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

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

В учебном пособии формулируются основные понятия и определения информационной безопасности и анализируются угрозы информационной безопасности в компьютерных системах и сетях. Определяются базовые понятия политики безопасности. Рассматриваются основные криптографические методы и алгоритмы защиты компьютерной информации.

В монографии систематизированы способы и схемы бесконтактной термометрии. Собрана и обширно представлена элементная база теплового контроля и термометрии на основе современной электроники и оптоэлектроники, схемо- и видеотехники, волоконной и геометрической оптики, ориентированная на системное решение структурно-алгоритмических задач визуализации информационных полей различной физической природы.