Сводный каталог книг

[Текст] : монография / Е.А. Бутаков, М.Б.% Волынский. - Москва : Радио и связь, 1991. - 158 с. : ил + табл. - Библиогр.: с. 155-156. - 3.00 р.

УДК	681.326.74.06:681.325.652

Аннотация: Описаны основные преобразования кубического представления систем булевых функций, являющиеся основой алгоритмов построения тестов программируемых логических матриц. Изложены методы обнаружения и поиска неисправностей программируемых логических матриц комбинационного типа и матриц с памятью, основанные на учете специфики структуры больших интегральных микросхем. Большое внимание уделяется вопросам сокращения перебора при увеличении кратности рассматриваемых неисправностей. Существенной особенностью материала является его ориентация на автоматизацию разработки тестов и процессов тестирования. Описана программная система ТЕСТ ПЛМ, представляющая собой комплекс программ на проблемно-ориентированном языке ЛЯПАС-М. Описаны алгоритмы обладающие полнотой контроля кратных неисправностей программируемых логических матриц. Применение системы ТЕСТ ПМК позволяет расширить область применения программируемых логических матриц. Для научных работников, специализирующихся в области проектирования и производства элементов и устройств электронной техники.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Волынский, М.Б.; Новоселов, В.Г.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : научное издание / А. С. Карпенко ; Рос. акад наук. - Изд.стереотип. - Москва : Издательство ЛКИ ; Москва : URSS, 2016. - 448 с. - Библиогр.: с.346-414 . - Предм. указ.: с.426-432 . - Алф. указ.: с. 416-425. - ISBN 978-5-382-01624-5 (в пер.) : 719.00 р.

ГРНТИ

27.03

ББК В12

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

Аннотация


Доп.точки доступа:
Российская академия наук (Москва). Институт философии
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)