Бази даних


Книжкові видання та компакт-диски - результати пошуку


Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Автореферати дисертацій (1)Реферативна база даних (103)
Пошуковий запит: (<.>U=В123<.>)
Загальна кількість знайдених документів : 29
Представлено документи з 1 до 20
...
1.
ІР7740
Kutateladze, Semen Samsonovich.
What is boolean valued analysis? [Text] / S. S. Kutateladze. - Novosibirsk : [б.в.], 2006. - 26 p. - (Prepr. / Sobolev institute of mathematics SB RAS ; n.179). - Бібліогр.: P.26

Рубрикатор НБУВ:
 В123 
Тематичні рубрики:


Дод. точки доступу:
Sobolev institute of mathematics SB RAS

Видання зберігається у :

2.
РА321007
Гуца, Олег Миколайович.
Інтерактивна модель перекладу технічних завдань у систему булевих формул [Текст] : автореф. дис... канд. техн. наук: 01.05.02 / Гуца Олег Миколайович ; Харківський національний ун-т радіоелектроніки. - Х., 2002. - 19 с.: рис.

Рубрикатор НБУВ:
 В123 
Тематичні рубрики:


Дод. точки доступу:
Харківський національний університет радіоелектроніки

Видання зберігається у :
Основний фонд

3.
Глушков В.М./ВА173
Гиндикин, Семён Григорьевич.
Алгебра логики в задачах [Текст] / С. Г. Гиндикин. - М. : Наука, Гл. ред. физ.-мат. лит., 1972. - 288 с. : рис. - Бібліогр.: с. 282-284 . - 50000 прим.

Рубрикатор НБУВ:
 В123 
Тематичні рубрики:


Видання зберігається у :
Основний фонд

4.
Глушков В.М./ВА148
Калужнін, Лев Аркадійович.
Алгоритми і математичні машини [Текст] : навч. посіб. для студ. фіз.-мат. ф-тів пед. ін-тів УРСР / Л. А. Калужнін, В. С. Королюк. - К. : Радянська школа, 1964. - 282 с. : табл. - Бібліогр.: с. 279-280. - 2800 прим.
З дарчим написом В. М. Глушкову від авт.

Рубрикатор НБУВ:
 В123 
Тематичні рубрики:


Дод. точки доступу:
Королюк, Володимир Семенович

Видання зберігається у :
Основний фонд

5.
Глушков В.М./ВА233
Рвачев, Владимир Логвинович.
Геометрические приложения алгебры логики [Текст] / В. Л. Рвачев. - К. : Техніка, 1967. - 212 с. : рис. - Бібліогр.: с. 207-209 . - 5800 прим.
З дарчим написом В. М. Глушкову від авт.

Рубрикатор НБУВ:
 В123 
Тематичні рубрики:


Видання зберігається у :
Основний фонд

6.
ВА719966
Бибило, Петр Николаевич.
Декомпозиция булевых функций на основе решения логических уравнений [Текст] : [монография] / П. Н. Бибило ; НАН Беларуси, Объединенный ин-т проблем информатики. - Минск : Беларуская навука, 2009. - 211 с.: табл., рис. - Библиогр.: с. 203-209. - ISBN 978-985-08-1072-4

Рубрикатор НБУВ:
 В123 
Тематичні рубрики:


Дод. точки доступу:
НАН Беларуси; Объединенный институт проблем информатики

Видання зберігається у :
Основний фонд

7.
ВА657238
Марченков, Сергей Серафимович.
Замкнутые классы булевых функций [Текст] / С. С. Марченков. - М. : Физматлит, 2000. - 126 с. - Библиогр.: с. 119-121. - ISBN 5-9221-0066-1

Рубрикатор НБУВ:
 В123 
Тематичні рубрики:


Видання зберігається у :
Основний фонд

8.
ВА624917

Избранные вопросы теории булевых функций [Текст] / А. С. Балюк [и др.] ; ред. С. Ф. Винокуров, Ю. В. Перязева ; Федеральная целевая программа "Государственная поддержка интеграции высшего образования и фундаментальной науки на 1997-2000 годы". - М. : Физматлит, 2001. - 192 с.: рис. - Библиогр.: с. 188-191. - ISBN 5-9221-0085-8

