Найти книгу: "Дискретная математика. Формально-логические системы и языки"

Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатики, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт. Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 «Информатика и вычислительная техника», 09.03.02 «Информационные системы и технологии», 09.03.03 «Прикладная информатика», 09.03.04 «Программная инженерия», а также для ИТ-специалистов и разработчиков программных продуктов.

В этой книге описываются версии, оперирующие с числами с плавающей точкой. Автор дает основы программирования на Форте. Пособие содержит свыше 400 практических примеров расширения версий языка и разработки комплекса прикладных программ, охватывающих реализацию массовых математических, научно-технических, учебных расчётов и различных системных функций. Книга раскрывает возможности ПЭВМ: реализацию цветной и лого-графики на Форте, создание звуковых сигналов, изменение алфавита, построение графиков функций и т.д.

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

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

Системы поддержки принятия решений (СППР) являются главной категорией информационных систем менеджмента (ИСМ) и основной тенденцией развития компьютеризации в этой сфере. В книге изложена сущность ИСМ и СППР, раскрыты технологии реализации основных аналитических методов, которые могут самостоятельно применяться конечным пользователем - менеджером. Описаны универсальные технологии (для Excel) и специализированные функциональные технологии (инвестиционные и маркетинговые) на основе новых версий программ Project Expert 6.2, Marketing Expert 1.5 и др. Приведено комплексное описание контуров корпоративной информационной системы "ГАЛАКТИКА". Дано представление о комплексе системы электронных банковских услуг. Пособие рассчитано на специалистов в области экономического менеджмента (всех отраслевых специализаций), студентов, деловых людей бизнеса. Может быть полезным для преподавателей и аспирантов.

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