Алгебра логики
Учебное пособие (2006)
В книге излагаются основные разделы дискретной математики, связанные с логикой и ее приложениями, именуемые алгеброй логики. Она содержит 4 раздела: Алгебра высказываний, Исчисление высказываний, Минимизация булевых функций и Алгебры булевых функций. Изложение ведется в традиционной манере и использует современный алгебро-логический язык подачи материала. Книга рассчитана на учащихся и исследователей в области дискретной математики и ее приложений. Она будет полезна также инженерам, информатикам и кибернетикам.
Другие произведения авторов:
№ | Название | Год | Текст | Тип | Действия |
---|---|---|---|---|---|
1. |
Раскрыть
Введение в теорию автоматов Кудрявцев В.Б., Алешин С.В., Подколзин А. С. |
1985 |
![]() |
научная монография | |
![]() Содержит изложение основ теории автоматов, представляющих собой одну из основных моделей управляющих систем. Достаточно широко представлены результаты по теории абстрактных и структурных автоматов, полученные отечественными и зарубежными авторами за последние 30 лет, т.е. за время с момента возникновения и последующего формирования теории автоматов.
Для специалистов,...
Смотри категории знания: кибернетика, математическая кибернетика, автоматика и управлениеРаздел каталога: математика Уровень подготовки аудитории: студенты вузов, профессиональный |
|||||
2. |
Раскрыть
Введение в теорию интеллектуальных систем Кудрявцев В.Б., Гасанов Э. Э., Подколзин А. С. |
2006 |
![]() |
учебное пособие | |
![]() Учебное пособие написано на основе специального курса "Теория интеллектуальных систем", читаемого на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ им. М.В.Ломоносова. В книге дается представление об основных разделах теории интеллектуальных систем, таких как распознавание образов, теория баз данных и математическая логика.
Для...
Смотри категории знания: кибернетика, математическая кибернетикаРаздел каталога: математика Уровень подготовки аудитории: студенты вузов |
|||||
3. |
Раскрыть
Теория тестирования логических устройств Кудрявцев В.Б., Гасанов Э. Э., Долотова О.А., Погосян Г. Р. |
2006 |
![]() |
научная монография | |
![]() Тестирование логических устройств -активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С.В.Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро и структурном уровнях. В книге эта тематика...
Смотри категории знания: кибернетика, математическая кибернетикаРаздел каталога: математика Уровень подготовки аудитории: студенты вузов, профессиональный |
|||||
4. |
Раскрыть
Теория тестового распознавания Кудрявцев В.Б., Андреев А. Е., Гасанов Э. Э. |
2007 |
![]() |
научная монография | |
![]() Описывается логический подход к распознаванию образов. Его основным понятием выступает тест. Анализ совокупности тестов позволяет строить функционалы, характеризующие образ и процедуры вычисления их значений. Указываются качественные и метрические свойства тестов, функционалов и процедур распознавания. Приводятся результаты решения конкретных задач.
Книга может быть...
Смотри категории знания: кибернетика, математическая кибернетикаРаздел каталога: математика Уровень подготовки аудитории: студенты вузов, профессиональный |
|||||
5. |
Раскрыть
Теория хранения и поиска информации Гасанов Э. Э., Кудрявцев В.Б. |
2002 |
![]() |
научная монография | |
![]() В монографии вводится новый вид представления баз данных, называемый информационно-графовой моделью данных, обобщающий известные ранее модели данных. Рассматриваются основные типы задач поиска информации в базах данных и исследуются проблемы сложности решения этих задач применительно к информационно-графовой модели. Разработан математический аппарат решения этих задач,...
Смотри категории знания: кибернетика, математическая кибернетикаРаздел каталога: математика Уровень подготовки аудитории: студенты вузов, профессиональный |
Другие произведения в категории:
№ | Название | Год | Текст | Тип | Действия |
---|---|---|---|---|---|
1. |
Раскрыть
Введение в кибернетику Глушков В.М. |
1964 |
![]() |
научная монография | |
![]() В книге собран и обобщен материал, необходимый для построения таких разделов современной кибернетики, как теория электронных цифровых машин, теория дискретных автоматов и теория дискретных самоорганизующихся систем, автоматизация мыслительных процессов, теория распознавания образов и др. Изложены основы теории булевых функций, теория алгоритмов, логические исчисления и...
Смотри категорию знания: математическая кибернетикаРаздел каталога: математика Уровень подготовки аудитории: студенты вузов, профессиональный |
|||||
2. |
Раскрыть
Введение в теорию автоматов Кудрявцев В.Б., Алешин С.В., Подколзин А. С. |
1985 |
![]() |
научная монография | |
![]() Содержит изложение основ теории автоматов, представляющих собой одну из основных моделей управляющих систем. Достаточно широко представлены результаты по теории абстрактных и структурных автоматов, полученные отечественными и зарубежными авторами за последние 30 лет, т.е. за время с момента возникновения и последующего формирования теории автоматов.
Для специалистов,...
Смотри категории знания: кибернетика, математическая кибернетика, автоматика и управлениеРаздел каталога: математика Уровень подготовки аудитории: студенты вузов, профессиональный |
|||||
3. |
Раскрыть
Введение в теорию интеллектуальных систем Кудрявцев В.Б., Гасанов Э. Э., Подколзин А. С. |
2006 |
![]() |
учебное пособие | |
![]() Учебное пособие написано на основе специального курса "Теория интеллектуальных систем", читаемого на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ им. М.В.Ломоносова. В книге дается представление об основных разделах теории интеллектуальных систем, таких как распознавание образов, теория баз данных и математическая логика.
Для...
Смотри категории знания: кибернетика, математическая кибернетикаРаздел каталога: математика Уровень подготовки аудитории: студенты вузов |
|||||
4. |
Раскрыть
Классификация автоматных базисов Поста по разрешимости свойств полноты и А-полноты Бабин Д.Н |
2009 |
![]() |
— | |
![]() Рассматриваются базисы вида Ф U ν, где Ф –
некоторый замкнутый класс булевых функций, заданный своим конечным базисом, а ν – конечная система автоматных функций. Описаны все классы Поста Ф, для которых разрешима проблема полноты и, соответственно, А-полноты для базиса Ф U ν. Приведены аналогичные результаты для многозначных логик.
Для студентов, аспирантов и...
Смотри категории знания: кибернетика, математическая кибернетика |
|||||
5. |
Раскрыть
Компьютерное моделирование логических процессов Подколзин А. С. |
2008 |
![]() |
научная монография | |
![]() Данная монография описывает многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения решателей. Обучение компьютерной системы предпринималось в различных областях математики и в элементарной физике. Моделировались также логические процессы, возникающие при анализе текстов естественного языка, анализе...
Смотри категорию знания: математическая кибернетикаРаздел каталога: математика Уровень подготовки аудитории: студенты вузов, профессиональный |
|||||
6. |
Раскрыть
Синтез цифровых автоматов Глушков В.М. |
1962 |
![]() |
научная монография | |
![]() Главной и определяющей задачей изложения является такой подбор материала и такой характер его изложения, который дал бы возможность широкому кругу лиц и прежде всего широкому кругу математиков, не знакомых с радиотехникой, электроникой и импульсной техникой, понять суть проблем, встающих при синтезе схем современных сложных цифровых автоматов и прежде всего электронных...
Смотри категории знания: кибернетика, математическая кибернетика, автоматика и управлениеРазделы каталога: математика, физика Уровень подготовки аудитории: студенты вузов, профессиональный |
|||||
7. |
Раскрыть
Теория сложности информационного поиска Гасанов Э. Э. |
2005 |
![]() |
учебное пособие | |
![]() Учебное пособие написано на основе специальных курсов "Теория баз данных и информационного поиска" и "Теория интеллектуальных систем", читаемых на кафедре математической теории
интеллектуальных систем механико-математического факультета МГУ им. М.В.Ломоносова. В книге вводится новый вид представления баз данных, называемый информационно-графовой моделью данных, обобщающий...
Смотри категорию знания: математическая кибернетикаРаздел каталога: математика Уровень подготовки аудитории: студенты вузов |
|||||
8. |
Раскрыть
Теория тестирования логических устройств Кудрявцев В.Б., Гасанов Э. Э., Долотова О.А., Погосян Г. Р. |
2006 |
![]() |
научная монография | |
![]() Тестирование логических устройств -активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С.В.Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро и структурном уровнях. В книге эта тематика...
Смотри категории знания: кибернетика, математическая кибернетикаРаздел каталога: математика Уровень подготовки аудитории: студенты вузов, профессиональный |
|||||
9. |
Раскрыть
Теория тестового распознавания Кудрявцев В.Б., Андреев А. Е., Гасанов Э. Э. |
2007 |
![]() |
научная монография | |
![]() Описывается логический подход к распознаванию образов. Его основным понятием выступает тест. Анализ совокупности тестов позволяет строить функционалы, характеризующие образ и процедуры вычисления их значений. Указываются качественные и метрические свойства тестов, функционалов и процедур распознавания. Приводятся результаты решения конкретных задач.
Книга может быть...
Смотри категории знания: кибернетика, математическая кибернетикаРаздел каталога: математика Уровень подготовки аудитории: студенты вузов, профессиональный |
|||||
10. |
Раскрыть
Теория хранения и поиска информации Гасанов Э. Э., Кудрявцев В.Б. |
2002 |
![]() |
научная монография | |
![]() В монографии вводится новый вид представления баз данных, называемый информационно-графовой моделью данных, обобщающий известные ранее модели данных. Рассматриваются основные типы задач поиска информации в базах данных и исследуются проблемы сложности решения этих задач применительно к информационно-графовой модели. Разработан математический аппарат решения этих задач,...
Смотри категории знания: кибернетика, математическая кибернетикаРаздел каталога: математика Уровень подготовки аудитории: студенты вузов, профессиональный |