Выбор БД
Тип поиска
Сортировать по:
1. Документ
bookCover
Наголкин Андриан Николаевич.
Алгебра логики в золотом сечении : еще один шаг в обл. нечет. логик и компьютер. интеллекта / Наголкин Андриан Николаевич; А. Н. Наголкин. - Москва : МАКС Пресс, 2006. - 180, [1] c., [1] л. портр. : ил., табл. - Библиогр. в конце кн. - ISBN 5-317-01731-9 : 110.00.
Шифры: В124 - Н16
Ключевые слова: Алгебра логики, Нечеткая логика, Компьютерный интеллект, Нейронные сети
Экземпляры: Всего: 3, из них: к3-3
Подробнее
2. Документ
bookCover
Марченков Сергей Серафимович.
Булевы функции / Марченков Сергей Серафимович. - Москва : ФИЗМАТЛИТ, 2002. - 68, [1] c. : ил., табл. ; 22 см. - (Популярные лекции по математике). - ISBN 5-9221-0253-2 : 84.48.
Шифры: В124 - М 30
Ключевые слова: Булевы функции, Алгебраическая логика, Математика, Математическая логика, Функции
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Брошюра знакомит читателя с булевыми функциями - одним из важнейших классов дискретных функций. В ней излагаются основные понятия теории булевых функций, доказывается критерий функциональной полноты и рассматриваются вопросы сложности реализации булевых функций. Брошюра предназначена для школьников старших классов и студентов первых курсов.
3. Документ
bookCover
Избранные вопросы теории булевых функций / [А. С. Балюк, С. Ф. Винокуров, А. И. Гайдуков и др.]Под ред. С. Ф. Винокурова и Н. А. Перязева; Федерал. целевая программа "Гос. поддержка интеграции высш. образования и фундам. науки на 1997-2000 гг.". - Москва : Физматлит, 2001. - 191 с. - Библиогр.: с.188-191. - ISBN 5-9221-0085-8 : 80.00.
Авторы: Балюк Александр Сергеевич, Винокуров Сергей Федорович, Гайдуков Алексей Игоревич, Зубков Олег Владимирович, Кириченко Константин Дмитриевич, Пантелеев Владимир Иннокентьевич, Перязев Николай Алексеевич, Перязева Юлия Валерьевна
Шифры: В124 - И32
Ключевые слова: Функции, Булевы функции, Теория булевых функций, Алгебраическая логика
Экземпляры: Всего: 5, из них: к3-5
Подробнее
4. Документ
bookCover
Перязев Николай Алексеевич.
Основы теории булевых функций / Перязев Николай Алексеевич; Н. А. Перязев; Федерал. целевая программа "Гос. поддержка интеграции высш. образования и фундам. науки на 1997-2000 гг." ; Федерал. целевая программа "Гос. поддержка интеграции высш. образования и фундам. науки на 1997-2000 гг.". - Москва : Физматлит, 1999. - 109,[1] с. : ил. - Библиогр.: с.107. - Указ. терминов, обозначений: с.108-110. - ISBN 5-9221-0005-X : 7.00.
Шифры: В124 - П27
Ключевые слова: Функции, Булевы функции, Теория булевых функций
Экземпляры: Всего: 2, из них: к3-2
Подробнее
5. Документ
bookCover
Логико-алгебраические конструкции : сб. науч. тр. / Твер. гос. ун-т ; редкол.: Ю. М. Горчаков (отв. ред.) и др. - Тверь, 1992. - 97,[2] с. : ил. - Библиогр. в конце ст. - ISBN 5-230-08415-4 : 7-00.
Шифры: В124 - Л69
Ключевые слова: Математическая логика, Логико-алгебраические конструкции, Алгебраическая логика, Алгебра, Труды Тверского государственного университета
Экземпляры: Всего: 5, из них: к3-5
Подробнее
6. Документ
bookCover
Нигматуллин Рошаль Габдулхаевич.
Сложность булевых функций / Нигматуллин Рошаль Габдулхаевич; Р. Г. Нигматуллин ; [послесл. С. Кузнецова и др.]. - Москва : Наука, 1991. - 238,[1] с. : ил. ; 22 см. - Список науч. работ Р. Г. Нигматуллина: с. 233-235 (49 назв.) Библиогр.: с. 219-229 (237 назв.). - Указ. обозначений, предм.: с. 236-239. - ISBN 5-02-014258-1 : 3 р. 30 к.
Авторы: Нигматуллин Рошаль Габдулхаевич, Кузнецов С.
Шифры: В124 - Н60
Ключевые слова: Булевы функции
Экземпляры: Всего: 2, из них: к3-2
Подробнее
7. Документ
bookCover
Ганов Валерий Александрович.
Общая теория вычислений с оракулами / Ганов Валерий Александрович; В. А. Ганов, Н. В. Белякин ; [под ред. С. С. Гончарова] ; АН СССР, Сиб. отд-ние, Ин-т математики. - Новосибирск : Институт математики, 1989. - 136 с. : ил. - Библиогр.: с. 135. - 0.80.
Авторы: Ганов Валерий Александрович, Белякин Николай Васильевич, Гончаров Сергей Севостьянович
Шифры: В127 - Г19
Ключевые слова: Математика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
8. Документ
bookCover
Логико-алгебраические конструкции : межвуз. темат. сб. науч. тр. / М-во высш. и сред. спец. образования РСФСР, Калинин. гос. ун-т ; [редкол.: Ю. М. Горчаков (отв. ред.) и др.]. - Калинин : КГУ, 1987. - 107, [1] с. : ил. - Библиогр. в конце ст. - 0.70.
Шифры: В124 - Л69
Ключевые слова: Математическая логика, Логико-алгебраические конструкции, Алгебраическая логика, Алгебра, Сборники
Экземпляры: Всего: 5, из них: к3-5
Подробнее
9. Документ
bookCover
Шрейдер Юлий Анатольевич.
Равенство, сходство, порядок / Шрейдер Юлий Анатольевич; Ю.А. Шрейдер. - Москва : Наука, 1971. - 252,[2] с. : ил. - Алф. указ.: с.248-253. - Указ. символов: с.254. - 13.44.
Шифры: 517.214.13 - Ш86
Ключевые слова: Отношения, Алгебра отношений, Алгебраическая логика
Экземпляры: Всего: 3, из них: к3-2, к7-1
Подробнее
10. Документ
bookCover
Булева алгебра и конечные автоматы / пер. с фр. Е. В. Бабичевой ; под ред. и с предисл. П. П. Пархоменко. - Москва : Мир, 1969. - 291, [2] с. : ил. - Перевод изд.: Algebre de Boole et machines Logiques (Paris, 1967). - Библиогр.: с. 287-292. - 1.42.
Авторы: Бабичева Е. В., Пархоменко Павел Павлович
Шифры: В124 - Б90
Ключевые слова: Булева алгебра
Экземпляры: Всего: 1, из них: к3-1
Подробнее