Карпов Ю.Г. – лучшие книги

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

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

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

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

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

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

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