Пошуковий запит: (<.>U=В12$<.>) |
Загальна кількість знайдених документів : 812
Представлено документи з 1 до 20
|
| |
1. |
Rodriguez J. R. Enumerating Matrices with Zeros and Ones. — 2000 // Электрон. моделирование.
|
2. |
Самохвалов Ю. Я. Автоматическое доказательство теорем и нечеткий ситуационный поиск решений. — 2001 // Кибернетика и систем. анализ.
|
3. |
Овсяк В. Алгоритми: методи побудови, оптимізації, дослідження вірогідності : Навч. посіб. для студ. вищ. техн. закл. — Л.: Світ, 2001
|
4. |
Никитченко Н. С. Аппликативные композиции частичных предикатов. — 2001 // Кибернетика и систем. анализ.
|
5. |
Кондратенко Н. Р. Дискретна математика. Мінімізація логічних функцій у класі ДНФ : Навч. посіб. для студ. — 2000
|
6. |
Донской В. И. Дискретная математика : Учеб. пособие. — Симф.: "СОНАТ", 2000
|
7. |
Асеев Г. Г. Дискретная математика : Учеб. пособие для студ. ВУЗов культуры и искусств. — Х., 2000 - (Мат. основы информ. деятельности).
|
8. |
Волков Ю. І. Елементи дискретної математики : Навч. посіб. — Кіровоград: РВЦ КДПУ ім. В.Винниченка, 1999
|
9. |
Кметь А. Б. К минимизации логических функций. Метод субимпликант. — 2000 // Кибернетика и систем. анализ.
|
10. |
Цейтлин Г. Е. Критерии функциональной полноты для мета-алгебр без засылки логических констант. — 1999 // Кибернетика и систем. анализ.
|
11. |
Борисенко О. А. Лекції з дискретної математики (множини і логіка) : Навч. посіб. для студ. — Суми, 1999
|
12. |
Буй Д. Б. Непрерывность в индуктивных множествах. Часть 2: рекурсия. — 1998 // Пробл. программир..
|
13. |
Буй Д. Б. Непрерывность в индуктивных множествах: операции суперпозиции и рекурсии. — 1998 // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України.
|
14. |
Дегтярев А. И. Об одном подходе к автоматизации доказательств математических утверждений. — 2000 // Пробл. упр. и информатики.
|
15. |
Мухамедов Ф. М. Об одном условии регулярности квантовых квадратичных стохастических процессов. — 2001 // Укр. мат. журн.
|
16. |
Выхованец В. С. Обобщенные полиномиальные формы. — 1999 // Радіоелектроніка. Інформатика. Управління.
|
17. |
Устенко С. А. Основи дискретної математики : Навч. посіб. — Миколаїв, 1998
|
18. |
Білоус Н. В. Основи комбінаторного аналізу : Навч. посіб. для студ. усіх форм навчання напрямку "Комп'ют. науки". — Х.: ХДТУРЕ, 1999
|
19. |
Тарєлкін Ю. П. Основи формальної логіки : Навч. посіб. для студ. гуманіт. спец. вузів. — Суми, 1998
|
20. |
Таран Т. А. Основы дискретной математики : Учеб. пособие. — К.: Просвіта, 1998
|
| |