Политехническая библиотека

Головна

Спрощенний режим

Опис

Бази даних

Каталог книг- результати пошуку

Вид пошуку

Каталог книг

Каталог российских журналов

Каталог иностранных журналов

Зона пошуку

Для печати информации о книге отметьте ее галочкой и нажмите кнопку «печать»

Поисковый запрос: <.>S=Математическая логика -- Препринты<.>

Общее количество найденных документов: 14

Показані документи с 1 за 14

Пр 3-7/89

Стрыгин, Владимир Захарович.
Разрешимость исчисления предикатов 1-й ступени / В. З. Стрыгин ; Центр. аэрогидродинам. ин-т им. Н. Е. Жуковского. - М. : ЦАГИ, 2005. - 3 с. - (Препринт / Центр. аэрогидродинам. ин-т им. Н. Е. Жуковского ; № 145). - Библиогр.: с. 3. - Б. ц. р.

ББК В123,09
Рубрики: Математическая логика--Препринты

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

Пр 3-7/444

Калинников, В. А.
Применение многозначной логики в цифровой технике / В. А. Калинников ; Объед. ин-т ядер. исслед. - Дубна, 2005. - 17,[1] с. : ил. - (Препринт / Объед. ин-т ядер. исслед. ; Р13-2005-217). - Библиогр.: с. 16-18(35 назв.). - 305 прим.. - Б. ц. р.

ББК В123,09 + з973.2-047,09
Рубрики: Математическая логика--Препринты

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

Пр 3-8/285

Шелехов, Владимир И.
Разработка программы построения дерева суффиксов в технологии предикатного программирования / В. И. Шелехов. - Новосибирск : Прайс-курьер, 2004. - 52 с. : ил. - (Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова ; 115). - Библиогр.: с. 51-52. - Б. ц. р.

ББК В123с31,09 + В151.3с31,09
Рубрики: Математическая логика--Препринты
Теория графов--Препринты

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

Пр 3-9/304

Мучник, А. А.
Об S5-Т-Y логиках / А. А. Мучник. - М. : [б. в.], печ. 2007. - 8 с. : ил. - (Препринт / Ин-т прикладной математики им. М. В. Келдыша Рос. акад. наук ; №86 за 2007 г.). - Библиогр.: с. 7-8(3 назв.). - 15.00 р.

Пр 3-9/366

Шелехов, В. И.
Модель корректности программ на языке исчисления вычислимых предикатов / В. И. Шелехов. - Новосибирск : ИСИ, 2007. - 50 с. - (Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова ; 145). - Библиогр.: с. 49-50(18 назв.). - 15.00 р.

ББК В123с31,09
Рубрики: Математическая логика--Препринты

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

Пр 4-2/243

Попов, Н. А.
О недопустимых методах математических доказательств / Н. А. Попов, А. Н. Попов. - Саров : РФЯЦ-ВНИИЭФ, 2011. - 21 с. - (Препринт / Рос. федер. ядер. центр ВНИИЭФ ; № 107). - Библиогр.: с. 21. - 15.00 р.

ББК В123,09 + В161.41,09
Рубрики: Математическая логика--Препринты
Теория множеств--Препринты

Дод.точки доступу:
Попов, А. Н.
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

Пр 4-4/291

Попков, Кирилл Андреевич.
О точном значении длины минимального единичного диагностического теста для одного класса схем / К. А. Попков. - М. : ИПМ, 2015. - 20 с. : ил. - (Препринт / Ин-т приклад. математики им. М. В. Келдыша Рос. акад. наук ; № 74 за 2015 г.). - Библиогр.: с. 19-20. - 15.00 р.

ББК В123,09 + з211с116,09
Рубрики: Математическая логика--Препринты
Электрические схемы--Препринты

Примірників всього: 1
ХР (II) (1)
Свободны: ХР (II) (1) Знайти схожі

Пр 4-4/397

Попков, Кирилл Андреевич.
О тестах замыкания для контактных схем / К. А. Попков. - М. : ИПМ, 2015. - 19, [1] с. : ил. - (Препринт / Ин-т прикладной математики им. М. В. Келдыша Рос. акад. наук, ISSN 2071-2898 ; № 14 за 2016 г.). - Библиогр.: с. 19. - 15.00 р.

