Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>KL=теория моделей<.>)

Общее количество найденных документов : 8
Показаны документы с 1 по 8

Нестеренко, Ю. П.
Элементы математической логики [Текст] : учеб. пособие / Ю. П. Нестеренко ; Челябинский гос. техн. ун-т, Каф. мат. анализа. - Челябинск : ЧГТУ, 1996. - 41 с. ; 20 см. - ISBN 5-696-00720-1 : 1850.00 р.

ГРНТИ	27.03.01.33
УДК	510.6(075.8)

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
математическая логика -- алгебра высказываний -- исчисление предикатов -- теория моделей
Аннотация: В пособии систематически излагаются основные понятия и результаты математической логики по разделам: алгебра и исчисление высказываний, логика и исчисление предикатов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Найти похожие

Клини, С. К.
Математическая логика [Текст] : научное издание / С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - М. : Мир, 1973. - 480 с. ; 22 см. - Указ.: с. 471-478. - 2.50 р.

ГРНТИ	27.03
УДК	517.11

Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА

Кл.слова (ненормированные):
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ВЫЧИСЛИМОСТЬ -- РАЗРЕШИМОСТЬ -- ТЕОРИЯ МОДЕЛЕЙ -- СЧЕТНЫЕ МНОЖЕСТВА
Аннотация: Раскрывает основы математической логики, рекурсивные функции и основания математики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Гастев, Ю. А.
Минц, Г. Е.
Найти похожие

Бир, С.
Кибернетика и управление производством [Текст] : научное издание / С. Бир ; под ред. А. Б. Челюсткина ; пер. с англ. В. Я. Алтаева. - 2-е изд., доп. - М. : Изд-во "Наука", 1965. - 392 с. : ил. ; 21 см. - Библиогр.: с. 388. - 1.21 р.

УДК

62-50

Кл.слова (ненормированные):
ЛОГИЧЕСКИЕ ОСНОВЫ КИБЕРНЕТИКИ -- БИОФИЗИЧЕСКИЕ ОСНОВЫ КИБЕРНЕТИКИ -- МАТЕМАТИЧЕСКАЯ БИОФИЗИКА -- КОНЕЧНЫЕ АВТОМАТЫ -- ТЕОРИЯ МОДЕЛЕЙ -- РОЛЬ КИБЕРНЕТИКИ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Челюсткин, А. Б.
Алтаев, В. Я.
Найти похожие

Шенфилд, Д.
Математическая логика [Текст] : научное издание / Д. Шенфилд ; пер. с англ. И. А. Лаврова, И. А. Мальцева ; под ред. Ю. Л. Ершова. - М. : Наука, 1975. - 528 с. ; 20 см. - (Математическая логика и основания математики). - 2.16 р.

ГРНТИ	27.03
УДК	510.6

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
ТЕОРИЯ РЕКУРСИИ -- ТЕОРИЯ ПЕРВОГО ПОРЯДКА -- ТЕОРИЯ МОДЕЛЕЙ -- НАТУРАЛЬНЫЕ ЧИСЛА -- ТЕОРИЯ МНОЖЕСТВ
Аннотация: В этой книге значительно расширен курс математической логики, часть материала взята из курса по теории рекурсии.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Лавров, И. А.
Мальцев, И. А.
Ершов, Ю. Л.
Найти похожие

Сакс, Дж. Е.
Теория насыщенных моделей [Текст] / Дж. Е. Сакс ; пер. с англ.: Л. Л. Максимовой, Е. А. Палютина ; под ред. А. Д. Тайманова = Saturated model theori / G. E. Sacks : научное издание. - М. : Изд-во "Мир", 1976. - 190 с. : ил. ; 20 см. - Библиогр.: с. 181-182. - 0.60 р.
Тит. л. парал. на англ. яз.

ГРНТИ	27.23
УДК	517

Рубрики: Математика--Анализ

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЕ НАУКИ -- ТЕОРИЯ МОДЕЛЕЙ -- ФОРМУЛЫ -- ТЕОРЕМЫ -- ЗАДАЧИ
Аннотация: В книге содержится тщательное изложение и классических, и новейших результатов теории; большой интерес представляют результаты о рангах формул и типов, о простых моделях, о насыщенных и однородных системах. Эта теория позволила решить многие задачи, казавшиеся ранее неприступными.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Максимова, Л. Л.
Палютин, Е. А.
Тайманов, А. Д.
Найти похожие

Справочная книга по математической логике [Текст] : в четырех частях: пер. с англ. / ред. Дж. Барвайс. - Москва : Наука, 1982 - 1983.
Ч. 1 : Теория моделей. - 1982. - 392 с. : ил. - 2.20 р.

ББК 22.12

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
алгебраические системы -- бесконечная логика -- допустимые множества -- инфинитезимальный анализ -- категорная логика -- логика -- логика первого порядка -- математическая логика -- множества -- модельная полнота -- однородные множества -- справочники -- теория моделей
Аннотация: "Справочник по математической логике" является попыткой коллектива математиков рассказать о некоторых современных достижениях в логике. Из многообразия относящихся сюда тем были отобраны те, которые затрагивают основные проблемы данной области или особенно важны для применений в математике.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)

Доп. точки доступа:
Барвайс, Дж. \\ред.\\
Найти похожие

Кейслер, Г. Дж.
Теория непрерывных моделей [Текст] / Г. Дж. Кейслер, Чэн Чень-чунь ; пер. с англ. Г. А. Бурле ; под ред. А. Г. Драгалина = Continuous model theory / Chung Chang Chen and H. J. Keisler : монография. - М. : Изд-во "Мир", 1971. - 184 с. : ил. ; 20 см. - Библиогр.: с. 173-177. - 0.53 р.
Тит. л. парал. на англ. яз.

ГРНТИ	27.23
УДК	517

Рубрики: Математика--Анализ

Кл.слова (ненормированные):
НЕПРЕРЫВНАЯ ЛОГИКА -- ТЕОРИЯ МОДЕЛЕЙ -- ЭКВИВАЛЕНТНЫЕ МОДЕЛИ -- УЛЬТРАПРОИЗВЕДЕНИЯ МОДЕЛЕЙ -- СПЕЦИАЛЬНЫЕ МОДЕЛИ -- АЛГЕБРАИЧЕСКИЕ ОТНОШЕНИЯ
Аннотация: Небольшая монография, посвященная теории классов моделей - области математической логики, интенсивно развивавшейся в течение последних 10-15 лет. Содержание монографии - обобщение теории моделей на случай произвольного пространства истинности. Такого рода модели сейчас широко используются в математике. Для чтения книги требуются лишь знание основ топологии и теории множеств и элементарные сведения по математической логике. Изложение сопровождается упражнениями и задачами.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Чэн Чень-чунь, Chen Chung Chang
Бурле, Г. А.
Драгалин, А. Г.
Найти похожие

Математическая психология [Текст] : методология ,теория, модели. - Москва : Наука, 1985. - 240 с. - .90 р.
Библиогр.: с. 233 - 234

ББК 88.4

Рубрики: Психология--Отраслевая психология

Кл.слова (ненормированные):
коллективное поведение -- математическая психология -- методология -- модели -- моделирование психики -- модель человека -- невесомость -- поведение -- психологические исследования -- теория моделей -- теория систем -- трудовые коллективы
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

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