Пошуковий запит: (<.>U=В122$<.>) |
Загальна кількість знайдених документів : 20
Представлено документи з 1 до 20
|
| 1. | ІВ198175 Waserman R. Wissenschaftstheoretische Beiträge zur Kritik an dem Aristotelischen und Fregeschen formalen Beweisbegriff [Текст] : Diss. / R. Waserman ; Westfälische Wilhelms-Universität zu Münster. - Münster : [б.в.], 1996. - 435 S.: Abb.
|
| 2. | В353418/1 Аксіоматична теорія множин. Ч. 1:Система аксіом ZFC і вступ до теорії моделей [Текст] / [уклад. М. М. Попов]. - 2011. - 80 с.
|
| 3. | ВА630450 Алгебра и теория моделей 2 [Текст] : Сб. докл. III Междунар. школы "Пограничные вопросы теории моделей и универсальной алгебры" (Эрлагол, 21-27 июня 1999 г.) / Новосибирский гос. технический ун-т ; ред. А. Г. Пинус, К. Н. Пономарев. - Новосибирск : [б.и.], 1999. - 168 с.
|
| 4. | РА295102 Лисенко М. В. Аналіз і оцінка хроматичних параметрів теоретико-графових математичних моделей [Текст] : Автореф. дис... канд. фіз.-мат. наук: 01.05.02 / Лисенко Микола Володимирович ; Дніпропетровський держ. ун-т. - Дніпропетровськ, 1996. - 16 с.
|
| 5. | ДС53435 Лысенко Н. В. Анализ и оценка хроматических параметров теоретико-графовых математических моделей [Текст] : Дис... канд. физ.-мат. наук: 01.05.02 / Лысенко Николай Владимирович ; Полтавский технический ун-т. - Полтава, 1996. - 92 л.
|
| 6. | Глушков В.М./ВА51 Робинсон А. Введение в теорию моделей и математику алгебры [Текст] / А. Робинсон ; пер. с англ. А. Б. Волынского ; под ред. А. Д. Тайманова. - М. : Наука, Гл. ред. физ.-мат. лит., 1967. - 376 с. - (Серия "Математическая логика и основания математики")
|
| 7. | Р97606 Лянце В. Вступ до нестандартної теорії ймовірностей [Текст] : Тексти лекцій / В. Лянце, Г. Чуйко ; Львівський національний ун-т ім. Івана Франка. - Л. : Видавничий центр ЛНУ ім. І.Франка, 2002. - 46 с.
|
| 8. | ВА569876 Кудрик Т. С. Елементи нестандартного аналізу [Текст] / Т. С. Кудрик, В. Е. Лянце ; Львівський держ. ун-т ім. І.Франка. - К. : [б.в.], 1996. - 104 c.
|
| 9. | ВА649077 Гончаров С. С. Конструктивные модели [Текст] / С. С. Гончаров, Ю. Л. Ершов. - Новосибирск : Научная книга, 1999. - 345 с. - (Сибирская школа алгебры и логики)
|
| 10. | РА319004 Дьоміна В. М. Методи та моделі оцінювання знань в автоматизованих системах тестування [Текст] : Автореф. дис... канд. техн. наук: 05.13.06 / Дьоміна Вікторія Михайлівна ; Харківський національний ун-т радіоелектроніки. - Х., 2002. - 19 с.
|
| 11. | ДС74988 Демина В. М. Методы и модели оценивания знаний в автоматизированных системах тестирования [Текст] : Дис... канд. техн. наук: 05.13.06 / Демина Виктория Михайловна ; Харьковская гос. академия культуры. - Х., 2002. - 224 л.
|
| 12. | Глушков В. М. /Р39 Мальцев А. И. Модельные соответствия [Текст] / А. И. Мальцев. - [М.] : [б. и.], 1959. - С. 313-336
|
| 13. | ДС115257 Лялецький О. О. Неперервність функції в інтенсіональних моделях лямбда-подібних числень [Текст] : дис. ... канд. фіз.-мат. наук : 01.05.01 / Лялецький Олександр Олександрович ; Київ. нац. ун-т ім. Т. Шевченка. - К., 2009. - 110 арк.
|
| 14. | РА368702 Лялецький О. О. Неперервність функції в інтенсіональних моделях лямбда-подібних числень [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Лялецький Олександр Олександрович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2009. - 16 с.
|
| 15. | РА303408 Каратабанова С. Ж. Нижние оценки алгоритмической сложности и структура семантических классов предложений [Текст] : Автореф. дис... канд. физ.-тех. наук: 01.01.06 / Каратабанова Сорейя Жубаниязовна. - Алматы, 1999. - 18 с.
|
| 16. | Глушков В. М. /Р28 Мальцев А. И. О малых моделях [Текст] / акад. А. И. Мальцев. - [М.] : [б. и.], 1959. - С. 258-261
|
| 17. | Глушков В. М. /Р34 Мальцев А. И. О некоторых классах моделей [Текст] / акад. А. И. Мальцев. - [М.] : [б. и.], 1958. - С. 245-248
|
| 18. | Глушков В.М./Р77 Мальцев А. И. О представлениях моделей [Текст] / А. И. Мальцев. - [М.] : [б. и.], [1956]. - [3] с.
|
| 19. | Глушков В.М./Р75 Мальцев А. И. Подпрямые произведения моделей [Текст] / А. И. Мальцев. - [М.] : [б. и.], [1956]. - [3] с.
|
| 20. | ВА728407 Теория моделей и алгебраическая геометрия. О доказательстве Э. Хрущовского гипотезы Морделла-Ленга [Текст] : сб. ст. / под. ред. Э. Бускаран ; пер. Б. Р. Френкина. - М. : МЦНМО, 2008. - 280 с.
|
Простий пошук
Віртуальна довідка
