Пошуковий запит: (<.>U=В122$<.>) |
Загальна кількість знайдених документів : 20
Представлено документи з 1 до 20
|
|
| | |
|
1. | ДС53435
Лысенко, Николай Владимирович. Анализ и оценка хроматических параметров теоретико-графовых математических моделей [Текст] : дис... канд. физ.-мат. наук: 01.05.02 / Лысенко Николай Владимирович ; Полтавский технический ун-т. - Полтава, 1996. - 92 л.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
2. | ДС74988
Демина, Виктория Михайловна. Методы и модели оценивания знаний в автоматизированных системах тестирования [Текст] : дис... канд. техн. наук: 05.13.06 / Демина Виктория Михайловна ; Харьковская гос. академия культуры. - Х., 2002. - 224 л. - Библиогр.: л. 141-156
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
3. | РА368702
Лялецький, Олександр Олександрович. Неперервність функції в інтенсіональних моделях лямбда-подібних числень [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Лялецький Олександр Олександрович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2009. - 16 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
4. | РА303408
Каратабанова, Сорейя Жубаниязовна. Нижние оценки алгоритмической сложности и структура семантических классов предложений [Текст] : автореф. дис... канд. физ.-тех. наук: 01.01.06 / Каратабанова Сорейя Жубаниязовна. - Алматы, 1999. - 18 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
5. | РА295102
Лисенко, Микола Володимирович. Аналіз і оцінка хроматичних параметрів теоретико-графових математичних моделей [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.02 / Лисенко Микола Володимирович ; Дніпропетровський держ. ун-т. - Дніпропетровськ, 1996. - 16 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
6. | РА319004
Дьоміна, Вікторія Михайлівна. Методи та моделі оцінювання знань в автоматизованих системах тестування [Текст] : автореф. дис... канд. техн. наук: 05.13.06 / Дьоміна Вікторія Михайлівна ; Харківський національний ун-т радіоелектроніки. - Х., 2002. - 19 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
7. | ВА569876
Кудрик, Тарас Степанович. Елементи нестандартного аналізу [Текст] / Т. С. Кудрик, В. Е. Лянце ; Львівський держ. ун-т ім. І.Франка. - К. : [б.в.], 1996. - 104 c. - ISBN 5-7763-9602-6
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
8. | ВА630450
Алгебра и теория моделей 2 [Текст] : сб. докл. III Междунар. школы "Пограничные вопросы теории моделей и универсальной алгебры" (Эрлагол, 21-27 июня 1999 г.) / Новосибирский гос. технический ун-т ; ред. А. Г. Пинус, К. Н. Пономарев. - Новосибирск : [б.и.], 1999. - 168 с. - Библиогр.: в конце докл. - ISBN 5-7782-0275-X Текст на англ. и рус. яз.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
9. | Р97606
Лянце, Владислав. Вступ до нестандартної теорії ймовірностей [Текст] : тексти лекцій / В. Лянце, Г. Чуйко ; Львівський національний ун-т ім. Івана Франка. - Л. : Видавничий центр ЛНУ ім. І.Франка, 2002. - 46 с. - Бібліогр.: с. 44
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
10. | ВА649077
Гончаров, Сергей Севостьянович. Конструктивные модели [Текст] / С. С. Гончаров, Ю. Л. Ершов. - Новосибирск : Научная книга, 1999. - 345 с. - (Сибирская школа алгебры и логики). - Библиогр.: с. 321-345. - ISBN 5-88119-021-1
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
11. | Глушков В.М./ВА51
Робинсон, Авраам. Введение в теорию моделей и математику алгебры [Текст] / А. Робинсон ; пер. с англ. А. Б. Волынского ; под ред. А. Д. Тайманова. - М. : Наука, Гл. ред. физ.-мат. лит., 1967. - 376 с. - (Серия "Математическая логика и основания математики"). - Библиогр.: с. 356-372. - Пер. изд. : Introduction to model theory and to the metamathematics of algebra / Abraham Robinson. - Amsterdam, 1963. - 13 000 прим.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
12. | Глушков В. М. /Р28
Мальцев, А. И. О малых моделях [Текст] / акад. А. И. Мальцев. - [М.] : [б. и.], 1959. - С. 258-261. - Библиогр.: с. 261 Отт. из Докл. Акад. наук СССР. - 1959.- Т. 127, № 2. - С дарств. надписью
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
13. | Глушков В. М. /Р34
Мальцев, А. И. О некоторых классах моделей [Текст] / акад. А. И. Мальцев. - [М.] : [б. и.], 1958. - С. 245-248. - Библиогр.: с. 248 Отт. из Докл. Акад. наук СССР. - 1958.- Т. 120, № 2. - С дарств. надписью
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
14. | Глушков В. М. /Р39
Мальцев, А. И. Модельные соответствия [Текст] / А. И. Мальцев. - [М.] : [б. и.], 1959. - С. 313-336. - Библиогр.: с. 335-336 Отт. из Известий Академии наук. Серия математическая. - 1959, № 23. - С дарств. надписью
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
15. | ВА728407
Теория моделей и алгебраическая геометрия. О доказательстве Э. Хрущовского гипотезы Морделла-Ленга [Текст] : сб. ст. / под. ред. Э. Бускаран ; пер. Б. Р. Френкина. - М. : МЦНМО, 2008. - 280 с. - Библиогр. в конце глав. - Пер. изд. : Model theory and algebraic geometry / E. Bouscaren. - Heidelberg, 1998. - 1000 прим. - ISBN 987-5-94057-125-4. - ISBN 3-540-64863-1 (англ.) Паралел. тит. л. на англ. яз.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
16. | ДС115257
Лялецький, Олександр Олександрович. Неперервність функції в інтенсіональних моделях лямбда-подібних числень [Текст] : дис. ... канд. фіз.-мат. наук : 01.05.01 / Лялецький Олександр Олександрович ; Київ. нац. ун-т ім. Т. Шевченка. - К., 2009. - 110 арк. - Бібліогр.: арк. 106-110.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
17. | Глушков В.М./Р75
Мальцев, А. И. Подпрямые произведения моделей [Текст] / А. И. Мальцев. - [М.] : [б. и.], [1956]. - [3] с. Окр. відб. із зб.: Доклады Академии наук СССР. - 1956.- Т. 109, № 2. - С. 263-266.- З дарчим написом В. М. Глушкову від автора.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
18. | Глушков В.М./Р77
Мальцев, А. И. О представлениях моделей [Текст] / А. И. Мальцев. - [М.] : [б. и.], [1956]. - [3] с. Окр. відб. із зб.: Доклады Академии наук СССР. - 1956.- Т. 108, № 1. - С. 27-29.- З дарчим написом В. М. Глушкову від автора.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
19. | ІВ198175
Waserman, Roger. Wissenschaftstheoretische Beiträge zur Kritik an dem Aristotelischen und Fregeschen formalen Beweisbegriff [Text] : Diss. / R. Waserman ; Westfälische Wilhelms-Universität zu Münster. - Münster : [б.в.], 1996. - 435 S.: Abb. - Бібліогр.: S.415-435
Рубрики:
Географічні рубрики:
Видання зберігається у :
| |
|
| | |
|
20. | В353418/1
Аксіоматична теорія множин [Текст] : навч. посіб. / Чернів. нац. ун-т ім. Ю. Федьковича. - Чернівці : Рута, 2011 . Ч. 1 : Система аксіом ZFC і вступ до теорії моделей / [уклад. М. М. Попов]. - 2011. - 80 с. - Бібліогр.: с. 79. - 100 прим.
Рубрики:
Видання зберігається у :
Основний фонд
| |