Пошуковий запит: (<.>U=В12$<.>) |
Загальна кількість знайдених документів : 814
Представлено документи з 1 до 20
|
| |
|
| | |
|
1. |
Rodriguez J. R. Enumerating Matrices with Zeros and Ones / J. R. Rodriguez // Электрон. моделирование. - 2000. - 22, № 1. - С. 40-49. - Библиогр.: 7 назв. - англ.Получены формулы, включающие симметричные функции для расчета числа матриц с нулями и единицами при некоторых ограничениях. Приведена явная формула для числа матриц заданной размерности с заданным числом нулей и единиц при определенном размещении единиц в матрице. Ключ. слова: enumerating, matrices with zeros and ones, explicit formula Індекс рубрикатора НБУВ: В126.1
Рубрики:
Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ
|
|
| | |
|
2. |
Самохвалов Ю. Я. Автоматическое доказательство теорем и нечеткий ситуационный поиск решений / Ю. Я. Самохвалов // Кибернетика и систем. анализ. - 2001. - № 4. - С. 53-60. - Библиогр.: 4 назв. - рус.Розглянуто застосування автоматичного доведення теорем як методологічної основи нечіткого ситуаційного пошуку рішень. Індекс рубрикатора НБУВ: В124
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
3. |
Овсяк В. Алгоритми: методи побудови, оптимізації, дослідження вірогідності : Навч. посіб. для студ. вищ. техн. закл. / В. Овсяк. - Л. : Світ, 2001. - 160 c. - Бібліогр.: 69 назв. - укp.Проаналізовано методи формалізації алгоритмів. Висвітлено теорію секвенційних алгоритмів. Описано методи синтезу алгоритмів, оптимізації та дослідження формул алгоритмів. Індекс рубрикатора НБУВ: В127я73-1
Шифр НБУВ: ВА607863 Пошук видання у каталогах НБУВ
|
|
| | |
|
4. |
Никитченко Н. С. Аппликативные композиции частичных предикатов / Н. С. Никитченко // Кибернетика и систем. анализ. - 2001. - № 2. - С. 15-33. - Библиогр.: 19 назв. - рус.Досліджено композиції часткових предикатів граничного конкретного рівня абстракції, які є основою різних інфінітарних логік предикатів. Наведено повний опис таких композицій в термінах спеціальних алгебр Кліні та побудовано повні системи тотожностей для таких композицій. Визначено необхідні та достатні умови застосування правила виведення modus ponens для логік часткових предикатів. Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
5. |
Кондратенко Н. Р. Дискретна математика. Мінімізація логічних функцій у класі ДНФ : Навч. посіб. для студ. / Н. Р. Кондратенко; Вінниц. держ. техн. ун-т. - Б.м., 2000. - 108 c. - Бібліогр.: 10 назв. - укp.Розглянуто основні поняття теорії елементарних функцій алгебри логіки. Досліджено досконалу диз'юнктивну та кон'юнктивну нормальні форми подання функцій алгебри логіки, способи переходу від нормальної до досконалої форми логічної функції. Наведено методи мінімізації логічних функцій: метод Квайна, метод Квайна - Мак-Класкі, метод карт Карно - Вейча. Розглянуто питання мінімізації не повністю визначених функцій алгебри логіки та мінімізації систем булевих функцій. Запропоновано практичні заняття та контрольні завдання. Індекс рубрикатора НБУВ: З973-047.20 я73-1 + В12 я73-1
Рубрики:
Шифр НБУВ: ВА603806 Пошук видання у каталогах НБУВ
|
|
| | |
|
6. |
Донской В. И. Дискретная математика : Учеб. пособие / В. И. Донской. - Симф. : "СОНАТ", 2000. - 358 c. - Библиогр.: 17 назв. - рус.Рассмотрены вводные понятия и элементарные основы дискретной математики, булевы функции, функции k-значной логики. Изложены элементы комбинаторики, в частности, основные приемы комбинаторного оценивания, рекуррентные соотношения, производящие функции, асимптотические формулы. Проанализированы дизъюнктивные нормальные формы, графы, конечные автоматы, основы теории алгоритмов и введения в математическую логику. Індекс рубрикатора НБУВ: В12 я73-1
Рубрики:
Шифр НБУВ: ВА600415 Пошук видання у каталогах НБУВ
|
|
| | |
|
7. |
Асеев Г. Г. Дискретная математика : Учеб. пособие для студ. ВУЗов культуры и искусств / Г. Г. Асеев, О. М. Абрамов, Д. Э. Ситников; Харьк. гос. акад. культуры. - Х., 2000. - 173 c. - (Мат. основы информ. деятельности). - Библиогр.: 25 назв. - рус.Изучено теоретическую базу развивающихся в настоящее время информационных технологий, связанных с обработкой больших объемов дискретной информации. Изложена аксиоматика Цермело, на основании которой проведена граница между дискретным и непрерывным в основаниях математики. Исследованы методы математической логики, основы комбинаторного анализа и теории графов. Значительное внимание уделено алгоритмам решения дискретных задач. Приведены практические задачи и упражнения. Індекс рубрикатора НБУВ: В126 я73-1 + В152.61 я73-1
Рубрики:
Шифр НБУВ: ВА604931 Пошук видання у каталогах НБУВ
|
|
| | |
|
8. |
Волков Ю. І. Елементи дискретної математики : Навч. посіб. / Ю. І. Волков, Н. М. Войналович; Кіровогр. держ. пед. ун-т ім. В.Винниченка. - Кіровоград : РВЦ КДПУ ім. В.Винниченка, 1999. - 177 c. - укp.Наведено основи розділів дискретної математики: комбінаторики, дискретної теорії ймовірностей, різницевого числення та системи числення. Індекс рубрикатора НБУВ: В126 я73-1
Рубрики:
Шифр НБУВ: ВА597552 Пошук видання у каталогах НБУВ
|
|
| | |
|
9. |
Кметь А. Б. К минимизации логических функций. Метод субимпликант / А. Б. Кметь // Кибернетика и систем. анализ. - 2000. - № 3. - С. 84-99. - Библиогр.: 3 назв. - рус.Описано метод субімплікант, розроблений для мінімізації логічних функцій, що приймають не менше трьох значень. Метод відзначається покращанням результатів мінімізації за рахунок розширення умов склеювання та можливістю мінімізації функцій, що не піддаються мінімізації традиційними способами. Індекс рубрикатора НБУВ: В128.2 + З973-047.20
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
10. |
Цейтлин Г. Е. Критерии функциональной полноты для мета-алгебр без засылки логических констант / Г. Е. Цейтлин // Кибернетика и систем. анализ. - 1999. - № 3. - С. 13-24. - Библиогр.: 17 назв. - рус.Розглядається проблематика функціональної повноти для алгоритмічних мета-алгебр (МАД), що пов'язані з сімействами алгебр структурованих схем алгоритмів та програм. Встановлено критерій повноти для МАД без заслань логічних констант. Отримані результати можуть бути розповсюджені на ітеративні мета-алгебри, що пов'язані з іншими відомими методами програмування. Індекс рубрикатора НБУВ: В127 + З973-018
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
11. |
Борисенко О. А. Лекції з дискретної математики (множини і логіка) : Навч. посіб. для студ. / О. А. Борисенко; Ін-т змісту та методів навчання. - Суми, 1999. - 144 c. - Бібліогр.: 21 назв. - укp.Послідовно викладено основні питання теорії множин і логіки, які розпочинаються із загальнодоступних і завершуються абстрактними. Висвітлено основні поняття теорії множин та операції з ними, поняття про вектори і проекції множин, їх добутки, відображення перетворення. Описано алгебраїчні системи і деякі операції в них. Подано основи математичної логіки. Особливе місце посідає поняття логічної функції. Розглянуто 16 основних логічних функцій і різні перетворення з ними. Особливу увагу приділено диз'юнктивним і кон'юнктивним нормальним формам логічних функцій та їх мінімізації. Індекс рубрикатора НБУВ: В126 я73-1
Рубрики:
Шифр НБУВ: ВА594266 Пошук видання у каталогах НБУВ
|
|
| | |
|
12. |
Буй Д. Б. Непрерывность в индуктивных множествах. Часть 2: рекурсия / Д. Б. Буй // Пробл. программир.. - 1998. - № 4. - С. 3-19. - Библиогр.: 14 назв. - рус.Досліджена операція рекурсії, що індукується рівнянням чи системою рівнянь. Показана замкненість класів монотонних (неперервних) функцій відносно рекурсії, а також неперервність самої рекурсії. Індекс рубрикатора НБУВ: В127.2
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
|
| | |
|
13. |
Буй Д. Б. Непрерывность в индуктивных множествах: операции суперпозиции и рекурсии / Д. Б. Буй // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 120-128. - Библиогр.: 13 назв. - рус.Исследуется монотонность и непрерывность в индуктивных множествах. Введена топология Скотта, рассмотрены произведения и обобщенные произведения индуктивных множеств. Рассматриваются операции суперпозиции и рекурсии (рекурсия индуцирована решением уравнений с параметром). Установлена замкнутость классов монотонных и непрерывных функций относительно суперпозиции и рекурсии, а также монотонность и непрерывность самих операций суперпозиции и рекурсии. Ключ. слова: Індекс рубрикатора НБУВ: В127.2
Рубрики:
|
|
| | |
|
14. |
Дегтярев А. И. Об одном подходе к автоматизации доказательств математических утверждений / А. И. Дегтярев, А. В. Лялецкий, М. К. Мороховец // Пробл. упр. и информатики. - 2000. - № 4. - С. 105-115. - Библиогр.: 30 назв. - рус.Описано підхід до автоматизованого пошуку доведень теорем у середовищі цілісного математичного тексту. Підхід базується на секвенційному логічному численні першого порядку, яке містить формальні аналоги таких звичайних у математиці засобів пошуку доведень теорем, як розкриття означень та застосування допоміжних тверджень або лем. Індекс рубрикатора НБУВ: В124
Рубрики:
Шифр НБУВ: Ж26990 Пошук видання у каталогах НБУВ
|
|
| | |
|
15. |
Мухамедов Ф. М. Об одном условии регулярности квантовых квадратичных стохастических процессов / Ф. М. Мухамедов // Укр. мат. журн. - 2001. - 53, № 10. - С. 1368-1379. - Библиогр.: 18 назв. - рус.Наведено необхідні та достатні умови виконання умови регулярності для однорідних квантових квадратичних стохастичних процесів, визначених на алгебрах фон Неймана. Індекс рубрикатора НБУВ: В123.3 + В175.1
Шифр НБУВ: Ж26161 Пошук видання у каталогах НБУВ
|
|
| | |
|
16. |
Выхованец В. С. Обобщенные полиномиальные формы / В. С. Выхованец // Радіоелектроніка. Інформатика. Управління. - 1999. - № 2. - С. 55-59. - Библиогр.: 5 назв. - рус. Індекс рубрикатора НБУВ: В123 + В161.49
Рубрики:
Шифр НБУВ: Ж16683 Пошук видання у каталогах НБУВ
|
|
| | |
|
17. |
Устенко С. А. Основи дискретної математики : Навч. посіб. / С. А. Устенко; Укр. держ. мор. техн. ун-т. - Миколаїв, 1998. - 60 c. - Бібліогр.: 15 назв. - укp.Розглянуто основи теорії множин, математичну логіку, основи теорії графів, а також наведено основні поняття теорії автоматів. Значну увагу приділено тотожно істинним і тотожно хибним формулам, подвійності, нормальним формам, а також проблемам розв'язування. Детально проаналізовано матриці суміжності та інцидентності. Індекс рубрикатора НБУВ: В126 я73-1
Рубрики:
Шифр НБУВ: ВА597137 Пошук видання у каталогах НБУВ
|
|
| | |
|
18. |
Білоус Н. В. Основи комбінаторного аналізу : Навч. посіб. для студ. усіх форм навчання напрямку "Комп'ют. науки" / Н. В. Білоус, З. В. Дудар, Н. С. Лєсна, І. Ю. Шубін; Ін-т змісту та методів навчання. - Х. : ХДТУРЕ, 1999. - 96 c. - Бібліогр.: 7 назв. - укp.Розглянуто основні поняття комбінаторного аналізу, зв'язок комбінаторики з іншими галузями дискретної математики, наведено приклади розв'язання типових задач за допомогою комбінаторних методів. Індекс рубрикатора НБУВ: В126.1 я73-1
Рубрики:
Шифр НБУВ: ВА598191 Пошук видання у каталогах НБУВ
|
|
| | |
|
19. |
Тарєлкін Ю. П. Основи формальної логіки : Навч. посіб. для студ. гуманіт. спец. вузів / Ю. П. Тарєлкін; Сум. держ. пед. ін-т. - Суми, 1998. - 70 c. - Бібліогр.: 23 назв. - укp.Подано основні відомості з формальної логіки. Розкриваються предмет, значення та поняття логіки. На конкретних прикладах показано основні формально-логічні закони: закон тотожності, суперечності, виключеного третього, достатньої підстави. Розглядаються прості та складні судження, безпосередні, індуктивні, а також дедуктивні умовиводи, традиційна силогістика. Наведено логічну структуру та правила доведення і спростування. Індекс рубрикатора НБУВ: Ю4 я73 + В121 я73
Рубрики:
Шифр НБУВ: ВА587117 Пошук видання у каталогах НБУВ
|
|
| | |
|
20. |
Таран Т. А. Основы дискретной математики : Учеб. пособие / Т. А. Таран; Нац. техн. ун-т Украины "Киев. политехн. ин-т". Каф. прикл. математики. - К. : Просвіта, 1998. - 148 c. - Библиогр.: 50 назв. - рус.Изложены теоретические сведения о ключевых понятиях дискретной математики - множествах, отображениях, функциях, мощности множеств, отношении порядка, решетках, графах. Рассмотрены основы теории отношений, представлений, предикатов первого порядка, формальных теорий, булевой алгебры, формальной арифметики. Індекс рубрикатора НБУВ: В126 я73-1
Рубрики:
Шифр НБУВ: ВС34531 Пошук видання у каталогах НБУВ
|
| |