Пр 4-4/458

Попков, Кирилл Андреевич.
Короткие единичные тесты для схем при произвольных константных неисправностях на выходах элементов / К. А. Попков. - М. : ИПМ, 2018. - 23 с. : ил. - (Препринт / Ин-т прикладной математики им. М. В. Келдыша Рос. акад. наук, ISSN 2071-2898 ; № 33 за 2018 г.). - Библиогр.: с. 21-23. - 15.00 р.

ББК В123,09 + з211с116,09
Рубрики: Математическая логика--Препринты
Электротехника--Препринты

Примірників всього: 1
ХР (II) (1)
Свободны: ХР (II) (1) Знайти схожі

10.

Пр 4-5/65

Яшунский, Алексей Дмитриевич.
Преобразования бернуллиевских распределений булевыми функциями из замкнутых классов / А. Д. Яшунский. - М. : ИПМ, 2016. - 23 с. : ил. - (Препринт / Ин-т приклад. математики им. М. В. Келдыша Рос. акад. наук ; № 38 за 2016 г.). - Библиогр.: с. 22-23. - ISSN 2071-2898. - 15.00 р.

ББК В171.5,09 + В123,09
Рубрики: Случайные процессы--Препринты
Математическая логика--Препринты

Примірників всього: 1
ХР (II) (1)
Свободны: ХР (II) (1) Знайти схожі

11.

Пр 4-5/95

Яшунский, Алексей Дмитриевич.
Приближения вероятностных распределений функциями k-значной логики / А. Д. Яшунский. - М. : ИПМ, 2016. - 7 с. - (Препринт / Ин-т прикладной математики им. М. В. Келдыша Рос. акад. наук, ISSN 2071-2898 ; № 58 за 2016г.). - Библиогр.: с. 7. - 15.00 р.

ББК В171.5,09 + В171.3,09 + В123,09
Рубрики: Случайные процессы--Препринты
Распределений теория (матем.)--Препринты
Математическая логика--Препринты

Примірників всього: 1
ХР (II) (1)
Свободны: ХР (II) (1) Знайти схожі

12.

Пр 4-5/145

Попков, Кирилл Андреевич.
О единичных диагностических тестах для схем из функциональных элементов в базисе Жегалкина / К. А. Попков. - М. : ИПМ, 2016. - 16 с. : ил. - (Препринт / Ин-т прикладной математики им. М. В. Келдыша Рос. акад. наук, ISSN 2071-2898 ; № 50 за 2016г.). - Библиогр.: с. 14-16. - 15.00 р.

ББК В123,0 + з211с116
Рубрики: Математическая логика--Препринты
Электрические схемы--Препринты
Математическое моделирование--Препринты

Примірників всього: 1
ХР (II) (1)
Свободны: ХР (II) (1) Знайти схожі

13.

Пр 4-5/146

Попков, Кирилл Андреевич.
Нижние оценки длин полных диагностических тестов для схем и входов схем / К. А. Попков. - М. : ИПМ, 2016. - 12 с. - (Препринт / Ин-т прикладной математики им. М. В. Келдыша Рос. акад. наук, ISSN 2071-2898 ; № 60 за 2016г.). - Библиогр.: с. 11-12. - 15.00 р.

ББК В123,0 + з211с116
Рубрики: Математическая логика--Препринты
Электрические схемы--Препринты

Примірників всього: 1
ХР (II) (1)
Свободны: ХР (II) (1) Знайти схожі

14.

Пр 4-5/272

Попков, Кирилл Андреевич.
Метод построения легко диагностируемых схем из функциональных элементов относительно единичных неисправностей / К. А. Попков. - М. : ИПМ, 2019. - 29 с. : ил. - (Препринт / Ин-т прикладной математики им. М. В. Келдыша Рос. акад. наук ; № 81 за 2019 г.). - Библиогр.: с. 26-28. - 15.00 р.

ББК з211с116,09 + В123,09
Рубрики: Электрические схемы--Препринты
Математическая логика--Препринты

Примірників всього: 1
ХР (II) (1)
Свободны: ХР (II) (1) Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)