Семантическая теория программ
Денотационная семантика как наиболее строгий и широко известный метод описания значения программ. Знакомство с основными особенностями определения семантики языка программирования. Общая характеристика методов доказательства правильности программ.
Подобные документы
Изучение технологии разработки и отладки программ с помощью инструментальных программных средств для микроконтроллеров AVR. Отладка простейших программ с использованием программного симулятора AVR Studio. Исходный текст программы на языке ассемблера.
курсовая работа, добавлен 22.10.2013Характеристика экспертных систем - программ, которые использует знания специалистов о конкретной узко специализированной предметной области. Способность программ принимать решения на уровне эксперта-профессионала. Оболочки для создания экспертных систем.
статья, добавлен 25.03.2019Корреляционный и регрессионный анализ, выявление наличия взаимосвязи между признаками, определение силы (тесноты) и направления связи. Языки программирования, применяемые для разработки программ компьютерного моделирования и математических расчетов.
реферат, добавлен 09.12.2009Основные этапы развития языков программирования и компьютерного решения задач. Среда разработки программ и структура программного кода в Visual Basic. Рассмотрение основных методов программирования с использованием типовых алгоритмических конструкций.
учебное пособие, добавлен 03.03.2018Общая характеристика компьютерных программ, которые используются при проектировании в строительной отрасли. Знакомство с основными причинами, а также этапами развития BIM-технологий в России, рассмотрение преимуществ. Анализ гигантов в IT-индустрии.
статья, добавлен 23.07.2020Место технологий OpenMP на рынке средств программирования компьютеров. Общая структура и область применения механизма написания параллельных программ для систем с общей памятью. Преимущества программирования в OpenMP, для современных пользователей.
лекция, добавлен 10.12.2013- 82. Значение и виды антивирусных программ, их применение в целях обеспечения компьютерной безопасности
Понятие компьютерного вируса, способы распространения и опасность компьютерных вирусов. Способы ликвидации последствий, причиненных вирусами. Сущность антивирусных программ, их назначение. Виды, характеристика и особенности основных антивирусных программ.
реферат, добавлен 01.12.2015 Описание Java, рассмотрение технологии создания и последующего использования программ на этом языке, анализ примеров программ. Создание автономного Java приложения и апплета. Основные требования к объектно-ориентированной системе. Объектная модель Java.
курсовая работа, добавлен 21.11.2012Проведение исследования программ и языка программирования Visual Basic for Applications. Особенность построения графиков объемных функций. Основной анализ решения линейных уравнений. Существенная характеристика программирования простейших задач.
курсовая работа, добавлен 28.11.2019Классификация прикладных программ и их применение в экономической практике. Назначение табличных процессоров, возможности Excel при работе с функциями. Математические и статистические пакеты прикладных программ. Системы управления базами данных.
реферат, добавлен 01.02.2017Понятия синтаксиса, семантики и прагматики языка программирования. Алфавит языка Паскаль и основные лексемы. Синтаксические диаграммы Вирта и структура программы. Ключевые (зарезервированные) слова. Константы логического, строкового и символьного типа.
реферат, добавлен 02.06.2015Понятие и сущность вредоносной программы. История появления первого компьютерного вируса. Классификация вредоносных программ и признаки заражения компьютера. Виды антивирусных программ и способы комплексной защиты персональной информации от вирусов.
презентация, добавлен 15.05.2017Характеристика основных существующих видов компьютерных вирусов. Рассмотрение методов антивирусной защиты и безопасный режим. Классификация вредоносных программ. Анализ и отличительные черты нескольких видов вредоносных программ.
статья, добавлен 15.01.2021Разработка языков описания и изучения параллельной структуры управления. Анализ преимуществ структурированного и модульного программирования. Совершенствование методов компаративной семантики. Программная реализация компонента транслятора языка Барс.
автореферат, добавлен 20.09.2011Характеристика процесса создания многопроцессорных вычислительных систем. Анализ использования модели передачи данных для разработки параллельных программ. Двойной интеграл в декартовых координатах. Формат функций, сообщения MPI. Оболочка. Коммуникаторы.
курсовая работа, добавлен 04.04.2016Общее понятие и классификация машинных программ и команд, которые используются в компьютерных системах. Влияние на них архитектуры процессора. Языки ассемблера и их особенности. Примеры написания машинных программ для выполнения конкретных задач.
курсовая работа, добавлен 03.05.2023Подробная характеристика пакетов прикладных программ, используемых в экономической деятельности. Классификация пакетов прикладных программ по их функциональному назначению. Программы автоматизации бухгалтерского учёта на примере "1С: Предприятие".
курсовая работа, добавлен 21.10.2017Разработка алгоритмов и программ. Операциональный и структурный подход. Новые методологии разработки программ. Жизненный цикл программного обеспечения. Декларативный подход в разработке компьютерных программ. Процедурно-ориентированное программирование.
доклад, добавлен 19.02.2014Модели параллельного программирования. Методика отладки DVM-программ. Разработка и внедрение в отладчик системы DVM возможностей управления размером трассировки. Реализация уровня подробности контрольных сумм. Сохранение элементов массива в заданный файл.
дипломная работа, добавлен 17.10.2013Определение системы прерывания программ как способности ЭВМ прекратить выполнение текущей задачи. Упрощенная временная диаграмма процесса остановки и вычисление затрат времени на переключение программ. Понятие глубины, порога и маски приостановки.
реферат, добавлен 06.11.2010Общие понятия и режимы работы в PowerPoint, автоматизация работы при создании презентации. Разновидность компьютерных программ и их классификация, правовая защита программ, анализ вредоносных программ и антивирусных средств, средств архивирования.
курсовая работа, добавлен 18.01.2014Процесс разработки и отладки программ, содержащих повторяющиеся операторы, их отличительные черты, предназначение и применение. Проблемные ситуации в коде программ на языке Pascal. Анализ значений, которые могут принимать переменные в программе кода.
статья, добавлен 07.06.2016Изучение рынка операционных систем, почтовых программ и браузеров. Составление рейтинга самых популярных программ, анализ их функций и доли их пользователей. Рассмотрение групп программ для ведения бухгалтерского учета на предприятиях и их функций.
реферат, добавлен 15.03.2019Характеристика, назначение и типы систем программирования. Инструменты и библиотеки среды Delphi. Состав объектно-ориентированного языка C++. Изучение комплекса программ, поставляемых компанией Microsoft. Разработка открытой операционной система UNIX.
курсовая работа, добавлен 15.12.2014- 100. Файловые менеджеры
Понятие, назначение и история развития файловых менеджеров - компьютерных программ, позволяющих выполнять наиболее частые операции: копирования, переноса, удаления, редактирования текстовых файлов, гибкого запуска программ для работы с этими файлами.
контрольная работа, добавлен 22.08.2011