Рубрикатор НБУВ:
 В123 
Тематичні рубрики:


Дод. точки доступу:
Балюк, Александр Сергеевич; Винокуров, Сергей Федорович; Гайдуков, Алексей Игоревич; Зубков, Олег Владимирович; Кириченко, Константин Дмитриевич; Винокуров, Сергей Федорович (ред.); Перязева, Юлия Валерьевна (ред.); Федеральная целевая программа "Государственная поддержка интеграции высшего образования и фундаментальной науки на 1997-2000 годы"

Видання зберігається у :
Основний фонд

9.
ДС76317
Гуца, Олег Николаевич.
Интерактивная модель перевода технических заданий в систему булевых формул [Текст] : дис... канд. техн. наук: 01.05.02 / Гуца Олег Николаевич ; Харьковский национальный ун-т радиоэлектроники. - Х., 2002. - 199 л.: рис., табл. - Библиогр.: л. 133-145

Рубрикатор НБУВ:
 В123 
Тематичні рубрики:


Дод. точки доступу:
Харьковский национальный университет радиоэлектроники

Видання зберігається у :
Основний фонд

10.
Глушков В.М./ВА950
Поспелов, Дмитрий Александрович.
Логические методы анализа и синтеза схем [Текст] / Д. А. Поспелов. - М. ; Ленинград : Энергия, 1964. - 320 с. : рис. - Бібліогр.: с. 316-320. - 9000 прим.
З дарчим написом Глушкову В. М. від авт.

Рубрикатор НБУВ:
 В123 
Тематичні рубрики:


Видання зберігається у :
Основний фонд

11.
Глушков В.М./ВА900

Математическая теория логического вывода [Текст] : сб. пер. / под ред.: А. В. Идельсона, Г. Е. Минца. - М. : Наука, Гл. ред. физ.-мат. лит., 1967. - 350 с. - (Математическая логика и основания математики). - Бібліогр.: с. 349-350. - 10000 прим.

Рубрикатор НБУВ:
 В123 
Тематичні рубрики:


Дод. точки доступу:
Идельсон, А. В. (ред.); Минц, Г. Е. (ред.)

Видання зберігається у :
Основний фонд

12.
РА370941
Ситник, Лариса Григорівна.
Методи логічного синтезу багатозначних оборотних неоднорідних модулів та їх застосування в системах штучного інтелекту [Текст] : автореф. дис. ... канд. техн. наук : 05.13.23 / Ситник Лариса Григорівна ; Харк. нац. ун-т радіоелектроніки. - Х., 2010. - 19 с.

Рубрикатор НБУВ:
 В123 
Тематичні рубрики:


Дод. точки доступу:
Харківський національний університет радіоелектроніки

Видання зберігається у :
Основний фонд

13.
Глушков В.М./ВА303
Рвачев, Владимир Логвинович.
Методы алгебры логики в математической физике [Текст] / В. Л. Рвачев ; АН УССР, Ин-т проблем машиностроения. - К. : Наукова думка, 1974. - 258, [1] с. - Бібліогр.: с. 251-257. - 3150 прим.
З дарчим написом В. М. Глушкову від авт.

Рубрикатор НБУВ:
 В123 
Тематичні рубрики:


Дод. точки доступу:
Академия наук Украинской ССР (Киев); Институт проблем машиностроения (Харьков)

Видання зберігається у :
Основний фонд

14.
ДС119243
Ситник, Лариса Григорьевна.
Методы логического синтеза многозначных обратимых неоднородных модулей и их применение в искусственном интеллекте [Текст] : дис. ... канд. техн. наук : 05.13.23 / Ситник Лариса Григорьевна ; Харьк. нац. ун-т радиоэлектроники. - Х., 2009. - 146 л. : рис. - Бібліогр.: арк. 135-146.

Рубрикатор НБУВ:
 В123 
