Пошуковий запит: (<.>U=В123$<.>) |
Загальна кількість знайдених документів : 39
Представлено документи з 1 до 20
|
| | |
1.  |
ДС76317
Гуца, Олег Николаевич.
Интерактивная модель перевода технических заданий в систему булевых формул [Текст] : дис... канд. техн. наук: 01.05.02 / Гуца Олег Николаевич ; Харьковский национальный ун-т радиоэлектроники. - Х., 2002. - 199 л.: рис., табл. - Библиогр.: л. 133-145Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харьковский национальный университет радиоэлектроники
Видання зберігається у :
Основний фонд
|
| 2. |
РА321007
Гуца, Олег Миколайович.
Інтерактивна модель перекладу технічних завдань у систему булевих формул [Текст] : автореф. дис... канд. техн. наук: 01.05.02 / Гуца Олег Миколайович ; Харківський національний ун-т радіоелектроніки. - Х., 2002. - 19 с.: рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 3. |
РА370941
Ситник, Лариса Григорівна.
Методи логічного синтезу багатозначних оборотних неоднорідних модулів та їх застосування в системах штучного інтелекту [Текст] : автореф. дис. ... канд. техн. наук : 05.13.23 / Ситник Лариса Григорівна ; Харк. нац. ун-т радіоелектроніки. - Х., 2010. - 19 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 4. |
В345249/Ч. 1
Блюмин, Семен Львович
Математическое обеспечение информационных технологий [Текст] : учеб. пособие / С. Л. Блюмин [и др.]. - Липецк : НОУ "Липецкий эколого-гуманитарный ин-т", 2001 .
Ч. 1 : Реляционная математика и базы данных. - [Б. м.] : [б.и.], 2001. - 74 с. - Библиогр.: с. 74Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Погодаев, Анатолий Кирьянович; Тарасов, Николай Анатольевич; НОУ "Липецкий эколого-гуманитарный институт"
Видання зберігається у :
Основний фонд
|
| 5. |
ВА624917
Избранные вопросы теории булевых функций [Текст] / А. С. Балюк [и др.] ; ред. С. Ф. Винокуров, Ю. В. Перязева ; Федеральная целевая программа "Государственная поддержка интеграции высшего образования и фундаментальной науки на 1997-2000 годы". - М. : Физматлит, 2001. - 192 с.: рис. - Библиогр.: с. 188-191. - ISBN 5-9221-0085-8Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Балюк, Александр Сергеевич; Винокуров, Сергей Федорович; Гайдуков, Алексей Игоревич; Зубков, Олег Владимирович; Кириченко, Константин Дмитриевич; Винокуров, Сергей Федорович (ред.); Перязева, Юлия Валерьевна (ред.); Федеральная целевая программа "Государственная поддержка интеграции высшего образования и фундаментальной науки на 1997-2000 годы"
Видання зберігається у :
Основний фонд
|
| 6. |
ВА627080
Трохимчук, Ростислав Миколайович.
Булеві функції [Текст] : навч. посібник / Р. М. Трохимчук ; Київський національний ун-т ім. Тараса Шевченка. - К. : ВПЦ "Київський університет", 2001. - 82 с.: рис. - Бібліогр.: с.81.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 7. |
ВА635517
Закревский, Аркадий Дмитриевич.
Полиномиальная реализация частичных булевых функций и систем [Текст] / А. Д. Закревский, Н. Р. Торопов ; НАН Беларуси, Институт технической кибернетики. - Минск : [б.и.], 2001. - 200 с.: рис. - Библиогр.: с. 171-175. - ISBN 985-6453-71-2Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Торопов, Николай Романович; НАН БеларусиИнститут технической кибернетики (Минск)
Видання зберігається у :
Основний фонд
|
| 8. |
ВА637418
Трохимчук, Ростислав Миколайович.
Збірник задач з теорії булевих функцій [Текст] : навч. посібник / Р. М. Трохимчук ; Київський національний ун-т ім. Тараса Шевченка. - К. : ВПЦ "Київський ун-т", 2002. - 104 с. - Бібліогр.: с. 103Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 9. |
ВА657238
Марченков, Сергей Серафимович.
Замкнутые классы булевых функций [Текст] / С. С. Марченков. - М. : Физматлит, 2000. - 126 с. - Библиогр.: с. 119-121. - ISBN 5-9221-0066-1Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 10. |
ВА684505
Поттосин, Юрий Васильевич.
Табличные методы декомпозиции систем полностью определенных булевых функций [Текст] / Ю. В. Поттосин, Е. А. Шестаков ; НАН Беларуси, Объединенный ин-т проблем информатики. - Минск : Белорусская наука, 2006. - 327 с.: табл. - Библиогр.: с. 317-321 (71 назв.). - ISBN 985-08-0732-6Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Шестаков, Евгений Анатольевич; НАН БеларусиОбъединенный институт проблем информатики
Видання зберігається у :
Основний фонд
|
| 11. |
ВА688775
Кравченко, Виктор Филиппович.
Алгебра логики, атомарные функции и вейвлеты в физических приложениях [Текст] : учеб. пособие для студ. вузов по направлению "Прикладная физика" / В. Ф. Кравченко, В. Л. Рвачев. - М. : Физматлит, 2006. - 415 с. - Библиогр.: с. 399-415. - ISBN 5-9221-0752-6Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Рвачев, Владимир Логвинович
Видання зберігається у :
Основний фонд
|
| 12. |
Р113459
Гнатенко, Валерий Юрьевич.
Применение логико-вероятностного исчисления для решения булевых уравнений [Текст] / В. Ю. Гнатенко. - О. : Астропринт, 2008. - 7 с. - Библиогр.: с. 7. - ISBN 978-966-190-080-5Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 13. |
ВА719966
Бибило, Петр Николаевич.
Декомпозиция булевых функций на основе решения логических уравнений [Текст] : [монография] / П. Н. Бибило ; НАН Беларуси, Объединенный ин-т проблем информатики. - Минск : Беларуская навука, 2009. - 211 с.: табл., рис. - Библиогр.: с. 203-209. - ISBN 978-985-08-1072-4Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
НАН Беларуси; Объединенный институт проблем информатики
Видання зберігається у :
Основний фонд
|
| 14. |
Р114199
Інформаційні технології. Алгебра логіки [Текст] : метод. вказівки до вивч. теми для студ. напряму підготов. 6.051501 "Видавничо-поліграфічна справа" / Національний технічний ун-т України "Київський політехнічний ін-т" ; уклад. Т. Ю. Киричок ; відп. ред. П. О. Киричок. - К. : НТУУ "КПІ", 2009. - 33 с.: рис., табл. - Бібліогр.: с. 33Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Киричок, П. О. (відп. ред.); Киричок, Тетяна Юріївна (уклад.); Національний технічний університет України "Київський політехнічний інститут" (Київ)
Видання зберігається у :
Основний фонд
|
| 15. |
Р115239
Методичні вказівки до виконання розрахункового завдання "Алгебра логіки" та курсового проектування з курсів "Математична логіка і теорія алгоритмів", "Дискретна математика" для студентів напрямків 6.040303 "Системний аналіз", 6.040302 "Інформатика" [Текст] / Національний технічний ун-т "Харківський політехнічний ін-т" ; уклад. Л. Б. Кащеєв, Н. А. Марченко. - Х. : НТУ "ХПІ", 2009. - 44 с.: рис. - Бібліогр.: с. 42Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Кащеєв, Леонід Борисович (уклад.); Марченко, Наталя Андріївна (уклад.); Національний технічний університет "Харківський політехнічний інститут" (Харків)
Видання зберігається у :
Основний фонд
|
| 16. |
Глушков В.М./ВА173
Гиндикин, Семён Григорьевич.
Алгебра логики в задачах [Текст] / С. Г. Гиндикин. - М. : Наука, Гл. ред. физ.-мат. лит., 1972. - 288 с. : рис. - Бібліогр.: с. 282-284 . - 50000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 17. |
Глушков В.М./ВА148
Калужнін, Лев Аркадійович.
Алгоритми і математичні машини [Текст] : навч. посіб. для студ. фіз.-мат. ф-тів пед. ін-тів УРСР / Л. А. Калужнін, В. С. Королюк. - К. : Радянська школа, 1964. - 282 с. : табл. - Бібліогр.: с. 279-280. - 2800 прим.
З дарчим написом В. М. Глушкову від авт.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Королюк, Володимир Семенович
Видання зберігається у :
Основний фонд
|
| 18. |
Глушков В.М./ВА633
Гильберт, Д.
Основы теоретической логики [Текст] / Д. Гильберт, В. Аккерман ; пер. с нем. А. А. Ерофеева ; ред., вступ. ст. и коммент. проф. С. А. Яновской. - М. : Гос. изд-во иностр. лит., 1947. - 302 с. - Бібліогр.: с. 297-298. - Пер. изд. : Grundzuge der theoretischen Logik / D. Hilbert, W. Ackermann. - 2., verb. Aufl. - New York, 1946. - 10000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Аккерман, В.; Ерофеева, А. А. (пер.); Яновская, С. А. (ред., авт. вступ. ст.); Hilbert, D.; Ackermann, W.
Видання зберігається у :
Основний фонд
|
| 19. |
Глушков В.М./ВА233
Рвачев, Владимир Логвинович.
Геометрические приложения алгебры логики [Текст] / В. Л. Рвачев. - К. : Техніка, 1967. - 212 с. : рис. - Бібліогр.: с. 207-209 . - 5800 прим.
З дарчим написом В. М. Глушкову від авт.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 20. |
Глушков В.М./В48/2
 Глушков, Виктор Михайлович
Цикл лекций "Основы математической логики" на научно-техническом семинаре "Математический аппарат кибернетики" [Текст] / Акад. Глушков В. М. - К. : [б. и.].
Лекция 2 : Алгебра логики / Киев. Дом науч.-техн. пропаганды. - 1961. - 26 с. - 1000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Киевский Дом научно-технической пропаганды; "Математический аппарат кибернетики", научно-технический семинар
Видання зберігається у :
Основний фонд
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача