Результаты поиска по запросу: Программирование: теория типов. Учебное пособие для вузов (Михаил Швецкий, Ирина Кудрявцева)

Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для вузов (Михаил Владимирович Швецкий, Ирина Андреевна Кудрявцева) Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения...

Структурное программирование. Учебное пособие для вузов (Сергей Петрович Якимов) В курсе освещены основные аспекты структурного программирования с примерами на языке Pascal. Каждый раздел содержит задания различной сложности для самостоятельного выполнения и контрольные примеры для проверки...

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

Дискретная математика и теория графов. Учебное пособие для вузов (Борис Николаевич Иванов) Рассматриваются значимые для практики задачи и алгоритмы на графах. Техника решения задач на графах, как правило, носит алгоритмический рекурсивный характер. В примерах решения алгоритмических задач...

Описание книги В начальных главах описывается основной синтаксис языка Java, его ключевые слова и конструкции. Материал подается шаг за шагом, от простого (процедурные конструкции языка) к более сложному (основы ООП). Все понятия закрепляются на наглядных примерах с комментариями, которые...

Машинное обучение. Учебное пособие для вузов (Алексей Владимирович Платонов) Учебное пособие содержит введение в методы автоматического извлечения или порождения знаний с помощью машинного обучения. Это сравнительно молодое, но перспективное направление в области искусственного интеллекта...

Описание книги: В данном пособии собран уникальный материал об английских существительных и прилагательных, который до сих пор был доступен лишь узкому кругу специалистов. Изложение материала дается по наиболее успешной дидактической модели для освоения иностранных языков: теория + практика...

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

Аннотация к книге "Художественная роспись тканей. Учебное пособие для студентов вузов" В учебном пособии рассмотрены основные этапы развития искусства художественного оформления тканей. Подробно раскрываются способы свободной росписи тканей, технологии холодного и горячего батика, смешанная...

Издательство: Профобразование Авторы: Давыдова Н.Ю., Чепрасов М.Г., Черепова И.С. Год издания: 2020 Количество страниц: 223 страниц Формат: PDF Об издании: В учебном пособии изложены вопросы теории административного права, механизма административного-правового регулирования, источников...

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

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

Описание книги В книге рассматривается web-программирование на «чистом» Python – то есть без применения популярных фреймворков. Автор последовательно проведет вас по всем этапам данной темы. Прочитав эту книгу, вы сможете настроить на своем компьютере полноценную среду разработки, состоящую из...

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

Описание книги Учебное пособие содержит систематизированное изучение методологических основ математики и включает три основных раздела: «Основы дискретной и высшей математики», «Теория вероятностей и математическая статистика» и «Экономико-математические методы». Пособие подготовлено в...

Информационная безопасность и защита информации. Учебное пособие для вузов (Андрей Вячеславович Зенков) Какие права в информационной сфере гарантирует гражданам Конституция Российской федерации? Чем криптография отличается от стеганографии? Каковы сравнительные преимущества и недостатки...

Математические расчеты в среде Mathcad 3-е изд., испр. и доп. Учебное пособие для вузов (Аркадий Александрович Черняк, Жанна Альбертовна Черняк) В настоящем курсе разработан оригинальный лекционно-лабораторный комплекс для преподавания высшей математики на базе Mathcad. Каждый пункт курса...

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

Описание книги: В книге изложены начала теории вычислительных устройств. Главным понятием, в терминах которого ведётся изложение, является понятие абстрактного вычислительного устройства, АВУ. Это понятие позволяет создать единообразно последовательность генетически связанных устройств. На...

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