Пошуковий запит: (<.>U=В123$<.>) |
Загальна кількість знайдених документів : 39
Представлено документи з 1 до 20
|
| | |
1.  |
В349988/2
Експертні системи [Текст] : навч. посіб. / Вінниц. нац. техн. ун-т. - Вінниця : ВНТУ, 2006 .
Ч. 2 / А. А. Яровий, І. Р. Арсенюк, В. І. Месюра. - 2017. - 104 с. : рис. - Бібліогр.: с. 99-101. - 50 (1-й запуск 1-20) прим.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Яровий, Андрій Анатолійович; Арсенюк, Ігор Ростиславович; Месюра, Володимир Іванович; Вінницький національний технічний університет
Видання зберігається у :
Основний фонд
|
| 2. |
Глушков В.М./ВА1047
Яблонский, Сергей Всеволодович.
Функции алгебры логики и классы Поста [Текст] / С. В. Яблонский, Г. П. Гаврилов, В. Б. Кудрявцев. - М. : Наука, Гл. ред. физ.-мат. лит., 1966. - 119 с. : рис., табл. - (Математическая логика и основания математики). - Бібліогр.: с. 113-115. - 10000 прим.
З дарчим написом В. М. Глушкову від авт.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Гаврилов, Гарий Петрович; Кудрявцев, Валерий Борисович
Видання зберігається у :
Основний фонд
|
| 3. |
Глушков В. М. /Р26
Яблонский, С. В.
О невозможности элиминации перебора всех функций из Р2 при решении некоторых задач теории схем [Текст] / С. В. Яблонский. - [М.] : [б. и.], 1959. - С. 44-47. - Библиогр.: с. 47
Отт. из Докл. Акад. наук СССР. - 1959.- Т. 124, № 1. - С дарств. надписьюРубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 4. |
ДС125296
 Шкільняк, Степан Степанович.
Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм [Текст] : дис. ... д-ра фіз.-мат. наук : 01.05.01 / Шкільняк Степан Степанович ; Київ. нац. ун-т ім. Т. Шевченка. - К., 2010. - 348 арк. - Бібліогр.: арк. 294-309.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 5. |
РА376553
Шкільняк, Степан Степанович.
Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм [Текст] : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.01 / Шкільняк Степан Степанович ; Київ. нац. ун-т ім. Т. Шевченка. - К., 2010. - 32 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 6. |
ВА637418
Трохимчук, Ростислав Миколайович.
Збірник задач з теорії булевих функцій [Текст] : навч. посібник / Р. М. Трохимчук ; Київський національний ун-т ім. Тараса Шевченка. - К. : ВПЦ "Київський ун-т", 2002. - 104 с. - Бібліогр.: с. 103Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 7. |
ВА627080
Трохимчук, Ростислав Миколайович.
Булеві функції [Текст] : навч. посібник / Р. М. Трохимчук ; Київський національний ун-т ім. Тараса Шевченка. - К. : ВПЦ "Київський університет", 2001. - 82 с.: рис. - Бібліогр.: с.81.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 8. |
ДС119243
Ситник, Лариса Григорьевна.
Методы логического синтеза многозначных обратимых неоднородных модулей и их применение в искусственном интеллекте [Текст] : дис. ... канд. техн. наук : 05.13.23 / Ситник Лариса Григорьевна ; Харьк. нац. ун-т радиоэлектроники. - Х., 2009. - 146 л. : рис. - Бібліогр.: арк. 135-146. Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харьковский национальный университет радиоэлектроники
Видання зберігається у :
Основний фонд
|
| 9. |
РА370941
Ситник, Лариса Григорівна.
Методи логічного синтезу багатозначних оборотних неоднорідних модулів та їх застосування в системах штучного інтелекту [Текст] : автореф. дис. ... канд. техн. наук : 05.13.23 / Ситник Лариса Григорівна ; Харк. нац. ун-т радіоелектроніки. - Х., 2010. - 19 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 10. |
ВА750389
Редько, Ігор Володимирович.
Експертні системи. Логіко-математичні засади експертних систем. Логіка, алгебра та числення висловлювань [Текст] : навч. посіб. / І. В. Редько ; Нац. техн. ун-т України "Київ. політехн. ін-т", Ф-т електрон. - К. : НТУУ "КПІ", 2012. - 80 с. : табл. - Бібліогр.: с. 79-80. - 50 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
"Київський політехнічний інститут", національний технічний університет України . Факультет електроніки
Видання зберігається у :
Основний фонд
|
| 11. |
Глушков В.М./ВА303
Рвачев, Владимир Логвинович.
Методы алгебры логики в математической физике [Текст] / В. Л. Рвачев ; АН УССР, Ин-т проблем машиностроения. - К. : Наукова думка, 1974. - 258, [1] с. - Бібліогр.: с. 251-257. - 3150 прим.
З дарчим написом В. М. Глушкову від авт.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Академия наук Украинской ССР (Киев); Институт проблем машиностроения (Харьков)
Видання зберігається у :
Основний фонд
|
| 12. |
Глушков В.М./ВА233
Рвачев, Владимир Логвинович.
Геометрические приложения алгебры логики [Текст] / В. Л. Рвачев. - К. : Техніка, 1967. - 212 с. : рис. - Бібліогр.: с. 207-209 . - 5800 прим.
З дарчим написом В. М. Глушкову від авт.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 13. |
Глушков В. М. /Р29
Рабинович, З. Л.
Об одном классе канонических форм представления трёхзначных функций [Текст] / З. Л. Рабинович, Ю. Л. Иваськив. - М. : [б. и.], 1963. - С. 27-33 : табл.
Отд. отт. из изд.: Известия Академии наук СССР. Техническая кибернетика. - 1963, № 5. - С дарств. надписьюРубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Иваськив, Ю. Л.
Видання зберігається у :
Основний фонд
|
| 14. |
ДС128494
Процай, Наталья Тимофеевна.
Модели и методы анализа и синтеза логических сетей на основе алгебры предикатов и предикатных операций [Текст] : дис. ... канд. техн. наук : 01.05.02 / Процай Наталья Тимофеевна ; Харьк. нац. ун-т радиоэлектроники. - Х., 2011. - 153 л. - Бібліогр.: арк. 139-153.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харьковский национальный университет радиоэлектроники
Видання зберігається у :
Основний фонд
|
| 15. |
РА383018
Процай, Наталія Тимофіївна.
Моделі і методи аналізу та синтезу логічних мереж на основі алгебри предикатів і предикатних операцій [Текст] : автореф. дис. ... канд. техн. наук : 01.05.02 / Процай Наталія Тимофіївна ; Нац. техн. ун-т "Харк. політехн. ін-т". - Х., 2011. - 20 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
"Харківський політехнічний інститут", національний технічний університет
Видання зберігається у :
Основний фонд
|
| 16. |
ВА684505
Поттосин, Юрий Васильевич.
Табличные методы декомпозиции систем полностью определенных булевых функций [Текст] / Ю. В. Поттосин, Е. А. Шестаков ; НАН Беларуси, Объединенный ин-т проблем информатики. - Минск : Белорусская наука, 2006. - 327 с.: табл. - Библиогр.: с. 317-321 (71 назв.). - ISBN 985-08-0732-6Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Шестаков, Евгений Анатольевич; НАН БеларусиОбъединенный институт проблем информатики
Видання зберігається у :
Основний фонд
|
| 17. |
Глушков В.М./ВА950
Поспелов, Дмитрий Александрович.
Логические методы анализа и синтеза схем [Текст] / Д. А. Поспелов. - М. ; Ленинград : Энергия, 1964. - 320 с. : рис. - Бібліогр.: с. 316-320. - 9000 прим.
З дарчим написом Глушкову В. М. від авт.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 18. |
Р127956
Методичні вказівки до практичних робіт "Логіка висловлювань. Аналіз формул логіки висловлювань" з курсу "Математична логіка та теорія алгоритмів" для студентів спеціальності "Прикладна математика" [Текст] / Нац. техн. ун-т "Харків. політехн. ін-т" ; [уклад.: Вечірська І. Д., Процай Н. Т.]. - Харків : НТУ "ХПІ", 2015. - 14 с. : табл. - Бібліогр.: с. 13. - 50 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Вечірська, Ірина Дмитрівна (уклад.); Процай, Наталія Тимофіївна (уклад.); "Харківський політехнічний інститут", національний технічний університет
Видання зберігається у :
Основний фонд
|
| 19. |
Р115239
Методичні вказівки до виконання розрахункового завдання "Алгебра логіки" та курсового проектування з курсів "Математична логіка і теорія алгоритмів", "Дискретна математика" для студентів напрямків 6.040303 "Системний аналіз", 6.040302 "Інформатика" [Текст] / Національний технічний ун-т "Харківський політехнічний ін-т" ; уклад. Л. Б. Кащеєв, Н. А. Марченко. - Х. : НТУ "ХПІ", 2009. - 44 с.: рис. - Бібліогр.: с. 42Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Кащеєв, Леонід Борисович (уклад.); Марченко, Наталя Андріївна (уклад.); Національний технічний університет "Харківський політехнічний інститут" (Харків)
Видання зберігається у :
Основний фонд
|
| 20. |
Глушков В.М./ВА900
Математическая теория логического вывода [Текст] : сб. пер. / под ред.: А. В. Идельсона, Г. Е. Минца. - М. : Наука, Гл. ред. физ.-мат. лит., 1967. - 350 с. - (Математическая логика и основания математики). - Бібліогр.: с. 349-350. - 10000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Идельсон, А. В. (ред.); Минц, Г. Е. (ред.)
Видання зберігається у :
Основний фонд
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача