Сергей Марченков

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

Дата выхода: январь 2016

Брошюра знакомит читателя с простейшими вычислительными устройствами – конечными автоматами. Изучаются автоматы-распознаватели (автоматы без выхода) и автоматы-преобразователи (автоматы с выходом). С различных точек зрения характеризуются конечно-автоматные множества – множества, распознаваемые конечными автоматами. Рассматриваются некоторые обобщения конечных автоматов. Решается важная задача о...

Дата выхода: апрель 2016

Книга содержит развернутое введение в теорию булевых функций. Изложены основные свойства булевых функций и доказан критерий функциональной полноты. Приведено описание всех замкнутых классов булевых функций (классов Поста) и дано новое доказательство их конечной порождаемости. Рассмотрено задание классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для классов...

Дата выхода: январь 2016

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

Издательство: КомКнига
Дата выхода: июнь 2017

В настоящем издании рассматриваются четыре элементарные арифметические функции: x + y, x/y = max (x – y, 0), [x/y] (целая часть от деления x на y) и 2x. Доказывается, что данные функции образуют базис по суперпозиции в классе функций, элементарных по Кальмару - самом первом и самом широком классе элементарных рекурсивных функций. Брошюра адресована широкому кругу математиков, прежде всего специалистам по теории...

Издательство: Либроком
Дата выхода: июнь 2017

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

Издательство: Физматлит
Дата выхода: октябрь 2016

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

Издательство: Либроком
Дата выхода: июнь 2015

В доступной форме излагаются принципы и основные понятия медицинского права, а также механизм реализации прав врача и пациента. Разработано в соответствии с ФГОС 3-го поколения и учебной программой, подготовленной на кафедре общественного здоровья и здравоохранения НижГМА. Содержит тематический материал семинарских занятий, тестовые задания и ситуационные задачи по изучаемому разделу. Для...

Издательство: НГМА
Дата выхода: январь 2015

Брошюра знакомит читателя с простейшими вычислительными устройствами - конечными автоматами. Изучаются автоматы-распознаватели (автоматы без выхода) и автоматы-преобразователи (автоматы с выходом). С различных точек зрения характеризуются конечно-автоматные множества - множества, распознаваемые конечными автоматами. Рассматриваются некоторые обобщения конечных автоматов. Решается важная задача о...

Издательство: Физматлит
Дата выхода: январь 2008

Настоящее издание представляет собой сборник избранных работ выдающегося российского математика, члена-корреспондента РАН В.К. Иванова (1908 - 1992). В нем представлены работы по основным направлениям научной деятельности В.К. Иванова: теории приближения функций, обратной задаче потенциала, некорректно поставленным задачам, теории обобщенных функций. Труды представляют интерес для математиков и...

Издательство: Физматлит
Дата выхода: январь 2008

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

Издательство: ЮНИТИ-ДАНА
Дата выхода: декабрь 2013

Сборник старинных русских романсов для фортепиано и гитары: "Утро туманное", "Калитка", "Темно-вишневая шаль", "Гори, гори моя звезда!", "Отцвели хризантемы" и др. С нотами

Издательство: Лань
Дата выхода: январь 1999

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

Издательство: Физматлит
Дата выхода: январь 2003

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

Издательство: Московский центр непрерывного математического образования
Дата выхода: январь 2003

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

Издательство: Физматлит
Дата выхода: январь 2002

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

Издательство: Физматлит
Дата выхода: январь 2012

Издательство: Академкнига
Дата выхода: февраль 2002