Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>U=В123$<.>) |
Загальна кількість знайдених документів : 39
Представлено документи з 1 до 20
|
| |
1. | В349988/2 Експертні системи [Текст] : навч. посіб. / Вінниц. нац. техн. ун-т. - Вінниця : ВНТУ, 2006 . Ч. 2 / А. А. Яровий, І. Р. Арсенюк, В. І. Месюра. - 2017. - 104 с. : рис. - Бібліогр.: с. 99-101. - 50 (1-й запуск 1-20) прим.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Яровий, Андрій Анатолійович; Арсенюк, Ігор Ростиславович; Месюра, Володимир Іванович; Вінницький національний технічний університет
Видання зберігається у :
Основний фонд
| 2. | Р127956 Методичні вказівки до практичних робіт "Логіка висловлювань. Аналіз формул логіки висловлювань" з курсу "Математична логіка та теорія алгоритмів" для студентів спеціальності "Прикладна математика" [Текст] / Нац. техн. ун-т "Харків. політехн. ін-т" ; [уклад.: Вечірська І. Д., Процай Н. Т.]. - Харків : НТУ "ХПІ", 2015. - 14 с. : табл. - Бібліогр.: с. 13. - 50 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Вечірська, Ірина Дмитрівна (уклад.); Процай, Наталія Тимофіївна (уклад.); "Харківський політехнічний інститут", національний технічний університет
Видання зберігається у :
Основний фонд
| 3. | ВА780867 Драган, Григорий Сильвестрович. Элементы алгебры высказываний и логики предикатов [Текст] : учеб.-метод. пособие для студентов 1-го курса направления подгот. 040301 "Прикладная математика" / Г. С. Драган, С. В. Федоровский ; Одес. нац. ун-т им. И. И. Мечникова, Ильичев. ин-т. - Одесса : ОНУ, 2014. - 98 с. - Бібліогр.: с. 98. - 50 прим. - ISBN 978-617-689-075-1Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Федоровский, Сергей Васильевич; Одесский национальный университет имени И. И. Мечникова. Ильичевский институт
Видання зберігається у :
Основний фонд
| 4. | ВА750389 Редько, Ігор Володимирович. Експертні системи. Логіко-математичні засади експертних систем. Логіка, алгебра та числення висловлювань [Текст] : навч. посіб. / І. В. Редько ; Нац. техн. ун-т України "Київ. політехн. ін-т", Ф-т електрон. - К. : НТУУ "КПІ", 2012. - 80 с. : табл. - Бібліогр.: с. 79-80. - 50 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: "Київський політехнічний інститут", національний технічний університет України . Факультет електроніки
Видання зберігається у :
Основний фонд
| 5. | ВА719966 Бибило, Петр Николаевич. Декомпозиция булевых функций на основе решения логических уравнений [Текст] : [монография] / П. Н. Бибило ; НАН Беларуси, Объединенный ин-т проблем информатики. - Минск : Беларуская навука, 2009. - 211 с.: табл., рис. - Библиогр.: с. 203-209. - ISBN 978-985-08-1072-4Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: НАН Беларуси; Объединенный институт проблем информатики
Видання зберігається у :
Основний фонд
| 6. | Р114199 Інформаційні технології. Алгебра логіки [Текст] : метод. вказівки до вивч. теми для студ. напряму підготов. 6.051501 "Видавничо-поліграфічна справа" / Національний технічний ун-т України "Київський політехнічний ін-т" ; уклад. Т. Ю. Киричок ; відп. ред. П. О. Киричок. - К. : НТУУ "КПІ", 2009. - 33 с.: рис., табл. - Бібліогр.: с. 33Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Киричок, П. О. (відп. ред.); Киричок, Тетяна Юріївна (уклад.); Національний технічний університет України "Київський політехнічний інститут" (Київ)
Видання зберігається у :
Основний фонд
| 7. | Р115239 Методичні вказівки до виконання розрахункового завдання "Алгебра логіки" та курсового проектування з курсів "Математична логіка і теорія алгоритмів", "Дискретна математика" для студентів напрямків 6.040303 "Системний аналіз", 6.040302 "Інформатика" [Текст] / Національний технічний ун-т "Харківський політехнічний ін-т" ; уклад. Л. Б. Кащеєв, Н. А. Марченко. - Х. : НТУ "ХПІ", 2009. - 44 с.: рис. - Бібліогр.: с. 42Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Кащеєв, Леонід Борисович (уклад.); Марченко, Наталя Андріївна (уклад.); Національний технічний університет "Харківський політехнічний інститут" (Харків)
Видання зберігається у :
Основний фонд
| 8. | Р113459 Гнатенко, Валерий Юрьевич. Применение логико-вероятностного исчисления для решения булевых уравнений [Текст] / В. Ю. Гнатенко. - О. : Астропринт, 2008. - 7 с. - Библиогр.: с. 7. - ISBN 978-966-190-080-5Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| 9. | ВА688775 Кравченко, Виктор Филиппович. Алгебра логики, атомарные функции и вейвлеты в физических приложениях [Текст] : учеб. пособие для студ. вузов по направлению "Прикладная физика" / В. Ф. Кравченко, В. Л. Рвачев. - М. : Физматлит, 2006. - 415 с. - Библиогр.: с. 399-415. - ISBN 5-9221-0752-6Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Рвачев, Владимир Логвинович
Видання зберігається у :
Основний фонд
| 10. | ІР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
Видання зберігається у :
| 11. | ВА684505 Поттосин, Юрий Васильевич. Табличные методы декомпозиции систем полностью определенных булевых функций [Текст] / Ю. В. Поттосин, Е. А. Шестаков ; НАН Беларуси, Объединенный ин-т проблем информатики. - Минск : Белорусская наука, 2006. - 327 с.: табл. - Библиогр.: с. 317-321 (71 назв.). - ISBN 985-08-0732-6Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Шестаков, Евгений Анатольевич; НАН БеларусиОбъединенный институт проблем информатики
Видання зберігається у :
Основний фонд
| 12. | ВА637418 Трохимчук, Ростислав Миколайович. Збірник задач з теорії булевих функцій [Текст] : навч. посібник / Р. М. Трохимчук ; Київський національний ун-т ім. Тараса Шевченка. - К. : ВПЦ "Київський ун-т", 2002. - 104 с. - Бібліогр.: с. 103Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| 13. | ВА624917 Избранные вопросы теории булевых функций [Текст] / А. С. Балюк [и др.] ; ред. С. Ф. Винокуров, Ю. В. Перязева ; Федеральная целевая программа "Государственная поддержка интеграции высшего образования и фундаментальной науки на 1997-2000 годы". - М. : Физматлит, 2001. - 192 с.: рис. - Библиогр.: с. 188-191. - ISBN 5-9221-0085-8Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Балюк, Александр Сергеевич; Винокуров, Сергей Федорович; Гайдуков, Алексей Игоревич; Зубков, Олег Владимирович; Кириченко, Константин Дмитриевич; Винокуров, Сергей Федорович (ред.); Перязева, Юлия Валерьевна (ред.); Федеральная целевая программа "Государственная поддержка интеграции высшего образования и фундаментальной науки на 1997-2000 годы"
Видання зберігається у :
Основний фонд
| 14. | В345249/Ч. 1 Блюмин, Семен Львович Математическое обеспечение информационных технологий [Текст] : учеб. пособие / С. Л. Блюмин [и др.]. - Липецк : НОУ "Липецкий эколого-гуманитарный ин-т", 2001 . Ч. 1 : Реляционная математика и базы данных. - [Б. м.] : [б.и.], 2001. - 74 с. - Библиогр.: с. 74Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Погодаев, Анатолий Кирьянович; Тарасов, Николай Анатольевич; НОУ "Липецкий эколого-гуманитарный институт"
Видання зберігається у :
Основний фонд
| 15. | ВА635517 Закревский, Аркадий Дмитриевич. Полиномиальная реализация частичных булевых функций и систем [Текст] / А. Д. Закревский, Н. Р. Торопов ; НАН Беларуси, Институт технической кибернетики. - Минск : [б.и.], 2001. - 200 с.: рис. - Библиогр.: с. 171-175. - ISBN 985-6453-71-2Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Торопов, Николай Романович; НАН БеларусиИнститут технической кибернетики (Минск)
Видання зберігається у :
Основний фонд
| 16. | ВА627080 Трохимчук, Ростислав Миколайович. Булеві функції [Текст] : навч. посібник / Р. М. Трохимчук ; Київський національний ун-т ім. Тараса Шевченка. - К. : ВПЦ "Київський університет", 2001. - 82 с.: рис. - Бібліогр.: с.81.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| 17. | ВА657238 Марченков, Сергей Серафимович. Замкнутые классы булевых функций [Текст] / С. С. Марченков. - М. : Физматлит, 2000. - 126 с. - Библиогр.: с. 119-121. - ISBN 5-9221-0066-1Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| 18. | Глушков В.М./ВА303 Рвачев, Владимир Логвинович. Методы алгебры логики в математической физике [Текст] / В. Л. Рвачев ; АН УССР, Ин-т проблем машиностроения. - К. : Наукова думка, 1974. - 258, [1] с. - Бібліогр.: с. 251-257. - 3150 прим. З дарчим написом В. М. Глушкову від авт.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Академия наук Украинской ССР (Киев); Институт проблем машиностроения (Харьков)
Видання зберігається у :
Основний фонд
| 19. | Глушков В.М./ВА173 Гиндикин, Семён Григорьевич. Алгебра логики в задачах [Текст] / С. Г. Гиндикин. - М. : Наука, Гл. ред. физ.-мат. лит., 1972. - 288 с. : рис. - Бібліогр.: с. 282-284 . - 50000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| 20. | Глушков В.М./ВА900 Математическая теория логического вывода [Текст] : сб. пер. / под ред.: А. В. Идельсона, Г. Е. Минца. - М. : Наука, Гл. ред. физ.-мат. лит., 1967. - 350 с. - (Математическая логика и основания математики). - Бібліогр.: с. 349-350. - 10000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Идельсон, А. В. (ред.); Минц, Г. Е. (ред.)
Видання зберігається у :
Основний фонд
|
| |
|
|