Тематичні рубрики:


Дод. точки доступу:
Харьковский национальный университет радиоэлектроники

Видання зберігається у :
Основний фонд

15.
РА383018
Процай, Наталія Тимофіївна.
Моделі і методи аналізу та синтезу логічних мереж на основі алгебри предикатів і предикатних операцій [Текст] : автореф. дис. ... канд. техн. наук : 01.05.02 / Процай Наталія Тимофіївна ; Нац. техн. ун-т "Харк. політехн. ін-т". - Х., 2011. - 20 с. : рис.

Рубрикатор НБУВ:
 В123 
Тематичні рубрики:


Дод. точки доступу:
"Харківський політехнічний інститут", національний технічний університет

Видання зберігається у :
Основний фонд

16.
ДС128494
Процай, Наталья Тимофеевна.
Модели и методы анализа и синтеза логических сетей на основе алгебры предикатов и предикатных операций [Текст] : дис. ... канд. техн. наук : 01.05.02 / Процай Наталья Тимофеевна ; Харьк. нац. ун-т радиоэлектроники. - Х., 2011. - 153 л. - Бібліогр.: арк. 139-153.

Рубрикатор НБУВ:
 В123 
Тематичні рубрики:


Дод. точки доступу:
Харьковский национальный университет радиоэлектроники

Видання зберігається у :
Основний фонд

17.
Глушков В. М. /Р26
Яблонский, С. В.
О невозможности элиминации перебора всех функций из Р2 при решении некоторых задач теории схем [Текст] / С. В. Яблонский. - [М.] : [б. и.], 1959. - С. 44-47. - Библиогр.: с. 47
Отт. из Докл. Акад. наук СССР. - 1959.- Т. 124, № 1. - С дарств. надписью

Рубрикатор НБУВ:
 В123 
Тематичні рубрики:


Видання зберігається у :
Основний фонд

18.
Глушков В. М. /Р29
Рабинович, З. Л.
Об одном классе канонических форм представления трёхзначных функций [Текст] / З. Л. Рабинович, Ю. Л. Иваськив. - М. : [б. и.], 1963. - С. 27-33 : табл.
Отд. отт. из изд.: Известия Академии наук СССР. Техническая кибернетика. - 1963, № 5. - С дарств. надписью

Рубрикатор НБУВ:
 В123 
Тематичні рубрики:


Дод. точки доступу:
Иваськив, Ю. Л.

Видання зберігається у :
Основний фонд

19.
Глушков В.М./ВА633
Гильберт, Д.
Основы теоретической логики [Текст] / Д. Гильберт, В. Аккерман ; пер. с нем. А. А. Ерофеева ; ред., вступ. ст. и коммент. проф. С. А. Яновской. - М. : Гос. изд-во иностр. лит., 1947. - 302 с. - Бібліогр.: с. 297-298. - Пер. изд. : Grundzuge der theoretischen Logik / D. Hilbert, W. Ackermann. - 2., verb. Aufl. - New York, 1946. - 10000 прим.

Рубрикатор НБУВ:
 В123 
Тематичні рубрики:


Дод. точки доступу:
Аккерман, В.; Ерофеева, А. А. (пер.); Яновская, С. А. (ред., авт. вступ. ст.); Hilbert, D.; Ackermann, W.

Видання зберігається у :
Основний фонд

20.
ВА635517
Закревский, Аркадий Дмитриевич.
Полиномиальная реализация частичных булевых функций и систем [Текст] / А. Д. Закревский, Н. Р. Торопов ; НАН Беларуси, Институт технической кибернетики. - Минск : [б.и.], 2001. - 200 с.: рис. - Библиогр.: с. 171-175. - ISBN 985-6453-71-2

Рубрикатор НБУВ:
 В123 
Тематичні рубрики:


Дод. точки доступу:
Торопов, Николай Романович; НАН БеларусиИнститут технической кибернетики (Минск)

Видання зберігається у :
Основний фонд

...
 
Відділ інформаційно-комунікаційних технологій
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського