Search results

Трехзначные семантики для классической логики высказываний Многозначная логика — это совокупность логических систем, опирающихся на принцип многозначности, в соответствии с которым всякое высказывание имеет одно (и только одно) из трёх или более истинностных значений. Книга посвящена...

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

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

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

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

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

Задачи линейного программирования транспортного типа Несмотря на то, что методы линейного программирования основаны на одном из разделов высшей математики — линейной алгебре, техника расчетов по этим методам несложна. Как только становится известен порядок вычислений, для вычисления достаточно...

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

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

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

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

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

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

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

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

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

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

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

Лабораторная диагностика туберкулеза Значительное увеличение заболеваемости туберкулезом в нашей стране за последнее десятилетие после длительного периода относительного благополучия привело к учащению случаев, когда диагноз туберкулеза устанавливается непоправимо поздно. Заметно сократилась...

Порядок выполнения практических навыков по пропедевтической терапии и общей хирургии Комплекс алгоритмов на основе специально разработанного дидактического материала реализует единство формирований профессиональных компетенций у студентов. Материал этого пособия направлен на формирование...