Ю. Карпов

MODEL СHECKING. Верификация параллельных и распределенных программных систем

Ю. Карпов

В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы,...

Методы пробоотбора и пробоподготовки

Ю. Карпов

Взгляд на горцев. Взгляд с гор. Мировоззренческие аспекты культуры и социальный опыт горцев Дагестана

Ю. Карпов

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

Аналитический контроль в металлургическом производстве

Ю. Карпов, А.П. Савостин, В.Д. Сальников

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

Имитационное моделирование систем. Введение в моделирование

Ю. Карпов

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

Теория и технология программирования. Основы построения трансляторов

Ю. Карпов

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

Химия. Методы пробоотбора и пробоподготовки

Ю. Карпов, А.П. Савостин

Теория автоматов

Ю. Карпов

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