Сайт ИнЕУ Упрощенный режим О Библиотеке Руководство пользователя
Авторизация
Логин
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книжный фонд
Статьи
Электронные библиотеки
Периодические издания
Магистерские диссертации
Полнотекстовые электронные издания
Сайты журналов
Труды ученых ИнЕУ
Область поиска
 Найдено в других БД:Книжный фонд (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=теория моделей<.>
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
   22.12
   Е80

    Ершов, Ю. Л.
    Математическая логика [Текст] : учебное пособие для вузов / Ершов Ю.Л., Палютин Е.А., 3-е изд., стер. - СПб. М. : Лань, 2004. - 336с. - ISBN 5811405332 : 2400.00 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
учебник -- математическая логика -- исчисление -- множество -- истинность -- предикат -- модель -- доказательство -- алгоритм -- функция -- рекурсивная -- теория множеств -- теория моделей -- теория доказательств -- аксиома -- высказывание



Соавторы:
Палютин, Е.А.
Экз-ры: чзт(1)

” Цитировать
Найти похожие
2.
   22.1
   А17

    Danaev, N. T.
    Abstracts of the Third Congress of the World Matematical Society of Turkic Countries, Volume 2 June 30-July 4, 2009 [Text] / Danaev N.T., Mubarakov A.M. [et al.]. - Almaty : Казак университетi, 2009. - 254 б. p. - ISBN 9965308128 : 5000.00 р.
ББК 22.1
Рубрики: Математика--высшая
Кл.слова (ненормированные):
Abstracts -- математика -- теория моделей -- математические модели -- математическая статистика -- информационные технологии -- теория функций



Соавторы:
Mubarakov, A.M.; Мубараков, А.М.; Zhumagulov, B.; Kаltaev, A.
Экз-ры: чзт(1)

” Цитировать
Найти похожие
 
Стандартный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)