371 С 560 Совертова, П. И. Булева алгебра в матричных тестах [Текст] / П. И. Совертова // Информатика и образование. - 2002. - N3. - Библиогр.:С.63(5 назв.) . - ISSN 0234-0453
Рубрики: Образование. Педагогика--Школоведение Кл.слова (ненормированные): Булева алгебра -- алгебра -- информатика -- матричные задачи -- матричные тесты -- преподавание информатики -- тесты -- школьные дисциплины Аннотация: В статье показывается, как информатика способствует нахождению зависимостей в матричных задачах; указывается метод тиражирования матричных задач; обсуждается методика работы с матричными задачами на уроках информатики. |
519.1 С 162 Салий, В. Н. Оптимизация в булевозначных сетях [Текст] / В. Н. Салий // Дискретная математика. - 2005. - Т. 17, N 1. - Библиогр.: с. 146 . - ISSN 0234-0860
Рубрики: Математика--Комбинаторный анализ Кл.слова (ненормированные): булевозначные сети -- булева алгебра -- мультиграф -- оптимизация Аннотация: Под булевозначной сетью понимается ориентированный мультиграф, каждой дуге которого приписан некоторый элемент из фиксированной конечной булевой алгебры В. |
011/016 Н 76 Новые книги по физике и смежным наукам [Текст] // Успехи физических наук. - 2005. - Т. 175, N 2. - С. 223-224 . - ISSN 0042-1294
Рубрики: Литература универсального содержания--Библиографические пособия Кл.слова (ненормированные): конденсированные состояния -- квантовые теории полей -- изотопы -- методы аппроксимации -- Булева алгебра -- задачи электродинамики Аннотация: Аннотированный список книг по физике и смежным наукам. |
Брусенцов, Н. П. Компьютеризация булевой алгебры [Текст] / Н. П. Брусенцов, Ю. С. Владимирова // Доклады Академии наук. - 2004. - Т. 395, N 1. - С. 7-10 . - ISSN 0869-5652
Рубрики: Математика Алгебра Кл.слова (ненормированные): алгебра логики -- булева алгебра -- булевы выражения -- дизъюнкция -- индивидные конъюнкции -- компьютеризация алгебры -- конъюнкция -- языки программирования Аннотация: Представление булевых выражений ДК-шкалами позволяет просто и эффективно компьютеризировать алгебру СДНФ-выражений, поскольку операции отрицания, конъюнкции и дизъюнкции этих выражений реализуются как инверсия, пересечение и объединение ДК-шкал, т. е. как побитные отрицание, конъюнкция и дизъюнкция булевых векторов, отображающих шкалы. Доп.точки доступа: Владимирова, Ю. С. |
Лефевр, Владимир. Недетские игры рефлексивного управления [Текст] : [беседа с психологом] / В. Лефевр ; записал А. Левинтов // Знание-сила. - 2010. - N 3. - С. 83-85 . - ISSN 0130-1640
Рубрики: Психология Общая психология Кл.слова (ненормированные): рефлексия -- рефлексивное управление -- теория рефлексивных игр -- психология и математика -- булева алгебра -- психологи -- теория игр -- сознание -- математические методы управления -- групповые взаимодействия -- конфликты (психология) -- беседы -- интервью Аннотация: Беседа с психологом Александром Лефевром о вышедшей книге и о его работе вообще. Доп.точки доступа: Левинтов, Александр (интервьюер) \.\; Лефевр, Александр \а.\ |
004.65 М 315 Масликов, В. И. (доцент). Универсумная система категорических суждений силлогистики [Текст] / В. И. Масликов // Информационные технологии. - 2011. - N 8. - С. 6-12. - Библиогр.: с. 12 (3 назв. ) . - ISSN 1684-6400
Рубрики: Вычислительная техника Системы управления базами данных (СУБД) Кл.слова (ненормированные): универсум -- Universum -- логические отношения -- силлогизмы -- силлогистика -- искусственный интеллект -- нейросети -- булева алгебра Аннотация: Разработан полный базис суждений силлогистики. Определена связь всех типов суждений с булевой алгеброй, диаграммами Эйлера-Венна и древовидными структурами. |
004.8 Б 706 Блочно-иерархический подход для построения базы знаний информационной системы мониторинга состояния головного мозга человека [Текст] / С. В. Фролов [и др.] // Информационные технологии. - 2011. - N 12. - С. 54-58. - Библиогр.: с. 58 (5 назв. ) . - ISSN 1684-6400
Рубрики: Радиоэлектроника Искусственный интеллект. Экспертные системы Здравоохранение. Медицинские науки Здравоохранение и медицинские науки в целом Кл.слова (ненормированные): булева алгебра -- блочно-иерархические подходы -- базы знаний -- информационные системы мониторинга -- сложные системы -- критическое состояние объекта -- мозг человека -- мозговой инсульт Аннотация: Для прогнозирования критических состояний сложных объектов в информационной системе мониторинга предложено использовать базы знаний, построенные на основе аппарата булевой алгебры. Доп.точки доступа: Фролов, С. В. (доктор технических наук; профессор; заведующий кафедрой); Горбунов, А. В. (доктор медицинских наук; профессор); Лядов, М. А. (магистрант); Фареа, С. Г. (аспирант) |
517.98 К 945 Кусраев, А. Г. О классификации инъективных банаховых решеток / А. Г. Кусраев // Доклады Академии наук. - 2013. - Т. 453, № 1, ноябрь. - С. 12-16. - Библиогр. : с. 15-16 (13 назв.) . - ISSN 0869-5652
Рубрики: Математика Функциональный анализ Кл.слова (ненормированные): инъективные банаховы решетки -- теорема Магарам -- Магарам теорема -- булева алгебра Аннотация: Указана полная система инвариантов, определяющих инъективную банахову решетку с точностью до решеточной изометрии. Доп.точки доступа: Фремлин, Д.; Витсток, Г.; Лотц |