Простий пошук
Розширений пошук
Алфавітні покажчики

Бази даних

Книжкові видання та компакт-диски - результати пошуку

Віртуальна довідка
Тематичний інтернет-навігатор
Наукова електронна бібліотека
Автореферати дисертацій
Реферативна база даних
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Наукова електронна бібліотека (8)Автореферати дисертацій (2)Реферативна база даних (10)
Пошуковий запит: (<.>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 прим.

Рубрики:
 Теорія моделей. Навчальні видання для студентів 
 Аксіоматична теорія множин 




Видання зберігається у :
Основний фонд

 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського