Балюк А.С., Винокуров С.Ф. и др. Избранные вопросы теории булевых функций

формат djvu
размер 1.85 МБ
добавлен 23 сентября 2010 г.

А. С. Балюк, С. Ф. Винокуров, А. И. Гайдуков и др.; Под ред. С. Ф. Винокурова, Н. А. Перязева. — М.: Физматлит, 2001. — 192 с.
Рассматриваются разделы теории булевых функций, интенсивно развивающиеся в настоящее время: представление бинарными термами, бесповторными термами и полиномиальными формами.

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

Похожие разделы

Смотрите также

Автор неизвестен. Теоретические основы автоматики и телемеханики

формат pdf
размер 519.63 КБ
добавлен 22 декабря 2010 г.

Автор неизвестен. Теоретические основы автоматики и телемеханики. Основные положения и законы алгебры логики. Формы представления функций алгебры логики. Булевы функции от двух переменных. Полнота и базис булевых функций. Минимизация булевых функций. Функции алгебры логики и электрические схемы.

Владимиров Д.А. Булевы алгебры

формат djvu
размер 3.21 МБ
добавлен 16 марта 2009 г.

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

Гончаров С.С. Счетные булевы алгебры и разрешимость

формат djvu
размер 3.56 МБ
добавлен 27 февраля 2011 г.

Новосибирск: Научная книга, 1996, — 364 с., — (Сибирская школа алгебры логики). Третий том учрежденной в 1995 г. Сибирским фондом алгебры логики математической книжной серии «Сибирская школа алгебры логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Существенно переработанная и дополненная новыми результатами версия книги автора «Счетные булевы алгеб...

Каверин С.В. Лекции по математической логике и теории алгоритмов

формат djvu
размер 383.65 КБ
добавлен 15 октября 2011 г.

Тольятти, Волжский университет им. Татищева, 2002 г. - 45 стр. Содержание: Алгебра логики. Определение булевой функции. Элементарные булевы функции. Задание булевых функций посредством элементарных. Существенные и несущественные переменные. Таблицы истинности. Эквивалентные функции. Основные эквивалентности. Функциональная полнота. Булева алгебра. Нормальные формы. Совершенные нормальные формы. Минимизация ДНФ методом Квайна. Карты Карно. Алгебр...

Контрольная - Булевы функции

Контрольная работа

формат rtf
размер 174.39 КБ
добавлен 01 мая 2011 г.

СПб. : 2011 г - 38 стр. Содержание. Основные понятия булевой алгебры. Способы задания булевых функций. Булевы функции одной и двух переменных. Основные законы и тождества булевой алгебры. Аналитическое представление булевых функций. Функционально полные системы булевых функций. Минимизация булевых функций. Метод Квайна. Метод Квайна-Мак-Класки. Метод диаграмм Вейча. Карты Карно. Особенности минимизации булевых функций большим числом переменных....

Лекции - Математическая логика и основы теории алгоритмов

Статья

формат pdf
размер 1.54 МБ
добавлен 11 марта 2010 г.

12 лекций по математической логике и теории алгоритмов. Второй курс, СФУ ИКИТ, 2009 год, преподаватель Вепринцев Д. В. Рассматриваемые вопросы: Алгебра высказываний. Тавтологии алгебры высказываний. Признаки логического следствия. Булевы функции. Нормальные формы булевых функций. Алгебра Жегалкина. Монотонность функции. Теорема о полноте. Релейно-контактные схемы. Логика предикатов. Кванторные операции над предикатами. Аристотелева силлогистика....

Лекции по математической логике и теории алгоритмов

формат pdf
размер 1.47 МБ
добавлен 09 ноября 2010 г.

Лекции по математической логике и теории алгоритмов. Алгебра логики. Определение булевой функции. Элементарные булевы функции. Задание булевых функций посредством элементарных. Существенные и несущественные переменные. Таблицы истинности. Эквивалентные функции. Основные эквивалентности. Функциональная полнота. Булева алгебра. Нормальные формы. Совершенные нормальные формы. Минимизация ДНФ методом Квайна. Карты Карно. Алгебра Жегалкина. Высказыван...

Лобанов В.И. Инженерная логика

формат djvu
размер 908.3 КБ
добавлен 20 октября 2010 г.

191 стр. Практика инженерной логики. Комбинационные логические цепи. Минимизация булевых функций методом обобщенных кодов. Триггеры. Регистры и счетчики. Синтез счетчиков. Конечные автоматы. Микроконтроллеры. Базовые проблемы классической логики. Законы логики суждений. Базисы силлогистики. Силлогистика Аристотеля-Жергонна. Русская силлогистика. Общеразговорная силлогистика. Атомарная силлогистика. Атомарная силлогистика. Естественный вывод и ква...

Сечкина И.В. Математическая логика и теория алгоритмов

формат doc
размер 3.27 МБ
добавлен 02 августа 2009 г.

Методические указания к практическим занятиям. Содержание. Алгебра Буля и её модели. Представление булевых функций формулами. Сводка тавтологий. Совершен-ные формы. Конструирование и упрощение релейно-контактных схем. Логические функции (предикаты) и операции над ними. Общезначимые формулы. Представление формул логики предикатов в предваренной нормальной форме. Логика предикатов и алгебра множеств. Уравнения и неравенства как логи-ческие функции...

Токарева Н. Нелинейные булевы функции: бент-функции и их обобщения

формат pdf
размер 3.28 МБ
добавлен 23 мая 2011 г.

Издательство LAP LAMBERT Academic Publishing (Saarbrucken, Germany), 2011. ISBN: 978-3-8433-0904-2. 180 с. Теоретические результаты исследования Работа относится к такой области дискретной математики, как булевы функции и их приложения в комбинаторике, теории кодирования и криптографии. Исследуется класс булевых функций, обладающих сильными свойствами нелинейности: бент-функции и их обобщения. Впервые бент-функции начали изучаться в 60-х годах X...