Пошуковий запит: (<.>U=В12$<.>) |
Загальна кількість знайдених документів : 811
Представлено документи з 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
|
| | |
НОВІ
ПОШУК
Книжкові видання та компакт-диски
