Найти книгу: "Формальные системы. Практикум"

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

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

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

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

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

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