Пошуковий запит: (<.>U=В12$<.>) |
Загальна кількість знайдених документів : 780
Представлено документи з 1 до 20
|
| |
|
| | |
|
1. | ДС41396
Романенко, Игорь Борисович. Машинные методы построения вывода в некоторых неклассических исчислениях [Текст] : дис...канд.техн.наук:05.25.05 / Романенко Игорь Борисович ; АН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1992. - 122 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
2. | ДС44865
Булитко, Валерий Константинович. Алгоритмические сводимости по разрешимости и критерии полноты множеств [Текст] : дис...д-ра физ.-мат.наук / Булитко Валерий Константинович ; ОГУ им. И.И.Мечникова. - О., 1992. - 277 л. - л.:272-277
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
3. | ДС50720
Фрассер Санчес, Карлос Энрике. Разработка математического и алгоритмического обеспечения обработки информации на основе структурного анализа геодезических графов [Текст] : дис... канд. техн. наук: 05.13.04 / Фрассер Санчес Карлос Энрике ; Одесский политехнический ун-т. - О., 1996. - 165 л. - л.: 158-165
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
4. | ДС53435
Лысенко, Николай Владимирович. Анализ и оценка хроматических параметров теоретико-графовых математических моделей [Текст] : дис... канд. физ.-мат. наук: 01.05.02 / Лысенко Николай Владимирович ; Полтавский технический ун-т. - Полтава, 1996. - 92 л.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
5. | ДС82941
Шулинок, Ирина Эдуардовна. Решение задач оптимального представления числовых графов и исследование условий построения на них эффективных алгоритмов [Текст] : дис... канд. физ.-мат. наук: 01.05.01 / Шулинок Ирина Эдуардовна ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2004. - 175 л.: рис. - Библиогр.: л. 169-175
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
6. | ДС83228
Рябенко, Антон Євгенович. Математичні моделі та методи для векторних задач оптимізації організаційних структур та землекористування [Текст] : дис... канд. фіз.-мат. наук: 01.05.02 / Рябенко Антон Євгенович ; Запорізький держ. ун-т. - Запоріжжя, 2003. - 137 арк.: рис. - арк. 128-136
Рубрики:
Географічні рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
7. | ДС83947
Заторський, Роман Андрійович. Застосування паравизначників і параперманентів до розв'язання задач комбінаторного аналізу [Текст] : дис... канд. фіз.-мат. наук: 01.01.08 / Заторський Роман Андрійович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2002. - 147 арк. - арк. 144-147
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
8. | ДС93950
Шулинок, Георгий Александрович. Решение задач изоморфизма и нахождения хроматического числа на числовых графах [Текст] : дис... канд. физ.-мат. наук: 01.05.01 / Шулинок Георгий Александрович ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2006. - 140 л.: рис. - Библиогр.: л. 126-134
Видання зберігається у :
Основний фонд
| |
|
| | |
|
9. | ДС87669
Дюличева, Юлия Юрьевна. Модели коррекции редуцированных бинарных решающих деревьев [Текст] : дис... канд. физ.-мат. наук: 01.05.01 / Дюличева Юлия Юрьевна ; Таврический национальный ун-т им. В.И.Вернадского. - Симф., 2004. - 127 л. - Библиогр.: л. 113-127
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
10. | ДС90422
Бобылева, Елена Владимировна. Методы и алгоритмы распознавания графов на предфрактальность и их применение [Текст] : дис... канд. физ.-мат. наук: 01.05.01 / Бобылева Елена Владимировна ; Днепропетровский национальный ун-т. - Д., 2005. - 173 л. - Библиогр.: л. 154-162
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
11. | ДС91767
Беляев, Владимир Николаевич. m-сводимость с информационными ограничениями [Текст] : дис... канд. физ.-мат. наук: 01.01.08 / Беляев Владимир Николаевич ; Одесский национальный ун-т им. И.И.Мечникова. - О., 2005. - 112 с. - Библиогр.: л. 108-112
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
12. | ДС106158
Семенюта, Марина Фролівна. Дослідження розкладів та нумерацій графів [Текст] : дис... канд. фіз.-мат. наук: 01.01.08 / Семенюта Марина Фролівна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2008. - 190 арк. - арк. 113-120
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
13. | ДС56765
Різник, Олег Яремович. Моделювання та синтез комбінаторних конфігурацій з нееквідистантною структурою [Текст] : дис... канд. техн. наук: 01.05.02 / Різник Олег Яремович ; Держ. НДІ інформ. інфраструктури. - Л., 1997. - 150 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
14. | ДС58233 з дод.1
Курапов, Сергій Всеволодович. Обчислювальні методи і математичні моделі для вирішення задач із скінченою дискретною структурою [Текст] : дис... канд. фіз.-мат. наук: 01.05.02 / Курапов Сергій Всеволодович ; Запорізький держ. ун-т. - Запоріжжя, 1997. - 144 л.+ 127л. дод. - л. 137-144
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
15. | ДС56290
Донец, Георгий Афанасьевич. Теоретико-числовой подход к решению некоторых задач теории графов [Текст] : дис... д-ра физ.-мат. наук: 01.05.01 / Донец Георгий Афанасьевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1997. - 263 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
16. | ДС57751
Суржко, Сергей Васильевич. Интерпретационные методы в теории алгоритмических алгебр [Текст] : дис... д-ра физ.-мат. наук: 01.05.01 / Суржко Сергей Васильевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1996. - 192 л. + прил. - л. 179-192
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
17. | ДС58147
Петренюк, Лідія Петрівна. Перелік розкладів повних графів на ізоморфні компоненти [Текст] : дис... канд. фіз.-мат. наук: 01.05.01 / Петренюк Лідія Петрівна ; Кіровоградський навчально- науковий педагогічний комплекс. - Кіровоград, 1996. - 144 л. - л. 91-99
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
18. | ДС68921
Пынько, Алексей Павлович. Алгебраическая интерпретация пропозициональных секвенциальных исчислений [Текст] : дис... канд. физ.- мат. наук: 01.01.08 / Пынько Алексей Павлович ; Ин-т кибернетики им. В. М. Глушкова НАН Украины. - К., 2000. - 104 с. - Библиогр.:с.102-104
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
19. | ДС59896
Маранджян, Грант Бабкенович. Объемная сложность вычислимых объектов [Текст] : дис. в форме науч. докл... д-ра физ.-мат. наук: А.01.09 / Маранджян Грант Бабкенович ; Институт проблем информатики и автоматизации НАН Республики Армения. - Ереван, 1999. - 69 с. - с. 60-69
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
20. | ДС63406
Шрамко, Ярослав Владиславович. Логическое исследование и интуиционизм (Проблема релевантизации интуиционистской логики) [Текст] : дис... д-ра филос. наук: 09.00.06 / Шрамко Ярослав Владиславович ; Ин-т философии им. Г. С. Сковороды НАН Украины. - К., 1998. - 288 л. - Библиогр.: л. 278-288.
Рубрики:
Видання зберігається у :
Основний фонд
| |
| |