Функциональное программирование уверенно входит в жизнь каждого программиста. Многие привычные языки, например, Java, вводят расширения в синтаксис языка и стандартные библиотеки для поддержки функциональных средств. Это обусловлено тем фактом, что дальнейшее увеличение производительности работы программ уже не может быть обеспечено только увеличением быстродействия процессоров и памяти, а возможн…
В курсе рассматриваются основные понятия управления проектами, приводится перечень требований, предъявляемых к руководителю проекта, сведения о процессе планирования проекта, о метриках процессов, согласно серии стандартов ESA PSS-05-ХХ. Приведены методы планирования проекта, оценки размера и стоимости программного проекта, оценки затрат, отображения хода работ, а также методы и описания инструмен…
В курсе рассматриваются основные понятия управления проектами, приводится перечень требований, предъявляемых к руководителю проекта, сведения о процессе планирования проекта, о метриках процессов, согласно серии стандартов ESA PSS-05-ХХ. Приведены методы планирования проекта, оценки размера и стоимости программного проекта, оценки затрат, отображения хода работ, а также методы и описания инструмен…
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного с…
В учебном пособии рассматривается практическое применение теоретических основ разработки и реализации баз данных. Данное издание является практикумом к одноименному учебнику авторов. Книга позволяет приобрести практические навыки создания модели базы данных, готовой к внедрению в информационную систему в качестве физической базы данных. В учебном пособии методические материалы представляется набор…
В учебном пособии раскрывается тема основ проектирования интернет-приложения. В первой части пособия содержатся теоретические положения: вводная информация об интернете и способах взаимодействия с ней; технологии построения интернет-приложений; особенности создания клиентской и серверной части приложения; особенности проектирования интернет-приложений. Во второй части пособия приводятся методическ…
Книга представляет собой систематизированный учебный курс по теории распределенных систем. В ней рассмотрены фундаментальные принципы, концепции, технологии и особенности функционирования современных распределенных систем. Теоретический материал дополнен разнообразными практическими примерами. Книга предназначена студентам и преподавателям, а также может представлять интерес для специалистов в обл…
В учебнике содержатся теоретические и практические сведения о современных системах управления базами данных (СУБД), об использовании и проектировании баз данных. Рассматриваются языковые и программные средства СУБД и систем автоматизации проектирования баз данных. Приведены примеры создания инфологических и даталогических моделей, позволяющие студентам научиться проектировать базы данных.
В издании изложены теоретические основы аппарата определения лексики (регулярные выражения) и синтаксиса (формальные грамматики) языков программирования, элементы теории конечных автоматов без памяти и методы ее практического применения для автоматизированного преобразования системы регулярных выражений в конечный автомат лексический анализатор. Изучаются нисходящие и восходящие методы синтаксичес…
В настоящем учебнике подробно рассмотрена история отечественной технологии программирования, теоретические ее аспекты и парадигмы программирования: модульная, объектно-компонентная и сервисная, а также методы разработки в них отдельных элементов, их сборки в систему с проведением верификации, тестирования систем и оценки качества, обозначены перспективы развития технологий компьютерных программ в …
Учебное пособие посвящено методам автоматизированного проектирования регуляторов с помощью программы VisSim 5.0 и ее более поздних модификаций. В нем рассмотрены вопросы визуального моделирования разомкнутых и замкнутых структур, оптимизации замкнутых структур, приведены обсуждение структур регуляторов и методы их расчета, применение обводного тракта в системах стабилизации. Учебный материал четко…
В учебном пособии рассматривается практическое применение теоретических основ разработки и реализации баз данных. Данное издание является практикумом к одноименному учебнику авторов. Книга позволяет приобрести практические навыки создания модели базы данных, готовой к внедрению в информационную систему в качестве физической базы данных. В учебном пособии методические материалы представляется набор…
В учебном пособии изложен анализ социологических данных с использованием пакета SPSS (Statistical Package for Social Science), предназначенного для автоматизированной обработки статистических информации. Описаны методы формирования исходной информации для компьютерной обработки данных. Рассматриваются основные процедуры статистического анализа данных, а именно: частотный анализ, вычисление статист…
В учебном пособии излагаются сведения по теории искусственного интеллекта, которые следует изучить при подготовке к испытаниям, установленным учебным планом. Теория, приведенная в издании, логически структурирована, для лучшего ее понимания приведен обширный иллюстративный материал в виде схем. Пособие содержит практические примеры с разбором решений, список рекомендуемой литературы и перечень при…
Курс содержит введение в технологии параллельного программирования для вычислительных систем различных классов. В него включены краткие сведения об архитектурах параллельных систем, рассмотрены понятия и виды параллелизма, описаны технологии параллельного программирования OpenMP для систем с общей памятью, CUDA и OpenCL для графических процесссоров и гетерогенных компьютеров, а также интерфейс пер…