Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Дал, У.
Структурное программирование [Текст] : научное издание / У. Дал, Э. Дейкстра, К. Хоор. - М. : Мир, 1975. - 247 с. ; 22 см. - 1.11 р.

ГРНТИ	50.05
УДК	681.3.06

Рубрики: ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ

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

Доп. точки доступа:
Дейкстра, Э.
Хоор, К.
Найти похожие

Киселева, Н. А.
Математика и действительность [Текст] : научное издание / Н. А. Киселева. - М. : Изд-во Моск. ун-та, 1967. - 124 с. ; 21. - Библиогр.: с. 118-123 (149 назв.). - 0.48 р.

ГРНТИ	02.31.31
УДК	51:1

Рубрики: Математика--Философские проблемы математики

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

Мамудян, М.
Лингвистика [Текст] / М. Мамудян. - Москва : Прогресс, 1985. - 200 с. - На русском языке. - 0.95 р.

ББК 81.2Фр-9

Рубрики: Языкознание--Романские языки

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

Доп. точки доступа:
Мазо, В. Д.
Найти похожие

Энгелер, Эрвин.
Метаматематика элементарной математики [Текст] : пер. с нем. / Э. Энгелер. - Москва : Мир, 1987. - 128 с. : ил. - 0-50

ББК 22.12

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

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

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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