Пошуковий запит: (<.>U=В123$<.>) |
Загальна кількість знайдених документів : 39
Представлено документи з 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Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Sobolev institute of mathematics SB RAS
Видання зберігається у :
|
| 2. |
РА321007
Гуца, Олег Миколайович.
Інтерактивна модель перекладу технічних завдань у систему булевих формул [Текст] : автореф. дис... канд. техн. наук: 01.05.02 / Гуца Олег Миколайович ; Харківський національний ун-т радіоелектроніки. - Х., 2002. - 19 с.: рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 3. |
Р114199
Інформаційні технології. Алгебра логіки [Текст] : метод. вказівки до вивч. теми для студ. напряму підготов. 6.051501 "Видавничо-поліграфічна справа" / Національний технічний ун-т України "Київський політехнічний ін-т" ; уклад. Т. Ю. Киричок ; відп. ред. П. О. Киричок. - К. : НТУУ "КПІ", 2009. - 33 с.: рис., табл. - Бібліогр.: с. 33Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Киричок, П. О. (відп. ред.); Киричок, Тетяна Юріївна (уклад.); Національний технічний університет України "Київський політехнічний інститут" (Київ)
Видання зберігається у :
Основний фонд
|
| 4. |
Глушков В.М./ВА173
Гиндикин, Семён Григорьевич.
Алгебра логики в задачах [Текст] / С. Г. Гиндикин. - М. : Наука, Гл. ред. физ.-мат. лит., 1972. - 288 с. : рис. - Бібліогр.: с. 282-284 . - 50000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 5. |
ВА688775
Кравченко, Виктор Филиппович.
Алгебра логики, атомарные функции и вейвлеты в физических приложениях [Текст] : учеб. пособие для студ. вузов по направлению "Прикладная физика" / В. Ф. Кравченко, В. Л. Рвачев. - М. : Физматлит, 2006. - 415 с. - Библиогр.: с. 399-415. - ISBN 5-9221-0752-6Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Рвачев, Владимир Логвинович
Видання зберігається у :
Основний фонд
|
| 6. |
Глушков В.М./ВА148
Калужнін, Лев Аркадійович.
Алгоритми і математичні машини [Текст] : навч. посіб. для студ. фіз.-мат. ф-тів пед. ін-тів УРСР / Л. А. Калужнін, В. С. Королюк. - К. : Радянська школа, 1964. - 282 с. : табл. - Бібліогр.: с. 279-280. - 2800 прим.
З дарчим написом В. М. Глушкову від авт.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Королюк, Володимир Семенович
Видання зберігається у :
Основний фонд
|
| 7. |
ВА627080
Трохимчук, Ростислав Миколайович.
Булеві функції [Текст] : навч. посібник / Р. М. Трохимчук ; Київський національний ун-т ім. Тараса Шевченка. - К. : ВПЦ "Київський університет", 2001. - 82 с.: рис. - Бібліогр.: с.81.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 8. |
Глушков В.М./ВА233
Рвачев, Владимир Логвинович.
Геометрические приложения алгебры логики [Текст] / В. Л. Рвачев. - К. : Техніка, 1967. - 212 с. : рис. - Бібліогр.: с. 207-209 . - 5800 прим.
З дарчим написом В. М. Глушкову від авт.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 9. |
ВА719966
Бибило, Петр Николаевич.
Декомпозиция булевых функций на основе решения логических уравнений [Текст] : [монография] / П. Н. Бибило ; НАН Беларуси, Объединенный ин-т проблем информатики. - Минск : Беларуская навука, 2009. - 211 с.: табл., рис. - Библиогр.: с. 203-209. - ISBN 978-985-08-1072-4Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
НАН Беларуси; Объединенный институт проблем информатики
Видання зберігається у :
Основний фонд
|
| 10. |
В349988/2
Експертні системи [Текст] : навч. посіб. / Вінниц. нац. техн. ун-т. - Вінниця : ВНТУ, 2006 .
Ч. 2 / А. А. Яровий, І. Р. Арсенюк, В. І. Месюра. - 2017. - 104 с. : рис. - Бібліогр.: с. 99-101. - 50 (1-й запуск 1-20) прим.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Яровий, Андрій Анатолійович; Арсенюк, Ігор Ростиславович; Месюра, Володимир Іванович; Вінницький національний технічний університет
Видання зберігається у :
Основний фонд
|
| 11. |
ВА750389
 Редько, Ігор Володимирович.
