Теорія моделей
Документи:
- Анализ математической модели проектирования диска [Текст] : Автореф... канд. физ.-мат.наук: 01.01.09 / Брусникин Борис Николаевич; АН УССР. Ин-т кибернетики. — К., 1978. — 12л.
- Анализ точности некоторых алгоритмов сопряженных направлений для решения задач минимизации [Текст] / К. Джумаев. — Киев, 1973. — 43с.
- Введение в математическое моделирование [Текст] : учебное пособие для студ. высших учебных заведений / В.Н. Ашихмин, М.Б. Гитман, И.Э. Келлер, О.Б. Наймарк и др. ; [ под ред. П.В. Трусова ]. — Москва : Логос, 2007. — 440 с.
- Введение в теорию моделей и метаматематику алгебры. [Текст] / А. Робинсон. — Москва : Наука, 1967. — 376 с.
- Вопросы решимости универсальных и расширенных теорий. [Текст] : Автореф... Канд.физ-мат.наук: 01.01.06 / Слободской А.М.; Ан СССР.Ин-т математики с ВЦ. — Кишинев, 1980. — 9л.
- Вступ до некласичної математичної логіки [Текст] : навчальний посібник для студ. ун-тів, які навчаються за напрямом підготовки "Комп"ютерні науки" / С.Л. Кривий, О.І. Провотар ; КНУТШ. — Київ : Київський університет, 2010. — 205, [1] с. : табл.
- Элементы теории математических моделей [Текст] / А.Д. Мышкис. — Изд. 3-е, исправл. — Москва : КомКнига, 2007. — 192с.
- Исследование возможностей оптимальной организации некоторых биофизических процессов. [Текст] : Автореф... канд. физ.-мат.наук: / Викторов В.К.; Всес. акад. сельскохоз. наук. — Л., 1967. — 16л.
- Комп"ютерне моделювання систем [Текст] : навч. посібник / К.Х. Зеленський, Г.В. Кіт, О.І. Чумаченко ; М-во освіти і науки України, Відкритий міжнар. ун-т розвитку людини "Україна". — Київ : Університет "Україна", 2014. — 314, [1] с. : рис., табл.
- Математичне моделювання [Текст] / А.М. Самойленко, К.К. Кенжебаєв, О.М. Станжицький, Є.Ю. Таран ; НАН України, Ін-т математики. — Київ : Наукова думка, 2015. — 327, [1] с. : іл., табл.
- Математичні методи моделювання [Текст] = Mathematical methods for simulation : навч. посібник / [О.П. Чорний, В.К. Титюк, Н.М. Істоміна, В.А. Власенко]. — Кременчук : Щербатих О.В., 2016. — 232, [1] с. : іл., табл.
- Неперервність функції в інтенсіональних моделях лямбда-подібних числень [Текст] : дис. ... канд. фіз.-мат. наук: 01.05.01 / Лялецький О. О.; КНУТШ. — Київ, 2009. — 109 л.
- Об интерпретации пропозициональных и предикатных формул посредству финитных и нефинитных задач [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Кворцов Дмитрий Павлович; МГУ. — М., 1980. — 14л.
- О некоторых применениях фильтрованных произведений в теории моделей [Текст] : Автореф... канд. физ мат.наук: / Омаров А. И.; АН СССР, Сиб. отд. Совет матем. секц. Объед. уч. сво. по физ. мат. и техн. наукам. — Новосибирск, 1967. — 11л.
- Основи математичної теорії систем [Текст] : навчальний посібник для студентів вищих навчальних закладів / Любчак В.О., Назаренко Л.Д. ; МОНУ ; Сумський державний ун-т. — Суми : Сумський державний університет, 2008. — 221с.
- Спектральные вопросы тотально трансцендентных теорий конечного ранга [Текст] : Автореф... канд. физ-матнаук: 010106 / Байжанов Бектур Сембеевич; АН СССР Сиб отд. Ин-т математики. — Новосибирск, 1981. — 16л.
- Форсинг в теории моделей и категорические теории. [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Чихачев С.А.;. — Новосибирск, 1978. — 8л.
- An introduction to model theory [Текст] / Univ. of Novi Sad ; Inst. of mathematics. — Novi Sad, 1987. — [4],165p. : ill.
- Fundamentals of stability theory [Текст] / John Baldwin. — Barlin, 1988. — 447с.
- W1 - категоричные непрерывниые теории [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Мурзин Федор Александрович; Новосиб. гос. ун-т. — Новосибирск, 1979. — 12л.
|
