Главная
 
Разделы
 
 
Марченков С.С.
 

Функциональные уравнения дискретной математики Функциональные уравнения дискретной математики
Автор: Жанр: Разное Издательство: Физматлит Год: 2013 Страниц: 60 Дата загрузки: 17 апреля 2017
   В книге исследуются функциональные уравнения для классов булевых функций, функций многозначной логики, функций счетнозначной логики и функций автоматного типа. Основная решаемая проблема — определимость множеств функций системами функциональных уравнений над произвольными множествами функций. Для научных сотрудников, аспирантов и преподавателей высшей школы, специализирующихся в области дискретной математики.
 
Рекурсивные функции Рекурсивные функции
Автор: Жанр: Разное Издательство: Физматлит Год: 2007 Страниц: 64 Дата загрузки: 10 октрября 2010
   Брошюра знакомит читателя с алгоритмически вычислимыми функциями натурального аргумента — рекурсивными функциями. Вначале изучается простейший тип рекурсивных функций — примитивно рекурсивные функции. Затем происходит расширение круга вычислимых функций: рассматриваются частично определенные вычислимые функции, а также всюду определенные вычислимые функции, не являющиеся примитивно рекурсивными. В заключение определяются абстрактные вычислительные устройства — машины Тьюринга, и класс функций, вычислимых на машинах Тьюринга, связывается с классом частично рекурсивных функций. Для школьников старших классов и студентов ВУЗов, знакомящихся с основами теории алгоритмов.
 
Элементарные рекурсивные функции Элементарные рекурсивные функции
Автор: Жанр: Разное Издательство: Московский центр непрерывного математического образования (МЦНМО) Год: 2003 Страниц: 112 Дата загрузки: 04 июля 2009
   Книга написана на основе курсов лекций, которые автор читал на факультете Вычислительной математики и кибернетики МГУ. В книге собраны основные классы «элементарных» рекурсивных функций, изучаемые в теории алгоритмов. Приведены различные определения этих классов, установлены соотношения включения между ними. Получены разнообразные канонические представления элементарных функций, указаны эффективные операции, сохраняющие элементарность функций, получены оценки сложности вычисления элементарных функций. Книга адресована студентам и аспирантам математических факультетов, изучающим теорию алгоритмов.
 
S-Классификация функций трёхзначной логики S-Классификация функций трёхзначной логики
Автор: Жанр: Разное Издательство: Физматлит Год: 2012 Страниц: 80 Дата загрузки: 15 декабря 2014
   S-классификация, базирующаяся на операциях суперпозиции и перехода к двойным функциям для подстановок из полной симметрической группы, является единственной эффективной классификацией множества функций многозначной логики. Книга посвящена систематическому изложению S-классификации множества функций трехзначной логики. Дается описание всех 48 S-замкнутых классов трехзначной логики. В каждом из классов строится конечный базис по суперпозиции. Приводится предикатное определение всех S-замкнутых классов с помощью конечного числа предикатов некоторого стандартного вида. Для научных работников и преподавателей высшей школы, специализирующихся в области дискретной математики.
 
Элементарные арифметические функции Элементарные арифметические функции
Автор: Жанр: Разное Издательство: Либроком Год: 2010 Страниц: 48 Дата загрузки: 24 августа 2012
   В настоящем издании рассматриваются четыре элементарные арифметические функции: x + y, x/y = max (x – y, 0), [x/y] (целая часть от деления x на y) и 2x. Доказывается, что данные функции образуют базис по суперпозиции в классе функций, элементарных по Кальмару — самом первом и самом широком классе элементарных рекурсивных функций. Брошюра адресована широкому кругу математиков, прежде всего специалистам по теории алгоритмов, теории чисел, комбинаторике и алгебре.
 
Представление функций суперпозициями Представление функций суперпозициями
Автор: Жанр: Разное Издательство: КомКнига Год: 2010 Страниц: 192 Дата загрузки: 15 июня 2012
   Основная цель данной книги — продемонстрировать, как решаются проблемы представимости функций суперпозициями для классов функций различной природы. В качестве объектов исследования выбраны классы функций многозначной логики, классы примитивно рекурсивных функций иерархии Гжегорчика, классы элементарных рекурсивных перестановок, образующие группы относительно операции композиции, классы конечно-автоматных функций, классы функций, непрерывных в пространстве Бэра, и классы непрерывных функций действительных переменных. Приведены результаты как положительного характера (существование конечных либо бесконечных порождающих систем специального вида, существование специальных форм представления функций суперпозициями), так и отрицательного (невозможность представления одних функций суперпозициями других функций при заданных ограничениях). Часть результатов уже заняла подобающее им место в теориях функций соответствующих типов, другие результаты получены сравнительно недавно. Для научных сотрудников, преподавателей высшей школы и аспирантов, занимающихся вопросами представления функций суперпозициями.
 

 

 

 

2011–2024

Рейтинг@Mail.ru