Експертні системи. Логіко-математичні засади експертних систем. Логіка, алгебра та числення висловлювань [Текст] : навч. посіб. / І. В. Редько ; Нац. техн. ун-т України "Київ. політехн. ін-т", Ф-т електрон. - К. : НТУУ "КПІ", 2012. - 80 с. : табл. - Бібліогр.: с. 79-80. - 50 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
"Київський політехнічний інститут", національний технічний університет України . Факультет електроніки
Видання зберігається у :
Основний фонд
|
| 12. |
ВА657238
Марченков, Сергей Серафимович.
Замкнутые классы булевых функций [Текст] / С. С. Марченков. - М. : Физматлит, 2000. - 126 с. - Библиогр.: с. 119-121. - ISBN 5-9221-0066-1Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 13. |
ВА637418
Трохимчук, Ростислав Миколайович.
Збірник задач з теорії булевих функцій [Текст] : навч. посібник / Р. М. Трохимчук ; Київський національний ун-т ім. Тараса Шевченка. - К. : ВПЦ "Київський ун-т", 2002. - 104 с. - Бібліогр.: с. 103Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 14. |
ВА624917
Избранные вопросы теории булевых функций [Текст] / А. С. Балюк [и др.] ; ред. С. Ф. Винокуров, Ю. В. Перязева ; Федеральная целевая программа "Государственная поддержка интеграции высшего образования и фундаментальной науки на 1997-2000 годы". - М. : Физматлит, 2001. - 192 с.: рис. - Библиогр.: с. 188-191. - ISBN 5-9221-0085-8Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Балюк, Александр Сергеевич; Винокуров, Сергей Федорович; Гайдуков, Алексей Игоревич; Зубков, Олег Владимирович; Кириченко, Константин Дмитриевич; Винокуров, Сергей Федорович (ред.); Перязева, Юлия Валерьевна (ред.); Федеральная целевая программа "Государственная поддержка интеграции высшего образования и фундаментальной науки на 1997-2000 годы"
Видання зберігається у :
Основний фонд
|
| 15. |
ДС76317
Гуца, Олег Николаевич.
Интерактивная модель перевода технических заданий в систему булевых формул [Текст] : дис... канд. техн. наук: 01.05.02 / Гуца Олег Николаевич ; Харьковский национальный ун-т радиоэлектроники. - Х., 2002. - 199 л.: рис., табл. - Библиогр.: л. 133-145Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харьковский национальный университет радиоэлектроники
Видання зберігається у :
Основний фонд
|
| 16. |
Глушков В.М./ВА950
Поспелов, Дмитрий Александрович.
Логические методы анализа и синтеза схем [Текст] / Д. А. Поспелов. - М. ; Ленинград : Энергия, 1964. - 320 с. : рис. - Бібліогр.: с. 316-320. - 9000 прим.
З дарчим написом Глушкову В. М. від авт.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 17. |
Глушков В.М./ВА900
Математическая теория логического вывода [Текст] : сб. пер. / под ред.: А. В. Идельсона, Г. Е. Минца. - М. : Наука, Гл. ред. физ.-мат. лит., 1967. - 350 с. - (Математическая логика и основания математики). - Бібліогр.: с. 349-350. - 10000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Идельсон, А. В. (ред.); Минц, Г. Е. (ред.)
Видання зберігається у :
Основний фонд
|
| 18. |
В345249/Ч. 1
Блюмин, Семен Львович
Математическое обеспечение информационных технологий [Текст] : учеб. пособие / С. Л. Блюмин [и др.]. - Липецк : НОУ "Липецкий эколого-гуманитарный ин-т", 2001 .
Ч. 1 : Реляционная математика и базы данных. - [Б. м.] : [б.и.], 2001. - 74 с. - Библиогр.: с. 74Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Погодаев, Анатолий Кирьянович; Тарасов, Николай Анатольевич; НОУ "Липецкий эколого-гуманитарный институт"
Видання зберігається у :
Основний фонд
|
| 19. |
РА370941
Ситник, Лариса Григорівна.
Методи логічного синтезу багатозначних оборотних неоднорідних модулів та їх застосування в системах штучного інтелекту [Текст] : автореф. дис. ... канд. техн. наук : 05.13.23 / Ситник Лариса Григорівна ; Харк. нац. ун-т радіоелектроніки. - Х., 2010. - 19 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 20. |
Р115239
Методичні вказівки до виконання розрахункового завдання "Алгебра логіки" та курсового проектування з курсів "Математична логіка і теорія алгоритмів", "Дискретна математика" для студентів напрямків 6.040303 "Системний аналіз", 6.040302 "Інформатика" [Текст] / Національний технічний ун-т "Харківський політехнічний ін-т" ; уклад. Л. Б. Кащеєв, Н. А. Марченко. - Х. : НТУ "ХПІ", 2009. - 44 с.: рис. - Бібліогр.: с. 42Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Кащеєв, Леонід Борисович (уклад.); Марченко, Наталя Андріївна (уклад.); Національний технічний університет "Харківський політехнічний інститут" (Харків)
Видання зберігається у :
Основний фонд
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача