https://elib.bsu.by:443/handle/123456789/334805 Mon, 20 Apr 2026 15:03:39 GMT 2026-04-20T15:03:39Z https://elib.bsu.by:443/handle/123456789/345004 Заглавие документа: Разработка WEB-приложений: учебная программа учреждения образования по учебной дисциплине для специальности: 6-05-0533-10 Информатика Профилизация: Технологии разработки сложных информационных систем. Регистрационный № 4630/б. Авторы: Сакович, В. Ю. Аннотация: ПОЯСНИТЕЛЬНАЯ ЗАПИСКА Цели и задачи учебной дисциплины Дисциплина «Разработка web-приложений» ориентирована на обучение студентов знаниям, умениям и навыкам в области программирования. Изучаемые темы базируются на использовании современных информационных технологий, современного программного и технического обеспечения компьютеров. Цель дисциплины – ввести студентов в проблематику использования Java для решения задач разработки web-приложений и других технологических решений. Изучаются современные модели приложений. Рассматриваются в теории и на практике использование технологий, входящих в состав JEE (Java Enterprise Edition). Изучение данного курса позволяет дать студентам базу, необходимую для успешной разработки web-приложений. Задачи учебной дисциплины: – ознакомление с возможностями проектирования веб-приложений; – формирование техники решения задач из различных предметных областей; – формирование техники грамотной реализации объектно- ориентированного подхода. С целью практического закрепления материала по ключевым темам предлагаются законченные проекты, с помощью которых демонстрируются решения технологической цепочки. Место учебной дисциплины в системе подготовки специалиста с высшим образованием. Учебная дисциплина относится к учебным дисциплинам профилизации компонента учреждения образования. Учебная программа составлена с учетом межпредметных связей и программ по дисциплинам. Основой для изучения учебной дисциплины являются дисциплины государственного компонента «Промышленное программирование» модуля «Программирование», дисциплина государственного компонента «Операционные системы» модуля «Компьютерные системы», дисциплина государственного компонента «Модели данных и СУБД» модуля «Компьютерные системы». Знания, полученные в учебной дисциплине, используются при выполнении студентами курсовых проектов, курсовых и дипломных работ. Методы, излагаемые в указанных дисциплинах, используются для проектирования алгоритмов и программных приложений. Знания, полученные в учебной дисциплине, используются как инструментарий для моделирования и компьютерного решения задач ряда математических дисциплин, изучаемых на старших курсах. Thu, 04 Dec 2025 00:00:00 GMT https://elib.bsu.by:443/handle/123456789/345004 2025-12-04T00:00:00Z https://elib.bsu.by:443/handle/123456789/343549 Заглавие документа: Формальная семантика и верификация программ: учебная программа учреждения образования по учебной дисциплине для специальности: 6-05-0533-10 Информатика Профилизация: Технологии разработки сложных информационных систем. Регистрационный № 4428/б. Авторы: Курбацкий, А. Н.; Винник, В. Ю. Аннотация: ПОЯСНИТЕЛЬНАЯ ЗАПИСКА Цели и задачи учебной дисциплины Цель учебной дисциплины – формирование у студентов систематических знаний в области формальных методов спецификации, семантики и верификации программ, а также практических навыков применения этих методов для доказательства корректности алгоритмов. необходимых им в дальнейшем для успешной профессиональной деятельности в области промышленной разработки. Задачи учебной дисциплины: 1. Изучить основные формальные модели семантики программ (операциональную, денотационную, аксиоматическую). 2. Освоить базовые методы верификации программ: метод Хоара и метод слабейших предусловий Дейкстры. 3. Познакомиться с объединяющей теорией программирования Хоара (Unifying Theories of Programming). 4. Получить базовые представления о теории категорий как об универсальном языке для формализации семантики; 5. Сформировать умение строить формальные спецификации программ и доказывать их свойства. Место учебной дисциплины в системе подготовки специалиста с высшим образованием. Учебная дисциплина относится к дисциплинам профилизации компонента учреждения образования модуля «Технологии разработки сложных информационных систем». Учебная программа по дисциплине профилизации «Формальная семантика и верификация программ» разработана в соответствии с учебным планом и образовательным стандартом общего высшего образования по специальности 6- 05-0533-10 Информатика. Современная разработка критически важного и высоконадёжного программного обеспечения требует применения строгих математических методов для спецификации и проверки корректности программ. Без теоретических знаний и практических навыков в области формальной семантики и верификации специалисту по разработке программного обеспечения невозможно эффективно решать профессиональные задачи в таких областях, как авионика, космонавтика, медицина, атомная энергетика и финансы. Наиболее востребованными навыками являются формальная спецификация требований, доказательство корректности алгоритмов, анализ программ на соответствие заданным свойствам. Основой для изучения методологий, технологий программирования являются следующие дисциплины: «Промышленное программирование», «Дискретная математика и математическая логика», «Операционные системы». Учебная дисциплина «Формальная семантика и верификация программ» непосредственно связана с параллельно изучаемыми учебными дисциплинами: «Методы оптимизации» модуля «Математические модули принятия решений» компонента учреждения высшего образования, «Технологии программирования» модуля «Программирование» государственного компонента. Mon, 29 Sep 2025 00:00:00 GMT https://elib.bsu.by:443/handle/123456789/343549 2025-09-29T00:00:00Z https://elib.bsu.by:443/handle/123456789/339167 Заглавие документа: Реализация технологических аспектов в программировании: учебная программа учреждения образования по учебной дисциплине для специальности: 6-05-0533-10 Информатика Профилизация: Технологии разработки сложных информационных систем. Регистрационный № 3733/б. Авторы: Сакович, В. Ю. Аннотация: ПОЯСНИТЕЛЬНАЯ ЗАПИСКА Цели и задачи учебной дисциплины Дисциплина «Реализация технологических аспектов в программировании» ориентирована на обучение студентов знаниям, умениям и навыкам в области программирования. Изучаемые темы базируются на использовании современных информационных технологий, современного программного и технического обеспечения компьютеров. Цель дисциплины – ввести студентов в проблематику использования Java для решения широкого круга задач и других технологических решений. С целью практического закрепления материала по ключевым темам предлагаются законченные проекты, с помощью которых демонстрируются решения технологической цепочки, а также учебные примеры, отражающие стандартные подходы к решению задач. Задачи учебной дисциплины: – ознакомление с возможностями языка Java и его библиотек; – формирование техники решения задач из различных предметных областей, таких, как многопоточные задачи, сетевые, вычислительные, использование баз данных и др.; – формирование техники грамотной реализации объектно-ориентирован- ного подхода. Изучение данного курса позволяет дать студентам базу, необходимую для успешной разработки программного обеспечения для решения широкого круга задач. Место учебной дисциплины в системе подготовки специалиста с высшим образованием. Учебная дисциплина относится к дисциплинам профилизации компонента учреждения образования. Учебная программа составлена с учетом межпредметных связей и программ по дисциплинам. Основой для изучения учебной дисциплины являются дисциплины государственного компонента «Промышленное программирование» модуля «Программирование», дисциплина государственного компонента «Операционные системы» модуля «Компьютерные системы», дисциплина государственного компонента «Модели данных и СУБД» модуля «Компьютерные системы». Знания, полученные в учебной дисциплине, используются при выполнении студентами курсовых проектов, курсовых и дипломных работ. Методы, излагаемые в указанных дисциплинах, используются для проектирования алгоритмов и программных приложений. Сформированные при изучении дисциплины «Реализация технологических аспектов в программировании» компетенции являются основой для дальнейшего изучения дисциплины профилизации «Разработка web-приложений». Знания, полученные в учебной дисциплине, используются как инструментарий для моделирования и компьютерного решения задач ряда математических дисциплин, изучаемых на старших курсах. Fri, 27 Jun 2025 00:00:00 GMT https://elib.bsu.by:443/handle/123456789/339167 2025-06-27T00:00:00Z https://elib.bsu.by:443/handle/123456789/337977 Заглавие документа: Введение в технологию программирования: учебная программа учреждения образования по учебной дисциплине для специальности: 6-05-0533-10 Информатика Профилизация: Технологии разработки сложных информационных систем. Регистрационный №3596/б. Авторы: Курбацкий, А. Н. Аннотация: ПОЯСНИТЕЛЬНАЯ ЗАПИСКА Цели и задачи учебной дисциплины Цель учебной дисциплины – изучение методологий, технологий программирования, принципов построения, структуры и приемы работы с инструментальными средствами, поддерживающими создание программного обеспечения, методов организации работы в коллективах разработчиков программного обеспечения. Особое внимание уделяется созданию программного обеспечения для сложных интегрированных систем. Рассматриваются подходы к стандартизации в жизненном цикле программного обеспечения, сравнительному анализу технологических платформ разработки программного обеспечения. Рассматривается роль искусственного интеллекта в жизненном цикле программного обеспечения. Задачи учебной дисциплины: – дать студентам базу, необходимую для успешного усвоения материала дисциплин профилизации; – дать студентам базу, необходимую для успешного освоения современных технологий программирования; – приобретенные знания позволяют понять принципы организации работы коллективов, технологии разработки ПО различных компаний поставщиков; – получить знания, необходимые им в дальнейшем для успешной работы в качестве разработчика программного обеспечения либо руководителя проектом в области ИКТ. Место учебной дисциплины в системе подготовки специалиста с высшим образованием. Учебная дисциплина относится к модулю дисциплинам профилизации «Технологии разработки сложных информационных систем» компонента учреждения образования. Учебная программа по дисциплине профилизации «Введение в технологию программирования» разработана в соответствии с учебным планом и образовательным стандартом общего высшего образования по специальности 6-05-0533-10 Информатика. Учебная дисциплина «Введение в технологию программирования» знакомит студентов с основными методологиями технологий программирования и принципами организации процесса разработки ПО. Основой для изучения методологий, технологий программирования являются следующие дисциплины: «Промышленное программирование», «Дискретная математика и математическая логика», «Операционные системы». Учебная дисциплина «Введение в технологию программирования» непосредственно связана с параллельно изучаемыми учебными дисциплинами: «Методы оптимизации» модуля «Математические модули принятия решений» компонента учреждения высшего образования, «Технологии программирования» модуля «Программирование» государственного компонента. Mon, 26 May 2025 00:00:00 GMT https://elib.bsu.by:443/handle/123456789/337977 2025-05-26T00:00:00Z