Главная Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


КНИГИ - результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:Диссертации (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=теория моделей<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.
   51
   Е80


    Ершов, Ю. Л.
    Математическая логика : учебное пособие для матем. спец. вузов / Ю. Л. Ершов, Е. А. Палютин. - 2-е изд., испр. и доп. - М. : Наука, 1987. - 336 с. - Б. ц.
УДК
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
математическая логика -- исчисление высказываний -- исчисление пикатов -- теория моделей -- теория доказательств -- алгоритмы -- рекурсивные функции -- 08


Доп.точки доступа:
Палютин, Е. А.
Экземпляры всего: 9
ЧЗ (2), АБ (7)
Свободны: ЧЗ (2), АБ (7)
Найти похожие
2.
   51
   Е80


    Ершов, Ю. Л.
    Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - Изд. 4-е, стер. - СПб. : Лань, 2005. - 336 с. - ISBN 5811405332 : 1480.00 р.
УДК
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
математическая логика -- исчисление высказываний -- теория множеств -- алгебраические системы -- исчисление предикатов -- теория моделей -- теория доказательств -- алгоритмы -- рекурсивные функции


Доп.точки доступа:
Палютин, Е. А.
Экземпляры всего: 20
ЧЗ (2), АБ (18)
Свободны: ЧЗ (2), АБ (18)
Найти похожие
3.
   51
   Т33


    Еримбетов, М. М.
    Теория моделей в Казахстане : сборник науч. работ, посвящ. памяти А. Д. Тайманова / Еримбетов, М. М. ; ред.: Мейрембеков, К. А., Кулпешов, Б. Ш. - Алматы : Eco Study, 2006. - 448 с. - ISBN 9965971838 : 750.00 р.
УДК
Рубрики: Математика--Казахстан
Кл.слова (ненормированные):
математика -- вычислительная математика -- математическая логика -- теория моделей -- Казахстан -- дар Еримбетова -- Тайманов А. Д. -- статьи -- теоретико-модельная алгебра -- прикладная логика -- конструктивные модели -- сборник -- научные работы


Доп.точки доступа:
Мейрембеков, К. А. \ред.\; Кулпешов, Б. Ш. \ред.\
Экземпляры всего: 4
ЧЗ (1), АБ (3)
Свободны: ЧЗ (1), АБ (3)
Найти похожие
 
© Павлодарский государственный университет им. С.Торайгырова, 2009-2015